Dissecting ltlsynt

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet. Dissecting ltlsynt. Formal Methods in System Design, 2023, ⟨10.1007/s10703-022-00407-6⟩. ⟨hal-04580384⟩

The Mealy-machine reduction functions of Spot

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet. The Mealy-machine reduction functions of Spot. Science of Computer Programming, 2023, 230 (102995), ⟨10.1016/j.scico.2023.102995⟩. ⟨hal-04580385⟩

Effective Reductions of Mealy Machines

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet. Effective Reductions of Mealy Machines. 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2022), Jun 2022, Lucca, Italy. ⟨hal-03695793⟩

Improvements to ltlsynt

Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet. Improvements to ltlsynt. 10th Workshop on Synthesis, Jul 2021, Los Angeles, United States. ⟨hal-03523385⟩

A Portable, Simple, Embeddable Type System

Jim Newton, Adrien Pommellet. A Portable, Simple, Embeddable Type System. ELS 2021, the 14th European Lisp Symposium, May 2021, Online, Unknown Region. pp.11--20, ⟨10.5281/zenodo.4709777⟩. ⟨hal-04580380⟩

LTL Model Checking for Communicating Concurrent Programs

Adrien Pommellet, Tayssir Touili. LTL Model Checking for Communicating Concurrent Programs. Innovations in Systems and Software Engineering, 2020. ⟨hal-03033654⟩

Practical "Paritizing" of Emerson-Lei Automata

Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet. Practical "Paritizing" of Emerson-Lei Automata. 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20), Oct 2020, Hanoi, Vietnam. pp.127-143, ⟨10.1007/978-3-030-59152-6_7⟩. ⟨hal-02891970⟩

LTL Model-Checking for Communicating Concurrent Programs.

Adrien Pommellet, Tayssir Touili. LTL Model-Checking for Communicating Concurrent Programs.. Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, Sep 2018, Grenoble, France. ⟨hal-02389449⟩

Model-Checking HyperLTL for Pushdown Systems

Adrien Pommellet, Tayssir Touili. Model-Checking HyperLTL for Pushdown Systems. Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings., Jun 2018, Malaga, Spain. ⟨hal-02389483⟩