Author of the publication

Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems.

, , , , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 284-299. Springer, (2017)

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

Code generation for distributed embedded systems with VDM-RT., , , , , and . Des. Autom. Embed. Syst., 23 (3-4): 153-177 (2019)Three Is a Crowd: SAT, SMT and CLP on a Chessboard., , , , and . PADL, volume 10702 of Lecture Notes in Computer Science, page 63-79. Springer, (2018)Towards Enabling Overture as a Platform for Formal Notation IDEs., , , , , and . F-IDE, volume 187 of EPTCS, page 14-27. (2015)From Software Specifications to Constraint Programming., , , , and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 21-36. Springer, (2018)Realization of distributed system models using code generation extensions., , , and . Softw. Pract. Exp., 49 (3): 478-497 (2019)Formalising and Validating the Interface Description in the FMI Standard., , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 344-351. (2016)Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems., , , , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 284-299. Springer, (2017)