Author of the publication

Integrating Formal Verification and Assurance: An Inspection Rover Case Study.

, , , , , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 53-71. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Architecture-Based Design: A Satellite On-Board Software Case Study., , , , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 260-279. (2016)Integrating Formal Verification and Assurance: An Inspection Rover Case Study., , , , , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 53-71. Springer, (2021)A Common Integrated Framework for Heterogeneous Modeling Services., , , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 416-422. CEUR-WS.org, (2018)Monitoring ROS2: from Requirements to Autonomous Robots., , , , and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 208-216. (2022)Formal Requirements Elicitation with FRET., , , , , and . REFSQ Workshops, volume 2584 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Generation of Formal Requirements from Structured Natural Language., , , and . REFSQ, volume 12045 of Lecture Notes in Computer Science, page 19-35. Springer, (2020)Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software., , , and . DSN-W, page 263-266. IEEE, (2023)From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET., , , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 503-523. Springer, (2021)Automated Translation of Natural Language Requirements to Runtime Monitors., , , , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 387-395. Springer, (2022)Configuration Logics: Modelling Architecture Styles., , , and . FACS, volume 9539 of Lecture Notes in Computer Science, page 256-274. Springer, (2015)