Arnault Lapitre

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 24

Top Topics

Finite Automata

Interaction Model

Symbolic Execution

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

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)
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)
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)
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)
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) (2021)
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. MEDI Workshops (2021)
Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre
PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. 23 (3) (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)
Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre
Dynamic Reconfigurations in Frequency Constrained Data Flow. IFM (2019)
Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise
A Data Flow Model with Frequency Arithmetic. FASE (2019)
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
Constraint-Based Oracles for Timed Distributed Systems. ICTSS (2017)
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 (2016)
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)
Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. SAM (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, 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)
Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre
Symbolic Execution Techniques Extended to Systems. ICSEA (2009)
Sébastien Labbé, Arnault Lapitre
CARVER: A Slicing Tool for Communicating Automata Specifications. ISoLA (2006)
Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin
Automatic Test Generation with AGATHA. TACAS (2003)