| 2015 | An Approach for Formal Verification of Updated Java Bytecode Programs. Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
| 2015 | Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems. Abderraouf Boussif, Mohamed Ghazel, Kais Klai |
| 2015 | Fault Diagnosis of P-Time Labeled Petri net Systems. Patrice Bonhomme |
| 2015 | Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. Admar Ajith Kumar Somappa, Andreas Prinz, Lars Michael Kristensen |
| 2015 | On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. Zohra Sbaï, Kamel Barkaoui |
| 2015 | Probabilistic Approaches for Time Critical Embedded Systems. Liliana Cucu-Grosjean |
| 2015 | Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2015, Bucharest, Romania, September 10-11, 2015. Belgacem Ben Hedia, Florin Popentiu Vladicescu |
| 2015 | Resilience Assessment: Accidental and Malicious Threats. Mohamed Kaâniche |
| 2015 | State Space Reduction Strategie for Model Checking Concurrent C Programs. Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui |
| 2015 | Timeout Interaction and Migration in Distributed Systems. Gabriel Ciobanu |
| 2015 | Towards the Property-Based Testing of an L4 Microkernel API. Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus |
| 2015 | Verification of Bounded Real-Time Distributed Systems With Mobility. Bogdan Aman, Gabriel Ciobanu |