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