| 2015 | Delta-Oriented FSM-Based Testing. | Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi |
| 2015 | Applying Automata Learning to Embedded Control Software. | Wouter Smeenk, Joshua Moerman, Frits W. Vaandrager, David N. Jansen |
| 2015 | Specifying Compatible Sharing in Data Structures. | Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin |
| 2015 | A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. | Jandson S. Ribeiro, Aline Andrade |
| 2015 | Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction. | Shaoying Liu, Xi Wang, Weikai Miao |
| 2015 | Mastering the Visualization of Larger State Spaces with Projection Diagrams. | Lukas Ladenberger, Michael Leuschel |
| 2015 | Practical Analysis Framework for Component Systems with Dynamic Reconfigurations. | Olga Kouchnarenko, Jean-Franois Weber |
| 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 | DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper). | Dennis Guck, Jip Spel, Marille Stoelinga |
| 2015 | A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. | Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
| 2015 | Refinement-Based Verification of the FreeRTOS Scheduler in VCC. | Sumesh Divakaran, Deepak D'Souza, Anirudh Kushwah, Prahladavaradan Sampath, Nigamanth Sridhar, Jim Woodcock |
| 2015 | History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. | Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hhnle, Einar Broch Johnsen |
| 2015 | Model Checking \mu μ C/OS-III Multi-task System with TMSVL. | Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou |
| 2015 | Continuation Semantics for Concurrency with Multiple Channels Communication. | Gabriel Ciobanu, Eneia Nicolae Todoran |
| 2015 | A Recursive Probabilistic Temporal Logic. | Pablo F. Castro, Cecilia Kilmurray, Nir Piterman |
| 2015 | A Logical Approach for Behavioural Composition of Scenario-Based Models. | Juliana Kster Filipe Bowles, Behzad Bordbar, Mohammed Alwanain |
| 2015 | SysML Blocks Adaptation. | Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir |
| 2015 | Formal Verification of Programs Computing the Floating-Point Average. | Sylvie Boldo |
| 2015 | Formal Analysis of Power Electronic Systems. | Sidi Mohamed Beillahi, Umair Siddique, Sofine Tahar |
| 2015 | Regression Verification for Programmable Logic Controller Software. | Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2015 | Domain-Specific Languages with Scala. | Cyrille Artho, Klaus Havelund, Rahul Kumar, Yoriyuki Yamagata |
| 2015 | Dependency Analysis of Functional Specifications with Algebraic Data Structures. | Oana Fabiana Andreescu, Thomas P. Jensen, Stphane Lescuyer |
| 2015 | Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. | tienne Andr, Camille Coti, Hoang Gia Nguyen |
| 2014 | Extending MSVL with Function Calls. | Nan Zhang, Zhenhua Duan, Cong Tian |