Author of the publication

Monitoring ROS2: from Requirements to Autonomous Robots.

, , , , and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 208-216. (2022)

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

A Common Integrated Framework for Heterogeneous Modeling Services., , , and . MoDELS (Workshops), volume 2245 of CEUR Workshop Proceedings, page 416-422. CEUR-WS.org, (2018)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)Architecture-Based Design: A Satellite On-Board Software Case Study., , , , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 260-279. (2016)Generation of Formal Requirements from Structured Natural Language., , , and . REFSQ, volume 12045 of Lecture Notes in Computer Science, page 19-35. Springer, (2020)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)Configuration Logics: Modelling Architecture Styles., , , and . FACS, volume 9539 of Lecture Notes in Computer Science, page 256-274. Springer, (2015)Coordination of Dynamic Software Components with JavaBIP., , and . FACS, volume 10487 of Lecture Notes in Computer Science, page 39-57. Springer, (2017)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)