Author of the publication

Bridging Engineering and Formal Modeling: WebGME and Formula Integration.

, , and . MoDELS (Satellite Events), volume 2019 of CEUR Workshop Proceedings, page 280-285. CEUR-WS.org, (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

Autonomic Self-Healing for MANETs., , , and . IC-AI, page 575-581. CSREA Press, (2009)Compositional specification of behavioral semantics., , and . DATE, page 906-911. EDA Consortium, San Jose, CA, USA, (2007)OASiS: A Programming Framework for Service-Oriented Sensor Networks., , , , and . COMSWARE, IEEE, (2007)Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality., and . ECBS, page 164-176. IEEE Computer Society, (2006)Composition of Cyber-Physical Systems.. ECBS, page 3-6. IEEE Computer Society, (2007)Multi-way Semantic Specification of Domain-Specific Modeling Languages., , , , and . ECBS, page 20-29. IEEE Computer Society, (2013)Model-Integrated Program Synthesis Environment., , and . ECBS, page 348-355. IEEE Computer Society, (1996)WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms., , , , , , and . ECBS, page 121-127. IEEE Computer Society, (2004)OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems., , , , and . FPS@ETAPS, volume 8415 of Lecture Notes in Computer Science, page 235-248. Springer, (2014)Towards the security and privacy analysis of patient portals., , , , , and . SIGBED Review, 4 (2): 5-9 (2007)