Follow
Florian Renkin
Florian Renkin
IRIF
Verified email at irif.fr - Homepage
Title
Cited by
Cited by
Year
From spot 2.0 to spot 2.10: what’s new?
A Duret-Lutz, E Renault, M Colange, F Renkin, A Gbaguidi Aisse, ...
International Conference on Computer Aided Verification, 174-187, 2022
942022
The reactive synthesis competition (syntcomp): 2018–2021
S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
International Journal on Software Tools for Technology Transfer, 1-17, 2024
262024
Practical “paritizing” of Emerson-Lei automata
F Renkin, A Duret-Lutz, A Pommellet
International Symposium on Automated Technology for Verification and …, 2020
222020
Practical applications of the alternating cycle decomposition
A Casares, A Duret-Lutz, KJ Meyer, F Renkin, S Sickert
International Conference on Tools and Algorithms for the Construction and …, 2022
162022
Improvements to ltlsynt
F Renkin, P Schlehuber, A Duret-Lutz, A Pommellet
arXiv preprint arXiv:2201.05376, 2022
102022
Effective reductions of Mealy machines
F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet
International Conference on Formal Techniques for Distributed Objects …, 2022
62022
Dissecting ltlsynt
F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet
Formal Methods in System Design 61 (2), 248-289, 2022
42022
Transformations d’ω-automates pour la synthese de contrôleurs réactifs
F Renkin
Ph. D. thesis, Sorbonne University, Paris, France (Oct. 2022), 2022
12022
The Mealy-machine reduction functions of Spot
F Renkin, P Schlehuber-Caissier, A Duret-Lutz, A Pommellet
Science of Computer Programming 230, 102995, 2023
2023
Transformations d’ω-automates pour la synthèse de systèmes réactifs
F Renkin
Sorbonne Université, 2022
2022
ltlsynt (Spot 2.9+)
F Renkin, A Duret-Lutz, A Pommellet, P Schlehuber
The system can't perform the operation now. Try again later.
Articles 1–11