| 2015 | An Approach for Formal Verification of Updated Java Bytecode Programs. | Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet |
| 2015 | Resilience Assessment: Accidental and Malicious Threats. | Mohamed Kaniche |
| 2015 | Towards the Property-Based Testing of an L4 Microkernel API. | Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu, Nicolae Tapus |
| 2015 | Probabilistic Approaches for Time Critical Embedded Systems. | Liliana Cucu-Grosjean |
| 2015 | Timeout Interaction and Migration in Distributed Systems. | Gabriel Ciobanu |
| 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 | Verification of Bounded Real-Time Distributed Systems With Mobility. | Bogdan Aman, Gabriel Ciobanu |
| 2014 | Comparison of Routing Protocols in Wireless Sensor Networks. | Samira Yessad, Louiza Bouallouche-Medjkoune, Djamil Assani |
| 2014 | Fault Diagnosis of Discrete Event Systems Using Petri Nets. | Carla Seatzu |
| 2014 | Model-Checking Cloud Systems Using BigMC. | Hamza Sahli, Faiza Belala, Chafia Bouanaka |
| 2014 | Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm. | Nadjette Rebouh |
| 2014 | A Derived Queueing Network Model for Structured P2P Architectures. | Zouweyna Mordji, Mourad Amad, Djamil Assani |
| 2014 | Bayesian Networks for the Evaluation of Complex Systems Availability. | El Hassene Ait Mokhtar, Radouane Kara, Alaa Chateauneuf |
| 2014 | Analytical Modeling of the IEEE 802.11e EDCA Network. | Mohand Yazid, Nassim Sahki, Louiza Bouallouche-Medjkoune, Djamil Assani |
| 2014 | Fairness Improvement of MAC in Wireless Ad Hoc Networks. | Kamal Mehaoued, Larbi Sekhri, Malika Bourenane |
| 2014 | Coping with Spoofed PS-Poll Based DoS Attack in IEEE 802.11 Networks. | Hocine Souilah, Abderrahmane Baadache, Louiza Bouallouche-Medjkoune |
| 2014 | Visual Specification Language and Automatic Checking of Business Process. | Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir |
| 2014 | Towards a Statistical System Analysis. | Bernd Heidergott |
| 2014 | A -Calculus Framework for the Diagnosability of Discrete Event Systems. | Mohamed Ghazel, Florent Peres |
| 2014 | Cross-Layer Energy-Aware Protocol for Wireless Sensor Networks. | Kahlessenane Fares, Louiza Bouallouche-Medjkoune, Djamil Assani |
| 2014 | Diagnosis of Probabilistic Models using Causality and Regression. | Hichem Debbi |
| 2014 | Towards Formal Modeling and Verification of Context-Aware Systems. | Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui |
| 2014 | Compositional Verification of Timed Systems. | Saddek Bensalem |
| 2014 | Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. | Miloud Bennama, Thouraya Bouabana-Tebibel |