Author of the publication

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 Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements., , , and . CoRR, (2021)FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller., , , and . CoRR, (2021)Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration A Position Paper., , and . CoRR, (2023)Using dafny to solve the VerifyThis 2021 challenges., , and . FTfJP@ECOOP, page 32-38. ACM, (2021)A formal approach to finding inconsistencies in a metamodel., and . Softw. Syst. Model., 20 (4): 1271-1298 (2021)Bridging the gap between single- and multi-model predictive runtime verification., , , , , , and . Formal Methods Syst. Des., 59 (1): 44-76 (2021)Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper., , , , , , , , , and 3 other author(s). CoRR, (2020)Building Specifications in the Event-B Institution., , and . CoRR, (2021)Modelling the Turtle Python library in CSP., , , and . AREA@IJCAI-ECAI, volume 362 of EPTCS, page 15-22. (2022)Why just FRET when you can Refactor? Retuning FRETISH Requirements., , and . CoRR, (2022)