Arnault Lapitre

According to our database, Arnault Lapitre authored at least 28 papers between 2003 and 2024.

Collaborative distances:

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

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

J. Object Technol., 2024

Finite Automata synthesis from Interactions.

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

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 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

Modelling and simulating new power grid control architectures.

Mathilde Arnaud, Arnault Lapitre, Yves Lhuillier, Stéphane Salmons, Asma Smaoui, Guillaume Giraud, Arnaud Guerrier

Proceedings of the IEEE PES Innovative Smart Grid Technologies Europe, 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

2021

Correction to: PolyGraph: a data flow model with frequency arithmetic.

Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre

Int. J. Softw. Tools Technol. Transf., 2021

PolyGraph: a data flow model with frequency arithmetic.

Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre

Int. J. Softw. Tools Technol. Transf., 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

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

Dynamic Reconfigurations in Frequency Constrained Data Flow.

Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre

Proceedings of the Integrated Formal Methods - 15th International Conference, 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

A Data Flow Model with Frequency Arithmetic.

Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2017

Constraint-Based Oracles for Timed Distributed Systems.

Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall

Proceedings of the Testing Software and Systems, 2017

2016

EQUITAS: A tool-chain for functional safety and reliability improvement in automotive systems.

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

Microprocess. Microsystems, 2016

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

2014

Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY.

Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre

Proceedings of the System Analysis and Modeling: Models and Reusability, 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

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

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

2009

Symbolic Execution Techniques Extended to Systems.

Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2006

CARVER: A Slicing Tool for Communicating Automata Specifications.

Sébastien Labbé, Arnault Lapitre

Proceedings of the Leveraging Applications of Formal Methods, 2006

2003

Automatic Test Generation with AGATHA.

Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003