| 2015 | A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue |
| 2015 | Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution. Sunil Chaudhary, Linfeng Li, Eleni Berki, Marko Helenius, Juha Kela, Markku Turunen |
| 2015 | Automated Verification of Nested DFS. Jaco C. van de Pol |
| 2015 | Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. Valentín Valero, Hermenegilda Macià, Gregorio Díaz, María-Emilia Cambronero |
| 2015 | Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen |
| 2015 | Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings Manuel Núñez, Matthias Güdemann |
| 2015 | Formal Verification of Industrial Critical Software. Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann |
| 2015 | Intra-procedural Optimization of the Numerical Accuracy of Programs. Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
| 2015 | Model Checking a Server-Side Micro Payment Protocol. Kaylash Chaudhary, Ansgar Fehnker |
| 2015 | On the Formal Analysis of Photonic Signal Processing Systems. Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar |
| 2015 | On the Formal Verification of Optical Quantum Gates in HOL. Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar |
| 2015 | Require, Test and Trace IT. Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran |
| 2015 | Successful Use of Incremental BMC in the Automotive Industry. Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller |
| 2015 | Timed Mobility and Timed Communication for Critical Systems. Bogdan Aman, Gabriel Ciobanu |