Adrien Pommellet

23 papers B 3C 4Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2026 B conf
Active Learning Techniques for Pomset Recognizers.
FoSSaCS
Adrien Pommellet, Amazigh Amrane, Edgar Delaporte, Geoffroy Du Prey, Oscar Peyron
2026 J jnl
Automata Learning with an Incomplete but Inductive Teacher.
CoRR
Daniel Stan, Adrien Pommellet, Juliette Jacquot
2025 J jnl
Active Learning Techniques for Pomset Recognizers.
CoRR
Adrien Pommellet, Amazigh Amrane, Edgar Delaporte
2024 — conf
SAT-Based Learning of Computation Tree Logic.
IJCAR (1)
Adrien Pommellet, Daniel Stan, Simon Scatton
2024 J jnl
SAT-based Learning of Computation Tree Logic.
CoRR
Adrien Pommellet, Daniel Stan, Simon Scatton
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
Swen Jacobs, Guillermo A. Pérez, 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, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
2023 J jnl
The Mealy-machine reduction functions of Spot.
Sci. Comput. Program.
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 J jnl
Dissecting ltlsynt.
Formal Methods Syst. Des.
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 C conf
Effective Reductions of Mealy Machines.
FORTE
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 J jnl
Effective Reductions of Mealy Machines.
CoRR
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 J jnl
Improvements to ltlsynt.
CoRR
Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
Swen Jacobs, Guillermo A. Pérez, 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, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker
2021 — conf
A Portable, Simple, Embeddable Type System.
ELS
Jim E. Newton, Adrien Pommellet
2020 J jnl
LTL model checking for communicating concurrent programs.
Innov. Syst. Softw. Eng.
Adrien Pommellet, Tayssir Touili
2020 B conf
Practical "Paritizing" of Emerson-Lei Automata.
ATVA
Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
2019 J jnl
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous.
CoRR
Adrien Pommellet, Tayssir Touili
2018 C conf
LTL Model-Checking for Communicating Concurrent Programs.
VECoS
Adrien Pommellet, Tayssir Touili
2018 — conf
Model-Checking HyperLTL for Pushdown Systems.
SPIN
Adrien Pommellet, Tayssir Touili
2018 J jnl
Reachability Analysis of Pushdown Systems with an Upper Stack.
CoRR
Adrien Pommellet, Marcio Diaz, Tayssir Touili
2017 C conf
Reachability Analysis of Pushdown Systems with an Upper Stack.
LATA
Adrien Pommellet, Marcio Diaz, Tayssir Touili
2017 B conf
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous.
APLAS
Adrien Pommellet, Tayssir Touili
2012 C conf
Defensive Leakage Camouflage.
CARDIS
Eric Brier, Quentin Fortier, Roman Korkikian, Khalid W. Magld, David Naccache, Guilherme Ozari de Almeida, Adrien Pommellet, A. H. Ragab, Jean Vuillemin
2012 J jnl
Defensive Leakage Camouflage.
IACR Cryptol. ePrint Arch.
Eric Brier, Quentin Fortier, Roman Korkikian, Khalid W. Magld, David Naccache, Guilherme Ozari de Almeida, Adrien Pommellet, A. H. Ragab, Jean Vuillemin