Markus Voelter

Publikationen

Liste als BibTeX-Datei exportieren

• April 2021 FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems Daniel Ratiu , Arne Nordmann , Peter Munk , Carmen Cârlan und Markus Voelter Domain-Specific Languages in Practice, ():131–164, April 2021. Details DOI BIB
• 2012 Implementing Modular Domain Specific Language and Analyses Daniel Ratiu , Markus Voelter , Zaur Molotnikov und Bernhard Schätz In MoDEVVA 2012 (MODELS Workshop), 2012. Details BIB
• 2012 Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu , Markus Voelter , Bernhard Schätz und Bernd Kolb In FormSERA 2012 (ICSE Workshop), 2012. Details BIB
• 2012 mbeddr - an Extensible C-based Programming Language and IDE for Embedded Systems Markus Voelter , Daniel Ratiu , Bernd Kolb und Bernhard Schätz In Gourab Sen Gupta , Donald Bailey , Serge Demidenko und Dale Carnegie , Editor, Proceedings of Wavefront/SPLASH 2012, 2012. Details BIB