Florian Renkin

12 papers B 1C 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
Int. J. Softw. Tools Technol. Transf.
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
2023 J jnl
The Mealy-machine reduction functions of Spot.
Sci. Comput. Program.
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 J jnl
Dissecting ltlsynt.
Formal Methods Syst. Des.
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 C conf
Effective Reductions of Mealy Machines.
FORTE
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 J jnl
Effective Reductions of Mealy Machines.
CoRR
Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet
2022 — conf
From Spot 2.0 to Spot 2.10: What's New?
CAV (2)
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
2022 J jnl
From Spot 2.0 to Spot 2.10: What's New?
CoRR
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
2022 J jnl
Improvements to ltlsynt.
CoRR
Florian Renkin, Philipp Schlehuber, Alexandre Duret-Lutz, Adrien Pommellet
2022 — conf
Practical Applications of the Alternating Cycle Decomposition.
TACAS (2)
Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert
2022 J jnl
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.
CoRR
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
2022 — —
Transformations d'ω-automates pour la synthèse de systèmes réactifs. (Transformations of ω-automata for the synthesis of reactive systems).
Florian Renkin
2020 B conf
Practical "Paritizing" of Emerson-Lei Automata.
ATVA
Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet