| 2016 | A Component-Based Approach to Hybrid Systems Safety Verification. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer |
| 2016 | A Constraint Satisfaction Method for Configuring Non-local Service Interfaces. Pavel Zaichenkov, Olga Tveretina, Alex Shafarenko |
| 2016 | A Formal Model of the Safety-Critical Java Level 2 Paradigm. Matt Luckcuck, Ana Cavalcanti, Andy J. Wellings |
| 2016 | A Generalised Theory of Interface Automata, Component Compatibility and Error. Sascha Fendrich, Gerald Lüttgen |
| 2016 | Avoiding Medication Conflicts for Patients with Multimorbidities. Andrii Kovalov, Juliana Küster Filipe Bowles |
| 2016 | Can Formal Methods Improve the Efficiency of Code Reviews? Martin Hentschel, Reiner Hähnle, Richard Bubel |
| 2016 | CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal |
| 2016 | Combining Static Analysis and Testing for Deadlock Detection. Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel |
| 2016 | Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite Automata. Stephan Barth |
| 2016 | Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving. Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe |
| 2016 | Enhancing Automata Learning by Log-Based Metrics. Petra van den Bos, Rick Smetsers, Frits W. Vaandrager |
| 2016 | Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. Lubos Korenciak, Vojtech Rehák, Adrian Farmadin |
| 2016 | Formal Verification of Safety PLC Based Control Software. Dániel Darvas, István Majzik, Enrique Blanco Viñuela |
| 2016 | Fuzzing JavaScript Engine APIs. Renáta Hodován, Ákos Kiss |
| 2016 | Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings Erika Ábrahám, Marieke Huisman |
| 2016 | Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment. Leo Freitas, James Baxter, Ana Cavalcanti, Andy J. Wellings |
| 2016 | Monitoring Multi-threaded Component-Based Systems. Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz |
| 2016 | On Implementing a Monitor-Oriented Programming Framework for Actor Systems. Ian Cassar, Adrian Francalanza |
| 2016 | On Robust Malware Classifiers by Verifying Unwanted Behaviours. Wei Chen, David Aspinall, Andrew D. Gordon, Charles Sutton, Igor Muttik |
| 2016 | On Type Checking Delta-Oriented Product Lines. Ferruccio Damiani, Michael Lienhardt |
| 2016 | Perspectives of Model Transformation Reuse. Marsha Chechik, Michalis Famelis, Rick Salay, Daniel Strüber |
| 2016 | Probabilistic Formal Analysis of App Usage to Inform Redesign. Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost |
| 2016 | Property Preservation for Extension Patterns of State Transition Diagrams. Christian Prehofer |
| 2016 | Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems. Olaf Owe |
| 2016 | Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report. Mathijs Schuts, Jozef Hooman, Frits W. Vaandrager |
| 2016 | Rule-Based Consistency Checking of Railway Infrastructure Designs. Bjørnar Luteberget, Christian Johansen, Martin Steffen |
| 2016 | SMT Solvers for Validation of B and Event-B Models. Sebastian Krings, Michael Leuschel |
| 2016 | Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata. Pedro R. D'Argenio, Arnd Hartmanns, Axel Legay, Sean Sedwards |
| 2016 | Symbolic Computation and Automated Reasoning for Program Analysis. Laura Kovács |
| 2016 | Symbolic Reachability Analysis of B Through ProB and LTSmin. Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield |
| 2016 | Temporal Random Testing for Spark Streaming. Adrián Riesco, Juan Rodríguez-Hortalá |
| 2016 | Towards a Thread-Local Proof Technique for Starvation Freedom. Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
| 2016 | Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle. Viorel Preoteasa |
| 2016 | Why Just Boogie? - Translating Between Intermediate Verification Languages. Michael Ameri, Carlo A. Furia |