References

  1. 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. In: Proceedings of the 37th Digital Avionics Systems Conference (DASC 2018), pp. 1–6, doi:10.1109/DASC.2018.8569752.
  2. E. Bartocci, Y. Falcone, A. Francalanza & G. Reger (2018): Introduction to Runtime Verification. In: Lectures on Runtime Verification - Introductory and Advanced Topics, Lecture Notes in Computer Science 10457. Springer, pp. 1–33, doi:10.1007/978-3-319-75632-5_1.
  3. M. Cauwels, A. Hammer, B. Hertz, P. Jones & K. Y. Rozier (2020): Integrating Runtime Verification into an Automated UAS Traffic Management System. In: International workshop on moDeling, vErification and Testing of dEpendable CriTical systems, DETECT 2020, pp. 340–357, doi:10.1007/978-3-030-59155-7_26.
  4. D. D. Cofer, Gacek. A., S. P. Miller, M. W. Whalen, B. LaValley & L. Sha (2012): Compositional Verification of Architectural Models. In: Proceedings of the 4th International NASA Formal Methods Symposium (NFM 2012), Lecture Notes in Computer Science 7226. Springer, pp. 126–140, doi:10.1007/978-3-642-28891-3_13.
  5. M. Consiglio, C. Muñoz, G. Hagen, A. Narkawicz & S. Balachandran (2016): ICAROUS: Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems. In: Proceedings of the 35th Digital Avionics Systems Conference (DASC 2016), pp. 1–5, doi:10.1109/DASC.2016.7778033.
  6. Byron Cook (2018): Formal Reasoning About the Security of Amazon Web Services. In: Hana Chockler & Georg Weissenbacher: Computer Aided Verification. Springer International Publishing, Cham, pp. 38–47, doi:10.1007/978-3-319-96145-3_3.
  7. 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. In: Proceedings of the 9th International NASA Formal Methods Symposium (NFM 2017), Lecture Notes in Computer Science 10227, pp. 420–426, doi:10.1007/978-3-319-57288-8_30.
  8. D. Giannakopoulou, T. Pressburger, A. Mavridou, J. Rhein, J. Schumann & N. Shi (2020): Formal Requirements Elicitation with FRET. In: 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).
  9. D. Giannakopoulou, T. Pressburger, A. Mavridou & J. Schumann (2020): Generation of Formal Requirements from Structured Natural Language. In: 26th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2020, Lecture Notes in Computer Science 12045. Springer, pp. 19–35, doi:10.1007/978-3-030-44429-7_2.
  10. K. Havelund & A. Goldberg (2008): Verify Your Runs, pp. 374–383, Lecture Notes in Computer Science 4171. Springer, doi:10.1007/978-3-540-69149-5_40.
  11. K. Julian & M. Kochenderfer (2019): Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems. 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), pp. 1–10, doi:10.1109/DASC43569.2019.9081748.
  12. 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. In: Computer Aided Verification. Springer, pp. 414–429, doi:10.1007/978-3-642-02658-4_32.
  13. 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. In: I. Dillig & S. Tasiran: Computer Aided Verification. Springer International Publishing, Cham, pp. 443–452, doi:10.1007/978-3-030-25540-4_26.
  14. R. Koymans (1990): Specifying Real-time Properties with Metric Temporal Logic. Real-Time Syst. 2(4), pp. 255–299, doi:10.1007/BF01995674.
  15. F. Laroussinie, N. Markey & P. Schnoebelen (2002): Temporal Logic with Forgettable Past. In: LICS’02: Proceeding of Logic in Computer Science 2002. IEEE Computer Society Press, pp. 383–392, doi:10.1109/LICS.2002.1029846.
  16. S. Owre, J. Rushby & N. Shankar (1992): PVS: A Prototype Verification System. In: Proceeding of the 11th International Conference on Automated Deduction (CADE), Lecture Notes in Artificial Intelligence 607. Springer, pp. 748–752, doi:10.1007/3-540-55602-8_217.
  17. I. Perez, F. Dedden & A. Goodloe (2020): Copilot 3. Technical Report NASA/TM–2020–220587. NASA Langley Research Center, doi:10.13140/RG.2.2.35163.80163.
  18. L. Pike, A. Goodloe, R. Morisset & S. Niller (2010): Copilot: A Hard Real-Time Runtime Monitor. In: Proceedings of the First International Conference on Runtime Verification (RV 2010), Lecture Notes in Computer Science 6418. Springer, pp. 345–359, doi:10.1007/978-3-642-16612-9_26.
  19. L. Pike, N. Wegmann, S. Niller & A. Goodloe (2013): Copilot: monitoring embedded systems. Innovations in Systems and Software Engineering 9(4), pp. 235–255, doi:10.1007/s11334-013-0223-x.
  20. A. Pnueli (1977): The Temporal Logic of Programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, SFCS '77. IEEE Computer Society, Washington, DC, USA, pp. 46–57, doi:10.1109/SFCS.1977.32.
  21. T. Reinbacher, K. Y. Rozier & J. Schumann (2014): Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems. In: 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, pp. 357–372, doi:10.1007/978-3-642-54862-8_24.
  22. J. Schumann, P. Moosbrugger & K. Y. Rozier (2015): R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems. In: Proceedings of the 6th International Conference on Runtime Verification (RV 2015), Lecture Notes in Computer Science 9333. Springer, pp. 233–249, doi:10.1007/978-3-319-23820-3_15.
  23. J. Souyris, V. Wiels, D. Delmas & H. Delseny (2009): Formal Verification of Avionics Software Products. In: Proceedings of the 2nd World Congress on Formal Methods, FM '09. Springer-Verlag, Berlin, Heidelberg, pp. 532–546, doi:10.1007/978-3-642-05089-3_34.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org