Boutheina Bannour

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 21

Top Topics

Distributed Systems

Finite Automata

Public Transportation

Interaction Model

Top Venues

Publications

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