| Title | Authors | Keywords |
| Model-Driven Construction of Embedded Applications based on Reusable Building Blocks - An Example | Frank Alexander Kraemer; Vidar Slatten; Peter Herrmann | model-driven development, UML, MDA, embedded systems |
| Energy-aware System Design with SDL | Reinhard Gotzhein; Marc Krämer; Lothar Litz; Alain Chamaken | |
| Model-driven Development of Time-critical Protocols with SDL-MDD | Philipp Becker; Dennis Christmann; Reinhard Gotzhein | SDL; SDL-MDD; micro protocol; time-critical behavior; cooperative/arbitrating transfer |
| Towards Model Based Development of Managed Networked Embedded Systems | El Arbi Aboussoror; Ileana Ober; Michelle Sibilla | MDA; embedded system design; communicating systems; configurability; adaptability |
| Towards an Integrated Quality Assessment and Improvement Approach for UML Models | Akhtar Jalbani; Jens Grabowski; Benjamin Zeiss | quality;uml;quality assessment;quality improvement;refactoring;smells;bad smells;model refactoring;metrics;model metrics; model smells |
| Optimal string edit distance based test suite reduction for SDL specifications | Gábor Kovács; Zoltan Pap; Gábor Németh; Mahadevan Subramaniam | SDL based test selection, string edit distance, MSC test cases |
| Early Schedulability Analysis with Timed Use Case Maps | Jameleddine Hassine | Quantitative analysis, requirements, time constraints, schedulability analysis, timed use case maps |
| Extending the User Requirements Notation with Aspect-oriented Concepts | Gunter Mussbacher; Daniel Amyot | User Requirements Notation; Goal-oriented Requirement Language; Use Case Maps; Aspects; Aspect-oriented Modeling; Aspect-oriented Requirements Engineering, Aspect-oriented User Requirements Notation |
| A UML Profile for the Goal-oriented Requirement Language | Muhammad Abid; Daniel Amyot; Stéphane Somé | URN, GRL, UML, profile, metamodel extension |
| Modelling a Debugger for an Imperative Voice Control Language | Andreas Blunk; Joachim Fischer; Daniel Sadilek | debugging, metamodelling, domain-specific languages, operational semantics |
| The ARC Programming Model | Kevin Marth | agent; coordination; multicore |
| Automatic Generation of Compatible Interfaces from Partitioned UML Activities | Frank Alexander Kraemer | service engineering, service contracts, UML activities |
| The Challenges of using SDL for the Development of Wireless Sensor Networks | Klaus Ahrens; Ingmar Eveslage; Joachim Fischer; Frank Kühnlenz; Dorian Weber | Model-based Development, Sensor Systems, Simulation, Code Generation, Experiment Management, SDL, ASN.1, Earthquake Early Warning |
| Modeling LTE Protocol for Mobile Terminals using Formal Description Technique | Anas Showk; David Szczesny; Shadi Traboulsi; Irv Badr; Elizabeth Gonzalez; Attila Bilgic | Service-Oriented applications, formal modeling, automatic code generation, formal verification, formal validation. |
| SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform | Shadi Traboulsi; Felix Bruns; Anas Showk; David Szczesny; Sebastian Hessel; Elizabeth Gonzalez; Attila Bilgic | hardware/software co-design; rapid system prototyping; design-space exploration; mobile terminal; SDL |