Salomon Sickert

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 37

Top Venues

Technical University of Munich, Germany (PHD)

Education History

Technical University of Munich, Germany

PHD

Publications

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
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Javier Esparza, Rubén Rubio, Salomon Sickert
Efficient Normalization of Linear Temporal Logic. J. ACM 71 (2) (2024)
Javier Esparza, Rubén Rubio, Salomon Sickert
A Simple Rewrite System for the Normalization of Linear Temporal Logic. CoRR (2023)
Javier Esparza, Rubén Rubio, Salomon Sickert
Efficient Normalization of Linear Temporal Logic. CoRR (2023)
Orna Kupferman, Nir Lavee, Salomon Sickert
Certifying DFA Bounds for Recognition and Separation. Innov. Syst. Softw. Eng. 18 (3) (2022)
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
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. CoRR (2022)
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Udi Boker, Karoliina Lehtinen, Salomon Sickert
On the Translation of Automata to Linear Temporal Logic. FoSSaCS (2022)
Javier Esparza, Rubén Rubio, Salomon Sickert
A Simple Rewrite System for the Normalization of Linear Temporal Logic. Principles of Systems Design (2022)
Udi Boker, Karoliina Lehtinen, Salomon Sickert
On the Translation of Automata to Linear Temporal Logic. CoRR (2022)
Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert
Practical Applications of the Alternating Cycle Decomposition. TACAS (2) (2022)
Orna Kupferman, Salomon Sickert
Certifying Inexpressibility. CoRR (2021)
Orna Kupferman, Nir Lavee, Salomon Sickert
Certifying DFA Bounds for Recognition and Separation. CoRR (2021)
Orna Kupferman, Nir Lavee, Salomon Sickert
Certifying DFA Bounds for Recognition and Separation. ATVA (2021)
Orna Kupferman, Salomon Sickert
Certifying Inexpressibility. FoSSaCS (2021)
Javier Esparza, Jan Kretínský, Salomon Sickert
A Unified Translation of Linear Temporal Logic to ω-Automata. J. ACM 67 (6) (2020)
Salomon Sickert
An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation. Arch. Formal Proofs 2020 (2020)
Salomon Sickert, Javier Esparza
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata. CoRR (2020)
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
Practical synthesis of reactive systems from LTL specifications via parity games. Acta Informatica 57 (1-2) (2020)
Salomon Sickert, Javier Esparza
An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata. LICS (2020)
Julian Brunner, Benedikt Seidl, Salomon Sickert
A Verified and Compositional Translation of LTL to Deterministic Rabin Automata. ITP (2019)
Benedikt Seidl, Salomon Sickert
A Compositional and Unified Translation of LTL into ω-Automata. Arch. Formal Proofs 2019 (2019)
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
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. CoRR (2019)
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games. CoRR (2019)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert
Owl: A Library for ω-Words, Automata, and LTL. ATVA (2018)
Philipp J. Meyer, Salomon Sickert, Michael Luttenberger
Strix: Explicit Reactive Synthesis Strikes Back! CAV (1) (2018)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. CAV (1) (2018)
Jan Kretínský, Tobias Meggendorfer, Salomon Sickert
LTL Store: Repository of LTL formulae from literature and case studies. CoRR (2018)
Javier Esparza, Jan Kretínský, Salomon Sickert
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. CoRR (2018)
Javier Esparza, Jan Kretínský, Salomon Sickert
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. LICS (2018)
David Müller, Salomon Sickert
LTL to Deterministic Emerson-Lei Automata. GandALF (2017)
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. TACAS (1) (2017)
Javier Esparza, Jan Kretínský, Jean-François Raskin, Salomon Sickert
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata. CoRR (2017)
Salomon Sickert, Jan Kretínský
MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata. ATVA (2016)
Salomon Sickert
Linear Temporal Logic. Arch. Formal Proofs 2016 (2016)
Javier Esparza, Jan Kretínský, Salomon Sickert
From LTL to deterministic automata - A safraless compositional approach. Formal Methods Syst. Des. 49 (3) (2016)
Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský
Limit-Deterministic Büchi Automata for Linear Temporal Logic. CAV (2) (2016)
Salomon Sickert
Converting Linear Temporal Logic to Deterministic (Generalised) Rabin Automata. Arch. Formal Proofs 2015 (2015)
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba
Refinement checking on parametric modal transition systems. Acta Informatica 52 (2-3) (2015)
Jan Kretínský, Salomon Sickert
MoTraS: A Tool for Modal Transition Systems and Their Extensions. ATVA (2013)
Jan Kretínský, Salomon Sickert
On Refinements of Boolean and Parametric Modal Transition Systems. ICTAC (2013)
Jan Kretínský, Salomon Sickert
On Refinements of Boolean and Parametric Modal Transition Systems CoRR (2013)

Salomon Sickert.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Salomon Sickert