Boutheina Bannour

According to our database, Boutheina Bannour authored at least 26 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

CoRR, 2024

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall

CoRR, 2024

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

Interaction-Based Offline Runtime Verification of Distributed Systems.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

Symbolic Path-Guided Test Cases for Models with Data and Time.

Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen

Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

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

Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events.

Nicolas Rapin, Boutheina Bannour, Morayo Adedjouma

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

2021

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS.

Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

A small-step approach to multi-trace checking against interactions.

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution.

Boutheina Bannour, Arnault Lapitre, Pascale Le Gall

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation.

Boutheina Bannour, Julien Niol, Paolo Crisafulli

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

2020

Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration.

Boutheina Bannour, Arnault Lapitre

Proceedings of the RAPIDO 2020 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2020

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution.

Boutheina Bannour, Arnault Lapitre, Pascale Le Gall

Proceedings of the Networked Systems - 8th International Conference, 2020

Model Checking of Trickle-based IoT Dissemination.

Boutheina Bannour, Arnault Lapitre

Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020

2019

Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks.

Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

2018

Representative Safety Assessment of Autonomous Vehicle for Public Transportation.

Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour

Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

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

An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios.

Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

Model-Driven Consistency Verification for Service-Oriented Applications.

Fadwa Rekik, Boutheina Bannour, Saadia Dhouib, Sebastien Gerard

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

2014

Designing Sequence Diagram Models for Robustness to Attacks.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza

Proceedings of the Seventh IEEE International Conference on Software Testing, 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

Proceedings of the Complex Systems Design & Management, 2014

Security Weaknesses Detection by Symbolic Analysis of Scenarios.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Results for Compositional Timed Testing.

Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing.

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall

Proceedings of the Testing Software and Systems, 2012

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case.

Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

2011

Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.

Boutheina Bannour, Christophe Gaston, David Servat

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011