Markus Völter

According to our database1, Markus Völter authored at least 105 papers between 1999 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Programming vs. That Thing Subject Matter Experts Do.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

A Domain-Specific Language for Payroll Calculations: An Experience Report from DATEV.
Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

FASTEN: An Extensible Platform to Experiment with Rigorous Modeling of Safety-Critical Systems.
Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

2019
Lessons learned from developing mbeddr: a case study in language engineering with MPS.
Softw. Syst. Model., 2019

Using language workbenches and domain-specific languages for safety-critical software development.
Softw. Syst. Model., 2019

Shadow models: incremental transformations for MPS.
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Using Language Workbenches and Domain-Specific Languages for Safety-critical Software Development.
Proceedings of the Software Engineering and Software Management, 2019

2018
Automated testing of DSL implementations - experiences from building mbeddr.
Softw. Qual. J., 2018

Incrementalizing lattice-based program analyses in Datalog.
Proc. ACM Program. Lang., 2018

Efficiency of Projectional Editing.
Proceedings of the Software Engineering und Software Management 2018, 2018

Fusing Modeling and Programming into Language-Oriented Programming - Our Experiences with MPS.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

The Design, Evolution, and Use of KernelF - An Extensible and Embeddable Functional Language.
Proceedings of the Theory and Practice of Model Transformation, 2018

2017
Robust projectional editing.
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017

2016
Leveraging Palladio for Performance Awareness in the IETS3 Integrated Specification Environment.
Softwaretechnik-Trends, 2016

Efficient development of consistent projectional editors using grammar cells.
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31, 2016

Efficiency of projectional editing: a controlled experiment.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Lessons learned about language engineering from the development of mbeddr (keynote).
Proceedings of the 1st Industry Track on Software Language Engineering, 2016

IncA: a DSL for the definition of incremental program analyses.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

An extensible framework for variable-precision data-flow analyses in MPS.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Automated testing of DSL implementations: experiences from building mbeddr.
Proceedings of the 11th International Workshop on Automation of Software Test, 2016

2015
Projecting a Modular Future.
IEEE Softw., 2015

Evaluating and comparing language workbenches: Existing results and benchmarks for the future.
Comput. Lang. Syst. Struct., 2015

Towards improving software security using language engineering and mbeddr C.
Proceedings of the Workshop on Domain-Specific Modeling, 2015

Using C language extensions for developing embedded software: a case study.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Extensible Debugger Framework for Extensible Languages.
Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014
Towards User-Friendly Projectional Editors.
Proceedings of the Software Language Engineering - 7th International Conference, 2014

mbeddr: extensible languages for embedded software development.
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Feedback-Aware Requirements Documents for Smart Devices.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014

Supporting Diverse Notations in MPS' Projectional Editor.
Proceedings of the 2nd International Workshop on The Globalization of Modeling Languages co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Model-Driven Development Processes and Practices: Foundations and Research Perspectives.
Proceedings of the 1st International Workshop on Model-Driven Development Processes and Practices co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Automated domain-specific C verification with mbeddr.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Globalized Domain Specific Language Engineering.
Proceedings of the Globalizing Domain-Specific Languages, 2014

2013
Extensible Debuggers for Extensible Languages.
Softwaretechnik-Trends, 2013

mbeddr: instantiating a language workbench in the embedded software domain.
Autom. Softw. Eng., 2013

The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

JetBrains MPS as a tool for extending Java.
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

Using Language Engineering to Lift Languages and Analyses at the Domain Level.
Proceedings of the NASA Formal Methods, 2013

Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts.
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Integrating Prose as First-Class Citizens with Models and Code.
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013

Research Questions for Validation and Verification in the Context of Model-Based Engineering.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

Requirements as First-Class Citizens: Integrating Requirements closely with Implementation Artifacts.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, 2013

A model-based approach to language integration.
Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

DSL Engineering - Designing, Implementing and Using Domain-Specific Languages.
dslbook.org, ISBN: 978-1-4812-1858-0, 2013

2012
Approaches and Tools for Implementing Type Systems in Xtext.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

mbeddr: an extensible C-based programming language and IDE for embedded systems.
Proceedings of the SPLASH'12, 2012

Towards an Extensible C for Embedded Programming.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Language modularity with the MPS language workbench.
Proceedings of the 34th International Conference on Software Engineering, 2012

Language engineering as an enabler for incrementally defined formal analyses.
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

2011
From Programming to Modeling - and Back Again.
IEEE Softw., 2011

Product Line Engineering Using Domain-Specific Languages.
Proceedings of the Software Product Lines - 15th International Conference, 2011

DSLs for Product Lines: Approaches, Tools, Experiences.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation - Workshop- Einleitung und Überblick.
Proceedings of the Software Engineering 2011, 2011

Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PIK 2011).
Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011

Language and IDE Modularization and Composition with MPS.
Proceedings of the Generative and Transformational Techniques in Software Engineering IV, 2011

2010
Architecture as Language.
IEEE Softw., 2010

Projectional Language Workbenches as a Foundation for Product Line Engineering.
Proceedings of the Software Engineering 2010, 2010

PIK2010 Workshop-Einleitung und Überblick.
Proceedings of the Software Engineering 2010, 2010

Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PIK2010).
Proceedings of the Software Engineering 2010, 2010

