Search dblp for Publications

export results for "toc:db/conf/tacas/tacas2018-2.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tacas/AndrianovMMV18,
  author       = {Pavel S. Andrianov and
                  Vadim S. Mutilin and
                  Mikhail U. Mandrykin and
                  Anton A. Vasilyev},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based
                  Dependency Analysis - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {427--431},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_26},
  doi          = {10.1007/978-3-319-89963-3\_26},
  timestamp    = {Fri, 09 Apr 2021 18:45:36 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AndrianovMMV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/AronisJLS18,
  author       = {Stavros Aronis and
                  Bengt Jonsson and
                  Magnus L{\aa}ng and
                  Konstantinos Sagonas},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Optimal Dynamic Partial Order Reduction with Observers},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {229--248},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_14},
  doi          = {10.1007/978-3-319-89963-3\_14},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AronisJLS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/Balasubramanian18,
  author       = {A. R. Balasubramanian and
                  Nathalie Bertrand and
                  Nicolas Markey},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Parameterized Verification of Synchronization in Constrained Reconfigurable
                  Broadcast Networks},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {38--54},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_3},
  doi          = {10.1007/978-3-319-89963-3\_3},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/Balasubramanian18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BortolussiS18,
  author       = {Luca Bortolussi and
                  Simone Silvetti},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Bayesian Statistical Parameter Synthesis for Linear Temporal Properties
                  of Stochastic Models},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {396--413},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_23},
  doi          = {10.1007/978-3-319-89963-3\_23},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/BortolussiS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BuddeDHS18,
  author       = {Carlos E. Budde and
                  Pedro R. D'Argenio and
                  Arnd Hartmanns and
                  Sean Sedwards},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {A Statistical Model Checker for Nondeterminism and Rare Events},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {340--358},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_20},
  doi          = {10.1007/978-3-319-89963-3\_20},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BuddeDHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/CeskaHHLV18,
  author       = {Milan Ceska and
                  Vojtech Havlena and
                  Luk{\'{a}}s Hol{\'{\i}}k and
                  Ondrej Leng{\'{a}}l and
                  Tom{\'{a}}s Vojnar},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Approximate Reduction of Finite Automata for High-Speed Network Intrusion
                  Detection},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {155--175},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_9},
  doi          = {10.1007/978-3-319-89963-3\_9},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/CeskaHHLV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ChalupaVS18,
  author       = {Marek Chalupa and
                  Martina Vitovsk{\'{a}} and
                  Jan Strejcek},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {{SYMBIOTIC} 5: Boosted Instrumentation - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {442--446},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_29},
  doi          = {10.1007/978-3-319-89963-3\_29},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ChalupaVS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ChiniMS18,
  author       = {Peter Chini and
                  Roland Meyer and
                  Prakash Saivasan},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Fine-Grained Complexity of Safety Verification},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {20--37},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_2},
  doi          = {10.1007/978-3-319-89963-3\_2},
  timestamp    = {Mon, 02 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ChiniMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/DarkePCCKBVDM18,
  author       = {Priyanka Darke and
                  Sumanth Prabhu and
                  Bharti Chimdyalwar and
                  Avriti Chauhan and
                  Shrawan Kumar and
                  Animesh Basak Chowdhury and
                  R. Venkatesh and
                  Advaita Datar and
                  Raveendra Kumar Medicherla},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {VeriAbs: Verification by Abstraction and Test Generation - (Competition
                  Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {457--462},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_32},
  doi          = {10.1007/978-3-319-89963-3\_32},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/DarkePCCKBVDM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/DietschGHHNPSS18,
  author       = {Daniel Dietsch and
                  Marius Greitschus and
                  Matthias Heizmann and
                  Jochen Hoenicke and
                  Alexander Nutz and
                  Andreas Podelski and
                  Christian Schilling and
                  Tanja Schindler},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {452--456},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_31},
  doi          = {10.1007/978-3-319-89963-3\_31},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/DietschGHHNPSS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/DragomirPT18,
  author       = {Iulia Dragomir and
                  Viorel Preoteasa and
                  Stavros Tripakis},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {The Refinement Calculus of Reactive Systems Toolset},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {201--208},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_12},
  doi          = {10.1007/978-3-319-89963-3\_12},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/DragomirPT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/DuanTDO18,
  author       = {Zhao Duan and
                  Cong Tian and
                  Zhenhua Duan and
                  C.{-}H. Luke Ong},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {InterpChecker: Reducing State Space via Interpolations - (Competition
                  Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {432--436},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_27},
  doi          = {10.1007/978-3-319-89963-3\_27},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/DuanTDO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/FinkbeinerHST18,
  author       = {Bernd Finkbeiner and
                  Christopher Hahn and
                  Marvin Stenger and
                  Leander Tentrup},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {RVHyper: {A} Runtime Verification Tool for Temporal Hyperproperties},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {194--200},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_11},
  doi          = {10.1007/978-3-319-89963-3\_11},
  timestamp    = {Wed, 24 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/FinkbeinerHST18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/HartmannsJKQ18,
  author       = {Arnd Hartmanns and
                  Sebastian Junges and
                  Joost{-}Pieter Katoen and
                  Tim Quatmann},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Multi-cost Bounded Reachability in {MDP}},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {320--339},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_19},
  doi          = {10.1007/978-3-319-89963-3\_19},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/HartmannsJKQ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/HausmannSD18,
  author       = {Daniel Hausmann and
                  Lutz Schr{\"{o}}der and
                  Hans{-}Peter Deifel},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Permutation Games for the Weakly Aconjunctive {\textbackslash}mu {\(\mu\)}
                  -Calculus},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {361--378},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_21},
  doi          = {10.1007/978-3-319-89963-3\_21},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/HausmannSD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/HeizmannCDGHLNM18,
  author       = {Matthias Heizmann and
                  Yu{-}Fang Chen and
                  Daniel Dietsch and
                  Marius Greitschus and
                  Jochen Hoenicke and
                  Yong Li and
                  Alexander Nutz and
                  Betim Musa and
                  Christian Schilling and
                  Tanja Schindler and
                  Andreas Podelski},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Ultimate Automizer and the Search for Perfect Interpolants - (Competition
                  Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {447--451},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_30},
  doi          = {10.1007/978-3-319-89963-3\_30},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/HeizmannCDGHLNM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/HeuleB18,
  author       = {Marijn J. H. Heule and
                  Armin Biere},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {What a Difference a Variable Makes},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {75--92},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_5},
  doi          = {10.1007/978-3-319-89963-3\_5},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/HeuleB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/IosifX18,
  author       = {Radu Iosif and
                  Xiao Xu},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Abstraction Refinement for Emptiness Checking of Alternating Data
                  Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {93--111},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_6},
  doi          = {10.1007/978-3-319-89963-3\_6},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/IosifX18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/KatisFGGBGW18,
  author       = {Andreas Katis and
                  Grigory Fedyukovich and
                  Huajun Guo and
                  Andrew Gacek and
                  John Backes and
                  Arie Gurfinkel and
                  Michael W. Whalen},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee
                  Contracts},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {176--193},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_10},
  doi          = {10.1007/978-3-319-89963-3\_10},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/KatisFGGBGW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/LeikeH18,
  author       = {Jan Leike and
                  Matthias Heizmann},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Geometric Nontermination Arguments},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {266--283},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_16},
  doi          = {10.1007/978-3-319-89963-3\_16},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/LeikeH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/MalikMSSVW18,
  author       = {Viktor Mal{\'{\i}}k and
                  Stefan Marticek and
                  Peter Schrammel and
                  Mandayam K. Srivas and
                  Tom{\'{a}}s Vojnar and
                  Johanan Wahlang},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {2LS: Memory Safety and Non-termination - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {417--421},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_24},
  doi          = {10.1007/978-3-319-89963-3\_24},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/MalikMSSVW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/Marsso0S18,
  author       = {Lina Marsso and
                  Radu Mateescu and
                  Wendelin Serwe},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {{TESTOR:} {A} Modular Tool for On-the-Fly Conformance Test Case Generation},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {211--228},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_13},
  doi          = {10.1007/978-3-319-89963-3\_13},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Marsso0S18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/MattareiBGNS18,
  author       = {Cristian Mattarei and
                  Clark W. Barrett and
                  Shu{-}yu Guo and
                  Bradley Nelson and
                  Ben Smith},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {{EMME:} {A} Formal Tool for ECMAScript Memory Model Evaluation},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {55--71},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_4},
  doi          = {10.1007/978-3-319-89963-3\_4},
  timestamp    = {Mon, 24 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/MattareiBGNS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/MenezesRCB18,
  author       = {Rafael Menezes and
                  Herbert Rocha and
                  Lucas C. Cordeiro and
                  Raimundo S. Barreto},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Map2Check Using {LLVM} and {KLEE} - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {437--441},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_28},
  doi          = {10.1007/978-3-319-89963-3\_28},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/MenezesRCB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/MeyerEV18,
  author       = {Philipp J. Meyer and
                  Javier Esparza and
                  Hagen V{\"{o}}lzer},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Computing the Concurrency Threshold of Sound Free-Choice Workflow
                  Nets},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {3--19},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_1},
  doi          = {10.1007/978-3-319-89963-3\_1},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/MeyerEV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/NamjoshiT18,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Symmetry Reduction for the Local Mu-Calculus},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {379--395},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_22},
  doi          = {10.1007/978-3-319-89963-3\_22},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NamjoshiT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/NickovicLMFU18,
  author       = {Dejan Nickovic and
                  Olivier Lebeltel and
                  Oded Maler and
                  Thomas Ferr{\`{e}}re and
                  Dogan Ulus},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {{AMT} 2.0: Qualitative and Quantitative Trace Analysis with Extended
                  Signal Temporal Logic},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {303--319},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_18},
  doi          = {10.1007/978-3-319-89963-3\_18},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/NickovicLMFU18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ReynoldsBF18,
  author       = {Andrew Reynolds and
                  Haniel Barbosa and
                  Pascal Fontaine},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Revisiting Enumerative Instantiation},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {112--131},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_7},
  doi          = {10.1007/978-3-319-89963-3\_7},
  timestamp    = {Tue, 27 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ReynoldsBF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/RouxIC18,
  author       = {Pierre Roux and
                  Mohamed Iguernlala and
                  Sylvain Conchon},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {A Non-linear Arithmetic Procedure for Control-Command Software Verification},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {132--151},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_8},
  doi          = {10.1007/978-3-319-89963-3\_8},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/RouxIC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/SchuppA18,
  author       = {Stefan Schupp and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Efficient Dynamic Error Reduction for Hybrid Systems Reachability
                  Analysis},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {287--302},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_17},
  doi          = {10.1007/978-3-319-89963-3\_17},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/SchuppA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ShermanD18,
  author       = {Elena Sherman and
                  Matthew B. Dwyer},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Structurally Defined Conditional Data-Flow Static Analysis},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {249--265},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_15},
  doi          = {10.1007/978-3-319-89963-3\_15},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ShermanD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/Yin0LLW18,
  author       = {Liangze Yin and
                  Wei Dong and
                  Wanwei Liu and
                  Yunchou Li and
                  Ji Wang},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {{YOGAR-CBMC:} {CBMC} with Scheduling Constraint Based Abstraction
                  Refinement - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {422--426},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_25},
  doi          = {10.1007/978-3-319-89963-3\_25},
  timestamp    = {Tue, 28 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Yin0LLW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tacas/2018-2,
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3},
  doi          = {10.1007/978-3-319-89963-3},
  isbn         = {978-3-319-89962-6},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/2018-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.