Author of the publication

Change and Delay Contracts for Hybrid System Component Verification.

, , , , and . FASE, volume 10202 of Lecture Notes in Computer Science, page 134-151. Springer, (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

Exploring Model Engineering Techniques for the Integration of Heterogeneous Context Models.. MoMM, volume 230 of books@ocg.at, page 65-76. Austrian Computer Society, (2007)Cross-domain informativeness classification for disaster situations., , , , and . MEDES, page 183-190. ACM, (2018)Customisation for ubiquitous web applications: a comparison of approaches, , , and . International Journal of Web Engineering and Technology, 1 (1): 79--111 (2003)Situation Prediction Nets - Playing the Token Game for Ontology-Driven Situation Awareness., , , , and . ER, volume 6412 of Lecture Notes in Computer Science, page 202-218. Springer, (2010)Making workflows situation aware: an ontology-driven framework for dynamic spatial systems., , , , , , , , and . iiWAS, page 182-188. ACM, (2011)Ubiquitous Access to Cultural Tourism Portals., , , , , and . DEXA Workshops, page 67-72. IEEE Computer Society, (2004)The Blockchain Muddle: A Bird's-Eye View on Blockchain Surveys., , , , , and . iiWAS, page 370-374. ACM, (2018)A Generator Framework for Domain-Specific Model Transformation Languages., , , , and . ICEIS (3), page 27-35. (2006)Context-Awareness on Mobile Devices - the Hydrogen Approach., , , , , and . HICSS, page 292. IEEE Computer Society, (2003)Identifying and Modelling Complex Workflow Requirements in Web Applications., , , , , and . ICWE Workshops, volume 7703 of Lecture Notes in Computer Science, page 146-157. Springer, (2012)