Arnault Lapitre

34 papers A 1B 2C 5Misc 1Journal 11Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Path-guided conformance test case generation for models with data and time using symbolic execution techniques. Sci. Comput. Program. Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2025	J	`jnl`	Runtime Verification of Interactions Using Automata. CoRR Chana Weil-Kennedy, Darine Rammal, Christophe Gaston, Arnault Lapitre
2025	C	`conf`	Towards Bridging Industrial Ethernet Networks: Protocol Translation and Runtime Verification. ETFA Quang-Duy Nguyen, Darine Rammal, Christophe Gaston, Deepak V. Katkoria, Arnault Lapitre, Saadia Dhouib
2024	—	`conf`	Finite Automata synthesis from Interactions. FormaliSE@ICSE Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2024	J	`jnl`	Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2024	J	`jnl`	Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation. J. Object Technol. Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023	J	`jnl`	A Term-based Approach for Generating Finite Automata from Interaction Diagrams. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023	—	`conf`	Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2023	—	`conf`	Modelling and simulating new power grid control architectures. ISGT EUROPE Mathilde Arnaud, Arnault Lapitre, Yves Lhuillier, Stéphane Salmons, Asma Smaoui, Guillaume Giraud, Arnaud Guerrier
2023	—	`conf`	Symbolic Path-Guided Test Cases for Models with Data and Time. FACS Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen
2023	J	`jnl`	Symbolic Path-guided Test Cases for Models with Data and Time. CoRR Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen
2022	J	`jnl`	Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2021	Misc	`conf`	A small-step approach to multi-trace checking against interactions. SAC Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2021	J	`jnl`	Correction to: PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre
2021	—	`conf`	Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. MEDI Workshops Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2021	C	`conf`	Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. SEKE Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud
2021	J	`jnl`	PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre
2020	J	`jnl`	A small-step approach to multi-trace checking against interactions. CoRR Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
2020	—	`conf`	Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. NETYS Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2020	—	`conf`	Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration. RAPIDO Boutheina Bannour, Arnault Lapitre
2020	—	`conf`	Model Checking of Trickle-based IoT Dissemination. MECO Boutheina Bannour, Arnault Lapitre
2019	B	`conf`	A Data Flow Model with Frequency Arithmetic. FASE Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise
2019	—	`conf`	Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. ICST Workshops Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
2019	B	`conf`	Dynamic Reconfigurations in Frequency Constrained Data Flow. IFM Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre
2017	C	`conf`	Constraint-Based Oracles for Timed Distributed Systems. ICTSS Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
2016	J	`jnl`	EQUITAS: A tool-chain for functional safety and reliability improvement in automotive systems. Microprocess. Microsystems 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
2015	—	`conf`	An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios. USE@FM Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre
2014	—	`conf`	Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. SAM Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre
2014	—	`conf`	Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. CSDM Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gérard, Arnault Lapitre
2013	—	`conf`	Results for Compositional Timed Testing. APSEC (1) Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre
2012	—	`conf`	Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. HASE Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo
2009	C	`conf`	Symbolic Execution Techniques Extended to Systems. ICSEA Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre
2006	C	`conf`	CARVER: A Slicing Tool for Communicating Automata Specifications. ISoLA Sébastien Labbé, Arnault Lapitre
2003	A	`conf`	Automatic Test Generation with AGATHA. TACAS Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin