Author of the publication

Translating Model Simulators to Analysis Models.

, and . FASE, volume 4961 of Lecture Notes in Computer Science, page 77-92. Springer, (2008)

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

Model Driven Engineering for Building Automation, a Research Agenda., , and . 3PGCIC, page 485-491. IEEE, (2013)Classic DEVS modelling and simulation., and . WSC, page 644-658. IEEE, (2017)Debugging Parallel DEVS., , and . Simul., 93 (4): 285-306 (2017)PythonPDEVS: a distributed parallel DEVS simulator., and . SpringSim (TMS-DEVS), page 91-98. SCS/ACM, (2015)Explicit modelling of a parallel DEVS experimentation environment., , , , and . SpringSim (TMS-DEVS), page 107-114. SCS/ACM, (2015)AToM3: A Tool for Multi-formalism and Meta-modelling., and . FASE, volume 2306 of Lecture Notes in Computer Science, page 174-188. Springer, (2002)Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems., , and . AGTIVE, volume 3062 of Lecture Notes in Computer Science, page 292-298. Springer, (2003)Search-Based Model Optimization Using Model Transformations., , , and . SAM, volume 8769 of Lecture Notes in Computer Science, page 80-95. Springer, (2014)CLAVS/ODVS: Combining Class/Object Diagrams and DEVS., , and . WSC, page 2591-2602. IEEE, (2023)Specifying and Executing the Combination of Timed Finite State Automata and Causal-Block Diagrams by Mapping Onto Devs., , and . WSC, page 1-12. IEEE, (2021)