| 2016 | A Model-Based Approach to Secure Multiparty Distributed Systems. | Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga |
| 2016 | Interactive Model-Based Compilation Continued - Incremental Hardware Synthesis for SCCharts. | Francesca Rybicki, Steven Smyth, Christian Motika, Alexander Schulz-Rosengarten, Reinhard von Hanxleden |
| 2016 | Better Railway Engineering Through Statistical Model Checking. | Enno Ruijters, Marille Stoelinga |
| 2016 | Simplifying OMG MOF-Based Metamodeling. | Nicolas F. Rouquette |
| 2016 | Adaptable Runtime Monitoring for the Java Virtual Machine. | Andrea Ros, Yudi Zheng, Haiyang Sun, Omar Javed, Walter Binder |
| 2016 | Hypothesis Testing for Rare-Event Simulation: Limitations and Possibilities. | Danil Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt |
| 2016 | What Is a Trace? A Runtime Verification Perspective. | Giles Reger, Klaus Havelund |
| 2016 | Considering Typestate Verification for Quantified Event Automata. | Giles Reger |
| 2016 | A Logic for the Statistical Model Checking of Dynamic Software Architectures. | Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay |
| 2016 | Guaranteeing Privacy-Observing Data Exchange. | Christian W. Probst |
| 2016 | Modelling and Testing of Real Systems. | Andreas Prinz, Birger Mller-Pedersen, Joachim Fischer |
| 2016 | Verification Techniques for Hybrid Systems. | Pavithra Prabhakar, Miriam Garcia Soto, Ratan Lal |
| 2016 | Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. | Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga |
| 2016 | Automatic Synthesis of Code Using Genetic Programming. | Doron Peled |
| 2016 | Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. | Fabrizio Pastore, Leonardo Mariani |
| 2016 | On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. | Gordon J. Pace, Ral Pardo, Gerardo Schneider |
| 2016 | User Profiles for Context-Aware Reconfiguration in Software Product Lines. | Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu |
| 2016 | The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. | Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin |
| 2016 | Meta-Level Reuse for Mastering Domain Specialization. | Stefan Naujokat, Johannes Neubauer, Tiziana Margaria, Bernhard Steffen |
| 2016 | Integrated Modeling Workflow for Security Assurance. | Min-Young Nam, Julien Delange, Peter H. Feiler |
| 2016 | A Library and Scripting Language for Tool Independent Simulation Descriptions. | Alexandra Mehlhase, Stefan Jhnichen, Amir Czwink, Robert Heinrichs |
| 2016 | Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System. | Franco Mazzanti, Alessio Ferrari, Giorgio Oronzo Spagnolo |
| 2016 | Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring. | Malte Mauritz, Falk Howar, Andreas Rausch |
| 2016 | Towards Static Analysis of Policy-Based Self-adaptive Computing Systems. | Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese |
| 2016 | On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. | Amel Mammar, Rgine Laleau |