Adrien Pommellet

Enseignant-chercheur à l'EPITA.
10
Documents
Affiliation actuelle
  • Laboratoire de Recherche de l'EPITA (LRE)
Identifiants chercheurs
Contact

Présentation

After graduating from the Parisian Master of Research in Computer Science in 2012, I worked for two years as a research engineer at CS Communications & Systèmes with a focus on cryptography and cyber-security. I then did a PhD in Computer Science at the Université Paris-Diderot under the direction of Tayssir Touili. I introduced new model-checking techniques for pushdown automata and studied their potential applications to concurrent systems.

I joined the LRE's (then LRDE) verification team in 2019. My current research interest lies in active and passive learning of various types of automata and logics, pushdown automata, program synthesis, and model-checking algorithms and tool development for Büchi automata (Spot).

Publications

6
3
1
1
1
1
1
1
1
1
1
5
2
2
2
2
2
1
1
1
1
1
5
3

Publications

Image document

Effective Reductions of Mealy Machines

Florian Renkin , Philipp Schlehuber-Caissier , Alexandre Duret-Lutz , Adrien Pommellet
42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022), Jun 2022, Lucca, Italy
Communication dans un congrès hal-03695793 v1
Image document

A Portable, Simple, Embeddable Type System

Jim Newton , Adrien Pommellet
ELS 2021, the 14th European Lisp Symposium, May 2021, Online, Unknown Region. pp.11--20, ⟨10.5281/zenodo.4709777⟩
Communication dans un congrès hal-04580380 v1
Image document

Improvements to ltlsynt

Florian Renkin , Philipp Schlehuber , Alexandre Duret-Lutz , Adrien Pommellet
10th Workshop on Synthesis, Jul 2021, Los Angeles, United States
Communication dans un congrès hal-03523385 v1
Image document

Practical "Paritizing" of Emerson-Lei Automata

Florian Renkin , Alexandre Duret-Lutz , Adrien Pommellet
18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20), Oct 2020, Hanoi, Vietnam. pp.127-143, ⟨10.1007/978-3-030-59152-6_7⟩
Communication dans un congrès hal-02891970 v1

LTL Model-Checking for Communicating Concurrent Programs.

Adrien Pommellet , Tayssir Touili
Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, Sep 2018, Grenoble, France
Communication dans un congrès hal-02389449 v1

Model-Checking HyperLTL for Pushdown Systems

Adrien Pommellet , Tayssir Touili
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings., Jun 2018, Malaga, Spain
Communication dans un congrès hal-02389483 v1
Image document

SAT-based Learning of Computation Tree Logic

Adrien Pommellet , Daniel Stan , Simon Scatton
2024
Pré-publication, Document de travail (preprint/prepublication) hal-04459133 v2