Author of the publication

Formal Verification Techniques for Model Transformations: A Tridimensional Classification.

, , , , , , , and . J. Object Technol., 14 (3): 1:1-43 (2015)

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 testing framework for DEVS formalism implementations., , , , and . SpringSim (TMS-DEVS), page 183-188. SCS/ACM, (2011)Introduction to Statecharts Modeling, simulation, Testing, and Deployment., and . WSC, page 306-320. IEEE, (2018)Discrete Event System Specification Modeling and simulation., and . WSC, page 162-176. IEEE, (2018)Introduction to Statecharts Modeling, Simulation, Testing, and Deployment., and . WSC, page 1504-1518. IEEE, (2019)Metamodelling - State of the Art and Research Challenges, , , and . Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2011)Transforming UML2.0 class diagrams and statecharts to atomic DEVS., and . SpringSim (TMS-DEVS), page 205-212. SCS/ACM, (2011)Co-Simulation of Continuous Systems: A Hands-on Approach., and . WSC, page 1469-1481. IEEE, (2019)Automated testing support for reactive domain-specific modelling languages., , , and . SLE, page 181-194. ACM, (2016)Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios., , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 345-360. Springer, (2017)Demo: Stabilization Technique in INTO-CPS., , , , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 45-51. Springer, (2018)