Language extension and composition with language workbenches.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Domain specific: a binary decision?
Proceedings of the DSM@SPLASH 2010: Proceedings of the 10th Workshop on Domain-Specific Modeling, 2010

Embedded Software Development with Projectional Language Workbenches.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Implementing feature variability for models and code with projectional language workbenches.
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

2009
Aspect-Oriented Model-Driven Software Product Line Engineering.
LNCS Trans. Aspect Oriented Softw. Dev., 2009

MD* Best Practices.
J. Object Technol., 2009

Using domain specific languages for product line engineering.
Proceedings of the Software Product Lines, 13th International Conference, 2009

1<sup>st</sup> International Workshop on Model-driven Approaches in Software Product Line Engineering: (MAPLE 2009).
Proceedings of the Software Product Lines, 13th International Conference, 2009

Produkt-Variabilität im gesamten Lebenszyklus (PVLZ2009).
Proceedings of the Software Engineering 2009, 2009

Produkt-Variabilität im gesamten Lebenszyklus (PVLZ 2009).
Proceedings of the Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern, 2009

A textual domain specific language for AUTOSAR.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

Variability Patterns.
Proceedings of the EuroPLoP 2009: 14th Annual European Conference on Pattern Languages of Programming, 2009

2008
Integrating Models and Aspects into Product Line Engineering.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Using Aspects to Model Product Line Variability.
Proceedings of the Software Product Lines, 12th International Conference, 2008

An integrated aspect-oriented model-driven software product line tool suite.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Guest Editors' Introduction: Software Patterns.
IEEE Softw., 2007

Product Line Implementation using Aspect-Oriented and Model-Driven Software Development.
Proceedings of the Software Product Lines, 11th International Conference, 2007

XWeave: models and aspects in concert.
Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, 2007

2006
Software Architecture - A pattern language for building sustainable software architectures.
Proceedings of the EuroPLoP' 2006, 2006

Models and Aspects - Handling Crosscutting Concerns in MDSD.
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Model-driven software development - technology, engineering, management.
Pitman, ISBN: 978-0-470-02570-3, 2006

2005
Model Driven Software Development in the Context of Embedded Component Infrastructures.
Proceedings of the Component-Based Software Development for Embedded Systems, 2005

Modellgetriebene Softwareentwicklung.
Datenbank-Spektrum, 2005

Model-Driven Development of Component Infrastructures for Embedded Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

Models and Aspects.
Proceedings of the EuroPLoP' 2005, 2005

Remoting patterns - foundations of enterprise, internet and realtime distributed object middleware.
Wiley series in software design patterns, Wiley, ISBN: 978-0-470-85662-8, 2005

Modellgetriebene Softwareentwicklung - Techniken, Engineering, Management.
dpunkt.verlag, ISBN: 978-3-89864-310-8, 2005

2004
Pattern-Based Design of an Asynchronous Invocation Framework for Web Services.
Int. J. Web Serv. Res., 2004

Remoting Patterns.
IEEE Internet Comput., 2004

Model-based Middleware for Embedded Systems.
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Broker Revisited.
Proceedings of the 9th European Conference on Pattern Languages of Programms (EuroPLoP '2004), 2004

Patterns for Model-Driven Software-Development.
Proceedings of the 9th European Conference on Pattern Languages of Programms (EuroPLoP '2004), 2004

Command Revisited.
Proceedings of the 9th European Conference on Pattern Languages of Programms (EuroPLoP '2004), 2004

Evolution and Reuse of Language Specifications for DSLs (ERLS).
Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

2003
A Taxonomy of Components.
J. Object Technol., 2003

Design and Implementation of an Asynchronous Invocation Framework for Web Services.
Proceedings of the Web Services, 2003

Patterns for Component Composition and Adaptation.
Proceedings of the 8th European Conference on Pattern Languages of Programms (EuroPLoP '2003), 2003

Patterns for Asynchronous Invocations in Distributed Object Frameworks.
Proceedings of the 8th European Conference on Pattern Languages of Programms (EuroPLoP '2003), 2003

A Catalog of Patterns for Program Generation.
Proceedings of the 8th European Conference on Pattern Languages of Programms (EuroPLoP '2003), 2003

2002
Hope, Belief and Wizardry - Three Different Perspectives on Project Management.
Proceedings of the 7th European Conference on Pattern Languages of Programms (EuroPLoP '2002), 2002

Generative Programming.
Proceedings of the Object-Oriented Technology, 2002

Server Component Patterns - component infrastructures illustrated with EJB.
Wiley series in software design patterns, Wiley, ISBN: 978-0-470-84319-2, 2002

2001
Server-Side Components - A Pattern Language.
Proceedings of the 6th European Conference on Pattern Languages of Programms (EuroPLoP '2001), 2001

2000
Metacommand.
Proceedings of the 5th European Conference on Pattern Languages of Programms (EuroPLoP '2000), 2000

SEMINARS: A Pedagogical Pattern Language about teaching seminars effectively.
Proceedings of the 5th European Conference on Pattern Languages of Programms (EuroPLoP '2000), 2000

1999
Pluggable Component: A Pattern for Interactive System Configuration.
Proceedings of the 4th European Conference on Pattern Languages of Programms (EuroPLoP '1999), 1999


  Loading...