Software Language Engineering

ProMoBox:

- A Framework for Generating Domain-Specific Property Languages

- A SAT-Based Debugging Tool for State Machines and Sequence Diagrams

- Towards User-Friendly Projectional

- Bounded Seas: Island Parsing Without Shipwrecks

- Eco: A Language Composition

The Moldable Debugger:

- A Framework for Developing Domain-Specific Debuggers

- Evaluating the Usability of a Visual Feature Modeling Notation

- A Metamodel Family for Role-Based Modeling and Programming Languages

AIOCJ:

- A Choreographic Framework for Safe Adaptive Distributed Applications

- fUML as an Assembly Language for Model Transformation

- Respect Your Parents: How Attribution and Rewriting Can Get Along

Monto:

- A Disintegrated Development Environment

- Model Checking of CTL-Extended OCL Specifications

- Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation

- Simple, Efficient, Sound and Complete Combinator Parsing for All Context-Free Grammars, Using an Oracle

- Origin Tracking in Attribute Grammars

- Dynamic Scope Discovery for Model Transformations

- Streamlining Control Flow Graph Construction with DCFlow

- Test-Data Generation for Xtext (Tool Paper)