| 250 | -- | 274 | Hichem Debbi, Aimad Debbi, Mustapha Bourahla. Debugging of probabilistic systems using structural equation modelling |
| 275 | -- | 301 | Florent Peres, Mohamed Ghazel. A µ-calculus formulation of the diagnosability of discrete event systems |
| 302 | -- | 321 | Miloud Bennama, Thouraya Bouabana-Tebibel. A CTL-based OCL extension using CPN ML for UML validation |
| 322 | -- | 342 | Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui. A bigraph-based framework for specification and analysis of context-aware systems |
| 343 | -- | 363 | Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton. Hierarchical timed abstract state machines for WCET estimation |
| 364 | -- | 384 | Hamza Sahli, Faïza Belala, Chafia Bouanaka. Formal verification of cloud systems elasticity |