Author of the publication

A domain specific language and methodology for control systems GUI specification, verification and prototyping.

, and . VL/HCC, page 179-182. IEEE Computer Society, (2007)

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

Composing Visual Syntax for Domain Specific Languages., , , , and . HCI (2), volume 5611 of Lecture Notes in Computer Science, page 889-898. Springer, (2009)Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping., and . RISE, volume 4401 of Lecture Notes in Computer Science, page 144-159. Springer, (2006)Optimizing Algebraic Petri Net Model Checking by Slicing., and . PNSE+ModPE, volume 989 of CEUR Workshop Proceedings, page 275-294. CEUR-WS.org, (2013)A domain specific language and methodology for control systems GUI specification, verification and prototyping., and . VL/HCC, page 179-182. IEEE Computer Society, (2007)AlPiNA: An Algebraic Petri Net Analyzer., , , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 349-352. Springer, (2010)Specification of Decision Diagram Operations., , , , , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 437-451. CEUR-WS.org, (2010)Assessing the Resilience ofSelf-Organizing Systems: A Quantitative Approach., , and . Adaptive, Dynamic, and Resilient Systems, CRC Press, (2014)Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study., , , and . DSM@SPLASH, page 16:1-16:6. ACM, (2010)Modeling Self-* Systems Using Chemically-Inspired Composable Patterns., , and . SASO, page 109-118. IEEE Computer Society, (2011)Self-organising Pervasive Ecosystems: A Crowd Evacuation Example., , , , and . SERENE, volume 6968 of Lecture Notes in Computer Science, page 115-129. Springer, (2011)