| 2017 | A Complete Generative Label Model for Lattice-Based Access Control Models. N. V. Narendra Kumar, R. K. Shyamasundar |
| 2017 | A Diagnosis Framework for Critical Systems Verification (Short Paper). Vincent Leildé, Vincent Ribaud, Ciprian Teodorov, Philippe Dhaussy |
| 2017 | A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. Paolo Masci, Yi Zhang, Paul L. Jones, José Creissac Campos |
| 2017 | An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions. Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron |
| 2017 | Compositional Verification of Interlocking Systems for Large Stations. Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo |
| 2017 | Computing Conditional Probabilities: Implementation and Evaluation. Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz |
| 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 | Focused Certification of an Industrial Compilation and Static Verification Toolchain. Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu |
| 2017 | Formalizing Timing Diagram Requirements in Discrete Duration Calculus. Raj Mohan Matteplackel, Paritosh K. Pandya, Amol Wakankar |
| 2017 | From Model Checking to a Temporal Proof for Partial Models. Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi |
| 2017 | IJIT: An API for Boolean Program Analysis with Just-in-Time Translation. Peizun Liu, Thomas Wahl |
| 2017 | Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory. Laurent Georget, Mathieu Jaume, Guillaume Piolle, Frédéric Tronel, Valérie Viet Triem Tong |
| 2017 | Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper). Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto |
| 2017 | Modeling and Reasoning on Requirements Evolution with Constrained Goal Models. Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini, John Mylopoulos |
| 2017 | Modular Verification of Information Flow Security in Component-Based Systems. Simon Greiner, Martin Mohr, Bernhard Beckert |
| 2017 | On Approximate Diagnosability of Metric Systems. Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto |
| 2017 | On Run-Time Enforcement of Authorization Constraints in Security-Sensitive Workflows. Daniel Ricardo dos Santos, Silvio Ranise |
| 2017 | PART _\mathrm PW : From Partial Analysis Results to a Proof Witness. Marie-Christine Jakobs |
| 2017 | Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider |
| 2017 | Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings Alessandro Cimatti, Marjan Sirjani |
| 2017 | Specification Clones: An Empirical Study of the Structure of Event-B Specifications. Marie Farrell, Rosemary Monahan, James F. Power |
| 2017 | Specification and Automated Verification of Dynamic Dataflow Networks. Jonatan Wiik, Pontus Boström |
| 2017 | Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz |
| 2017 | Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper). Lom-Messan Hillah, Rodrigo Elia Assad, Antonia Bertolino, Márcio Eduardo Delamaro, Fabio De Rosa, Vinicius C. Garcia, Francesca Lonetti, Ariele-Paolo Maesano, Libero Maesano, Eda Marchetti, Breno Miranda, Auri Vincenzi, Juliano Iyoda |
| 2017 | Towards Inverse Uncertainty Quantification in Software Development (Short Paper). Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini |
| 2017 | Trace Partitioning and Local Monitoring for Asynchronous Components. Duncan Paul Attard, Adrian Francalanza |
| 2017 | User Studies of Principled Model Finder Output. Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty |
| 2017 | Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2017 | Validating the Meta-Theory of Programming Languages (Short Paper). Guglielmo Fachini, Alberto Momigliano |