Author of the publication

Execution Model for Non-Hierarchical Heterogeneous Modeling.

, , and . IRI, page 139-144. IEEE Systems, Man, and Cybernetics Society, (2004)

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

Modular Development of Control and Computational Modules Using Reactive Objects., and . ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 515-518. Springer, (1998)Report on the First Workshop On the Globalization of Modeling Languages., , , , , , , , and . CoRR, (2014)Approach for Domain-Polymorph Components Design., , and . IRI, page 145-150. IEEE Systems, Man, and Cybernetics Society, (2004)ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling., and . MoDELS (Workshops), volume 5002 of Lecture Notes in Computer Science, page 247-258. Springer, (2007)An Architecture Description Language for Verification in Component-Based Software., , , and . COMPSAC, page 365-368. IEEE Computer Society, (2008)An Executable Model Driven Framework for Enterprise Architecture Application to the Smart Grids Context., , , and . HICSS, page 4546-4555. IEEE Computer Society, (2016)Formal verification of automotive embedded software., , and . FormaliSE@ICSE, page 84-87. ACM, (2018)Qualitative Simulation of Hybrid Systems with an Application to SysML Models., , and . MODELSWARD, page 279-286. SciTePress, (2018)The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems., , , and . MODELSWARD (Revised Selected Papers), volume 1361 of Communications in Computer and Information Science, page 3-25. Springer, (2020)Qualitative Reasoning and Design Space Exploration., , and . MODELSWARD, page 203-210. SCITEPRESS, (2024)