| 2014 | The Guided System Development Framework: Modeling and Verifying Communication Systems. | Jose Quaresma, Christian W. Probst, Flemming Nielson |
| 2014 | A Visual Programming Approach to Beat-Driven Humanoid Robot Dancing. | Vid Podpecan |
| 2014 | Programming with Actors in Java 8. | Behrooz Nobakht, Frank S. de Boer |
| 2014 | Learning-Based Cross-Platform Conformance Testing. | Johannes Neubauer, Bernhard Steffen |
| 2014 | Prototype-Driven Development of Web Applications with DyWA. | Johannes Neubauer, Markus Frohme, Bernhard Steffen, Tiziana Margaria |
| 2014 | Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems. | Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay |
| 2014 | Compiling SCCharts - A Case-Study on Interactive Model-Based Compilation. | Christian Motika, Steven Smyth, Reinhard von Hanxleden |
| 2014 | Processes and Data Integration in the Networked Healthcare - (Track Introduction). | Tiziana Margaria, Christoph Rasche |
| 2014 | Simple Management of High Assurance Data in Long-Lived Interdisciplinary Healthcare Research: A Proposal. | Tiziana Margaria, Barry D. Floyd, Rodolfo Gonzalez Camargo, Anna-Lena Lamprecht, Johannes Neubauer, Marilia Seelaender |
| 2014 | On Programming and Policing Autonomic Computing Systems. | Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi |
| 2014 | DeltaCCS: A Core Calculus for Behavioral Change. | Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck |
| 2014 | SWEET - A Tool for WCET Flow Analysis (Extended Abstract). | Bjrn Lisper |
| 2014 | Challenges for the Dynamic Interconnection of Medical Devices. | Martin Leucker |
| 2014 | Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem. | Markus Lepper, Baltasar Trancn y Widemann |
| 2014 | Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems. | Axel Legay, Sean Sedwards |
| 2014 | Statistical Model Checking Past, Present, and Future - (Track Introduction). | Kim Guldstrand Larsen, Axel Legay |
| 2014 | Fault Model Design Space for Cooperative Concurrency. | Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro |
| 2014 | On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. | Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti |
| 2014 | Guided Domain-Specific Tailoring of jABC4. | Dennis Khn, Johannes Neubauer |
| 2014 | Track Introduction: Scientific Workflows. | Joost N. Kok, Anna-Lena Lamprecht, Kenneth J. Turner, Katy Wolstencroft |
| 2014 | Helena@Work: Modeling the Science Cloud Platform. | Annabelle Klarl, Philip Mayer, Rolf Hennicker |
| 2014 | Requirements Driven Data Warehouse Design: We Can Go Further. | Selma Khouri, Ladjel Bellatreche, Stphane Jean, Yamine At Ameur |
| 2014 | Back-To-Back Testing of Model-Based Code Generators. | Sven Jrges, Bernhard Steffen |
| 2014 | Deployment Variability in Delta-Oriented Models. | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2014 | Automatic Annotation of Bioinformatics Workflows with Biomedical Ontologies. | Beatriz Garca Jimnez, Mark D. Wilkinson |