Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/tacas/tacas2013.bht:"
@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} }
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.