Salomon Sickert
Salomon Sickert
Bestätigte E-Mail-Adresse bei in.tum.de
TitelZitiert vonJahr
Limit-Deterministic Büchi Automata for Linear Temporal Logic
S Sickert, J Esparza, S Jaax, J Křetínský
CAV, 2016
252016
From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
J Esparza, J Křetínský, JF Raskin, S Sickert
arXiv preprint arXiv:1701.06103, 2017
142017
MoTraS: A tool for modal transition systems and their extensions
J Křetínský, S Sickert
International Symposium on Automated Technology for Verification and …, 2013
142013
From LTL to deterministic automata
J Esparza, J Křetínský, S Sickert
Formal Methods in System Design 49 (3), 219-271, 2016
132016
MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata
S Sickert, J Křetínský
International Symposium on Automated Technology for Verification and …, 2016
102016
LTL to Deterministic Emerson-Lei Automata
D Müller, S Sickert
arXiv preprint arXiv:1709.02102, 2017
62017
Owl: A Library for -Words, Automata, and LTL
J Křetínský, T Meggendorfer, S Sickert
International Symposium on Automated Technology for Verification and …, 2018
4*2018
Rabinizer 4: From LTL to Your Favourite Deterministic Automaton
J Křetínský, T Meggendorfer, S Sickert, C Ziegler
International Conference on Computer Aided Verification, 567-577, 2018
42018
Refinement checking on parametric modal transition systems
N Beneš, J Křetínský, KG Larsen, MH Møller, S Sickert, J Srba
Acta Informatica 52 (2-3), 269-297, 2015
42015
On refinements of Boolean and parametric modal transition systems
J Křetínský, S Sickert
International Colloquium on Theoretical Aspects of Computing, 213-230, 2013
42013
Strix: Explicit Reactive Synthesis Strikes Back!
PJ Meyer, S Sickert, M Luttenberger
International Conference on Computer Aided Verification, 578-586, 2018
32018
LTL Store: Repository of LTL formulae from literature and case studies
J Křetínský, T Meggendorfer, S Sickert
arXiv preprint arXiv:1807.03296, 2018
32018
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata
J Esparza, J Kretinsky, S Sickert
arXiv preprint arXiv:1805.00748, 2018
22018
Converting Linear Temporal Logic to Deterministic (Generalised) Rabin Automata
S Sickert
22015
Dependable Software Systems Engineering
J Esparza, O Grumberg, S Sickert
Ios Press, 2016
12016
Linear temporal logic
S Sickert
Archive of Formal Proofs (March 2016) http://isa-afp. org/entries/LTL. html, 2016
12016
Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games
M Luttenberger, PJ Meyer, S Sickert
arXiv preprint arXiv:1903.12576, 2019
2019
Utilizing web-based geodata for rapid disaster identification and assessment
K Leith, M Schmitt, S Sickert, A Metzger, M Krautblatter
EGU General Assembly Conference Abstracts 16, 16937, 2014
2014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18