BibTeX records: Salomon Sickert

download as .bib file

@article{DBLP:journals/afp/BrecknellGHIKKLNSSSTW24,
  author       = {Matthew Brecknell and
                  David Greenaway and
                  Johannes H{\"{o}}lzl and
                  Fabian Immler and
                  Gerwin Klein and
                  Rafal Kolanski and
                  Japheth Lim and
                  Michael Norrish and
                  Norbert Schirmer and
                  Salomon Sickert and
                  Thomas Sewell and
                  Harvey Tuch and
                  Simon Wimmer},
  title        = {AutoCorres2},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024}
}

@article{DBLP:journals/jacm/EsparzaRS24,
  author       = {Javier Esparza and
                  Rub{\'{e}}n Rubio and
                  Salomon Sickert},
  title        = {Efficient Normalization of Linear Temporal Logic},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {16:1--16:42},
  year         = {2024}
}

@article{DBLP:journals/corr/abs-2304-08872,
  author       = {Javier Esparza and
                  Rub{\'{e}}n Rubio and
                  Salomon Sickert},
  title        = {A Simple Rewrite System for the Normalization of Linear Temporal Logic},
  journal      = {CoRR},
  volume       = {abs/2304.08872},
  year         = {2023}
}

@article{DBLP:journals/corr/abs-2310-12613,
  author       = {Javier Esparza and
                  Rub{\'{e}}n Rubio and
                  Salomon Sickert},
  title        = {Efficient Normalization of Linear Temporal Logic},
  journal      = {CoRR},
  volume       = {abs/2310.12613},
  year         = {2023}
}

@article{DBLP:journals/isse/KupfermanLS22,
  author       = {Orna Kupferman and
                  Nir Lavee and
                  Salomon Sickert},
  title        = {Certifying {DFA} Bounds for Recognition and Separation},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {18},
  number       = {3},
  pages        = {405--416},
  year         = {2022}
}

@article{DBLP:journals/sttt/EsparzaKRS22,
  author       = {Javier Esparza and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Salomon Sickert},
  title        = {From linear temporal logic and limit-deterministic B{\"{u}}chi
                  automata to deterministic parity automata},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {24},
  number       = {4},
  pages        = {635--659},
  year         = {2022}
}

@inproceedings{DBLP:conf/birthday/EsparzaRS22,
  author       = {Javier Esparza and
                  Rub{\'{e}}n Rubio and
                  Salomon Sickert},
  title        = {A Simple Rewrite System for the Normalization of Linear Temporal Logic},
  booktitle    = {Principles of Systems Design},
  series       = {Lecture Notes in Computer Science},
  volume       = {13660},
  pages        = {208--227},
  publisher    = {Springer},
  year         = {2022}
}

@inproceedings{DBLP:conf/fossacs/BokerLS22,
  author       = {Udi Boker and
                  Karoliina Lehtinen and
                  Salomon Sickert},
  title        = {On the Translation of Automata to Linear Temporal Logic},
  booktitle    = {FoSSaCS},
  series       = {Lecture Notes in Computer Science},
  volume       = {13242},
  pages        = {140--160},
  publisher    = {Springer},
  year         = {2022}
}

@inproceedings{DBLP:conf/tacas/CasaresDMRS22,
  author       = {Antonio Casares and
                  Alexandre Duret{-}Lutz and
                  Klara J. Meyer and
                  Florian Renkin and
                  Salomon Sickert},
  title        = {Practical Applications of the Alternating Cycle Decomposition},
  booktitle    = {{TACAS} {(2)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13244},
  pages        = {99--117},
  publisher    = {Springer},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2201-10267,
  author       = {Udi Boker and
                  Karoliina Lehtinen and
                  Salomon Sickert},
  title        = {On the Translation of Automata to Linear Temporal Logic},
  journal      = {CoRR},
  volume       = {abs/2201.10267},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2206-00251,
  author       = {Swen Jacobs and
                  Guillermo A. P{\'{e}}rez and
                  Remco Abraham and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Micha{\"{e}}l Cadilhac and
                  Maximilien Colange and
                  Charly Delfosse and
                  Tom van Dijk and
                  Alexandre Duret{-}Lutz and
                  Peter Faymonville and
                  Bernd Finkbeiner and
                  Ayrat Khalimov and
                  Felix Klein and
                  Michael Luttenberger and
                  Klara J. Meyer and
                  Thibaud Michaud and
                  Adrien Pommellet and
                  Florian Renkin and
                  Philipp Schlehuber{-}Caissier and
                  Mouhammad Sakr and
                  Salomon Sickert and
                  Ga{\"{e}}tan Staquet and
                  Cl{\'{e}}ment Tamines and
                  Leander Tentrup and
                  Adam Walker},
  title        = {The Reactive Synthesis Competition {(SYNTCOMP):} 2018-2021},
  journal      = {CoRR},
  volume       = {abs/2206.00251},
  year         = {2022}
}

@inproceedings{DBLP:conf/atva/KupfermanLS21,
  author       = {Orna Kupferman and
                  Nir Lavee and
                  Salomon Sickert},
  title        = {Certifying {DFA} Bounds for Recognition and Separation},
  booktitle    = {{ATVA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12971},
  pages        = {48--64},
  publisher    = {Springer},
  year         = {2021}
}

@inproceedings{DBLP:conf/fossacs/KupfermanS21,
  author       = {Orna Kupferman and
                  Salomon Sickert},
  title        = {Certifying Inexpressibility},
  booktitle    = {FoSSaCS},
  series       = {Lecture Notes in Computer Science},
  volume       = {12650},
  pages        = {385--405},
  publisher    = {Springer},
  year         = {2021}
}

@article{DBLP:journals/corr/abs-2101-08756,
  author       = {Orna Kupferman and
                  Salomon Sickert},
  title        = {Certifying Inexpressibility},
  journal      = {CoRR},
  volume       = {abs/2101.08756},
  year         = {2021}
}

@article{DBLP:journals/corr/abs-2107-01566,
  author       = {Orna Kupferman and
                  Nir Lavee and
                  Salomon Sickert},
  title        = {Certifying {DFA} Bounds for Recognition and Separation},
  journal      = {CoRR},
  volume       = {abs/2107.01566},
  year         = {2021}
}

@article{DBLP:journals/acta/LuttenbergerMS20,
  author       = {Michael Luttenberger and
                  Philipp J. Meyer and
                  Salomon Sickert},
  title        = {Practical synthesis of reactive systems from {LTL} specifications
                  via parity games},
  journal      = {Acta Informatica},
  volume       = {57},
  number       = {1-2},
  pages        = {3--36},
  year         = {2020}
}

@article{DBLP:journals/afp/Sickert20,
  author       = {Salomon Sickert},
  title        = {An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL
                  Formalisation},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020}
}

@article{DBLP:journals/jacm/EsparzaKS20,
  author       = {Javier Esparza and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Salomon Sickert},
  title        = {A Unified Translation of Linear Temporal Logic to {\(\omega\)}-Automata},
  journal      = {J. {ACM}},
  volume       = {67},
  number       = {6},
  pages        = {33:1--33:61},
  year         = {2020}
}

@inproceedings{DBLP:conf/lics/SickertE20,
  author       = {Salomon Sickert and
                  Javier Esparza},
  title        = {An Efficient Normalisation Procedure for Linear Temporal Logic and
                  Very Weak Alternating Automata},
  booktitle    = {{LICS}},
  pages        = {831--844},
  publisher    = {{ACM}},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-2005-00472,
  author       = {Salomon Sickert and
                  Javier Esparza},
  title        = {An Efficient Normalisation Procedure for Linear Temporal Logic and
                  Very Weak Alternating Automata},
  journal      = {CoRR},
  volume       = {abs/2005.00472},
  year         = {2020}
}

@phdthesis{DBLP:phd/dnb/Sickert19,
  author       = {Salomon Sickert},
  title        = {A Unified Translation of Linear Temporal Logic to {\(\omega\)}-Automata},
  school       = {Technical University of Munich, Germany},
  year         = {2019}
}

@article{DBLP:journals/afp/SeidlS19,
  author       = {Benedikt Seidl and
                  Salomon Sickert},
  title        = {A Compositional and Unified Translation of {LTL} into {\(\omega\)}-Automata},
  journal      = {Arch. Formal Proofs},
  volume       = {2019},
  year         = {2019}
}

@inproceedings{DBLP:conf/itp/0001SS19,
  author       = {Julian Brunner and
                  Benedikt Seidl and
                  Salomon Sickert},
  title        = {A Verified and Compositional Translation of {LTL} to Deterministic
                  Rabin Automata},
  booktitle    = {{ITP}},
  series       = {LIPIcs},
  volume       = {141},
  pages        = {11:1--11:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1903-12576,
  author       = {Michael Luttenberger and
                  Philipp J. Meyer and
                  Salomon Sickert},
  title        = {Practical Synthesis of Reactive Systems from {LTL} Specifications
                  via Parity Games},
  journal      = {CoRR},
  volume       = {abs/1903.12576},
  year         = {2019}
}

@article{DBLP:journals/corr/abs-1904-07736,
  author       = {Swen Jacobs and
                  Roderick Bloem and
                  Maximilien Colange and
                  Peter Faymonville and
                  Bernd Finkbeiner and
                  Ayrat Khalimov and
                  Felix Klein and
                  Michael Luttenberger and
                  Philipp J. Meyer and
                  Thibaud Michaud and
                  Mouhammad Sakr and
                  Salomon Sickert and
                  Leander Tentrup and
                  Adam Walker},
  title        = {The 5th Reactive Synthesis Competition {(SYNTCOMP} 2018): Benchmarks,
                  Participants {\&} Results},
  journal      = {CoRR},
  volume       = {abs/1904.07736},
  year         = {2019}
}

@inproceedings{DBLP:conf/atva/KretinskyMS18,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Salomon Sickert},
  title        = {Owl: {A} Library for {\(\omega\)}-Words, Automata, and {LTL}},
  booktitle    = {{ATVA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11138},
  pages        = {543--550},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/cav/KretinskyMSZ18,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Salomon Sickert and
                  Christopher Ziegler},
  title        = {Rabinizer 4: From {LTL} to Your Favourite Deterministic Automaton},
  booktitle    = {{CAV} {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10981},
  pages        = {567--577},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/cav/MeyerSL18,
  author       = {Philipp J. Meyer and
                  Salomon Sickert and
                  Michael Luttenberger},
  title        = {Strix: Explicit Reactive Synthesis Strikes Back!},
  booktitle    = {{CAV} {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10981},
  pages        = {578--586},
  publisher    = {Springer},
  year         = {2018}
}

@inproceedings{DBLP:conf/lics/EsparzaKS18,
  author       = {Javier Esparza and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Salomon Sickert},
  title        = {One Theorem to Rule Them All: {A} Unified Translation of {LTL} into
                  {\(\omega\)}-Automata},
  booktitle    = {{LICS}},
  pages        = {384--393},
  publisher    = {{ACM}},
  year         = {2018}
}

@article{DBLP:journals/corr/abs-1805-00748,
  author       = {Javier Esparza and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Salomon Sickert},
  title        = {One Theorem to Rule Them All: {A} Unified Translation of {LTL} into
                  {\(\omega\)}-Automata},
  journal      = {CoRR},
  volume       = {abs/1805.00748},
  year         = {2018}
}

@article{DBLP:journals/corr/abs-1807-03296,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Tobias Meggendorfer and
                  Salomon Sickert},
  title        = {{LTL} Store: Repository of {LTL} formulae from literature and case
                  studies},
  journal      = {CoRR},
  volume       = {abs/1807.03296},
  year         = {2018}
}

@inproceedings{DBLP:conf/tacas/EsparzaKRS17,
  author       = {Javier Esparza and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Salomon Sickert},
  title        = {From {LTL} and Limit-Deterministic B{\"{u}}chi Automata to Deterministic
                  Parity Automata},
  booktitle    = {{TACAS} {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10205},
  pages        = {426--442},
  year         = {2017}
}

@inproceedings{DBLP:journals/corr/abs-1709-02102,
  author       = {David M{\"{u}}ller and
                  Salomon Sickert},
  title        = {{LTL} to Deterministic Emerson-Lei Automata},
  booktitle    = {GandALF},
  series       = {{EPTCS}},
  volume       = {256},
  pages        = {180--194},
  year         = {2017}
}

@article{DBLP:journals/corr/EsparzaKRS17,
  author       = {Javier Esparza and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Salomon Sickert},
  title        = {From {LTL} and Limit-Deterministic B{\"{u}}chi Automata to Deterministic
                  Parity Automata},
  journal      = {CoRR},
  volume       = {abs/1701.06103},
  year         = {2017}
}

@article{DBLP:journals/afp/Sickert16,
  author       = {Salomon Sickert},
  title        = {Linear Temporal Logic},
  journal      = {Arch. Formal Proofs},
  volume       = {2016},
  year         = {2016}
}

@article{DBLP:journals/fmsd/EsparzaKS16,
  author       = {Javier Esparza and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Salomon Sickert},
  title        = {From {LTL} to deterministic automata - {A} safraless compositional
                  approach},
  journal      = {Formal Methods Syst. Des.},
  volume       = {49},
  number       = {3},
  pages        = {219--271},
  year         = {2016}
}

@inproceedings{DBLP:conf/atva/SickertK16,
  author       = {Salomon Sickert and
                  Jan Kret{\'{\i}}nsk{\'{y}}},
  title        = {MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic
                  B{\"{u}}chi Automata},
  booktitle    = {{ATVA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9938},
  pages        = {130--137},
  year         = {2016}
}

@inproceedings{DBLP:conf/cav/SickertEJK16,
  author       = {Salomon Sickert and
                  Javier Esparza and
                  Stefan Jaax and
                  Jan Kret{\'{\i}}nsk{\'{y}}},
  title        = {Limit-Deterministic B{\"{u}}chi Automata for Linear Temporal
                  Logic},
  booktitle    = {{CAV} {(2)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9780},
  pages        = {312--332},
  publisher    = {Springer},
  year         = {2016}
}

@book{DBLP:series/natosec/45,
  editor       = {Javier Esparza and
                  Orna Grumberg and
                  Salomon Sickert},
  title        = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series - {D:} Information and
                  Communication Security},
  volume       = {45},
  publisher    = {{IOS} Press},
  year         = {2016}
}

@article{DBLP:journals/acta/BenesKLMSS15,
  author       = {Nikola Benes and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Kim G. Larsen and
                  Mikael H. M{\o}ller and
                  Salomon Sickert and
                  Jir{\'{\i}} Srba},
  title        = {Refinement checking on parametric modal transition systems},
  journal      = {Acta Informatica},
  volume       = {52},
  number       = {2-3},
  pages        = {269--297},
  year         = {2015}
}

@article{DBLP:journals/afp/Sickert15,
  author       = {Salomon Sickert},
  title        = {Converting Linear Temporal Logic to Deterministic (Generalised) Rabin
                  Automata},
  journal      = {Arch. Formal Proofs},
  volume       = {2015},
  year         = {2015}
}

@inproceedings{DBLP:conf/atva/KretinskyS13,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Salomon Sickert},
  title        = {MoTraS: {A} Tool for Modal Transition Systems and Their Extensions},
  booktitle    = {{ATVA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8172},
  pages        = {487--491},
  publisher    = {Springer},
  year         = {2013}
}

@inproceedings{DBLP:conf/ictac/KretinskyS13,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Salomon Sickert},
  title        = {On Refinements of Boolean and Parametric Modal Transition Systems},
  booktitle    = {{ICTAC}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8049},
  pages        = {213--230},
  publisher    = {Springer},
  year         = {2013}
}

@article{DBLP:journals/corr/abs-1304-5278,
  author       = {Jan Kret{\'{\i}}nsk{\'{y}} and
                  Salomon Sickert},
  title        = {On Refinements of Boolean and Parametric Modal Transition Systems},
  journal      = {CoRR},
  volume       = {abs/1304.5278},
  year         = {2013}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.