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/tacas2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/tacas/AbdullaBHKV08,
author = {Parosh Aziz Abdulla and
Ahmed Bouajjani and
Luk{\'{a}}s Hol{\'{\i}}k and
Lisa Kaati and
Tom{\'{a}}s Vojnar},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Computing Simulations over Tree Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {93--108},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_8},
doi = {10.1007/978-3-540-78800-3\_8},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaBHKV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlkassarSS08,
author = {Eyad Alkassar and
Norbert Schirmer and
Artem Starostin},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Formal Pervasive Verification of a Paging Mechanism},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {109--123},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_9},
doi = {10.1007/978-3-540-78800-3\_9},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlkassarSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AnandGT08,
author = {Saswat Anand and
Patrice Godefroid and
Nikolai Tillmann},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Demand-Driven Compositional Symbolic Execution},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {367--381},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_28},
doi = {10.1007/978-3-540-78800-3\_28},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AnandGT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndresR08,
author = {Miguel E. Andr{\'{e}}s and
Peter van Rossum},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Conditional Probabilities over Probabilistic and Nondeterministic
Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {157--172},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_12},
doi = {10.1007/978-3-540-78800-3\_12},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AndresR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BakewellG08,
author = {Adam Bakewell and
Dan R. Ghica},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {On-the-Fly Techniques for Game-Based Software Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {78--92},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_7},
doi = {10.1007/978-3-540-78800-3\_7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BakewellG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BalakrishnanR08,
author = {Gogul Balakrishnan and
Thomas W. Reps},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Analyzing Stripped Device-Driver Executables},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {124--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_10},
doi = {10.1007/978-3-540-78800-3\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BalakrishnanR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BarnatBSW08,
author = {Jiri Barnat and
Lubos Brim and
Pavel Simecek and
M. Weber},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Revisiting Resistance Speeds Up I/O-Efficient {LTL} Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {48--62},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_5},
doi = {10.1007/978-3-540-78800-3\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BarnatBSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Ben-AmramC08,
author = {Amir M. Ben{-}Amram and
Michael Codish},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {A SAT-Based Approach to Size Change Termination with Global Ranking
Functions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {218--232},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_16},
doi = {10.1007/978-3-540-78800-3\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/Ben-AmramC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BlancKS08,
author = {Nicolas Blanc and
Daniel Kroening and
Natasha Sharygina},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Scoot: {A} Tool for the Analysis of SystemC Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {467--470},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_36},
doi = {10.1007/978-3-540-78800-3\_36},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BlancKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BoonstoppelCE08,
author = {Peter Boonstoppel and
Cristian Cadar and
Dawson R. Engler},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {RWset: Attacking Path Explosion in Constraint-Based Test Generation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {351--366},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_27},
doi = {10.1007/978-3-540-78800-3\_27},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BoonstoppelCE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BouajjaniESS08,
author = {Ahmed Bouajjani and
Javier Esparza and
Stefan Schwoon and
Dejvuth Suwimonteerabuth},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {SDSIrep: {A} Reputation System Based on {SDSI}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {501--516},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_39},
doi = {10.1007/978-3-540-78800-3\_39},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BouajjaniESS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CaniartFLZ08,
author = {Nicolas Caniart and
Emmanuel Fleury and
J{\'{e}}r{\^{o}}me Leroux and
Marc Zeitoun},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Accelerating Interpolation-Based Model-Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {428--442},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_32},
doi = {10.1007/978-3-540-78800-3\_32},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/CaniartFLZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChocklerGY08,
author = {Hana Chockler and
Orna Grumberg and
Avi Yadgar},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Efficient Automatic {STE} Refinement Using Responsibility},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {233--248},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_17},
doi = {10.1007/978-3-540-78800-3\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChocklerGY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CimattiGS08,
author = {Alessandro Cimatti and
Alberto Griggio and
Roberto Sebastiani},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Efficient Interpolant Generation in Satisfiability Modulo Theories},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {397--412},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_30},
doi = {10.1007/978-3-540-78800-3\_30},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CimattiGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ClarkeTV08,
author = {Edmund M. Clarke and
Muralidhar Talupur and
Helmut Veith},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Proving Ptolemy Right: The Environment Abstraction Framework for Model
Checking Concurrent Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {33--47},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_4},
doi = {10.1007/978-3-540-78800-3\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ClarkeTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FarzanCCTW08,
author = {Azadeh Farzan and
Yu{-}Fang Chen and
Edmund M. Clarke and
Yih{-}Kuen Tsay and
Bow{-}Yaw Wang},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Extending Automated Compositional Verification to the Full Class of
Omega-Regular Languages},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {2--17},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_2},
doi = {10.1007/978-3-540-78800-3\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/FarzanCCTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FinkbeinerPS08,
author = {Bernd Finkbeiner and
Hans{-}J{\"{o}}rg Peter and
Sven Schewe},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {{RESY:} Requirement Synthesis for Compositional Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {463--466},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_35},
doi = {10.1007/978-3-540-78800-3\_35},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FinkbeinerPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FismanKL08,
author = {Dana Fisman and
Orna Kupferman and
Yoad Lustig},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {On Verifying Fault Tolerance of Distributed Protocols},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {315--331},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_22},
doi = {10.1007/978-3-540-78800-3\_22},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/FismanKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GulavaniCNR08,
author = {Bhargav S. Gulavani and
Supratik Chakraborty and
Aditya V. Nori and
Sriram K. Rajamani},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Automatically Refining Abstract Interpretations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {443--458},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_33},
doi = {10.1007/978-3-540-78800-3\_33},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GulavaniCNR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/IhlemannJS08,
author = {Carsten Ihlemann and
Swen Jacobs and
Viorica Sofronie{-}Stokkermans},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {On Local Reasoning in Verification},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {265--281},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_19},
doi = {10.1007/978-3-540-78800-3\_19},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/IhlemannJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KatzP08,
author = {Gal Katz and
Doron A. Peled},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Model Checking-Based Genetic Programming with an Application to Mutual
Exclusion},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {141--156},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_11},
doi = {10.1007/978-3-540-78800-3\_11},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KatzP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Kovacs08,
author = {Laura Kov{\'{a}}cs},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Reasoning Algebraically About P-Solvable Loops},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {249--264},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_18},
doi = {10.1007/978-3-540-78800-3\_18},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Kovacs08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KupferschmidHL08,
author = {Sebastian Kupferschmid and
J{\"{o}}rg Hoffmann and
Kim Guldstrand Larsen},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Fast Directed Model Checking Via Russian Doll Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {203--217},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_15},
doi = {10.1007/978-3-540-78800-3\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KupferschmidHL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LalTKR08,
author = {Akash Lal and
Tayssir Touili and
Nicholas Kidd and
Thomas W. Reps},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Interprocedural Analysis of Concurrent Programs Under a Context Bound},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {282--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_20},
doi = {10.1007/978-3-540-78800-3\_20},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LalTKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LegayMOW08,
author = {Axel Legay and
Andrzej S. Murawski and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {On Automated Verification of Probabilistic Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {173--187},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_13},
doi = {10.1007/978-3-540-78800-3\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LegayMOW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LiS08,
author = {Guodong Li and
Konrad Slind},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Trusted Source Translation of a Total Function Language},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {471--485},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_37},
doi = {10.1007/978-3-540-78800-3\_37},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Malik08,
author = {Sharad Malik},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Hardware Verification: Techniques, Methodology and Solutions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {1},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_1},
doi = {10.1007/978-3-540-78800-3\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Malik08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/McMillan08,
author = {Kenneth L. McMillan},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Quantified Invariant Generation Using an Interpolating Saturation
Prover},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {413--427},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_31},
doi = {10.1007/978-3-540-78800-3\_31},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/McMillan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Moskal08,
author = {Michal Moskal},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Rocket-Fast Proof Checking for {SMT} Solvers},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {486--500},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_38},
doi = {10.1007/978-3-540-78800-3\_38},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Moskal08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MouraB08,
author = {Leonardo Mendon{\c{c}}a de Moura and
Nikolaj S. Bj{\o}rner},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {{Z3:} An Efficient {SMT} Solver},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {337--340},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_24},
doi = {10.1007/978-3-540-78800-3\_24},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MouraB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/OlveczkyM08,
author = {Peter Csaba {\"{O}}lveczky and
Jos{\'{e}} Meseguer},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {The Real-Time Maude Tool},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {332--336},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_23},
doi = {10.1007/978-3-540-78800-3\_23},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/OlveczkyM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PaceS08,
author = {Gordon J. Pace and
Gerardo Schneider},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Computation and Visualisation of Phase Portraits for Model Checking
SPDIs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {341--345},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_25},
doi = {10.1007/978-3-540-78800-3\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PaceS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SaksenaWJ08,
author = {Mayank Saksena and
Oskar Wibling and
Bengt Jonsson},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {18--32},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_3},
doi = {10.1007/978-3-540-78800-3\_3},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SaksenaWJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SankaranarayananDI08,
author = {Sriram Sankaranarayanan and
Thao Dang and
Franjo Ivancic},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Symbolic Model Checking of Hybrid Systems Using Template Polyhedra},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {188--202},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_14},
doi = {10.1007/978-3-540-78800-3\_14},
timestamp = {Wed, 04 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SankaranarayananDI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TorreMP08,
author = {Salvatore La Torre and
P. Madhusudan and
Gennaro Parlato},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Context-Bounded Analysis of Concurrent Queue Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {299--314},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_21},
doi = {10.1007/978-3-540-78800-3\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/TorreMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TsayCTCL08,
author = {Yih{-}Kuen Tsay and
Yu{-}Fang Chen and
Ming{-}Hsien Tsai and
Wen{-}Chin Chan and
Chi{-}Jian Luo},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {{GOAL} Extended: Towards a Research Tool for Omega Automata and Temporal
Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {346--350},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_26},
doi = {10.1007/978-3-540-78800-3\_26},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/TsayCTCL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WahlBE08,
author = {Thomas Wahl and
Nicolas Blanc and
E. Allen Emerson},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {{SVISS:} Symbolic Verification of Symmetric Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {459--462},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_34},
doi = {10.1007/978-3-540-78800-3\_34},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WahlBE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangYKG08,
author = {Chao Wang and
Zijiang Yang and
Vineet Kahlon and
Aarti Gupta},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Peephole Partial Order Reduction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {382--396},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_29},
doi = {10.1007/978-3-540-78800-3\_29},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WangYKG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WulfDMR08,
author = {Martin De Wulf and
Laurent Doyen and
Nicolas Maquet and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Antichains: Alternative Algorithms for {LTL} Satisfiability and Model-Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {63--77},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_6},
doi = {10.1007/978-3-540-78800-3\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WulfDMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2008,
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3},
doi = {10.1007/978-3-540-78800-3},
isbn = {978-3-540-78799-0},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2008.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-26 10:26 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:
