Arnault Lapitre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
11
Active years
2003–2025
Best venue rank
C
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ETFA | Towards Bridging Industrial Ethernet Networks: Protocol Translation and Runtime Verification. | Quang-Duy Nguyen, Darine Rammal, Christophe Gaston, Deepak V. Katkoria, Arnault Lapitre, Saadia Dhouib |
| 2021 | MEDI | Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. | Boutheina Bannour, Arnault Lapitre, Pascale Le Gall |
| 2021 | SAC | A small-step approach to multi-trace checking against interactions. | Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall |
| 2021 | SEKE | Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. | Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud |
| 2019 | FASE | A Data Flow Model with Frequency Arithmetic. | Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stphane Louise |
| 2019 | ICST | Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. | Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall |
| 2019 | IFM | Dynamic Reconfigurations in Frequency Constrained Data Flow. | Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre |
| 2013 | APSEC | Results for Compositional Timed Testing. | Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre |
| 2009 | ICSEA | Symbolic Execution Techniques Extended to Systems. | Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre |
| 2006 | ISoLA | CARVER: A Slicing Tool for Communicating Automata Specifications. | Sbastien Labb, Arnault Lapitre |
| 2003 | TACAS | Automatic Test Generation with AGATHA. | Cline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin |