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/tacas2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/tacas/AbdullaBE00,
author = {Parosh Aziz Abdulla and
Per Bjesse and
Niklas E{\'{e}}n},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Symbolic Reachability Analysis Based on SAT-Solvers},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {411--425},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_28},
doi = {10.1007/3-540-46419-0\_28},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AbdullaBE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlfaroKNPS00,
author = {Luca de Alfaro and
Marta Z. Kwiatkowska and
Gethin Norman and
David Parker and
Roberto Segala},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Symbolic Model Checking of Probabilistic Processes Using MTBDDs and
the Kronecker Representation},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {395--410},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_27},
doi = {10.1007/3-540-46419-0\_27},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AlfaroKNPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AronsP00,
author = {Tamarah Arons and
Amir Pnueli},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {A Comparison of Two Verification Methods for Speculative Instruction
Execution},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {487--502},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_33},
doi = {10.1007/3-540-46419-0\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AronsP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Aspinall00,
author = {David Aspinall},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Proof General: {A} Generic Tool for Proof Development},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {38--42},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_3},
doi = {10.1007/3-540-46419-0\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Aspinall00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BaukusBLS00,
author = {Kai Baukus and
Saddek Bensalem and
Yassine Lakhnech and
Karsten Stahl},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Abstracting {WS1S} Systems to Verify Parameterized Networks},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {188--203},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_14},
doi = {10.1007/3-540-46419-0\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BaukusBLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BenerecettiG00,
author = {Massimo Benerecetti and
Fausto Giunchiglia},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Model Checking Security Protocols Using a Logic of Belief},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {519--534},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_35},
doi = {10.1007/3-540-46419-0\_35},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BenerecettiG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BharadwajS00,
author = {Ramesh Bharadwaj and
Steve Sims},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant
Checking},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {378--394},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_26},
doi = {10.1007/3-540-46419-0\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BharadwajS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BodeveixF00,
author = {Jean{-}Paul Bodeveix and
Mamoun Filali},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {FMona: {A} Tool for Expressing Validation Techniques over Infinite
State Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {204--219},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_15},
doi = {10.1007/3-540-46419-0\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BodeveixF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BornotGS00,
author = {S{\'{e}}bastien Bornot and
Gregor G{\"{o}}{\ss}ler and
Joseph Sifakis},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {On the Construction of Live Timed Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {109--126},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_9},
doi = {10.1007/3-540-46419-0\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BornotGS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BosnackiDHS00,
author = {Dragan Bosnacki and
Dennis Dams and
Leszek Holenderski and
Natalia Sidorova},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Model Checking {SDL} with Spin},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {363--377},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_25},
doi = {10.1007/3-540-46419-0\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BosnackiDHS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozgaFG00,
author = {Marius Bozga and
Jean{-}Claude Fernandez and
Lucian Ghirvu},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Using Static Analysis to Improve Automatic Test Generation},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {235--250},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_17},
doi = {10.1007/3-540-46419-0\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozgaFG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BraunLSS00,
author = {Peter Braun and
Heiko L{\"{o}}tzbeyer and
Bernhard Sch{\"{a}}tz and
Oscar Slotosch},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Consistent Integration of Formal Methods},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {48--62},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_5},
doi = {10.1007/3-540-46419-0\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BraunLSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Bultan00,
author = {Tevfik Bultan},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {{BDD} vs. Constraint-Based Model Checking: An Experimental Evaluation
for Asynchronous Concurrent Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {441--455},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_30},
doi = {10.1007/3-540-46419-0\_30},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Bultan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CastilloW00,
author = {Giuseppe Del Castillo and
Kirsten Winter},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Model Checking Support for the {ASM} High-Level Language},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {331--346},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_23},
doi = {10.1007/3-540-46419-0\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CastilloW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ClarkeJM00,
author = {Edmund M. Clarke and
Somesh Jha and
Wilfredo R. Marrero},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Partial Order Reductions for Security Protocol Verification},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {503--518},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_34},
doi = {10.1007/3-540-46419-0\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ClarkeJM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DelzannoR00,
author = {Giorgio Delzanno and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Symbolic Representation of Upward-Closed Sets},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {426--440},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_29},
doi = {10.1007/3-540-46419-0\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DelzannoR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DennisCNBSRGM00,
author = {Louise A. Dennis and
Graham Collins and
Michael Norrish and
Richard J. Boulton and
Konrad Slind and
Graham Robinson and
Michael J. C. Gordon and
Thomas F. Melham},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {The {PROSPER} Toolkit},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {78--92},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_7},
doi = {10.1007/3-540-46419-0\_7},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DennisCNBSRGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GnesiLLAAM00,
author = {Stefania Gnesi and
Diego Latella and
Gabriele Lenzini and
C. Abbaneo and
Arturo M. Amendola and
P. Marmo},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {A Formal Specification and Validation of a Critical System in Presence
of Byzantine Errors},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {535--549},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_36},
doi = {10.1007/3-540-46419-0\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GnesiLLAAM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GoedickeEMT00,
author = {Michael Goedicke and
Bettina Enders and
Torsten Meyer and
Gabriele Taentzer},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {ViewPoint-Oriented Software Development: Tool Support for Integrating
Multiple Perspectives by Distributed Graph Transformation},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {43--47},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_4},
doi = {10.1007/3-540-46419-0\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GoedickeEMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HelovuoV00,
author = {Juhana Helovuo and
Antti Valmari},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Checking for CFFD-Preorder with Tester Processes},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {283--298},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_20},
doi = {10.1007/3-540-46419-0\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HelovuoV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HenzingerM00,
author = {Thomas A. Henzinger and
Rupak Majumdar},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Symbolic Model Checking for Rectangular Hybrid Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {142--156},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_11},
doi = {10.1007/3-540-46419-0\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HenzingerM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HenzingerR00,
author = {Thomas A. Henzinger and
Sriram K. Rajamani},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Fair Bisimulation},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {299--314},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_21},
doi = {10.1007/3-540-46419-0\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HenzingerR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HermannsKMS00,
author = {Holger Hermanns and
Joost{-}Pieter Katoen and
Joachim Meyer{-}Kayser and
Markus Siegle},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {A Markov Chain Model Checker},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {347--362},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_24},
doi = {10.1007/3-540-46419-0\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HermannsKMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JonssonN00,
author = {Bengt Jonsson and
Marcus Nilsson},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Transitive Closures of Regular Relations for Verifying Infinite-State
Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {220--234},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_16},
doi = {10.1007/3-540-46419-0\_16},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JonssonN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KamelL00,
author = {Moataz Kamel and
Stefan Leue},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {{VIP:} {A} Visual Editor and Compiler for v-Promela},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {471--486},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_32},
doi = {10.1007/3-540-46419-0\_32},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KamelL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KrimmM00,
author = {Jean{-}Pierre Krimm and
Laurent Mounier},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Compositional State Space Generation with Partial Order Reductions
for Asynchronous Communicating Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {266--282},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_19},
doi = {10.1007/3-540-46419-0\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KrimmM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LarssonPY00,
author = {Fredrik Larsson and
Paul Pettersson and
Wang Yi},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {On Memory-Block Traversal Problems in Model-Checking Timed-Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {127--141},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_10},
doi = {10.1007/3-540-46419-0\_10},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LarssonPY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Mateescu00,
author = {Radu Mateescu},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Efficient Diagnostic Generation for Boolean Equation Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {251--265},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_18},
doi = {10.1007/3-540-46419-0\_18},
timestamp = {Thu, 29 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Mateescu00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MeyerP00,
author = {J{\"{o}}rg Meyer and
Arnd Poetzsch{-}Heffter},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {An Architecture for Interactive Program Provers},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {63--77},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_6},
doi = {10.1007/3-540-46419-0\_6},
timestamp = {Fri, 11 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/MeyerP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Mossakowski00,
author = {Till Mossakowski},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {{CASL:} From Semantics to Tools},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {93--108},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_8},
doi = {10.1007/3-540-46419-0\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Mossakowski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NiemannB00,
author = {Magnus Niemann and
Roswitha Bardohl},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Tool-Based Specification of Visual Languages and Graphic Editors},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {456--470},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_31},
doi = {10.1007/3-540-46419-0\_31},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/NiemannB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RoychoudhuryKRRS00,
author = {Abhik Roychoudhury and
K. Narayan Kumar and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Verification of Parameterized Systems Using Logic Program Transformations},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {172--187},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_13},
doi = {10.1007/3-540-46419-0\_13},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RoychoudhuryKRRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Schmidt00,
author = {Karsten Schmidt},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Integrating Low Level Symmetries into Reachability Analysis},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {315--330},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_22},
doi = {10.1007/3-540-46419-0\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Schmidt00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Wang00,
author = {Farn Wang},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Efficient Data Structure for Fully Symbolic Verification of Real-Time
Software Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {157--171},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_12},
doi = {10.1007/3-540-46419-0\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Wang00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WolperB00,
author = {Pierre Wolper and
Bernard Boigelot},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {On the Construction of Automata from Linear Arithmetic Constraints},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {1--19},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_1},
doi = {10.1007/3-540-46419-0\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/WolperB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/XiongL00,
author = {Yuhong Xiong and
Edward A. Lee},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {An Extensible Type System for Component-Based Design},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {20--37},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_2},
doi = {10.1007/3-540-46419-0\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/XiongL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2000,
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0},
doi = {10.1007/3-540-46419-0},
isbn = {3-540-67282-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2000.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-06-13 05:14 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:
