Associate Professor at EPITA
Member of the LRDE's verification team
Mailing adress: LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France.
My ORCID and Google Scholar profile.
Biography and Research Interests
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 LRDE's verification team in 2019. My current research interest lies in model-checking algorithms and tool development for Büchi automata (Spot), weighted timed automata, and active learning of various types of automata.
I successfully defended my PhD thesis entitled 'On Model-checking Pushdown System Models' on the 5th of July, 2018.[pdf][slides]
- Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz and Adrien Pommellet, Effective Reductions of Mealy Machines, 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022).[pdf]
- Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz and Adrien Pommellet, Improvements to ltlsynt, 10th Workshop on Synthesis.[pdf]
- Jim Newton and Adrien Pommellet, A Portable, Simple, Embeddable Type System, European Lisp Symposium (ELS 2021).[pdf]
- Florian Renkin, Alexandre Duret-Lutz and Adrien Pommellet, Practical “Paritizing” of Emerson-Lei Automata, International Symposium on Automated Technology for Verification and Analysis (ATVA 2020).[pdf]
- Adrien Pommellet and Tayssir Touili, LTL Model-checking for Communicating Concurrent Programs, Innovations in Systems and Software Engineering (ISSE).[pdf]
- Adrien Pommellet and Tayssir Touili, LTL Model-checking for Communicating Concurrent Programs, 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018).
- Adrien Pommellet and Tayssir Touili, Model-checking HyperLTL for Pushdown Systems, 25th International Symposium on Model Checking of Software (SPIN 2018).
- Adrien Pommellet and Tayssir Touili, Static Analysis of Multi-threaded Recursive Programs Communicating via Rendez-Vous, 15th Asian Symposium on Programming Languages and Systems (APLAS 2017).[pdf]
- Adrien Pommellet, Marcio Diaz, and Tayssir Touili, Reachability Analysis of Pushdown Systems with an Upper Stack, 11th International Conference on Language and Automata Theory and Applications (LATA 2017).[pdf]
- Eric Brier, Quentin Fortier, Roman Korkikian, K. W. Magld, David Naccache, Guilherme Ozari de Almeida, Adrien Pommellet, A. H. Ragab, and Jean Vuillemin, Defensive Leakage Camouflage, Smart Card Research and Advanced Applications - 11th International Conference (CARDIS 2012).