| 2014 | Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
| 2014 | Self-expression and Dynamic Attribute-Based Ensembles in SCEL. | Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli |
| 2014 | Towards Performance-Aware Engineering of Autonomic Component Ensembles. | Toms Bures, Vojtech Hork, Michal Kit, Luks Marek, Petr Tuma |
| 2014 | Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. | Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi |
| 2014 | Fully Abstract Operation Contracts. | Richard Bubel, Reiner Hhnle, Maria Pelevina |
| 2014 | A Formalism for Stochastic Adaptive Systems. | Benot Boyer, Axel Legay, Louis-Marie Traonouez |
| 2014 | Risk-Based Vulnerability Testing Using Security Test Patterns. | Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte |
| 2014 | Domain-Specific Business Modeling with the Business Model Developer. | Steve Boelmann, Tiziana Margaria |
| 2014 | A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. | Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll |
| 2014 | Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language. | Klaus Birken |
| 2014 | Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli |
| 2014 | Combinatory Logic Synthesizer. | Jan Bessai, Andrej Dudenhefner, Boris Ddder, Moritz Martens, Jakob Rehof |
| 2014 | DSL Implementation for Model-Based Development of Pumps. | Christian Berg, Wolf Zimmermann |
| 2014 | Rigorous System Design Flow for Autonomous Systems. | Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki |
| 2014 | Towards Modular Verification of Software Product Lines with mCRL2. | Maurice H. ter Beek, Erik P. de Vink |
| 2014 | Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2014 | Model-Driven Active Automata Learning with LearnLib Studio. | Oliver Bauer, Johannes Neubauer, Malte Isberner |
| 2014 | Medical Cyber-Physical Systems - (Track Introduction). | Ezio Bartocci, Sicun Gao, Scott A. Smolka |
| 2014 | Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. | Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny |
| 2014 | Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach. | J. Christian Attiogb |
| 2014 | Model-Based Code-Generators and Compilers - Track Introduction. | Uwe Amann, Jens Knoop, Wolf Zimmermann |
| 2014 | Verification of GUI Applications: A Black-Box Approach. | Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski |
| 2014 | Domain-Specific Languages for Enterprise Systems. | Jesper Andersen, Patrick Bahr, Fritz Henglein, Tom Hvitved |
| 2014 | On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. | Yamine At Ameur, J. Paul Gibson, Dominique Mry |
| 2014 | Static Inference of Transmission Data Sizes in Distributed Systems. | Elvira Albert, Jess Correas Fernndez, Enrique Martin-Martin, Guillermo Romn-Dez |