Adrien Pommellet
- Laboratoire de Recherche de l'EPITA (LRE)
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
Publications
|
|
Dissecting ltlsyntFormal Methods in System Design, 2023, ⟨10.1007/s10703-022-00407-6⟩ |
|
|
The Mealy-machine reduction functions of SpotScience of Computer Programming, 2023, 230 (102995), ⟨10.1016/j.scico.2023.102995⟩ |
|
|
LTL Model Checking for Communicating Concurrent ProgramsInnovations in Systems and Software Engineering, 2020 |
|
|
SAT-based Learning of Computation Tree LogicIJCAR 2024 - International Joint Conference on Automated Reasoning, Jul 2024, Nancy, France. pp.366-385, ⟨10.1007/978-3-031-63498-7_22⟩ |
|
|
Effective Reductions of Mealy Machines42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022), Jun 2022, Lucca, Italy |
|
|
Improvements to ltlsynt10th Workshop on Synthesis, Jul 2021, Los Angeles, United States |
|
|
A Portable, Simple, Embeddable Type SystemELS 2021, the 14th European Lisp Symposium, May 2021, Online, Unknown Region. pp.11--20, ⟨10.5281/zenodo.4709777⟩ |
|
|
Practical "Paritizing" of Emerson-Lei Automata18th 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⟩ |
LTL Model-Checking for Communicating Concurrent Programs.Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, Sep 2018, Grenoble, France |
|
Model-Checking HyperLTL for Pushdown SystemsModel Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings., Jun 2018, Malaga, Spain |