Adrien Pommellet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2012–2026
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FORTE | Automata Learning with an Incomplete but Inductive Teacher. | Daniel Stan, Adrien Pommellet, Juliette Jacquot |
| 2026 | FOSSACS | Active Learning Techniques for Pomset Recognizers. | Adrien Pommellet, Amazigh Amrane, Edgar Delaporte, Geoffroy Du Prey, Oscar Peyron |
| 2024 | IJCAR | SAT-Based Learning of Computation Tree Logic. | Adrien Pommellet, Daniel Stan, Simon Scatton |
| 2022 | FORTE | Effective Reductions of Mealy Machines. | Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet |
| 2020 | ATVA | Practical "Paritizing" of Emerson-Lei Automata. | Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet |
| 2018 | VECoS | LTL Model-Checking for Communicating Concurrent Programs. | Adrien Pommellet, Tayssir Touili |
| 2017 | APLAS | Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. | Adrien Pommellet, Tayssir Touili |
| 2017 | LATA | Reachability Analysis of Pushdown Systems with an Upper Stack. | Adrien Pommellet, Marcio Diaz, Tayssir Touili |
| 2012 | CARDIS | 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 |