| 2026 | FM | Specializing Anti-unification for Interaction Models Composition via Gate Connections. | Joel Nguetoum, Boutheina Bannour, Pascale Le Gall, Erwan Mahe |
| 2022 | PRDC | Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events. | Nicolas Rapin, Boutheina Bannour, Morayo Adedjouma |
| 2021 | MEDI | Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. | Boutheina Bannour, Arnault Lapitre, Pascale Le Gall |
| 2021 | SAC | A small-step approach to multi-trace checking against interactions. | Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall |
| 2021 | SEKE | Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. | Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud |
| 2019 | ICST | Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. | Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall |
| 2018 | ISORC | Representative Safety Assessment of Autonomous Vehicle for Public Transportation. | Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour |
| 2014 | APSEC | Security Weaknesses Detection by Symbolic Analysis of Scenarios. | Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza |
| 2014 | ICST | Designing Sequence Diagram Models for Robustness to Attacks. | Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza |
| 2013 | APSEC | Results for Compositional Timed Testing. | Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre |
| 2011 | APSEC | Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. | Boutheina Bannour, Christophe Gaston, David Servat |