| 2016 | Rigorous Engineering of Collective Adaptive Systems Track Introduction. | Stefan Jhnichen, Martin Wirsing |
| 2016 | A Model Interpreter for Timed Automata. | M. Usman Iftikhar, Jonas Lundberg, Danny Weyns |
| 2016 | Software that Meets Its Intent. | Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser |
| 2016 | Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016. | Falk Howar, Karl Meinke, Andreas Rausch |
| 2016 | Proof-Carrying Apps: Contract-Based Deployment-Time Verification. | Snke Holthusen, Michael Nieke, Thomas Thm, Ina Schaefer |
| 2016 | A Calculus for Open Ensembles and Their Composition. | Rolf Hennicker |
| 2016 | Sparse Analysis of Variable Path Predicates Based upon SSA-Form. | Thomas S. Heinze, Wolfram Amme |
| 2016 | A Long and Winding Road Towards Modular Synthesis. | George T. Heineman, Jan Bessai, Boris Ddder, Jakob Rehof |
| 2016 | On the Feasibility of a Unified Modelling and Programming Paradigm. | Anne E. Haxthausen, Jan Peleska |
| 2016 | On the Use of Static Checking in the Verification of Interlocking Systems. | Anne E. Haxthausen, Peter H. stergaard |
| 2016 | Towards Incremental Validation of Railway Systems. | Reiner Hhnle, Radu Muschevici |
| 2016 | Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach. | Kahina Hacid, Yamine At Ameur |
| 2016 | Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach. | Kahina Hacid |
| 2016 | Static and Runtime Verification, Competitors or Friends? (Track Summary). | Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan |
| 2016 | Challenges in High-Assurance Runtime Verification. | Alwyn Goodloe |
| 2016 | Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. | J. Paul Gibson, Idir At-Sadoune, Marc Pantel |
| 2016 | RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification. | Maren Geske, Marc Jasper, Bernhard Steffen, Falk Howar, Markus Schordan, Jaco van de Pol |
| 2016 | Data Science Challenges to Improve Quality Assurance of Internet of Things Applications. | Harald Foidl, Michael Felderer |
| 2016 | Compliance, Functional Safety and Fault Detection by Formal Methods. | Christof Fetzer, Christoph Weidenbach, Patrick Wischnewski |
| 2016 | Formal Methods and Safety Certification: Challenges in the Railways Domain. | Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi |
| 2016 | Systems Modeling and Programming in a Unified Environment Based on Julia. | Hilding Elmqvist, Toivo Henningsson, Martin Otter |
| 2016 | Modeling Meets Programming: A Comparative Study in Model Driven Engineering Action Languages. | Maged Elaasar, Omar Badreddin |
| 2016 | Safer Refactorings. | Anna Maria Eilertsen, Anya Helene Bagge, Volker Stolz |
| 2016 | ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction. | Boris Ddder, George T. Heineman, Jakob Rehof |
| 2016 | Towards Functional Requirements Analytics. | Zouhir Djilani, Nabila Berkani, Ladjel Bellatreche |