Automatic Test Generation with AGATHA. - Céline Bigot; Alain Faivre; Jean-Pierre Gallois; Arnault Lapitre; David Lugato; Jean-Yves Pierron; Nicolas Rapin (TACAS, 2003)

CARVER: A Slicing Tool for Communicating Automata Specifications. - Sébastien Labbé 002; Arnault Lapitre (ISoLA, 2006)

Symbolic Execution Techniques Extended to Systems. - Christophe Gaston; Marc Aiguier; Diane Bahrami; Arnault Lapitre (ICSEA, 2009)

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. - Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Jose Pablo Escobedo (HASE, 2012)

Results for Compositional Timed Testing. - Boutheina Bannour; Christophe Gaston; Marc Aiguier; Arnault Lapitre (APSEC (1), 2013)

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 (CSDM, 2014)

Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. - Julien Deltour; Alain Faivre; Emmanuel Gaudin; Arnault Lapitre (SAM, 2014)

An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios. - Mathilde Arnaud; Boutheina Bannour; Arnault Lapitre (USE@FM, 2015)

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)

Constraint-Based Oracles for Timed Distributed Systems. - Nassim Benharrat; Christophe Gaston; Robert M. Hierons; Arnault Lapitre; Pascale Le Gall (ICTSS, 2017)

A Data Flow Model with Frequency Arithmetic. - Paul Dubrulle; Christophe Gaston; Nikolai Kosmatov; Arnault Lapitre; Stéphane Louise (FASE, 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 (ICST Workshops, 2019)

Dynamic Reconfigurations in Frequency Constrained Data Flow. - Paul Dubrulle; Christophe Gaston; Nikolai Kosmatov; Arnault Lapitre (IFM, 2019)

Model Checking of Trickle-based IoT Dissemination. - Boutheina Bannour; Arnault Lapitre (MECO, 2020)

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. - Boutheina Bannour; Arnault Lapitre; Pascale Le Gall (NETYS, 2020)

Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration. - Boutheina Bannour; Arnault Lapitre (RAPIDO, 2020)

Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. - Boutheina Bannour; Arnault Lapitre; Pascale Le Gall (MEDI Workshops, 2021)

A small-step approach to multi-trace checking against interactions. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (SAC, 2021)

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. - Mathilde Arnaud; Boutheina Bannour; Arnault Lapitre; Guillaume Giraud (SEKE, 2021)

PolyGraph: a data flow model with frequency arithmetic. - Paul Dubrulle; Nikolai Kosmatov; Christophe Gaston; Arnault Lapitre (Int. J. Softw. Tools Technol. Transf., 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)

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)

Symbolic Path-Guided Test Cases for Models with Data and Time. - Boutheina Bannour; Arnault Lapitre; Pascale Le Gall; Ngo Minh Thang Nguyen (FACS, 2023)

Interaction-Based Offline Runtime Verification of Distributed Systems. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (FSEN, 2023)

Modelling and simulating new power grid control architectures. - Mathilde Arnaud; Arnault Lapitre; Yves Lhuillier; Stéphane Salmons; Asma Smaoui; Guillaume Giraud; Arnaud Guerrier (ISGT EUROPE, 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)

Finite Automata synthesis from Interactions. - Erwan Mahe; Boutheina Bannour; Christophe Gaston; Arnault Lapitre; Pascale Le Gall (FormaliSE@ICSE, 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)

Path-guided conformance test case generation for models with data and time using symbolic execution techniques. - Boutheina Bannour; Arnault Lapitre; Pascale Le Gall (Sci. Comput. Program., 2025)