Subject Areas
Currently Not Available
Published Items by Year
Keywords
Colleague Collaboration
Author’s Latest Publications
- research-article
Shadow models: incremental transformations for MPS
October 2019SLE 2019: Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineeringhttps://doi.org/10.1145/3357766.3359528 - article
Using language workbenches and domain-specific languages for safety-critical software development
- Markus Voelter,
- Bernd Kolb,
- Klaus Birken,
- Federico Tomassetti,
- Patrick Alff,
- Laurent Wiart,
- Andreas Wortmann,
- Arne Nordmann
August 2019Software and Systems Modeling (SoSyM), Volume 18, Issue 4https://doi.org/10.1007/s10270-018-0679-0 - Article
Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language
October 2014Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802https://doi.org/10.1007/978-3-662-45234-9_29 - Article
Abstract execution for event-driven systems --- an application from automotive/infotainment development
October 2012ISoLA'12: Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part IIhttps://doi.org/10.1007/978-3-642-34032-1_18 - Article
Resource analysis of automotive/infotainment systems based on domain-specific models: a real-world example
October 2010ISoLA'10: Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II