Defensive Leakage Camouflage. - Eric Brier; Quentin Fortier; Roman Korkikian; Khalid W. Magld; David Naccache; Guilherme Ozari de Almeida; Adrien Pommellet; A. H. Ragab; Jean Vuillemin (IACR Cryptol. ePrint Arch., 2012)

Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. - Adrien Pommellet; Tayssir Touili (APLAS, 2017)

Reachability Analysis of Pushdown Systems with an Upper Stack. - Adrien Pommellet; Marcio Diaz; Tayssir Touili (LATA, 2017)

Model-Checking HyperLTL for Pushdown Systems. - Adrien Pommellet; Tayssir Touili (SPIN, 2018)

Practical "Paritizing" of Emerson-Lei Automata. - Florian Renkin; Alexandre Duret-Lutz; Adrien Pommellet (ATVA, 2020)

LTL model checking for communicating concurrent programs. - Adrien Pommellet; Tayssir Touili (Innov. Syst. Softw. Eng., 2020)

A Portable, Simple, Embeddable Type System. - Jim E. Newton; Adrien Pommellet (ELS, 2021)

Effective Reductions of Mealy Machines. - Florian Renkin; Philipp Schlehuber-Caissier; Alexandre Duret-Lutz; Adrien Pommellet (FORTE, 2022)

Improvements to ltlsynt. - Florian Renkin; Philipp Schlehuber; Alexandre Duret-Lutz; Adrien Pommellet (CoRR, 2022)

Dissecting ltlsynt. - Florian Renkin; Philipp Schlehuber-Caissier; Alexandre Duret-Lutz; Adrien Pommellet (Formal Methods Syst. Des., 2022)

The Mealy-machine reduction functions of Spot. - Florian Renkin; Philipp Schlehuber-Caissier; Alexandre Duret-Lutz; Adrien Pommellet (Sci. Comput. Program., 2023)

SAT-Based Learning of Computation Tree Logic. - Adrien Pommellet; Daniel Stan; Simon Scatton (IJCAR (1), 2024)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)

Active Learning Techniques for Pomset Recognizers. - Adrien Pommellet; Amazigh Amrane; Edgar Delaporte (CoRR, 2025)