Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tacas/tacas2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/tacas/AlglaveMSS11,
author = {Jade Alglave and
Luc Maranget and
Susmit Sarkar and
Peter Sewell},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Litmus: Running Tests against Hardware},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {41--44},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_5},
doi = {10.1007/978-3-642-19835-9\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlglaveMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AnnpureddyLFS11,
author = {Yashwanth Annpureddy and
Che Liu and
Georgios Fainekos and
Sriram Sankaranarayanan},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {S-TaLiRo: {A} Tool for Temporal Logic Falsification for Hybrid Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {254--257},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_21},
doi = {10.1007/978-3-642-19835-9\_21},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AnnpureddyLFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BarbotCHKM11,
author = {Beno{\^{\i}}t Barbot and
Taolue Chen and
Tingting Han and
Joost{-}Pieter Katoen and
Alexandru Mereacre},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Efficient {CTMC} Model Checking of Linear Real-Time Objectives},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {128--142},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_12},
doi = {10.1007/978-3-642-19835-9\_12},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BarbotCHKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartocciGKRS11,
author = {Ezio Bartocci and
Radu Grosu and
Panagiotis Katsaros and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Model Repair for Probabilistic Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {326--340},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_30},
doi = {10.1007/978-3-642-19835-9\_30},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartocciGKRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BertrandJSK11,
author = {Nathalie Bertrand and
Thierry J{\'{e}}ron and
Am{\'{e}}lie Stainer and
Moez Krichen},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Off-Line Test Selection with Test Purposes for Non-deterministic Timed
Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {96--111},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_10},
doi = {10.1007/978-3-642-19835-9\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BertrandJSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BurnimSS11,
author = {Jacob Burnim and
Koushik Sen and
Christos Stergiou},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Sound and Complete Monitoring of Sequential Consistency for Relaxed
Memory Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {11--25},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_3},
doi = {10.1007/978-3-642-19835-9\_3},
timestamp = {Mon, 29 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BurnimSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChamarthiDMV11,
author = {Harsh Raju Chamarthi and
Peter C. Dillinger and
Panagiotis Manolios and
Daron Vroon},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {The {ACL2} Sedan Theorem Proving System},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {291--295},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_27},
doi = {10.1007/978-3-642-19835-9\_27},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/ChamarthiDMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChatterjeeHJS11,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger and
Barbara Jobstmann and
Rohit Singh},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {{QUASY:} Quantitative Synthesis Tool},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {267--271},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_24},
doi = {10.1007/978-3-642-19835-9\_24},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChatterjeeHJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChengKLB11,
author = {Chih{-}Hong Cheng and
Alois C. Knoll and
Michael Luttenberger and
Christian Buckl},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {{GAVS+:} An Open Platform for the Research of Algorithmic Game Solving},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {258--261},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_22},
doi = {10.1007/978-3-642-19835-9\_22},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChengKLB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiNR11,
author = {Alessandro Cimatti and
Iman Narasamdya and
Marco Roveri},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Boosting Lazy Abstraction for SystemC with Partial Order Reduction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {341--356},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_31},
doi = {10.1007/978-3-642-19835-9\_31},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiNR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CodishFFS11,
author = {Michael Codish and
Yoav Fekete and
Carsten Fuhs and
Peter Schneider{-}Kamp},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Optimal Base Encodings for Pseudo-Boolean Constraints},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {189--204},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_16},
doi = {10.1007/978-3-642-19835-9\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CodishFFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ConchonCI11,
author = {Sylvain Conchon and
Evelyne Contejean and
Mohamed Iguernelala},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Canonized Rewriting and Ground {AC} Completion Modulo Shostak Theories},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {45--59},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_6},
doi = {10.1007/978-3-642-19835-9\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ConchonCI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Ehlers11,
author = {R{\"{u}}diger Ehlers},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Unbeast: Symbolic Bounded Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {272--275},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_25},
doi = {10.1007/978-3-642-19835-9\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Ehlers11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ForejtKNPQ11,
author = {Vojtech Forejt and
Marta Z. Kwiatkowska and
Gethin Norman and
David Parker and
Hongyang Qu},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Quantitative Multi-objective Verification for Probabilistic Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {112--127},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_11},
doi = {10.1007/978-3-642-19835-9\_11},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ForejtKNPQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GaravelLMS11,
author = {Hubert Garavel and
Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu and
Wendelin Serwe},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {{CADP} 2010: {A} Toolbox for the Construction and Analysis of Distributed
Processes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {372--387},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_33},
doi = {10.1007/978-3-642-19835-9\_33},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GaravelLMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GarbervetskyGN11,
author = {Diego Garbervetsky and
Daniel Gor{\'{\i}}n and
Ariel Neisen},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Enforcing Structural Invariants Using Dynamic Frames},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {65--80},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_8},
doi = {10.1007/978-3-642-19835-9\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/GarbervetskyGN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GargM11,
author = {Pranav Garg and
P. Madhusudan},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Compositionality Entails Sequentializability},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {26--40},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_4},
doi = {10.1007/978-3-642-19835-9\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GargM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GopinathMK11,
author = {Divya Gopinath and
Muhammad Zubair Malik and
Sarfraz Khurshid},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Specification-Based Program Repair Using {SAT}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {173--188},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_15},
doi = {10.1007/978-3-642-19835-9\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GopinathMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GriggioLS11,
author = {Alberto Griggio and
Thi Thieu Hoa Le and
Roberto Sebastiani},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Efficient Interpolant Generation in Satisfiability Modulo Linear Integer
Arithmetic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {143--157},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_13},
doi = {10.1007/978-3-642-19835-9\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GriggioLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HoderKV11,
author = {Krystof Hoder and
Laura Kov{\'{a}}cs and
Andrei Voronkov},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Invariant Generation in Vampire},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {60--64},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_7},
doi = {10.1007/978-3-642-19835-9\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HoderKV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Holzmann11,
author = {Gerard J. Holzmann},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Reliable Software Development: Analysis-Aware Design},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {1--2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_1},
doi = {10.1007/978-3-642-19835-9\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Holzmann11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JungLWY11,
author = {Yungbum Jung and
Wonchan Lee and
Bow{-}Yaw Wang and
Kwangkeun Yi},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Predicate Generation for Learning-Based Quantifier-Free Loop Invariant
Inference},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {205--219},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_17},
doi = {10.1007/978-3-642-19835-9\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JungLWY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KieferW11,
author = {Stefan Kiefer and
Dominik Wojtczak},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {On Probabilistic Parallel Programs with Process Creation and Synchronisation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {296--310},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_28},
doi = {10.1007/978-3-642-19835-9\_28},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/KieferW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KupferschmidW11,
author = {Sebastian Kupferschmid and
Martin Wehrle},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Abstractions and Pattern Databases: The Quest for Succinctness and
Accuracy},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {276--290},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_26},
doi = {10.1007/978-3-642-19835-9\_26},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KupferschmidW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MertenSHM11,
author = {Maik Merten and
Bernhard Steffen and
Falk Howar and
Tiziana Margaria},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Next Generation LearnLib},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {220--223},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_18},
doi = {10.1007/978-3-642-19835-9\_18},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MertenSHM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PodelskiR11,
author = {Andreas Podelski and
Andrey Rybalchenko},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Transition Invariants and Transition Predicate Abstraction for Program
Termination},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {3--10},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_2},
doi = {10.1007/978-3-642-19835-9\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PodelskiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RavnSV11,
author = {Anders P. Ravn and
Jir{\'{\i}} Srba and
Muhammad Saleem Vighio},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Modelling and Verification of Web Services Business Activity Protocol},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {357--371},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_32},
doi = {10.1007/978-3-642-19835-9\_32},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/RavnSV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SeshiaK11,
author = {Sanjit A. Seshia and
Jonathan Kotker},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {GameTime: {A} Toolkit for Timing Analysis of Software},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {388--392},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_34},
doi = {10.1007/978-3-642-19835-9\_34},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SeshiaK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TalupurH11,
author = {Muralidhar Talupur and
Hyojung Han},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Biased Model Checking Using Flows},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {239--253},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_20},
doi = {10.1007/978-3-642-19835-9\_20},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/TalupurH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TeigeF11,
author = {Tino Teige and
Martin Fr{\"{a}}nzle},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Generalized Craig Interpolation for Stochastic Boolean Satisfiability
Problems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {158--172},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_14},
doi = {10.1007/978-3-642-19835-9\_14},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/TeigeF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TimmerSP11,
author = {Mark Timmer and
Mari{\"{e}}lle Stoelinga and
Jaco van de Pol},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Confluence Reduction for Probabilistic Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {311--325},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_29},
doi = {10.1007/978-3-642-19835-9\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/TimmerSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TsayTCC11,
author = {Yih{-}Kuen Tsay and
Ming{-}Hsien Tsai and
Jinn{-}Shu Chang and
Yi{-}Wen Chang},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {B{\"{u}}chi Store: An Open Repository of B{\"{u}}chi Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {262--266},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_23},
doi = {10.1007/978-3-642-19835-9\_23},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/TsayTCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TsitovichSWK11,
author = {Aliaksei Tsitovich and
Natasha Sharygina and
Christoph M. Wintersteiger and
Daniel Kroening},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Loop Summarization and Termination Analysis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {81--95},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_9},
doi = {10.1007/978-3-642-19835-9\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/TsitovichSWK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WimmelW11,
author = {Harro Wimmel and
Karsten Wolf},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Applying {CEGAR} to the Petri Net State Equation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {224--238},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_19},
doi = {10.1007/978-3-642-19835-9\_19},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WimmelW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2011,
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9},
doi = {10.1007/978-3-642-19835-9},
isbn = {978-3-642-19834-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 06:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
