| 2015 | A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. Jandson S. Ribeiro, Aline Andrade |
| 2015 | A Logical Approach for Behavioural Composition of Scenario-Based Models. Juliana Küster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain |
| 2015 | A Predictability Algorithm for Distributed Discrete Event Systems. Lina Ye, Philippe Dague, Farid Nouioua |
| 2015 | A Recursive Probabilistic Temporal Logic. Pablo F. Castro, Cecilia Kilmurray, Nir Piterman |
| 2015 | A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
| 2015 | An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems. Shuling Wang, Naijun Zhan, Liang Zou |
| 2015 | Applying Automata Learning to Embedded Control Software. Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen |
| 2015 | B for Modeling Secure Information Systems - The B4MSecure Platform. Akram Idani, Yves Ledru |
| 2015 | Consistency Verification of Specification Rules. Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato |
| 2015 | Continuation Semantics for Concurrency with Multiple Channels Communication. Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2015 | DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). Dennis Guck, Jip Spel, Mariëlle Stoelinga |
| 2015 | Delta-Oriented FSM-Based Testing. Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi |
| 2015 | Dependency Analysis of Functional Specifications with Algebraic Data Structures. Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer |
| 2015 | Domain-Specific Languages with Scala. Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata |
| 2015 | Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. Étienne André, Camille Coti, Hoang Gia Nguyen |
| 2015 | Formal Analysis of Power Electronic Systems. Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar |
| 2015 | Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings Michael J. Butler, Sylvain Conchon, Fatiha Zaïdi |
| 2015 | Formal Verification of Programs Computing the Floating-Point Average. Sylvie Boldo |
| 2015 | Formalization and Verification of Declarative Cloud Orchestration. Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi |
| 2015 | History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen |
| 2015 | Mastering the Visualization of Larger State Spaces with Projection Diagrams. Lukas Ladenberger, Michael Leuschel |
| 2015 | Model Checking \mu μ C/OS-III Multi-task System with TMSVL. Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou |
| 2015 | Practical Analysis Framework for Component Systems with Dynamic Reconfigurations. Olga Kouchnarenko, Jean-François Weber |
| 2015 | Refinement-Based Verification of the FreeRTOS Scheduler in VCC. Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock |
| 2015 | Regression Verification for Programmable Logic Controller Software. Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2015 | Specifying Compatible Sharing in Data Structures. Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin |
| 2015 | Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. Shaoying Liu, Xi Wang, Weikai Miao |
| 2015 | SysML Blocks Adaptation. Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir |