Author of the publication

Robotics: A New Mission for FRET Requirements.

, , , , and . NFM, volume 14627 of Lecture Notes in Computer Science, page 359-376. Springer, (2024)

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

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)Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach., and . CoRR, (2017)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)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)Generation of Formal Requirements from Structured Natural Language., , , and . REFSQ, volume 12045 of Lecture Notes in Computer Science, page 19-35. Springer, (2020)Architecture-Based Design: A Satellite On-Board Software Case Study., , , , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 260-279. (2016)Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid., , , , and . IEEE Trans. Dependable Secur. Comput., 20 (4): 3110-3127 (July 2023)Formal Requirements Elicitation with FRET., , , , , and . REFSQ Workshops, volume 2584 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)