| 2016 | Information Leakage Analysis of Complex C Code and Its application to OpenSSL. | Pasquale Malacaria, Michael Tautschnig, Dino Distefano |
| 2016 | Compositional Verification of Multi-station Interlocking Systems. | Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen |
| 2016 | Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems. | Alexis Linard, Marcos L. P. Bueno |
| 2016 | On Combinations of Static and Dynamic Analysis - Panel Introduction. | Martin Leucker |
| 2016 | Runtime Verification for Interconnected Medical Devices. | Martin Leucker, Malte Schmitz, Danilo Tellinghusen |
| 2016 | Merging Modeling and Programming Using Umple. | Timothy C. Lethbridge, Vahdat Abdelzad, Mahmoud Husseini Orabi, Ahmed Husseini Orabi, Opeyemi Adesina |
| 2016 | Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. | Francesco Leofante, Simone Vuotto, Erika brahm, Armando Tacchella, Nils Jansen |
| 2016 | Plasma Lab: A Modular Statistical Model Checking Platform. | Axel Legay, Sean Sedwards, Louis-Marie Traonouez |
| 2016 | Specifying and Verifying Advanced Control Features. | Gary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani |
| 2016 | Abstractions for Modeling Complex Systems. | Zsolt Lattmann, Tams Kecsks, Patrik Meijer, Gabor Karsai, Pter Vlgyesi, kos Ldeczi |
| 2016 | On the Power of Statistical Model Checking. | Kim G. Larsen, Axel Legay |
| 2016 | Statistical Model Checking: Past, Present, and Future. | Kim G. Larsen, Axel Legay |
| 2016 | Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. | Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Ren A. Nilsson, Carl Gamble, Simon Foster |
| 2016 | Unifying Modelling and Programming: A Systems Biology Perspective. | Hillel Kugler |
| 2016 | Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances. | Jan Kretnsk |
| 2016 | Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014. | Nikolai Kosmatov, Claude March, Yannick Moy, Julien Signoles |
| 2016 | Execution Trace Analysis Using LTL-FO ^+. | Raphal Khoury, Sylvain Hall, Omar Waldmann |
| 2016 | Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners. | Eldar Khalilov, Jordan A. Ross, Michal Antkiewicz, Markus Vlter, Krzysztof Czarnecki |
| 2016 | Towards a Logic for Inferring Properties of Event Streams. | Sean Kauffman, Rajeev Joshi, Klaus Havelund |
| 2016 | Feedback Control for Statistical Model Checking of Cyber-Physical Systems. | Kenan Kalajdzic, Cyrille Jgourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu |
| 2016 | Synthesis from a Practical Perspective. | Sven Jrges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, Bernhard Steffen |
| 2016 | Comparing AWS Deployments Using Model-Based Predictions. | Einar Broch Johnsen, Jia-Chun Lin, Ingrid Chieh Yu |
| 2016 | Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations. | Marc Jasper, Markus Schordan |
| 2016 | OnTrack: The Railway Verification Toolset - Extended Abstract. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang |
| 2016 | Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. | Stefan Jhnichen, Martin Wirsing |