![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Arnault Lapitre
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j4]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) - 2021
- [j3]Paul Dubrulle
, Nikolai Kosmatov
, Christophe Gaston
, Arnault Lapitre
:
PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. 23(3): 489-517 (2021) - [j2]Paul Dubrulle
, Nikolai Kosmatov
, Christophe Gaston
, Arnault Lapitre
:
Correction to: PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. 23(3): 519 (2021) - 2016
- [j1]Réda Nouacer, Manel Djemal, Smaïl Niar
, Gilles Mouchard, Nicolas Rapin, Jean-Pierre Gallois, Philippe Fiani, Francois Chastrette, Arnault Lapitre, Toni Adriano, Bryan MacEachen:
EQUITAS: A tool-chain for functional safety and reliability improvement in automotive systems. Microprocess. Microsystems 47: 252-261 (2016)
Conference and Workshop Papers
- 2024
- [c22]Erwan Mahe
, Boutheina Bannour
, Christophe Gaston
, Arnault Lapitre
, Pascale Le Gall
:
Finite Automata synthesis from Interactions. FormaliSE@ICSE 2024: 12-22 - 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 - [c19]Mathilde Arnaud, Arnault Lapitre, Yves Lhuillier, Stéphane Salmons, Asma Smaoui, Guillaume Giraud, Arnaud Guerrier:
Modelling and simulating new power grid control architectures. ISGT EUROPE 2023: 1-5 - 2021
- [c18]Boutheina Bannour
, Arnault Lapitre, Pascale Le Gall:
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. MEDI Workshops 2021: 46-60 - [c17]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 - [c16]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
- [c15]Boutheina Bannour
, Arnault Lapitre:
Model Checking of Trickle-based IoT Dissemination. MECO 2020: 1-6 - [c14]Boutheina Bannour
, Arnault Lapitre, Pascale Le Gall:
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. NETYS 2020: 94-111 - [c13]Boutheina Bannour
, Arnault Lapitre:
Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration. RAPIDO 2020: 1:1-1:7 - 2019
- [c12]Paul Dubrulle
, Christophe Gaston
, Nikolai Kosmatov
, Arnault Lapitre
, Stéphane Louise
:
A Data Flow Model with Frequency Arithmetic. FASE 2019: 369-385 - [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 - [c10]Paul Dubrulle
, Christophe Gaston
, Nikolai Kosmatov
, Arnault Lapitre
:
Dynamic Reconfigurations in Frequency Constrained Data Flow. IFM 2019: 175-193 - 2017
- [c9]Nassim Benharrat, Christophe Gaston, Robert M. Hierons
, Arnault Lapitre, Pascale Le Gall
:
Constraint-Based Oracles for Timed Distributed Systems. ICTSS 2017: 276-292 - 2015
- [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]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 - [c6]Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre:
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. SAM 2014: 198-206 - 2013
- [c5]Boutheina Bannour
, Christophe Gaston
, Marc Aiguier, Arnault Lapitre:
Results for Compositional Timed Testing. APSEC (1) 2013: 559-564 - 2012
- [c4]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 - 2009
- [c3]Christophe Gaston
, Marc Aiguier, Diane Bahrami, Arnault Lapitre:
Symbolic Execution Techniques Extended to Systems. ICSEA 2009: 78-85 - 2006
- [c2]Sébastien Labbé
, Arnault Lapitre:
CARVER: A Slicing Tool for Communicating Automata Specifications. ISoLA 2006: 99-102 - 2003
- [c1]Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin:
Automatic Test Generation with AGATHA. TACAS 2003: 591-596
Informal and Other Publications
- 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
- [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
- [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) - 2020
- [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)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-06-25 21:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint