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

Deposit thumbnail

SAT-based Learning of Computation Tree Logic

Adrien Pommellet , Daniel Stan , Simon Scatton

IJCAR 2024 - International Joint Conference on Automated Reasoning, Jul 2024, Nancy, France. pp.366-385, ⟨10.1007/978-3-031-63498-7_22⟩

Communication dans un congrès hal-04459133v2
Deposit thumbnail

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-03695793v1
Deposit thumbnail

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-03523385v1
Deposit thumbnail

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-04580380v1
Deposit thumbnail

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-02891970v1

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-02389449v1

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-02389483v1