Florian Renkin

According to our database, Florian Renkin authored at least 9 papers between 2020 and 2024.

Collaborative distances:

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

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

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

Transformations d'ω-automates pour la synthèse de systèmes réactifs. (Transformations of ω-automata for the synthesis of reactive systems).

Florian Renkin

PhD thesis, 2022

Improvements to ltlsynt.

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

CoRR, 2022

Practical Applications of the Alternating Cycle Decomposition.

Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

From Spot 2.0 to Spot 2.10: What's New?

Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2020

Practical "Paritizing" of Emerson-Lei Automata.

Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet

Proceedings of the Automated Technology for Verification and Analysis, 2020