default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBoutheina Bannour
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j2]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): 2 (2024)- [c22]Erwan Mahe
, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Finite Automata synthesis from Interactions. FormaliSE@ICSE 2024: 12-22 - [i6]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Pascale Le Gall:
Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal. CoRR abs/2403.03057 (2024) - [i5]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 abs/2403.03083 (2024) - 2023
- [c21]Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen:
Symbolic Path-Guided Test Cases for Models with Data and Time. FACS 2023: 3-22 - [c20]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN 2023: 88-103 - [i4]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A Term-based Approach for Generating Finite Automata from Interaction Diagrams. CoRR abs/2306.02983 (2023) - [i3]Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen:
Symbolic Path-guided Test Cases for Models with Data and Time. CoRR abs/2309.06840 (2023) - 2022
- [c19]Nicolas Rapin, Boutheina Bannour, Morayo Adedjouma:
Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events. PRDC 2022: 230-235 - [i2]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. CoRR abs/2212.09324 (2022) - 2021
- [c18]Boutheina Bannour, Julien Niol, Paolo Crisafulli:
Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation. IV 2021: 215-222 - [c17]Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. MEDI Workshops 2021: 46-60 - [c16]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A small-step approach to multi-trace checking against interactions. SAC 2021: 1815-1822 - [c15]Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud:
Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. SEKE 2021: 291-296 - 2020
- [c14]Boutheina Bannour, Arnault Lapitre:
Model Checking of Trickle-based IoT Dissemination. MECO 2020: 1-6 - [c13]Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. NETYS 2020: 94-111 - [c12]Boutheina Bannour, Arnault Lapitre:
Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration. RAPIDO 2020: 1:1-1:7 - [i1]Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A small-step approach to multi-trace checking against interactions. CoRR abs/2009.01777 (2020)
2010 – 2019
- 2019
- [c11]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: 168-175 - 2018
- [c10]Morayo Adedjouma, Gabriel Pedroza, Boutheina Bannour:
Representative Safety Assessment of Autonomous Vehicle for Public Transportation. ISORC 2018: 124-129 - 2015
- [j1]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): 485-518 (2015) - [c9]Fadwa Rekik, Boutheina Bannour, Saadia Dhouib, Sebastien Gerard:
Model-Driven Consistency Verification for Service-Oriented Applications. SOCA 2015: 180-187 - [c8]Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre:
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios. USE@FM 2015: 21-34 - 2014
- [c7]Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza:
Security Weaknesses Detection by Symbolic Analysis of Scenarios. APSEC (1) 2014: 367-374 - [c6]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: 269-282 - [c5]Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza:
Designing Sequence Diagram Models for Robustness to Attacks. ICST Workshops 2014: 26-33 - 2013
- [c4]Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre:
Results for Compositional Timed Testing. APSEC (1) 2013: 559-564 - 2012
- [c3]Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo:
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. HASE 2012: 9-16 - [c2]Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall:
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ICTSS 2012: 119-135 - 2011
- [c1]Boutheina Bannour, Christophe Gaston, David Servat:
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. APSEC 2011: 219-226
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
