Adrien Pommellet

According to our database, Adrien Pommellet authored at least 13 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

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

Int. J. Softw. Tools Technol. Transf., October, 2024

SAT-Based Learning of Computation Tree Logic.

Adrien Pommellet, Daniel Stan, Simon Scatton

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2023

The Mealy-machine reduction functions of Spot.

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Sci. Comput. Program., August, 2023

2022

Dissecting ltlsynt.

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Formal Methods Syst. Des., December, 2022

Improvements to ltlsynt.

Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet

CoRR, 2022

Effective Reductions of Mealy Machines.

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2021

A Portable, Simple, Embeddable Type System.

Jim E. Newton, Adrien Pommellet

Proceedings of the 14th European Lisp Symposium, 2021

2020

LTL model checking for communicating concurrent programs.

Adrien Pommellet, Tayssir Touili

Innov. Syst. Softw. Eng., 2020

Practical "Paritizing" of Emerson-Lei Automata.

Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet

Proceedings of the Automated Technology for Verification and Analysis, 2020

2018

Model-Checking HyperLTL for Pushdown Systems.

Adrien Pommellet, Tayssir Touili

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017

Reachability Analysis of Pushdown Systems with an Upper Stack.

Adrien Pommellet, Marcio Diaz, Tayssir Touili

Proceedings of the Language and Automata Theory and Applications, 2017

Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous.

Adrien Pommellet, Tayssir Touili

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2012

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