| 2022 | FOSSACS | On the Translation of Automata to Linear Temporal Logic. | Udi Boker, Karoliina Lehtinen, Salomon Sickert |
| 2022 | TACAS | Practical Applications of the Alternating Cycle Decomposition. | Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert |
| 2021 | ATVA | Certifying DFA Bounds for Recognition and Separation. | Orna Kupferman, Nir Lavee, Salomon Sickert |
| 2021 | FOSSACS | Certifying Inexpressibility. | Orna Kupferman, Salomon Sickert |
| 2020 | LICS | An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata. | Salomon Sickert, Javier Esparza |
| 2019 | ITP | A Verified and Compositional Translation of LTL to Deterministic Rabin Automata. | Julian Brunner, Benedikt Seidl, Salomon Sickert |
| 2018 | ATVA | Owl: A Library for ω-Words, Automata, and LTL. | Jan Kretnsk, Tobias Meggendorfer, Salomon Sickert |
| 2018 | CAV | Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. | Jan Kretnsk, Tobias Meggendorfer, Salomon Sickert, Christopher Ziegler |
| 2018 | CAV | Strix: Explicit Reactive Synthesis Strikes Back! | Philipp J. Meyer, Salomon Sickert, Michael Luttenberger |
| 2018 | LICS | One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. | Javier Esparza, Jan Kretnsk, Salomon Sickert |
| 2017 | TACAS | From LTL and Limit-Deterministic Bchi Automata to Deterministic Parity Automata. | Javier Esparza, Jan Kretnsk, Jean-Franois Raskin, Salomon Sickert |
| 2016 | ATVA | MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Bchi Automata. | Salomon Sickert, Jan Kretnsk |
| 2016 | CAV | Limit-Deterministic Bchi Automata for Linear Temporal Logic. | Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretnsk |
| 2013 | ATVA | MoTraS: A Tool for Modal Transition Systems and Their Extensions. | Jan Kretnsk, Salomon Sickert |
| 2013 | ICTAC | On Refinements of Boolean and Parametric Modal Transition Systems. | Jan Kretnsk, Salomon Sickert |