Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. - Boutheina Bannour; Christophe Gaston; David Servat (APSEC, 2011)

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. - Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Jose Pablo Escobedo (HASE, 2012)

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. - Boutheina Bannour; Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall (ICTSS, 2012)

Results for Compositional Timed Testing. - Boutheina Bannour; Christophe Gaston; Marc Aiguier; Arnault Lapitre (APSEC (1), 2013)

Security Weaknesses Detection by Symbolic Analysis of Scenarios. - Boutheina Bannour; Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall; Gabriel Pedroza (APSEC (1), 2014)

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. - Mathilde Arnaud; Boutheina Bannour; Arnaud Cuccuru; Christophe Gaston; Sébastien Gérard; Arnault Lapitre (CSDM, 2014)

Designing Sequence Diagram Models for Robustness to Attacks. - Boutheina Bannour; Jose Pablo Escobedo; Christophe Gaston; Pascale Le Gall; Gabriel Pedroza (ICST Workshops, 2014)

Model-Driven Consistency Verification for Service-Oriented Applications. - Fadwa Rekik; Boutheina Bannour; Saadia Dhouib; Sebastien Gerard (SOCA, 2015)

An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios. - Mathilde Arnaud; Boutheina Bannour; Arnault Lapitre (USE@FM, 2015)

Statistical inference § parametric approximation of non-parametric frontier: the case of Tunisian banking sector. - Boutheina Bannour; Moez Labidi (Int. J. Math. Oper. Res., 2015)

Representative Safety Assessment of Autonomous Vehicle for Public Transportation. - Morayo Adedjouma; Gabriel Pedroza; Boutheina Bannour (ISORC, 2018)

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. - Ngo Minh Thang Nguyen; Boutheina Bannour; Arnault Lapitre; Pascale Le Gall (ICST Workshops, 2019)

Model Checking of Trickle-based IoT Dissemination. - Boutheina Bannour; Arnault Lapitre (MECO, 2020)

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. - Boutheina Bannour; Arnault Lapitre; Pascale Le Gall (NETYS, 2020)

Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration. - Boutheina Bannour; Arnault Lapitre (RAPIDO, 2020)

Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation. - Boutheina Bannour; Julien Niol; Paolo Crisafulli (IV, 2021)

Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. - Boutheina Bannour; Arnault Lapitre; Pascale Le Gall (MEDI Workshops, 2021)

A small-step approach to multi-trace checking against interactions. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (SAC, 2021)

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. - Mathilde Arnaud; Boutheina Bannour; Arnault Lapitre; Guillaume Giraud (SEKE, 2021)

Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events. - Nicolas Rapin; Boutheina Bannour; Morayo Adedjouma (PRDC, 2022)

Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (CoRR, 2022)

Symbolic Path-Guided Test Cases for Models with Data and Time. - Boutheina Bannour; Arnault Lapitre; Pascale Le Gall; Ngo Minh Thang Nguyen (FACS, 2023)

Interaction-Based Offline Runtime Verification of Distributed Systems. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (FSEN, 2023)

A Term-based Approach for Generating Finite Automata from Interaction Diagrams. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (CoRR, 2023)

Finite Automata synthesis from Interactions. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (FormaliSE@ICSE, 2024)

Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (J. Object Technol., 2024)

Path-guided conformance test case generation for models with data and time using symbolic execution techniques. - Boutheina Bannour; Arnault Lapitre; Pascale Le Gall (Sci. Comput. Program., 2025)

Efficient interaction-based offline runtime verification of distributed systems with lifeline removal. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Pascale Le Gall (Sci. Comput. Program., 2025)