Boutheina Bannour

33 papers C 6Misc 1Journal 11Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient interaction-based offline runtime verification of distributed systems with lifeline removal.
Sci. Comput. Program.
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall
2025 J jnl
Path-guided conformance test case generation for models with data and time using symbolic execution techniques.
Sci. Comput. Program.
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2025 J jnl
Specializing anti-unification for interaction models composition via gate connections.
CoRR
Joel Nguetoum, Boutheina Bannour, Pascale Le Gall, Erwan Mahe
2024 J jnl
Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal.
CoRR
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall
2024 — conf
Finite Automata synthesis from Interactions.
FormaliSE@ICSE
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2024 J jnl
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation.
CoRR
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2024 J jnl
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.
J. Object Technol.
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023 J jnl
A Term-based Approach for Generating Finite Automata from Interaction Diagrams.
CoRR
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023 — conf
Interaction-Based Offline Runtime Verification of Distributed Systems.
FSEN
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023 — conf
Symbolic Path-Guided Test Cases for Models with Data and Time.
FACS
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen
2023 J jnl
Symbolic Path-guided Test Cases for Models with Data and Time.
CoRR
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen
2022 J jnl
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems.
CoRR
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2022 C conf
Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events.
PRDC
Nicolas Rapin, Boutheina Bannour, Morayo Adedjouma
2021 Misc conf
A small-step approach to multi-trace checking against interactions.
SAC
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2021 — conf
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution.
MEDI Workshops
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2021 C conf
Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS.
SEKE
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud
2021 C conf
Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation.
IV
Boutheina Bannour, Julien Niol, Paolo Crisafulli
2020 J jnl
A small-step approach to multi-trace checking against interactions.
CoRR
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2020 — conf
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution.
NETYS
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2020 — conf
Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration.
RAPIDO
Boutheina Bannour, Arnault Lapitre
2020 — conf
Model Checking of Trickle-based IoT Dissemination.
MECO
Boutheina Bannour, Arnault Lapitre
2019 — conf
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks.
ICST Workshops
Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2018 C conf
Representative Safety Assessment of Autonomous Vehicle for Public Transportation.
ISORC
Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour
2015 — conf
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios.
USE@FM
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre
2015 — conf
Model-Driven Consistency Verification for Service-Oriented Applications.
SOCA
Fadwa Rekik, Boutheina Bannour, Saadia Dhouib, Sebastien Gerard
2015 J jnl
Statistical inference § parametric approximation of non-parametric frontier: the case of Tunisian banking sector.
Int. J. Math. Oper. Res.
Boutheina Bannour, Moez Labidi
2014 — conf
Designing Sequence Diagram Models for Robustness to Attacks.
ICST Workshops
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
2014 — conf
Security Weaknesses Detection by Symbolic Analysis of Scenarios.
APSEC (1)
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
2014 — conf
Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios.
CSDM
Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gérard, Arnault Lapitre
2013 — conf
Results for Compositional Timed Testing.
APSEC (1)
Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre
2012 — conf
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case.
HASE
Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo
2012 C conf
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.
ICTSS
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
2011 C conf
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.
APSEC
Boutheina Bannour, Christophe Gaston, David Servat