Adrien Pommellet

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 17

Top Topics

Concurrent Programs

Transition Systems

Computation Tree Logic

Top Venues

Innov. Syst. Softw. Eng.

Sci. Comput. Program.

Publications

Adrien Pommellet, Daniel Stan, Simon Scatton
SAT-Based Learning of Computation Tree Logic. IJCAR (1) (2024)
Adrien Pommellet, Daniel Stan, Simon Scatton
SAT-based Learning of Computation Tree Logic. CoRR (2024)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
The Mealy-machine reduction functions of Spot. Sci. Comput. Program. 230 (2023)
Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet
Improvements to ltlsynt. CoRR (2022)
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
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
Effective Reductions of Mealy Machines. FORTE (2022)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
Effective Reductions of Mealy Machines. CoRR (2022)
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
Dissecting ltlsynt. Formal Methods Syst. Des. 61 (2) (2022)
Jim E. Newton, Adrien Pommellet
A Portable, Simple, Embeddable Type System. ELS (2021)
Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
Practical "Paritizing" of Emerson-Lei Automata. ATVA (2020)
Adrien Pommellet, Tayssir Touili
LTL model checking for communicating concurrent programs. Innov. Syst. Softw. Eng. 16 (2) (2020)
Adrien Pommellet, Tayssir Touili
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous. CoRR (2019)
Adrien Pommellet, Tayssir Touili
LTL Model-Checking for Communicating Concurrent Programs. VECoS (2018)
Adrien Pommellet, Tayssir Touili
Model-Checking HyperLTL for Pushdown Systems. SPIN (2018)
Adrien Pommellet, Marcio Diaz, Tayssir Touili
Reachability Analysis of Pushdown Systems with an Upper Stack. CoRR (2018)
Adrien Pommellet, Tayssir Touili
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous. APLAS (2017)
Adrien Pommellet, Marcio Diaz, Tayssir Touili
Reachability Analysis of Pushdown Systems with an Upper Stack. LATA (2017)
Eric Brier, Quentin Fortier, Roman Korkikian, Khalid W. Magld, David Naccache, Guilherme Ozari de Almeida, Adrien Pommellet, A. H. Ragab, Jean Vuillemin
Defensive Leakage Camouflage. IACR Cryptol. ePrint Arch. 2012 (2012)
Eric Brier, Quentin Fortier, Roman Korkikian, Khalid W. Magld, David Naccache, Guilherme Ozari de Almeida, Adrien Pommellet, A. H. Ragab, Jean Vuillemin
Defensive Leakage Camouflage. CARDIS (2012)