| 2015 | Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests. | Bruno Miranda, Henrique Masini, Rodrigo Reis |
| 2015 | Case Study: Static Security Analysis of the Android Goldfish Kernel. | Tao Liu, Ralf Huuck |
| 2015 | Verifying Parameterized Timed Security Protocols. | Li Li, Jun Sun, Yang Liu, Jin Song Dong |
| 2015 | Making Formal Methods Popular: The Crux is Math Education! | Franz Lichtenberger |
| 2015 | Formal Virtual Modelling and Data Verification for Supervision Systems. | Thierry Lecomte |
| 2015 | Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. | Shigeru Kusakabe, Yoichi Omori, Keijiro Araki |
| 2015 | Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware. | Taro Kurita, Fuyuki Ishikawa, Keijiro Araki |
| 2015 | Proving Safety with Trace Automata and Bounded Model Checking. | Daniel Kroening, Matt Lewis, Georg Weissenbacher |
| 2015 | Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program. | Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe |
| 2015 | Evaluation of Formal Reasoning Abilities Using a Concept Inventory. | Joseph E. Hollingsworth, Murali Sitaraman |
| 2015 | Analyzing the Restart Behavior of Industrial Control Applications. | Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley |
| 2015 | Automated Verification of RPC Stub Code. | Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz |
| 2015 | QPMC: A Model Checker for Quantum Programs and Protocols. | Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang |
| 2015 | Software Development and Authentication for Arms Control Information Barriers. | Neil Evans |
| 2015 | Automated Circular Assume-Guarantee Reasoning. | Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham |
| 2015 | Probabilistic Bisimulation for Realistic Schedulers. | Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang |
| 2015 | Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems. | William Durand, Sbastien Salva |
| 2015 | Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL. | Xiaoning Du, Yang Liu, Alwen Tiu |
| 2015 | Semantics-Preserving Simplification of Real-World Firewall Rule Sets. | Cornelius Diekmann, Lars Hupel, Georg Carle |
| 2015 | A Framework for Correctness Criteria on Weak Memory Models. | John Derrick, Graeme Smith |
| 2015 | Verifying Opacity of a Transactional Mutex Lock. | John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
| 2015 | Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes. | Sren Debois, Thomas T. Hildebrandt, Tijs Slaats |
| 2015 | Parameter Synthesis Through Temporal Logic Specifications. | Thao Dang, Tommaso Dreossi, Carla Piazza |
| 2015 | AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned. | Werner Damm |
| 2015 | Helping Programmers to Adopt Set-Based Specifications. | Maximiliano Cristi, Gianfranco Rossi, Claudia S. Frydman |