Search dblp for Publications

export results for "toc:db/conf/tacas/tacas2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/tacas/0002IP13,
  author       = {Bernd Fischer and
                  Omar Inverso and
                  Gennaro Parlato},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {CSeq: {A} Sequentialization Tool for {C} - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {616--618},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_46},
  doi          = {10.1007/978-3-642-36742-7\_46},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/0002IP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaACLR13,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Yu{-}Fang Chen and
                  Carl Leonardsson and
                  Ahmed Rezine},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Memorax, a Precise and Sound Tool for Automatic Fence Insertion under
                  {TSO}},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {530--536},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_37},
  doi          = {10.1007/978-3-642-36742-7\_37},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/AbdullaACLR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AbdullaHHJR13,
  author       = {Parosh Aziz Abdulla and
                  Fr{\'{e}}d{\'{e}}ric Haziza and
                  Luk{\'{a}}s Hol{\'{\i}}k and
                  Bengt Jonsson and
                  Ahmed Rezine},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {An Integrated Specification and Verification Technique for Highly
                  Concurrent Data Structures},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {324--338},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_23},
  doi          = {10.1007/978-3-642-36742-7\_23},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AbdullaHHJR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlbarghouthiGLCC13,
  author       = {Aws Albarghouthi and
                  Arie Gurfinkel and
                  Yi Li and
                  Sagar Chaki and
                  Marsha Chechik},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {{UFO:} Verification with Interpolants and Abstract Interpretation
                  - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {637--640},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_52},
  doi          = {10.1007/978-3-642-36742-7\_52},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/AlbarghouthiGLCC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Ardeshir-LarijaniGN13,
  author       = {Ebrahim Ardeshir{-}Larijani and
                  Simon J. Gay and
                  Rajagopal Nagarajan},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Equivalence Checking of Quantum Protocols},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {478--492},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_33},
  doi          = {10.1007/978-3-642-36742-7\_33},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Ardeshir-LarijaniGN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BacciBLM13,
  author       = {Giorgio Bacci and
                  Giovanni Bacci and
                  Kim G. Larsen and
                  Radu Mardare},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {On-the-Fly Exact Computation of Bisimilarity Distances},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_1},
  doi          = {10.1007/978-3-642-36742-7\_1},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/BacciBLM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BackesGHMS13,
  author       = {Michael Backes and
                  Sebastian Gerling and
                  Christian Hammer and
                  Matteo Maffei and
                  Philipp von Styp{-}Rekowsky},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {AppGuard - Enforcing User Requirements on Android Apps},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {543--548},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_39},
  doi          = {10.1007/978-3-642-36742-7\_39},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BackesGHMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BalasubramanianPKL13,
  author       = {Daniel Balasubramanian and
                  Corina S. Pasareanu and
                  Gabor Karsai and
                  Michael R. Lowry},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Polyglot: Systematic Analysis for Multiple Statechart Formalisms},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {523--529},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_36},
  doi          = {10.1007/978-3-642-36742-7\_36},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BalasubramanianPKL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BansalKWZ13,
  author       = {Kshitij Bansal and
                  Eric Koskinen and
                  Thomas Wies and
                  Damien Zufferey},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Structural Counter Abstraction},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {62--77},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_5},
  doi          = {10.1007/978-3-642-36742-7\_5},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BansalKWZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BelovJM13,
  author       = {Anton Belov and
                  Matti J{\"{a}}rvisalo and
                  Jo{\~{a}}o Marques{-}Silva},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Formula Preprocessing in {MUS} Extraction},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {108--123},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_8},
  doi          = {10.1007/978-3-642-36742-7\_8},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/BelovJM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BenediktLW13,
  author       = {Michael Benedikt and
                  Rastislav Lenhardt and
                  James Worrell},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {{LTL} Model Checking of Interval Markov Chains},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_3},
  doi          = {10.1007/978-3-642-36742-7\_3},
  timestamp    = {Thu, 14 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BenediktLW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Beyer13,
  author       = {Dirk Beyer},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Second Competition on Software Verification - (Summary of {SV-COMP}
                  2013)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {594--609},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_43},
  doi          = {10.1007/978-3-642-36742-7\_43},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Beyer13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BhatBGR13,
  author       = {Sooraj Bhat and
                  Johannes Borgstr{\"{o}}m and
                  Andrew D. Gordon and
                  Claudio V. Russo},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Deriving Probability Density Functions from Probabilistic Functional
                  Programs},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {508--522},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_35},
  doi          = {10.1007/978-3-642-36742-7\_35},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/BhatBGR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BlanchetteBPS13,
  author       = {Jasmin Christian Blanchette and
                  Sascha B{\"{o}}hme and
                  Andrei Popescu and
                  Nicholas Smallbone},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Encoding Monomorphic and Polymorphic Types},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {493--507},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_34},
  doi          = {10.1007/978-3-642-36742-7\_34},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BlanchetteBPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BohyBFR13,
  author       = {Aaron Bohy and
                  V{\'{e}}ronique Bruy{\`{e}}re and
                  Emmanuel Filiot and
                  Jean{-}Fran{\c{c}}ois Raskin},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Synthesis from {LTL} Specifications with Mean-Payoff Objectives},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {169--184},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_12},
  doi          = {10.1007/978-3-642-36742-7\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BohyBFR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChenFKPS13,
  author       = {Taolue Chen and
                  Vojtech Forejt and
                  Marta Z. Kwiatkowska and
                  David Parker and
                  Aistis Simaitis},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {PRISM-games: {A} Model Checker for Stochastic Multi-Player Games},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {185--191},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_13},
  doi          = {10.1007/978-3-642-36742-7\_13},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ChenFKPS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChenW13,
  author       = {Yu{-}Fang Chen and
                  Bow{-}Yaw Wang},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {{BULL:} {A} Library for Learning Algorithms of Boolean Functions},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {537--542},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_38},
  doi          = {10.1007/978-3-642-36742-7\_38},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/ChenW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChristHN13,
  author       = {J{\"{u}}rgen Christ and
                  Jochen Hoenicke and
                  Alexander Nutz},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Proof Tree Preserving Interpolation},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {124--138},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_9},
  doi          = {10.1007/978-3-642-36742-7\_9},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ChristHN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiGSS13,
  author       = {Alessandro Cimatti and
                  Alberto Griggio and
                  Bastiaan Joost Schaafsma and
                  Roberto Sebastiani},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {The MathSAT5 {SMT} Solver},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {93--107},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_7},
  doi          = {10.1007/978-3-642-36742-7\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/CimattiGSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookSZ13,
  author       = {Byron Cook and
                  Abigail See and
                  Florian Zuleger},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Ramsey vs. Lexicographic Termination Proving},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {47--61},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_4},
  doi          = {10.1007/978-3-642-36742-7\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/CookSZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CranenGKSVWW13,
  author       = {Sjoerd Cranen and
                  Jan Friso Groote and
                  Jeroen J. A. Keiren and
                  Frank P. M. Stappers and
                  Erik P. de Vink and
                  Wieger Wesselink and
                  Tim A. C. Willemse},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {An Overview of the mCRL2 Toolset and Its Recent Advances},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {199--213},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_15},
  doi          = {10.1007/978-3-642-36742-7\_15},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/CranenGKSVWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DudkaMPV13,
  author       = {Kamil Dudka and
                  Petr M{\"{u}}ller and
                  Petr Peringer and
                  Tom{\'{a}}s Vojnar},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Predator: {A} Tool for Verification of Low-Level List Manipulation
                  - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {627--629},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_49},
  doi          = {10.1007/978-3-642-36742-7\_49},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/DudkaMPV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EisentrautHST013,
  author       = {Christian Eisentraut and
                  Holger Hermanns and
                  Johann Schuster and
                  Andrea Turrini and
                  Lijun Zhang},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {The Quest for Minimal Quotients for Probabilistic Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {16--31},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_2},
  doi          = {10.1007/978-3-642-36742-7\_2},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/EisentrautHST013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FalkeMS13,
  author       = {Stephan Falke and
                  Florian Merz and
                  Carsten Sinz},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {{LLBMC:} Improved Bounded Model Checking of {C} Programs Using {LLVM}
                  - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {623--626},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_48},
  doi          = {10.1007/978-3-642-36742-7\_48},
  timestamp    = {Thu, 14 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/FalkeMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FedyukovichSS13,
  author       = {Grigory Fedyukovich and
                  Ondrej Sery and
                  Natasha Sharygina},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {eVolCheck: Incremental Upgrade Checker for {C}},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {292--307},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_21},
  doi          = {10.1007/978-3-642-36742-7\_21},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/FedyukovichSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FerraraMP13,
  author       = {Anna Lisa Ferrara and
                  P. Madhusudan and
                  Gennaro Parlato},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Policy Analysis for Self-administrated Role-Based Access Control},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {432--447},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_30},
  doi          = {10.1007/978-3-642-36742-7\_30},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/FerraraMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GangeNSSS13,
  author       = {Graeme Gange and
                  Jorge A. Navas and
                  Peter J. Stuckey and
                  Harald S{\o}ndergaard and
                  Peter Schachte},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Unbounded Model-Checking with Interpolation for Regular Language Constraints},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {277--291},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_20},
  doi          = {10.1007/978-3-642-36742-7\_20},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/GangeNSSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GantyIK13,
  author       = {Pierre Ganty and
                  Radu Iosif and
                  Filip Konecn{\'{y}}},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Underapproximation of Procedure Summaries for Integer Programs},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {245--259},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_18},
  doi          = {10.1007/978-3-642-36742-7\_18},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/GantyIK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GligoricM13,
  author       = {Milos Gligoric and
                  Rupak Majumdar},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Model Checking Database Applications},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {549--564},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_40},
  doi          = {10.1007/978-3-642-36742-7\_40},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/GligoricM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GodefroidY13,
  author       = {Patrice Godefroid and
                  Mihalis Yannakakis},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Analysis of Boolean Programs},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {214--229},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_16},
  doi          = {10.1007/978-3-642-36742-7\_16},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/GodefroidY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GrigoreDPT13,
  author       = {Radu Grigore and
                  Dino Distefano and
                  Rasmus Lerchedahl Petersen and
                  Nikos Tzevelekos},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Runtime Verification Based on Register Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {260--276},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_19},
  doi          = {10.1007/978-3-642-36742-7\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/GrigoreDPT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannCDEHLNSP13,
  author       = {Matthias Heizmann and
                  J{\"{u}}rgen Christ and
                  Daniel Dietsch and
                  Evren Ermis and
                  Jochen Hoenicke and
                  Markus Lindenmann and
                  Alexander Nutz and
                  Christian Schilling and
                  Andreas Podelski},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Ultimate Automizer with SMTInterpol - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {641--643},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_53},
  doi          = {10.1007/978-3-642-36742-7\_53},
  timestamp    = {Sat, 04 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/HeizmannCDEHLNSP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HuangSW13,
  author       = {Chung{-}Hao Huang and
                  Sven Schewe and
                  Farn Wang},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Model-Checking Iterated Games},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {154--168},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_11},
  doi          = {10.1007/978-3-642-36742-7\_11},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/HuangSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JohnC13,
  author       = {Ajith K. John and
                  Supratik Chakraborty},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {78--92},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_6},
  doi          = {10.1007/978-3-642-36742-7\_6},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/JohnC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JovanovicLR13,
  author       = {Aleksandra Jovanovic and
                  Didier Lime and
                  Olivier H. Roux},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Integer Parameter Synthesis for Timed Automata},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {401--415},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_28},
  doi          = {10.1007/978-3-642-36742-7\_28},
  timestamp    = {Wed, 26 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/JovanovicLR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KempfBM13,
  author       = {Jean{-}Francois Kempf and
                  Marius Bozga and
                  Oded Maler},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {385--400},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_27},
  doi          = {10.1007/978-3-642-36742-7\_27},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/KempfBM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KoleiniRR13,
  author       = {Masoud Koleini and
                  Eike Ritter and
                  Mark Ryan},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Model Checking Agent Knowledge in Dynamic Access Control Policies},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {448--462},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_31},
  doi          = {10.1007/978-3-642-36742-7\_31},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/KoleiniRR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LiDDMS13,
  author       = {Boyang Li and
                  Isil Dillig and
                  Thomas Dillig and
                  Kenneth L. McMillan and
                  Mooly Sagiv},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Synthesis of Circular Compositional Program Proofs via Abduction},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {370--384},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_26},
  doi          = {10.1007/978-3-642-36742-7\_26},
  timestamp    = {Sun, 27 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/LiDDMS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LindenW13,
  author       = {Alexander Linden and
                  Pierre Wolper},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {A Verification-Based Approach to Memory Fence Insertion in {PSO} Memory
                  Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {339--353},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_24},
  doi          = {10.1007/978-3-642-36742-7\_24},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/LindenW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Lowe13,
  author       = {Stefan L{\"{o}}we},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {CPAchecker with Explicit-Value Analysis Based on {CEGAR} and Interpolation
                  - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {610--612},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_44},
  doi          = {10.1007/978-3-642-36742-7\_44},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Lowe13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MateescuS13,
  author       = {Radu Mateescu and
                  Gwen Sala{\"{u}}n},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {{PIC2LNT:} Model Transformation for Model Checking an Applied Pi-Calculus},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {192--198},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_14},
  doi          = {10.1007/978-3-642-36742-7\_14},
  timestamp    = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/MateescuS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Minamide13,
  author       = {Yasuhiko Minamide},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Weighted Pushdown Systems with Indexed Weight Domains},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {230--244},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_17},
  doi          = {10.1007/978-3-642-36742-7\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Minamide13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MorseCNF13,
  author       = {Jeremy Morse and
                  Lucas C. Cordeiro and
                  Denis A. Nicole and
                  Bernd Fischer},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Handling Unbounded Loops with {ESBMC} 1.20 - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {619--622},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_47},
  doi          = {10.1007/978-3-642-36742-7\_47},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/MorseCNF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NagyST13,
  author       = {Robert Nagy and
                  Gerardo Schneider and
                  Aram Timofeitchik},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Automatic Testing of Real-Time Graphics Systems},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {463--477},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_32},
  doi          = {10.1007/978-3-642-36742-7\_32},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NagyST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PopeeaR13,
  author       = {Corneliu Popeea and
                  Andrey Rybalchenko},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Threader: {A} Verifier for Multi-threaded Programs - (Competition
                  Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {633--636},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_51},
  doi          = {10.1007/978-3-642-36742-7\_51},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/PopeeaR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RenaultDKP13,
  author       = {Etienne Renault and
                  Alexandre Duret{-}Lutz and
                  Fabrice Kordon and
                  Denis Poitrenaud},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Strength-Based Decomposition of the Property B{\"{u}}chi Automaton
                  for Faster Model Checking},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {580--593},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_42},
  doi          = {10.1007/978-3-642-36742-7\_42},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/RenaultDKP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SlabyST13,
  author       = {Jiri Slaby and
                  Jan Strejcek and
                  Marek Trt{\'{\i}}k},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution
                  - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {630--632},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_50},
  doi          = {10.1007/978-3-642-36742-7\_50},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/SlabyST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SongT13,
  author       = {Fu Song and
                  Tayssir Touili},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {{LTL} Model-Checking for Malware Detection},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {416--431},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_29},
  doi          = {10.1007/978-3-642-36742-7\_29},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/SongT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VizelGS13,
  author       = {Yakir Vizel and
                  Orna Grumberg and
                  Sharon Shoham},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Intertwined Forward-Backward Reachability Analysis Using Interpolants},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {308--323},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_22},
  doi          = {10.1007/978-3-642-36742-7\_22},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/VizelGS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Wendler13,
  author       = {Philipp Wendler},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {CPAchecker with Sequential Combination of Explicit-State Analysis
                  and Predicate Analysis - (Competition Contribution)},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {613--615},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_45},
  doi          = {10.1007/978-3-642-36742-7\_45},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/Wendler13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WhiteL13,
  author       = {David H. White and
                  Gerald L{\"{u}}ttgen},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Identifying Dynamic Data Structures by Learning Evolving Patterns
                  in Memory},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {354--369},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_25},
  doi          = {10.1007/978-3-642-36742-7\_25},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/WhiteL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WieringaH13,
  author       = {Siert Wieringa and
                  Keijo Heljanko},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Asynchronous Multi-core Incremental {SAT} Solving},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_10},
  doi          = {10.1007/978-3-642-36742-7\_10},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/WieringaH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WijsE13,
  author       = {Anton Wijs and
                  Luc Engelen},
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Efficient Property Preservation Checking of Model Refinements},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  pages        = {565--579},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7\_41},
  doi          = {10.1007/978-3-642-36742-7\_41},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/WijsE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2013,
  editor       = {Nir Piterman and
                  Scott A. Smolka},
  title        = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 19th International Conference, {TACAS} 2013, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7795},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36742-7},
  doi          = {10.1007/978-3-642-36742-7},
  isbn         = {978-3-642-36741-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics