| 2016 | Refinement-Based Verification of Communicating Unstructured Code. | Nils Jhnig, Thomas Gthel, Sabine Glesner |
| 2016 | Program Generation Using Simulated Annealing and Model Checking. | Idress Husien, Sven Schewe |
| 2016 | Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution. | Jera Hensel, Jrgen Giesl, Florian Frohn, Thomas Strder |
| 2016 | Counterexamples from Proof Failures in SPARK. | David Hauzar, Claude March, Yannick Moy |
| 2016 | Incentive Stackelberg Mean-Payoff Games. | Anshul Gupta, Sven Schewe, Ashutosh Trivedi, Sai Krishna Deepak Maram, Bharath Kumar Padarthi |
| 2016 | Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information. | Josselin Feist, Laurent Mounier, Marie-Laure Potet |
| 2016 | Modularizing Crosscutting Concerns in Component-Based Systems. | Antoine El-Hokayem, Ylis Falcone, Mohamad Jaber |
| 2016 | Linearizability and Causality. | Simon Doherty, John Derrick |
| 2016 | LTL Model Checking under Fairness in ProB. | Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge |
| 2016 | Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams. | Christian Dernehl, Norman Hansen, Stefan Kowalewski |
| 2016 | Tightening a Contract Refinement. | Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta |
| 2016 | CoCoSpec: A Mode-Aware Contract Language for Reactive Systems. | Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli |
| 2016 | A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems. | Antonio Cerone |
| 2016 | Stability-Based Adaptation of Asynchronously Communicating Software. | Carlos Canal, Gwen Salan |
| 2016 | LTL Parameter Synthesis of Parametric Timed Automata. | Peter Bezdek, Nikola Benes, Jiri Barnat, Ivana Cern |
| 2016 | Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis. | Jaroslav Bendk, Nikola Benes, Jiri Barnat, Ivana Cern |
| 2016 | Compliance Checking in the Open Payments Ecosystem. | Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella |
| 2016 | SMT-Based Automatic Proof of ASM Model Refinement. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2016 | Correlating Structured Inputs and Outputs in Functional Specifications. | Oana Fabiana Andreescu, Thomas P. Jensen, Stphane Lescuyer |
| 2016 | Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems - (Extended Abstract). | Gul Agha |
| 2016 | Satisfiability Checking: Theory and Applications. | Erika brahm, Gereon Kremer |
| 2015 | Exploring the Role of Logic and Formal Methods in Information Systems Education. | Anna Zamansky, Eitan Farchi |
| 2015 | Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. | Anna Zamansky, Eitan Farchi |
| 2015 | Certification of Distributed Algorithms Solving Problems with Optimal Substructure. | Kim Vllinger, Wolfgang Reisig |
| 2015 | Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications. | Gijs Vanspauwen, Bart Jacobs |