BibTeX records: Salomon Sickert

download as .bib file

@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},
  url       = {http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20190801-1484932-1-4},
  urn       = {urn:nbn:de:bvb:91-diss-20190801-1484932-1-4},
  timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Sickert19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/SeidlS19,
  author    = {Benedikt Seidl and
               Salomon Sickert},
  title     = {A Compositional and Unified Translation of {LTL} into {\(\omega\)}-Automata},
  journal   = {Archive of Formal Proofs},
  volume    = {2019},
  year      = {2019},
  url       = {https://www.isa-afp.org/entries/LTL\_Master\_Theorem.html},
  timestamp = {Wed, 14 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/afp/SeidlS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {10th International Conference on Interactive Theorem Proving, {ITP}
               2019, September 9-12, 2019, Portland, OR, {USA}},
  pages     = {11:1--11:19},
  year      = {2019},
  crossref  = {DBLP:conf/itp/2019},
  url       = {https://doi.org/10.4230/LIPIcs.ITP.2019.11},
  doi       = {10.4230/LIPIcs.ITP.2019.11},
  timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/0001SS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1903.12576},
  archivePrefix = {arXiv},
  eprint    = {1903.12576},
  timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1903-12576},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1904.07736},
  archivePrefix = {arXiv},
  eprint    = {1904.07736},
  timestamp = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1904-07736},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Automated Technology for Verification and Analysis - 16th International
               Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
               Proceedings},
  pages     = {543--550},
  year      = {2018},
  crossref  = {DBLP:conf/atva/2018},
  url       = {https://doi.org/10.1007/978-3-030-01090-4\_34},
  doi       = {10.1007/978-3-030-01090-4\_34},
  timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/KretinskyMS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  pages     = {567--577},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-96145-3\_30},
  doi       = {10.1007/978-3-319-96145-3\_30},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KretinskyMSZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MeyerSL18,
  author    = {Philipp J. Meyer and
               Salomon Sickert and
               Michael Luttenberger},
  title     = {Strix: Explicit Reactive Synthesis Strikes Back!},
  booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  pages     = {578--586},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-96145-3\_31},
  doi       = {10.1007/978-3-319-96145-3\_31},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/MeyerSL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
  pages     = {384--393},
  year      = {2018},
  crossref  = {DBLP:conf/lics/2018},
  url       = {https://doi.org/10.1145/3209108.3209161},
  doi       = {10.1145/3209108.3209161},
  timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/EsparzaKS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1805.00748},
  archivePrefix = {arXiv},
  eprint    = {1805.00748},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1805-00748},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1807.03296},
  archivePrefix = {arXiv},
  eprint    = {1807.03296},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1807-03296},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Tools and Algorithms for the Construction and Analysis of Systems
               - 23rd International Conference, {TACAS} 2017, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
  pages     = {426--442},
  year      = {2017},
  crossref  = {DBLP:conf/tacas/2017-1},
  url       = {https://doi.org/10.1007/978-3-662-54577-5\_25},
  doi       = {10.1007/978-3-662-54577-5\_25},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/EsparzaKRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02102,
  author    = {David M{\"{u}}ller and
               Salomon Sickert},
  title     = {{LTL} to Deterministic Emerson-Lei Automata},
  booktitle = {Proceedings Eighth International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
               2017},
  pages     = {180--194},
  year      = {2017},
  crossref  = {DBLP:journals/corr/abs-1709-01761},
  url       = {https://doi.org/10.4204/EPTCS.256.13},
  doi       = {10.4204/EPTCS.256.13},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-02102},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1701.06103},
  archivePrefix = {arXiv},
  eprint    = {1701.06103},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/EsparzaKRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Sickert16,
  author    = {Salomon Sickert},
  title     = {Linear Temporal Logic},
  journal   = {Archive of Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/LTL.shtml},
  timestamp = {Mon, 07 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/afp/Sickert16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 in System Design},
  volume    = {49},
  number    = {3},
  pages     = {219--271},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10703-016-0259-2},
  doi       = {10.1007/s10703-016-0259-2},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/EsparzaKS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Automated Technology for Verification and Analysis - 14th International
               Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  pages     = {130--137},
  year      = {2016},
  crossref  = {DBLP:conf/atva/2016},
  url       = {https://doi.org/10.1007/978-3-319-46520-3\_9},
  doi       = {10.1007/978-3-319-46520-3\_9},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/SickertK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
  pages     = {312--332},
  year      = {2016},
  crossref  = {DBLP:conf/cav/2016-2},
  url       = {https://doi.org/10.1007/978-3-319-41540-6\_17},
  doi       = {10.1007/978-3-319-41540-6\_17},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/SickertEJK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  isbn      = {978-1-61499-626-2},
  timestamp = {Wed, 11 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/series/natosec/45},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 Inf.},
  volume    = {52},
  number    = {2-3},
  pages     = {269--297},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00236-015-0215-4},
  doi       = {10.1007/s00236-015-0215-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/BenesKLMSS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/Sickert15,
  author    = {Salomon Sickert},
  title     = {Converting Linear Temporal Logic to Deterministic (Generalised) Rabin
               Automata},
  journal   = {Archive of Formal Proofs},
  volume    = {2015},
  year      = {2015},
  url       = {https://www.isa-afp.org/entries/LTL\_to\_DRA.shtml},
  timestamp = {Mon, 07 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/afp/Sickert15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Automated Technology for Verification and Analysis - 11th International
               Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
  pages     = {487--491},
  year      = {2013},
  crossref  = {DBLP:conf/atva/2013},
  url       = {https://doi.org/10.1007/978-3-319-02444-8\_41},
  doi       = {10.1007/978-3-319-02444-8\_41},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/KretinskyS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
               Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  pages     = {213--230},
  year      = {2013},
  crossref  = {DBLP:conf/ictac/2013},
  url       = {https://doi.org/10.1007/978-3-642-39718-9\_13},
  doi       = {10.1007/978-3-642-39718-9\_13},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/KretinskyS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {http://arxiv.org/abs/1304.5278},
  archivePrefix = {arXiv},
  eprint    = {1304.5278},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1304-5278},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2019,
  editor    = {John Harrison and
               John O'Leary and
               Andrew Tolmach},
  title     = {10th International Conference on Interactive Theorem Proving, {ITP}
               2019, September 9-12, 2019, Portland, OR, {USA}},
  series    = {LIPIcs},
  volume    = {141},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2019},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-122-1},
  isbn      = {978-3-95977-122-1},
  timestamp = {Thu, 05 Sep 2019 14:57:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2018,
  editor    = {Shuvendu K. Lahiri and
               Chao Wang},
  title     = {Automated Technology for Verification and Analysis - 16th International
               Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11138},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-01090-4},
  doi       = {10.1007/978-3-030-01090-4},
  isbn      = {978-3-030-01089-8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-1,
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10981},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96145-3},
  doi       = {10.1007/978-3-319-96145-3},
  isbn      = {978-3-319-96144-6},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2018,
  editor    = {Anuj Dawar and
               Erich Gr{\"{a}}del},
  title     = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
               Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3209108},
  doi       = {10.1145/3209108},
  timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2017-1,
  editor    = {Axel Legay and
               Tiziana Margaria},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 23rd International Conference, {TACAS} 2017, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10205},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54577-5},
  doi       = {10.1007/978-3-662-54577-5},
  isbn      = {978-3-662-54576-8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2017-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-01761,
  editor    = {Patricia Bouyer and
               Andrea Orlandini and
               Pierluigi San Pietro},
  title     = {Proceedings Eighth International Symposium on Games, Automata, Logics
               and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September
               2017},
  series    = {{EPTCS}},
  volume    = {256},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.01761},
  timestamp = {Mon, 13 Aug 2018 16:46:27 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-01761},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2016,
  editor    = {Cyrille Artho and
               Axel Legay and
               Doron Peled},
  title     = {Automated Technology for Verification and Analysis - 14th International
               Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9938},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46520-3},
  doi       = {10.1007/978-3-319-46520-3},
  isbn      = {978-3-319-46519-7},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-2,
  editor    = {Swarat Chaudhuri and
               Azadeh Farzan},
  title     = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9780},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41540-6},
  doi       = {10.1007/978-3-319-41540-6},
  isbn      = {978-3-319-41539-0},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2016-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2013,
  editor    = {Dang Van Hung and
               Mizuhito Ogawa},
  title     = {Automated Technology for Verification and Analysis - 11th International
               Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8172},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-02444-8},
  doi       = {10.1007/978-3-319-02444-8},
  isbn      = {978-3-319-02443-1},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2013,
  editor    = {Zhiming Liu and
               Jim Woodcock and
               Huibiao Zhu},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
               Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8049},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39718-9},
  doi       = {10.1007/978-3-642-39718-9},
  isbn      = {978-3-642-39717-2},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics