| 2017 | IJIT: An API for Boolean Program Analysis with Just-in-Time Translation. | Peizun Liu, Thomas Wahl |
| 2017 | A Diagnosis Framework for Critical Systems Verification (Short Paper). | Vincent Leild, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2017 | Features of Integrated Model-Based Co-modelling and Co-simulation Technology. | Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce |
| 2017 | A Complete Generative Label Model for Lattice-Based Access Control Models. | N. V. Narendra Kumar, R. K. Shyamasundar |
| 2017 | An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation. | Eva Khn, Sophie Therese Radschek |
| 2017 | PART _\mathrm PW : From Partial Analysis Results to a Proof Witness. | Marie-Christine Jakobs |
| 2017 | Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems. | Mark Jackson, John S. Fitzgerald |
| 2017 | Using Coq for Formal Modeling and Verification of Timed Connectors. | Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun |
| 2017 | Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). | Lom-Messan Hillah, Rodrigo Elia Assad, Antonia Bertolino, Mrcio Eduardo Delamaro, Fabio De Rosa, Vinicius C. Garcia, Francesca Lonetti, Ariele-Paolo Maesano, Libero Maesano, Eda Marchetti, Breno Miranda, Auri Vincenzi, Juliano Iyoda |
| 2017 | Controlling Production Variances in Complex Business Processes. | Paul Griffioen, Rob Christiaanse, Joris Hulstijn |
| 2017 | Modular Verification of Information Flow Security in Component-Based Systems. | Simon Greiner, Martin Mohr, Bernhard Beckert |
| 2017 | Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios. | Cludio Gomes, Paschalis Karalis, Eva M. Navarro-Lpez, Hans Vangheluwe |
| 2017 | Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). | Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo |
| 2017 | Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. | Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frdric Tronel, Valrie Viet Triem Tong |
| 2017 | Towards a Taxonomy of Microservices Architectures. | Martin Garriga |
| 2017 | Development of a Driverless Lawn Mower Using Co-simulation. | Frederik F. Foldager, Peter Gorm Larsen, Ole Green |
| 2017 | Specification Clones: An Empirical Study of the Structure of Event-B Specifications. | Marie Farrell, Rosemary Monahan, James F. Power |
| 2017 | Compositional Verification of Interlocking Systems for Large Stations. | Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo |
| 2017 | Validating the Meta-Theory of Programming Languages (Short Paper). | Guglielmo Fachini, Alberto Momigliano |
| 2017 | What Belongs to Context? - A Definition, a Criterion and a Method for Deciding on What Context-Aware Systems Should Sense and Adapt to. | Slinde van Engelenburg, Marijn Janssen, Bram Klievink |
| 2017 | Co-simulation Between Trnsys and Simulink Based on Type155. | Georg P. Engel, Ajay Sathya Chakkaravarthy, Gerald Schweiger |
| 2017 | Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle. | Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri |
| 2017 | Sequential Pattern Mining for ICT Risk Assessment and Prevention. | Michele D'Andreagiovanni, Fabrizio Baiardi, Jacopo Lipilini, Salvatore Ruggieri, Federico Tonelli |
| 2017 | User Studies of Principled Model Finder Output. | Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty |
| 2017 | Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems. | Lus Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen |