Arnault Lapitre

Most-cited papers

Automatic Test Generation with AGATHA
Céline Bigot, A. Faivre, J. Gallois, Arnault Lapitre +3 more
2003International Conference on Tools and Algorithms for Construction and Analysis of Systems43 citations Open access
Semantic Scholar
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre
2015USE@FM13 citations Open access
Semantic Scholar
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY
J. Deltour, A. Faivre, Emmanuel Gaudin, Arnault Lapitre
2014International Conference on Security and Management13 citations
Semantic Scholar
A Data Flow Model with Frequency Arithmetic
Paul Dubrulle, Christophe Gaston, N. Kosmatov, Arnault Lapitre +1 more
2019Fundamental Approaches to Software Engineering12 citations Open access
Semantic Scholar
Constraint-Based Oracles for Timed Distributed Systems
Nassim Benharrat, Christophe Gaston, R. Hierons, Arnault Lapitre +1 more
2017International Conference on Testing Software and Systems10 citations Open access
Semantic Scholar
EQUITAS: A tool-chain for functional safety and reliability improvement in automotive systems
R. Nouacer, M. Djemal, S. Niar, Gilles Mouchard +7 more
2016Microprocessors and microsystems10 citations Open access
Semantic Scholar
A small-step approach to multi-trace checking against interactions
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre +1 more
2020ACM Symposium on Applied Computing8 citations Open access
Semantic Scholar
PolyGraph: a data flow model with frequency arithmetic
Paul Dubrulle, N. Kosmatov, Christophe Gaston, Arnault Lapitre
2020International Journal on Software Tools for Technology Transfer (STTT)6 citations
Semantic Scholar
Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios
Mathilde Arnaud, Boutheina Bannour, A. Cuccuru, Christophe Gaston +2 more
2014CSDM6 citations Open access
Semantic Scholar
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case
Boutheina Bannour, Christophe Gaston, Arnault Lapitre, J. Escobedo
2012IEEE International Symposium on High-Assurance Systems Engineering6 citations
Semantic Scholar
DIVERSITY – TG Automatic Test Case Generation from Matlab / Simulink models
D. Bahrami, A. Faivre, Arnault Lapitre
20116 citations
Semantic Scholar
Finite Automata synthesis from interactions
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre +1 more
2024FME Workshop on Formal Methods in Software Engineering5 citations Open access
Semantic Scholar
Dynamic Reconfigurations in Frequency Constrained Data Flow
Paul Dubrulle, Christophe Gaston, N. Kosmatov, Arnault Lapitre
2019International Conference on Integrated Formal Methods5 citations
Semantic Scholar
Model Checking of Trickle-based IoT Dissemination
Boutheina Bannour, Arnault Lapitre
2020Mediterranean Conference on Embedded Computing4 citations
Semantic Scholar
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre +1 more
2024Journal of Object Technology3 citations Open access
Semantic Scholar
Modelling and simulating new power grid control architectures
Mathilde Arnaud, Arnault Lapitre, Yves Lhuillier, Stéphane Salmons +3 more
2023IEEE PES Innovative Smart Grid Technologies Conference Europe3 citations Open access
Semantic Scholar
Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud
2021International Conference on Software Engineering and Knowledge Engineering3 citations Open access
Semantic Scholar
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks
Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, P. Le Gall
2019International Conference on Software Testing, Verification and Validation Workshops3 citations
Semantic Scholar
Results for Compositional Timed Testing
Boutheina Bannour, Christophe Gaston, M. Aiguier, Arnault Lapitre
2013Asia-Pacific Software Engineering Conference3 citations
Semantic Scholar
Symbolic Execution Techniques Extended to Systems
Christophe Gaston, M. Aiguier, D. Bahrami, Arnault Lapitre
20092009 Fourth International Conference on Software Engineering Advances3 citations Open access
Semantic Scholar
Two methods for modeling and verification of safety properties of railway infrastructures
A. Faivre, Arnault Lapitre, A. Lanusse, M. Perin +3 more
2015International Conference on Industrial Engineering and Systems Management2 citations
Semantic Scholar
Modeling and Simulating Power Grid Control Architectures : Hypotheses and First Results
Mathilde Arnaud, Arnault Lapitre, Yves Lhuillier, Stéphane Salmons +4 more
20252025 IEEE Kiel PowerTech1 citations
Semantic Scholar
Runtime Verification of Interactions Using Automata
C. Weil-Kennedy, Darine Rammal, Christophe Gaston, Arnault Lapitre
2025arXiv.org1 citations
Semantic Scholar
Path-guided conformance test case generation for models with data and time using symbolic execution techniques
Boutheina Bannour, Arnault Lapitre, P. Le Gall
2025Science of Computer Programming1 citations Open access
Semantic Scholar
A Term-based Approach for Generating Finite Automata from Interaction Diagrams
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre +1 more
2023arXiv.org1 citations Open access
Semantic Scholar
Interaction-Based Offline Runtime Verification of Distributed Systems
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre +1 more
2023Fundamentals of Software Engineering1 citations Open access
Semantic Scholar
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre +1 more
2022arXiv.org1 citations Open access
Semantic Scholar
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution
Boutheina Bannour, Arnault Lapitre, P. Le Gall
2020International Conference on Networked Systems1 citations Open access
Semantic Scholar
CARVER: A Slicing Tool for Communicating Automata Specifications
S. Labbé, Arnault Lapitre
2006Leveraging Applications of Formal Methods1 citations
Semantic Scholar
Towards Bridging Industrial Ethernet Networks: Protocol Translation and Runtime Verification
Quang-Duy Nguyen, Darine Rammal, Christophe Gaston, D. V. Katkoria +2 more
2025IEEE International Conference on Emerging Technologies and Factory Automation0 citations
Semantic Scholar
Symbolic Path-guided Test Cases for Models with Data and Time
Boutheina Bannour, Arnault Lapitre, P. Le Gall, N. Nguyen
2023International Workshop on Formal Aspects of Component Software0 citations Open access
Semantic Scholar
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution
Boutheina Bannour, Arnault Lapitre, P. Le Gall
2021MEDI Workshops0 citations
Semantic Scholar
From Structured Requirement for Cyber-Physical Systems to Process Algebra: A Research Preview
Mathilde Arnaud, Boutheina Bannour, Guillaume Giraud, Arnault Lapitre
20200 citations
Semantic Scholar
Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration
Boutheina Bannour, Arnault Lapitre
2020Workshop on Rapid Simulation and Performance Evaluation0 citations
Semantic Scholar
Correction to: PolyGraph: a data flow model with frequency arithmetic
Paul Dubrulle, N. Kosmatov, Christophe Gaston, Arnault Lapitre
2020International Journal on Software Tools for Technology Transfer (STTT)0 citations Open access
Semantic Scholar
The NUCLEAR DIGITAL FACTORYLAB Digital innovation, a driver of operational performance in nuclear
L. R, S. Ppa, J. Le Garrec, Clément Dluzniewski +19 more
0 citations
Semantic Scholar