S. Balachandran
C. Muñoz
M. Consiglio
M. Feliú
A. Patel
2018
Independent Configurable Architecture for Reliable Operation of Unmanned Systems with Distributed On-Board Services
Proceedings of the 37th Digital Avionics Systems Conference (DASC 2018)
1–6
10.1109/DASC.2018.8569752
E. Bartocci
Y. Falcone
A. Francalanza
G. Reger
2018
Introduction to Runtime Verification
Lectures on Runtime Verification - Introductory and Advanced Topics
Lecture Notes in Computer Science
10457
Springer
1–33
10.1007/978-3-319-75632-5_1
M. Cauwels
A. Hammer
B. Hertz
P. Jones
K. Y. Rozier
2020
Integrating Runtime Verification into an Automated UAS Traffic Management System
International workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2020
340–357
10.1007/978-3-030-59155-7_26
D. D. Cofer
Gacek. A.
S. P. Miller
M. W. Whalen
B. LaValley
L. Sha
2012
Compositional Verification of Architectural Models
Proceedings of the 4th International NASA Formal Methods Symposium (NFM 2012)
Lecture Notes in Computer Science
7226
Springer
126–140
10.1007/978-3-642-28891-3_13
M. Consiglio
C. Muñoz
G. Hagen
A. Narkawicz
S. Balachandran
2016
ICAROUS: Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems
Proceedings of the 35th Digital Avionics Systems Conference (DASC 2016)
1–5
10.1109/DASC.2016.7778033
Byron Cook
2018
Formal Reasoning About the Security of Amazon Web Services
Hana Chockler
Georg Weissenbacher
Computer Aided Verification
Springer International Publishing
Cham
38–47
10.1007/978-3-319-96145-3_3
A. W. Fifarek
L. G. Wagner
J. A. Hoffman
B. D. Rodes
M. A. Aiello
J. A. Davis
2017
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements
Proceedings of the 9th International NASA Formal Methods Symposium (NFM 2017)
Lecture Notes in Computer Science
10227
420–426
10.1007/978-3-319-57288-8_30
D. Giannakopoulou
T. Pressburger
A. Mavridou
J. Rhein
J. Schumann
N. Shi
2020
Formal Requirements Elicitation with FRET
Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020)
D. Giannakopoulou
T. Pressburger
A. Mavridou
J. Schumann
2020
Generation of Formal Requirements from Structured Natural Language
26th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2020
Lecture Notes in Computer Science
12045
Springer
19–35
10.1007/978-3-030-44429-7_2
K. Havelund
A. Goldberg
2008
Verify Your Runs
374–383
Lecture Notes in Computer Science
4171
Springer
10.1007/978-3-540-69149-5_40
K. Julian
M. Kochenderfer
2019
Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems
2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC)
1–10
10.1109/DASC43569.2019.9081748
R. Kaivola
R. Ghughal
N. Narasimhan
A. Telfer
J. Whittemore
S. Pandav
A. Slobodová
C. Taylor
V. Frolov
E. Reeber
2009
Replacing Testing with Formal Verification in Intel^89.5CoreTM i7 Processor Execution Engine Validation
Computer Aided Verification
Springer
414–429
10.1007/978-3-642-02658-4_32
G. Katz
D. Huang
D. Ibeling
K. Julian
C. Lazarus
R. Lim
P. Shah
S. Thakoor
H. Wu
A. Zelji\'c
D. Dill
M. Kochenderfer
C. Barrett
2019
The Marabou Framework for Verification and Analysis of Deep Neural Networks
I. Dillig
S. Tasiran
Computer Aided Verification
Springer International Publishing
Cham
443–452
10.1007/978-3-030-25540-4_26
R. Koymans
1990
Specifying Real-time Properties with Metric Temporal Logic
Real-Time Syst.
2
4
255–299
10.1007/BF01995674
F. Laroussinie
N. Markey
P. Schnoebelen
2002
Temporal Logic with Forgettable Past
LICS’02: Proceeding of Logic in Computer Science 2002
IEEE Computer Society Press
383–392
10.1109/LICS.2002.1029846
S. Owre
J. Rushby
N. Shankar
1992
PVS: A Prototype Verification System
Proceeding of the 11th International Conference on Automated Deduction (CADE)
Lecture Notes in Artificial Intelligence
607
Springer
748–752
10.1007/3-540-55602-8_217
I. Perez
F. Dedden
A. Goodloe
2020
Copilot 3
Technical Report
NASA/TM–2020–220587
NASA Langley Research Center
10.13140/RG.2.2.35163.80163
L. Pike
A. Goodloe
R. Morisset
S. Niller
2010
Copilot: A Hard Real-Time Runtime Monitor
Proceedings of the First International Conference on Runtime Verification (RV 2010)
Lecture Notes in Computer Science
6418
Springer
345–359
10.1007/978-3-642-16612-9_26
L. Pike
N. Wegmann
S. Niller
A. Goodloe
2013
Copilot: monitoring embedded systems
Innovations in Systems and Software Engineering
9
4
235–255
10.1007/s11334-013-0223-x
A. Pnueli
1977
The Temporal Logic of Programs
Proceedings of the 18th Annual Symposium on Foundations of Computer Science
SFCS '77
IEEE Computer Society
Washington, DC, USA
46–57
10.1109/SFCS.1977.32
T. Reinbacher
K. Y. Rozier
J. Schumann
2014
Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems
Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)
Lecture Notes in Computer Science
8413
Springer
357–372
10.1007/978-3-642-54862-8_24
J. Schumann
P. Moosbrugger
K. Y. Rozier
2015
R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems
Proceedings of the 6th International Conference on Runtime Verification (RV 2015)
Lecture Notes in Computer Science
9333
Springer
233–249
10.1007/978-3-319-23820-3_15
J. Souyris
V. Wiels
D. Delmas
H. Delseny
2009
Formal Verification of Avionics Software Products
Proceedings of the 2nd World Congress on Formal Methods
FM '09
Springer-Verlag
Berlin, Heidelberg
532–546
10.1007/978-3-642-05089-3_34