forked from NASA-SW-VnV/fret
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
d717463
commit c8bf367
Showing
1 changed file
with
113 additions
and
17 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,32 +1,128 @@ | ||
FRET Publications | ||
----------------- | ||
FRET Publication Lists | ||
====================== | ||
|
||
* Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, and Patrick J. Martin. "Monitoring ROS2: from Requirements to Autonomous Robots". FMAS 2022. | ||
Categorized Publication List | ||
---------------------------- | ||
|
||
* Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. "Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET". CAV 2022. · | ||
### Tool paper | ||
|
||
* Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle. "A Compositional Proof Framework for FRETish Requirements". CPP 2022. | ||
* Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger, Julian Rhein, Johann Schumann, Nija Shi. “Formal Requirements Elicitation with FRET”, REFSQ 2020, Tool Paper. | ||
|
||
* Ivan Perez, Anastasia Mavridou, Tom Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou. "Automated Translation of Natural Language Requirements to Runtime Monitors". TACAS 2022. | ||
### Case studies | ||
|
||
* Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen. "From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET". FM 2021. | ||
* Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou. | ||
"Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft", | ||
REFSQ 2023. | ||
|
||
* Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann (2021). "Automated formalization of structured natural language requirements". Information and Software Technology (IST) Journal, Special Section on REFSQ’20. | ||
* Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou. | ||
"Using FRET to Create, Analyze and Monitor Requirements for a Lift Plus Cruise Case Study", | ||
NASA/TM–20220017032, April 2023. | ||
|
||
* Dimitra Giannakopoulou, Andreas Katis, Anastasia Mavridou, Thomas Pressburger. "Compositional Realizability Checking with FRET". NASA/TM–2021–20210013008, March 2021. | ||
* Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher. "Integrating Formal Verification and Assurance: An Inspection Rover Case Study", NFM 2021. | ||
|
||
* Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher: Integrating Formal Verification and Assurance: An Inspection Rover Case Study. NFM 2021. | ||
* Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Tom Pressburger, Pierre-Loic Garoche, Johann Schumann. “The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained”, RE 2020, Industry track. | ||
|
||
* Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Tom Pressburger, Pierre-Loic Garoche, Johann Schumann: “The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained”, RE 2020, Industry track. | ||
* Anastasia Mavridou, Hamza Bourbouh, Pierre-Loic Garoche, Mohammad Hejase. "Evaluation of the FRET and CoCoSim tools on the Ten Lockheed Martin Cyber-Physical Challenge Problems", NASA/TM-2019-220374, August 2019. | ||
|
||
* Aaron Dutle, Cesar A. Munoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger: "From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project", FMAS 2020. | ||
### Language, semantics, and formalizations | ||
|
||
* Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann: "Generation of Formal Requirements from Structured Natural Language", REFSQ 2020. | ||
* Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle. "A Compositional Proof Framework for FRETish Requirements", CPP 2022. | ||
|
||
* Anastasia Mavridou, Hamza Bourbouh, Pierre Loic Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann: “Bridging the Gap Between Requirements and Simulink Model Analysis”, REFSQ 2020, Poster Paper. | ||
* Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann (2021). "Automated formalization of structured natural language requirements", Information and Software Technology (IST) Journal, Special Section on REFSQ’20. | ||
|
||
* Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger, Julian Rhein, Johann Schumann, Nija Shi: “Formal Requirements Elicitation with FRET”, REFSQ 2020, Tool Paper. | ||
* Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann. "Generation of Formal Requirements from Structured Natural Language", REFSQ 2020. | ||
|
||
* Anastasia Mavridou, Hamza Bourbouh, Pierre-Loic Garoche, Mohammad Hejase. "Evaluation of the FRET and CoCoSim tools on the Ten Lockheed Martin Cyber-Physical Challenge Problems". NASA/TM-2019-220374, August 2019. | ||
### Consistency and realizability checking of requirements | ||
|
||
* Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. "Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET", CAV 2022. | ||
|
||
* Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen. "From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET", FM 2021. | ||
|
||
* Dimitra Giannakopoulou, Andreas Katis, Anastasia Mavridou, Thomas Pressburger. "Compositional Realizability Checking with FRET", NASA/TM–2021–20210013008, March 2021. | ||
|
||
* David Kooi, Anastasia Mavridou. "Integrating Realizability Checking in FRET", NASA/TM–2019-20190033980, June 2019. | ||
|
||
### Connection with verification tools | ||
|
||
* Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernandez Adiego. | ||
"From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif", | ||
NFM 2023. | ||
|
||
* Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernandez Adiego. "Automated Verification of Programmable Logic Controller Programs against Structured Natural Language Requirements", NASA/TM–20230003752, March 2023. | ||
|
||
* Anastasia Mavridou, Hamza Bourbouh, Pierre Loic Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. “Bridging the Gap Between Requirements and Simulink Model Analysis”, REFSQ 2020, Poster Paper. | ||
|
||
* Anastasia Mavridou, Hamza Bourbouh, Pierre-Loic Garoche, Mohammad Hejase. "Evaluation of the FRET and CoCoSim tools on the Ten Lockheed Martin Cyber-Physical Challenge Problems", NASA/TM-2019-220374, August 2019. | ||
|
||
### Connection with runtime monitoring tools | ||
|
||
* Ivan Perez, Anastasia Mavridou, Tom Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou. "Automated Translation of Natural Language Requirements to Runtime Monitors", TACAS 2022. | ||
|
||
* Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, and Patrick J. Martin. "Monitoring ROS2: from Requirements to Autonomous Robots", FMAS 2022. | ||
|
||
* Aaron Dutle, Cesar A. Munoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger. "From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project", FMAS 2020. | ||
|
||
### Probabilistic requirements | ||
|
||
* Marie Farrell, Anastasia Mavridou, Johann Schumann. | ||
"Exploring Requirements for Software that Learns: A Research Preview", | ||
REFSQ 2023. | ||
|
||
### External publication list | ||
|
||
|
||
FRET Publication List | ||
--------------------- | ||
|
||
* Carlos Mao de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins. | ||
"Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software", | ||
DSN-W 2023. | ||
|
||
* Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernandez Adiego. | ||
"From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif", | ||
NFM 2023. | ||
|
||
* Zsófia Ádám, Ignacio D. Lopez-Miguel, Anastasia Mavridou, Thomas Pressburger, Marcin Bęś, Enrique Blanco Viñuela, Andreas Katis, Jean-Charles Tournier, Khanh V. Trinh, Borja Fernandez Adiego. "Automated Verification of Programmable Logic Controller Programs against Structured Natural Language Requirements", NASA/TM–20230003752, March 2023. | ||
|
||
* Marie Farrell, Anastasia Mavridou, Johann Schumann. | ||
"Exploring Requirements for Software that Learns: A Research Preview", | ||
REFSQ 2023. | ||
|
||
* Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou. | ||
"Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft", | ||
REFSQ 2023. | ||
|
||
* Thomas Pressburger, Andreas Katis, Aaron Dutle, Anastasia Mavridou. | ||
"Using FRET to Create, Analyze and Monitor Requirements for a Lift Plus Cruise Case Study", | ||
NASA/TM–20220017032, April 2023. | ||
|
||
* Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, and Patrick J. Martin. "Monitoring ROS2: from Requirements to Autonomous Robots", FMAS 2022. | ||
|
||
* Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. "Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET", CAV 2022. · | ||
|
||
* Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle. "A Compositional Proof Framework for FRETish Requirements", CPP 2022. | ||
|
||
* Ivan Perez, Anastasia Mavridou, Tom Pressburger, Alwyn Goodloe, Dimitra Giannakopoulou. "Automated Translation of Natural Language Requirements to Runtime Monitors", TACAS 2022. | ||
|
||
* Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen. "From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET", FM 2021. | ||
|
||
* Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann (2021). "Automated formalization of structured natural language requirements", Information and Software Technology (IST) Journal, Special Section on REFSQ’20. | ||
|
||
* Dimitra Giannakopoulou, Andreas Katis, Anastasia Mavridou, Thomas Pressburger. "Compositional Realizability Checking with FRET", NASA/TM–2021–20210013008, March 2021. | ||
|
||
* Hamza Bourbouh, Marie Farrell, Anastasia Mavridou, Irfan Sljivo, Guillaume Brat, Louise A. Dennis, Michael Fisher. "Integrating Formal Verification and Assurance: An Inspection Rover Case Study", NFM 2021. | ||
|
||
* Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Tom Pressburger, Pierre-Loic Garoche, Johann Schumann. “The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained”, RE 2020, Industry track. | ||
|
||
* Aaron Dutle, Cesar A. Munoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger. "From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project", FMAS 2020. | ||
|
||
* Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann. "Generation of Formal Requirements from Structured Natural Language", REFSQ 2020. | ||
|
||
* Anastasia Mavridou, Hamza Bourbouh, Pierre Loic Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. “Bridging the Gap Between Requirements and Simulink Model Analysis”, REFSQ 2020, Poster Paper. | ||
|
||
* Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger, Julian Rhein, Johann Schumann, Nija Shi. “Formal Requirements Elicitation with FRET”, REFSQ 2020, Tool Paper. | ||
|
||
* Anastasia Mavridou, Hamza Bourbouh, Pierre-Loic Garoche, Mohammad Hejase. "Evaluation of the FRET and CoCoSim tools on the Ten Lockheed Martin Cyber-Physical Challenge Problems", NASA/TM-2019-220374, August 2019. | ||
|
||
* David Kooi, Anastasia Mavridou. "Integrating Realizability Checking in FRET". NASA/TM–2019-20190033980, June 2019. | ||
|
||
* David Kooi, Anastasia Mavridou: "Integrating Realizability Checking in FRET". NASA/TM–2019-20190033980, June 2019. |