Adrien Pommellet

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
SAT-based Learning of Computation Tree Logic.
CoRR, 2024

2023
The Mealy-machine reduction functions of Spot.
Sci. Comput. Program., August, 2023

2022
Dissecting ltlsynt.
Formal Methods Syst. Des., December, 2022

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

Improvements to ltlsynt.
CoRR, 2022

Effective Reductions of Mealy Machines.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2021
A Portable, Simple, Embeddable Type System.
Proceedings of the 14th European Lisp Symposium, 2021

2020
LTL model checking for communicating concurrent programs.
Innov. Syst. Softw. Eng., 2020

Practical "Paritizing" of Emerson-Lei Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2020

2018
Model-Checking HyperLTL for Pushdown Systems.
Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017
Reachability Analysis of Pushdown Systems with an Upper Stack.
Proceedings of the Language and Automata Theory and Applications, 2017

Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2012
Defensive Leakage Camouflage.
IACR Cryptol. ePrint Arch., 2012


  Loading...