Get started
Author

Adrien Pommellet

The Reactive Synthesis Competition (SYNTCOMP): 2018–2021
2024 · Swen Jacobs, Guillermo A. Pérez, et al. · International Journal on Software Tools for Technology Transfer · 50
PDF
Practical “Paritizing” of Emerson-Lei Automata
2020 · Florian Renkin, Alexandre Duret-Lutz, et al. · Lecture notes in computer science · 16
Dissecting ltlsynt
2022 · Florian Renkin, Philipp Schlehuber-Caissier, et al. · Formal Methods in System Design · 13
PDF
Model-Checking HyperLTL for Pushdown Systems
2018 · Adrien Pommellet, Tayssir Touili · Lecture notes in computer science · 10
Effective Reductions of Mealy Machines
2022 · Florian Renkin, Philipp Schlehuber-Caissier, et al. · Lecture notes in computer science · 8
PDF
SAT-Based Learning of Computation Tree Logic
2024 · Adrien Pommellet, Daniel Stan, et al. · Lecture notes in computer science · 7
PDF
Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous
2017 · Adrien Pommellet, Tayssir Touili · Lecture notes in computer science · 4
PDF
Improvements to ltlsynt
2022 · Renkin, Florian, Schlehuber, Philipp, et al. · arXiv (Cornell University) · 2
PDF
LTL Model-Checking for Communicating Concurrent Programs
2018 · Adrien Pommellet, Tayssir Touili · Innovations in Systems and Software Engineering · 2
Reachability Analysis of Pushdown Systems with an Upper Stack
2017 · Adrien Pommellet, Marcio Diaz, et al. · Lecture notes in computer science · 2
PDF
Defensive Leakage Camouflage
2013 · Eric Brier, Fortier Quentin, et al. · Lecture notes in computer science · 2
LIndA: Automata Learning with an Incomplete but Inductive Teacher (Artifact)
2026 · STAN, Daniel, Pommellet, Adrien, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
2026 · Stan, Daniel, Pommellet, Adrien, et al. · arXiv (Cornell University) · 1
PDF
Active Learning Techniques for Pomset Recognizers
2026 · Adrien Pommellet, Amazigh Amrane, et al. · Lecture notes in computer science · 1
PDF
Virtual Machine for TreeLearn 0.1 (FoSSaCS 2026 artifact)
2026 · Pommellet, Adrien, AMRANE, AMAZIGH · Zenodo (CERN European Organization for Nuclear Research)
Automata Learning with an Incomplete but Inductive Teacher
2026 · Daniel Stan, Adrien Pommellet, et al. · Lecture notes in computer science
The Mealy-machine reduction functions of Spot
2023 · Florian Renkin, Philipp Schlehuber-Caissier, et al. · Science of Computer Programming
PDF
A Portable, Simple, Embeddable Type System
2021 · Newton, Jim, Pommellet, Adrien · HAL
Vérification de modèles de systèmes à pile
2018 · Adrien Pommellet · theses.fr (ABES)
PDF
Works count: 22
Citation count: 119
H-index: 6
I10-index: 4
Year
Topic
Type