Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/tacas/tacas2005.bht:"
@inproceedings{DBLP:conf/tacas/AbdullaLdR05, author = {Parosh Aziz Abdulla and Axel Legay and Julien d'Orso and Ahmed Rezine}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Simulation-Based Iteration of Tree Transducers}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {30--44}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_3}, doi = {10.1007/978-3-540-31980-1\_3}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/AbdullaLdR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/AlurCEM05, author = {Rajeev Alur and Swarat Chaudhuri and Kousha Etessami and P. Madhusudan}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {On-the-Fly Reachability and Cycle Detection for Recursive State Machines}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {61--76}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_5}, doi = {10.1007/978-3-540-31980-1\_5}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/AlurCEM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BaoJ05, author = {Tonglaga Bao and Michael D. Jones}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Time-Efficient Model Checking with Magnetic Disk}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {526--540}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_34}, doi = {10.1007/978-3-540-31980-1\_34}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BaoJ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BergaminiDJM05, author = {Damien Bergamini and Nicolas Descoubes and Christophe Joubert and Radu Mateescu}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {{BISIMULATOR:} {A} Modular Tool for On-the-Fly Equivalence Checking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {581--585}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_42}, doi = {10.1007/978-3-540-31980-1\_42}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BergaminiDJM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BinghamH05, author = {Jesse D. Bingham and Alan J. Hu}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Empirically Efficient Verification for a Class of Infinite-State Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {77--92}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_6}, doi = {10.1007/978-3-540-31980-1\_6}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BinghamH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BouajjaniHMV05, author = {Ahmed Bouajjani and Peter Habermehl and Pierre Moro and Tom{\'{a}}s Vojnar}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {13--29}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_2}, doi = {10.1007/978-3-540-31980-1\_2}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BouajjaniHMV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BouquetDLU05, author = {Fabrice Bouquet and Fr{\'{e}}d{\'{e}}ric Dadeau and Bruno Legeard and Mark Utting}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {JML-Testing-Tools: {A} Symbolic Animator for {JML} Specifications Using {CLP}}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {551--556}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_37}, doi = {10.1007/978-3-540-31980-1\_37}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/BouquetDLU05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BozzanoBCJRSS05, author = {Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi A. Junttila and Peter van Rossum and Stephan Schulz and Roberto Sebastiani}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {317--333}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_21}, doi = {10.1007/978-3-540-31980-1\_21}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BozzanoBCJRSS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChenR05, author = {Feng Chen and Grigore Rosu}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Java-MOP: {A} Monitoring Oriented Programming Environment for Java}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {546--550}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_36}, doi = {10.1007/978-3-540-31980-1\_36}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ChenR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ClarkeKSY05, author = {Edmund M. Clarke and Daniel Kroening and Natasha Sharygina and Karen Yorav}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {{SATABS:} SAT-Based Predicate Abstraction for {ANSI-C}}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {570--574}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_40}, doi = {10.1007/978-3-540-31980-1\_40}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ClarkeKSY05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/EmersonW05, author = {E. Allen Emerson and Thomas Wahl}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Dynamic Symmetry Reduction}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {382--396}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_25}, doi = {10.1007/978-3-540-31980-1\_25}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/EmersonW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/EtessamiY05, author = {Kousha Etessami and Mihalis Yannakakis}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Algorithmic Verification of Recursive Probabilistic State Machines}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {253--270}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_17}, doi = {10.1007/978-3-540-31980-1\_17}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/EtessamiY05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/GanaiGA05, author = {Malay K. Ganai and Aarti Gupta and Pranav Ashar}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {\emph{DiVer}: SAT-Based Model Checking Platform for Verifying Large Scale Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {575--580}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_41}, doi = {10.1007/978-3-540-31980-1\_41}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/GanaiGA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/Genest05, author = {Blaise Genest}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {429--444}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_28}, doi = {10.1007/978-3-540-31980-1\_28}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/Genest05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/GenestKMP05, author = {Blaise Genest and Dietrich Kuske and Anca Muscholl and Doron A. Peled}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Snapshot Verification}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {510--525}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_33}, doi = {10.1007/978-3-540-31980-1\_33}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/GenestKMP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/GrosuS05, author = {Radu Grosu and Scott A. Smolka}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Monte Carlo Model Checking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {271--286}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_18}, doi = {10.1007/978-3-540-31980-1\_18}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/GrosuS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HammerKM05, author = {Moritz Hammer and Alexander Knapp and Stephan Merz}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Truly On-the-Fly {LTL} Model Checking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {191--205}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_13}, doi = {10.1007/978-3-540-31980-1\_13}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HammerKM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HardingRS05, author = {Aidan Harding and Mark Ryan and Pierre{-}Yves Schobbens}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {A New Algorithm for Strategy Synthesis in {LTL} Games}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {477--492}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_31}, doi = {10.1007/978-3-540-31980-1\_31}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/HardingRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/IsobeR05, author = {Yoshinao Isobe and Markus Roggenbach}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {A Generic Theorem Prover of {CSP} Refinement}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {108--123}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_8}, doi = {10.1007/978-3-540-31980-1\_8}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/IsobeR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/JainIGG05, author = {Himanshu Jain and Franjo Ivancic and Aarti Gupta and Malay K. Ganai}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Localization and Register Sharing for Predicate Abstraction}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {397--412}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_26}, doi = {10.1007/978-3-540-31980-1\_26}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/JainIGG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/JeannetJRZ05, author = {Bertrand Jeannet and Thierry J{\'{e}}ron and Vlad Rusu and Elena Zinovieva}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Symbolic Test Selection Based on Approximate Analysis}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {349--364}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_23}, doi = {10.1007/978-3-540-31980-1\_23}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/JeannetJRZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/Jiang05, author = {Jie{-}Hong Roland Jiang}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {On Some Transformation Invariants Under Retiming and Resynthesis}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {413--428}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_27}, doi = {10.1007/978-3-540-31980-1\_27}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/Jiang05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/JinHS05, author = {HoonSang Jin and HyoJung Han and Fabio Somenzi}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {287--300}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_19}, doi = {10.1007/978-3-540-31980-1\_19}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/JinHS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/KellerSBS05, author = {Curtis W. Keller and Diptikalyan Saha and Samik Basu and Scott A. Smolka}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {FocusCheck: {A} Tool for Model Checking and Debugging Sequential {C} Programs}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {563--569}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_39}, doi = {10.1007/978-3-540-31980-1\_39}, timestamp = {Wed, 27 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/KellerSBS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/KomondoorRCF05, author = {Raghavan Komondoor and Ganesan Ramalingam and Satish Chandra and John Field}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Dependent Types for Program Understanding}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {157--173}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_11}, doi = {10.1007/978-3-540-31980-1\_11}, timestamp = {Mon, 18 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/KomondoorRCF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/KuglerHPLB05, author = {Hillel Kugler and David Harel and Amir Pnueli and Yuan Lu and Yves Bontemps}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Temporal Logic for Scenario-Based Specifications}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {445--460}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_29}, doi = {10.1007/978-3-540-31980-1\_29}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/KuglerHPLB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/KupfermanV05, author = {Orna Kupferman and Moshe Y. Vardi}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Complementation Constructions for Nondeterministic Automata on Infinite Words}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {206--221}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_14}, doi = {10.1007/978-3-540-31980-1\_14}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/KupfermanV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/LeinoMO05, author = {K. Rustan M. Leino and Madan Musuvathi and Xinming Ou}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {334--348}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_22}, doi = {10.1007/978-3-540-31980-1\_22}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/LeinoMO05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/MargariaNS05, author = {Tiziana Margaria and Ralf Nagel and Bernhard Steffen}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {jETI: {A} Tool for Remote Tool Integration}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {557--562}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_38}, doi = {10.1007/978-3-540-31980-1\_38}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/MargariaNS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/Marrero05, author = {Will Marrero}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Using BDDs to Decide {CTL}}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {222--236}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_15}, doi = {10.1007/978-3-540-31980-1\_15}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/Marrero05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/McMillan05, author = {Kenneth L. McMillan}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Applications of Craig Interpolants in Model Checking}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {1--12}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_1}, doi = {10.1007/978-3-540-31980-1\_1}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/McMillan05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/PnueliPR05, author = {Amir Pnueli and Andreas Podelski and Andrey Rybalchenko}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {124--139}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_9}, doi = {10.1007/978-3-540-31980-1\_9}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/PnueliPR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/QadeerR05, author = {Shaz Qadeer and Jakob Rehof}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Context-Bounded Model Checking of Concurrent Software}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {93--107}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_7}, doi = {10.1007/978-3-540-31980-1\_7}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/QadeerR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/RanzatoT05, author = {Francesco Ranzato and Francesco Tapparo}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {140--156}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_10}, doi = {10.1007/978-3-540-31980-1\_10}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/RanzatoT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/RemkeHC05, author = {Anne Remke and Boudewijn R. Haverkort and Lucia Cloth}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Model Checking Infinite-State Markov Chains}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {237--252}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_16}, doi = {10.1007/978-3-540-31980-1\_16}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tacas/RemkeHC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/SchuppanB05, author = {Viktor Schuppan and Armin Biere}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Shortest Counterexamples for Symbolic Model Checking of {LTL} with Past}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {493--509}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_32}, doi = {10.1007/978-3-540-31980-1\_32}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/SchuppanB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/SchwoonE05, author = {Stefan Schwoon and Javier Esparza}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {A Note on On-the-Fly Verification Algorithms}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {174--190}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_12}, doi = {10.1007/978-3-540-31980-1\_12}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/SchwoonE05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/SharmaPC05, author = {Babita Sharma and Paritosh K. Pandya and Supratik Chakraborty}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Bounded Validity Checking of Interval Duration Logic}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {301--316}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_20}, doi = {10.1007/978-3-540-31980-1\_20}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/SharmaPC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/SuwimonteerabuthSE05, author = {Dejvuth Suwimonteerabuth and Stefan Schwoon and Javier Esparza}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {jMoped: {A} Java Bytecode Checker Based on Moped}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {541--545}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_35}, doi = {10.1007/978-3-540-31980-1\_35}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/SuwimonteerabuthSE05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/VardhanSVA05, author = {Abhay Vardhan and Koushik Sen and Mahesh Viswanathan and Gul Agha}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Using Language Inference to Verify Omega-Regular Properties}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {45--60}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_4}, doi = {10.1007/978-3-540-31980-1\_4}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/VardhanSVA05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/WeimerN05, author = {Westley Weimer and George C. Necula}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Mining Temporal Specifications for Error Detection}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {461--476}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_30}, doi = {10.1007/978-3-540-31980-1\_30}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/WeimerN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/XieMSN05, author = {Tao Xie and Darko Marinov and Wolfram Schulte and David Notkin}, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Symstra: {A} Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, pages = {365--381}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31980-1\_24}, doi = {10.1007/978-3-540-31980-1\_24}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/XieMSN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2005, editor = {Nicolas Halbwachs and Lenore D. Zuck}, title = {Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, {TACAS} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3440}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/b107194}, doi = {10.1007/B107194}, isbn = {3-540-25333-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2005.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.