default search action

combined dblp search
author search
venue search
publication search

ask others

Arnault Lapitre

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jot/MaheBGLG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/MaheBGLG24
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation. J. Object Technol. 23(2): 2 (2024)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/MaheBGLG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/MaheBGLG24
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Finite Automata synthesis from Interactions. FormaliSE@ICSE 2024: 12-22
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-03083
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-03083
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation. CoRR abs/2403.03083 (2024)
2023
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/BannourLGN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/BannourLGN23
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen:
Symbolic Path-Guided Test Cases for Models with Data and Time. FACS 2023: 3-22
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/MaheBGLG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/MaheBGLG23
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Interaction-Based Offline Runtime Verification of Distributed Systems. FSEN 2023: 88-103
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/isgteurope/ArnaudLLSSGG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isgteurope/ArnaudLLSSGG23
Mathilde Arnaud, Arnault Lapitre, Yves Lhuillier, Stéphane Salmons, Asma Smaoui, Guillaume Giraud, Arnaud Guerrier:
Modelling and simulating new power grid control architectures. ISGT EUROPE 2023: 1-5
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-02983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-02983
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A Term-based Approach for Generating Finite Automata from Interaction Diagrams. CoRR abs/2306.02983 (2023)
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-06840
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-06840
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Ngo Minh Thang Nguyen:
Symbolic Path-guided Test Cases for Models with Data and Time. CoRR abs/2309.06840 (2023)
2022
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-09324
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-09324
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems. CoRR abs/2212.09324 (2022)
2021
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DubrulleKGL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DubrulleKGL21
Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre:
PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. 23(3): 489-517 (2021)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DubrulleKGL21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DubrulleKGL21a
Paul Dubrulle, Nikolai Kosmatov, Christophe Gaston, Arnault Lapitre:
Correction to: PolyGraph: a data flow model with frequency arithmetic. Int. J. Softw. Tools Technol. Transf. 23(3): 519 (2021)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/BannourLG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/BannourLG21
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution. MEDI Workshops 2021: 46-60
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MaheBGLG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MaheBGLG21
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A small-step approach to multi-trace checking against interactions. SAC 2021: 1815-1822
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/ArnaudBLG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/ArnaudBLG21
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud:
Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS. SEKE 2021: 291-296
2020
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/meco/BannourL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/meco/BannourL20
Boutheina Bannour, Arnault Lapitre:
Model Checking of Trickle-based IoT Dissemination. MECO 2020: 1-6
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/netys/BannourLG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/netys/BannourLG20
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. NETYS 2020: 94-111
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/rapido/BannourL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rapido/BannourL20
Boutheina Bannour, Arnault Lapitre:
Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration. RAPIDO 2020: 1:1-1:7
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-01777
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-01777
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
A small-step approach to multi-trace checking against interactions. CoRR abs/2009.01777 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/DubrulleGKLL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DubrulleGKLL19
Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise:
A Data Flow Model with Frequency Arithmetic. FASE 2019: 369-385
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/NguyenBLG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/NguyenBLG19
Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall:
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. ICST Workshops 2019: 168-175
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DubrulleGKL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DubrulleGKL19
Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre:
Dynamic Reconfigurations in Frequency Constrained Data Flow. IFM 2019: 175-193
2017
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/BenharratGHLG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/BenharratGHLG17
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall:
Constraint-Based Oracles for Timed Distributed Systems. ICTSS 2017: 276-292
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/NouacerDNMRGFCL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/NouacerDNMRGFCL16
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:
EQUITAS: A tool-chain for functional safety and reliability improvement in automotive systems. Microprocess. Microsystems 47: 252-261 (2016)
2015
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ArnaudBL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArnaudBL16
Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre:
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios. USE@FM 2015: 21-34
2014
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/csdm/ArnaudBCGGL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csdm/ArnaudBCGGL14
Mathilde Arnaud, Boutheina Bannour, Arnaud Cuccuru, Christophe Gaston, Sébastien Gérard, Arnault Lapitre:
Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios. CSDM 2014: 269-282
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sam/DeltourFGL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sam/DeltourFGL14
Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre:
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. SAM 2014: 198-206
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/BannourGAL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/BannourGAL13
Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre:
Results for Compositional Timed Testing. APSEC (1) 2013: 559-564
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/BannourGLE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/BannourGLE12
Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo:
Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. HASE 2012: 9-16

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/icsea/GastonABL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsea/GastonABL09
Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre:
Symbolic Execution Techniques Extended to Systems. ICSEA 2009: 78-85
2006
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/LabbeL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/LabbeL06
Sébastien Labbé, Arnault Lapitre:
CARVER: A Slicing Tool for Communicating Automata Specifications. ISoLA 2006: 99-102
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BigotFGLLPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BigotFGLLPR03
Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin:
Automatic Test Generation with AGATHA. TACAS 2003: 591-596

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.