Author of the publication

Ontological Reasoning as an Enabler of Contract-Based Co-design.

, , , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 101-115. Springer, (2016)

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

Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies., , , , , , and . COMMitMDE@MoDELS, volume 1717 of CEUR Workshop Proceedings, page 35-44. CEUR-WS.org, (2016)A Library of Embedded Platform Components for the Simulation of Real-Time Embedded Systems., , , and . SpringSim, page 1-12. IEEE, (2019)Design-Space Exploration in MDE: An Initial Pattern Catalogue., , , and . CMSEBA@MoDELS, volume 1340 of CEUR Workshop Proceedings, page 42-51. CEUR-WS.org, (2014)Validation Of EPSim - An Embedded Platform Simulator For Control-Embedded Co-Design., , , and . ANNSIM, page 211-222. IEEE, (2022)Model transformations for round-trip engineering in control deployment co-design., , , and . SpringSim (TMS-DEVS), page 55-62. SCS/ACM, (2015)Component-based Timing Analysis for Embedded Software Components in Cyber-Physical Systems., , , , and . MECO, page 1-8. IEEE, (2020)Towards Real-Time Cyber-Physical Systems Instrumentation for Creating Digital Twins., , , and . SpringSim, page 1-12. IEEE, (2020)Ontological Reasoning as an Enabler of Contract-Based Co-design., , , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 101-115. Springer, (2016)A hybrid timing analysis method based on the isolation of software code block., , , , and . Internet Things, (2020)Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)., , , and . CyPhy/WESE, volume 11615 of Lecture Notes in Computer Science, page 71-90. Springer, (2018)