Salomon Sickert

45 papers A* 2B 7C 1Journal 26Unranked 7
YearRankTypeTitle / Venue / Authors
2024 J jnl
AutoCorres2.
Arch. Formal Proofs
Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon Wimmer
2024 J jnl
Efficient Normalization of Linear Temporal Logic.
J. ACM
Javier Esparza, Rubén Rubio, Salomon Sickert
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
A Simple Rewrite System for the Normalization of Linear Temporal Logic.
CoRR
Javier Esparza, Rubén Rubio, Salomon Sickert
2023 J jnl
Efficient Normalization of Linear Temporal Logic.
CoRR
Javier Esparza, Rubén Rubio, Salomon Sickert
2022 — conf
A Simple Rewrite System for the Normalization of Linear Temporal Logic.
Principles of Systems Design
Javier Esparza, Rubén Rubio, Salomon Sickert
2022 J jnl
Certifying DFA Bounds for Recognition and Separation.
Innov. Syst. Softw. Eng.
Orna Kupferman, Nir Lavee, Salomon Sickert
2022 J jnl
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata.
Int. J. Softw. Tools Technol. Transf.
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert
2022 B conf
On the Translation of Automata to Linear Temporal Logic.
FoSSaCS
Udi Boker, Karoliina Lehtinen, Salomon Sickert
2022 J jnl
On the Translation of Automata to Linear Temporal Logic.
CoRR
Udi Boker, Karoliina Lehtinen, Salomon Sickert
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
2021 B conf
Certifying DFA Bounds for Recognition and Separation.
ATVA
Orna Kupferman, Nir Lavee, Salomon Sickert
2021 J jnl
Certifying DFA Bounds for Recognition and Separation.
CoRR
Orna Kupferman, Nir Lavee, Salomon Sickert
2021 B conf
Certifying Inexpressibility.
FoSSaCS
Orna Kupferman, Salomon Sickert
2021 J jnl
Certifying Inexpressibility.
CoRR
Orna Kupferman, Salomon Sickert
2020 J jnl
A Unified Translation of Linear Temporal Logic to ω-Automata.
J. ACM
Javier Esparza, Jan Kretínský, Salomon Sickert
2020 A* conf
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata.
LICS
Salomon Sickert, Javier Esparza
2020 J jnl
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata.
CoRR
Salomon Sickert, Javier Esparza
2020 J jnl
An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation.
Arch. Formal Proofs
Salomon Sickert
2020 J jnl
Practical synthesis of reactive systems from LTL specifications via parity games.
Acta Informatica
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
2019 J jnl
A Compositional and Unified Translation of LTL into ω-Automata.
Arch. Formal Proofs
Benedikt Seidl, Salomon Sickert
2019 — —
A Unified Translation of Linear Temporal Logic to ω-Automata.
Salomon Sickert
2019 B conf
A Verified and Compositional Translation of LTL to Deterministic Rabin Automata.
ITP
Julian Brunner, Benedikt Seidl, Salomon Sickert
2019 J jnl
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games.
CoRR
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
2019 J jnl
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
CoRR
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
2018 J jnl
LTL Store: Repository of LTL formulae from literature and case studies.
CoRR
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert
2018 A* conf
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata.
LICS
Javier Esparza, Jan Kretínský, Salomon Sickert
2018 J jnl
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata.
CoRR
Javier Esparza, Jan Kretínský, Salomon Sickert
2018 B conf
Owl: A Library for ω-Words, Automata, and LTL.
ATVA
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert
2018 — conf
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.
CAV (1)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler
2018 — conf
Strix: Explicit Reactive Synthesis Strikes Back!
CAV (1)
Philipp J. Meyer, Salomon Sickert, Michael Luttenberger
2017 — conf
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata.
TACAS (1)
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert
2017 J jnl
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata.
CoRR
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert
2017 — conf
LTL to Deterministic Emerson-Lei Automata.
GandALF
David Müller, Salomon Sickert
2016 — book
Dependable Software Systems Engineering
Dependable Software Systems Engineering
Javier Esparza, Orna Grumberg, Salomon Sickert
2016 J jnl
From LTL to deterministic automata - A safraless compositional approach.
Formal Methods Syst. Des.
Javier Esparza, Jan Kretínský, Salomon Sickert
2016 — conf
Limit-Deterministic Büchi Automata for Linear Temporal Logic.
CAV (2)
Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský
2016 J jnl
Linear Temporal Logic.
Arch. Formal Proofs
Salomon Sickert
2016 B conf
MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata.
ATVA
Salomon Sickert, Jan Kretínský
2015 J jnl
Converting Linear Temporal Logic to Deterministic (Generalised) Rabin Automata.
Arch. Formal Proofs
Salomon Sickert
2015 J jnl
Refinement checking on parametric modal transition systems.
Acta Informatica
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba
2013 B conf
MoTraS: A Tool for Modal Transition Systems and Their Extensions.
ATVA
Jan Kretínský, Salomon Sickert
2013 J jnl
On Refinements of Boolean and Parametric Modal Transition Systems
CoRR
Jan Kretínský, Salomon Sickert
2013 C conf
On Refinements of Boolean and Parametric Modal Transition Systems.
ICTAC
Jan Kretínský, Salomon Sickert