| 2015 | Why, how and what should be taught about Formal Methods? | Maximiliano Cristi |
| 2015 | The Role of Modelling in Teaching Formal Methods for Software Engineering. | Anthony J. Cowling |
| 2015 | Certificates for Parameterized Model Checking. | Sylvain Conchon, Alain Mebsout, Fatiha Zadi |
| 2015 | Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking. | Bharti Chimdyalwar, Priyanka Darke, Anooj Chavda, Sagar Vaghani, Avriti Chauhan |
| 2015 | Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures. | Julien Bringer, Herv Chabanne, Daniel Le Mtayer, Roch Lescuyer |
| 2015 | Verifying the Safety of a Flight-Critical System. | Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai |
| 2015 | Foundations of Semantics and Model Checking in a Software Engineering Course. | Henning Bordihn, Anna-Lena Lamprecht, Tiziana Margaria |
| 2015 | Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. | Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson |
| 2015 | Narrowing Operators on Template Abstract Domains. | Gianluca Amato, Simone Di Nardo Di Maio, Maria Chiara Meo, Francesca Scozzari |
| 2015 | Towards Formal Verification of Orchestration Computations Using the 핂 Framework. | Musab A. AlTurki, Omar Alzuhaibi |
| 2015 | Resource Analysis: From Sequential to Concurrent and Distributed Programs. | Elvira Albert, Puri Arenas, Jess Correas, Samir Genaim, Miguel Gmez-Zamalloa, Enrique Martin-Martin, Germn Puebla, Guillermo Romn-Dez |
| 2015 | A Specification Language for Static and Runtime Verification of Data and Control Properties. | Wolfgang Ahrendt, Jess Mauricio Chimento, Gordon J. Pace, Gerardo Schneider |
| 2015 | Abstraction of Elementary Hybrid Systems by Variable Transformation. | Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou |
| 2015 | Property-Driven Fence Insertion Using Reorder Bounded Model Checking. | Saurabh Joshi, Daniel Kroening |
| 2014 | Formal Verification of a Descent Guidance Control Program of a Lunar Lander. | Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen |
| 2014 | A Modular Theory of Object Orientation in Higher-Order UTP. | Frank Zeyda, Thiago L. V. L. Santos, Ana Cavalcanti, Augusto Sampaio |
| 2014 | Engineering UToPiA - Formal Semantics for CML. | Jim Woodcock |
| 2014 | Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections. | Roland Wen, Annabelle McIver, Carroll Morgan |
| 2014 | Formal Verification of Lunar Rover Control Software Using UPPAAL. | Lijun Shan, Yuying Wang, Ning Fu, Xingshe Zhou, Lei Zhao, Lijng Wan, Lei Qiao, Jianxin Chen |
| 2014 | Efficient Self-composition for Weakest Precondition Calculi. | Christoph Scheben, Peter H. Schmitt |
| 2014 | Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. | Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum |
| 2014 | Diagnosing Industrial Business Processes: Early Experiences. | Suman Roy, A. S. M. Sajeev, Srivibha Sripathy |
| 2014 | Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison. | Pierre Roux, Pierre-Loc Garoche |
| 2014 | A Graph-Based Transformation Reduction to Reach UPPAAL States Faster. | Jonas Rinast, Sibylle Schupp, Dieter Gollmann |
| 2014 | Efficient Tight Field Bounds Computation Based on Shape Predicates. | Pablo Ponzio, Nicols Rosner, Nazareno Aguirre, Marcelo F. Frias |