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/cav/cav2001.bht:"
download as .bib file
@inproceedings{DBLP:conf/cav/AbdeddaimM01,
author = {Yasmina Abdedda{\"{\i}}m and
Oded Maler},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Job-Shop Scheduling Using Timed Automata},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {478--492},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_46},
doi = {10.1007/3-540-44585-4\_46},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AbdeddaimM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Alfaro01,
author = {Luca de Alfaro},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Model Checking the World Wide Web},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {337--349},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_31},
doi = {10.1007/3-540-44585-4\_31},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Alfaro01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurEY01,
author = {Rajeev Alur and
Kousha Etessami and
Mihalis Yannakakis},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Analysis of Recursive State Machines},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {207--220},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_18},
doi = {10.1007/3-540-44585-4\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurEY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurW01,
author = {Rajeev Alur and
Bow{-}Yaw Wang},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Verifying Network Protocol Implementations by Symbolic Refinement
Checking},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {169--181},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_15},
doi = {10.1007/3-540-44585-4\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AmlaEKN01,
author = {Nina Amla and
E. Allen Emerson and
Robert P. Kurshan and
Kedar S. Namjoshi},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Rtdt: {A} Front-End for Efficient Model Checking of Synchronous Timing
Diagrams},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {387--390},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_38},
doi = {10.1007/3-540-44585-4\_38},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AmlaEKN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AnnichiniBS01,
author = {Aurore Annichini and
Ahmed Bouajjani and
Mihaela Sighireanu},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {TReX: {A} Tool for Reachability Analysis of Complex Systems},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {368--372},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_34},
doi = {10.1007/3-540-44585-4\_34},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AnnichiniBS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Arons01,
author = {Tamarah Arons},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Using Timestamping and History Variables to Verify Sequential Consistency},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {423--435},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_42},
doi = {10.1007/3-540-44585-4\_42},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Arons01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AronsPRXZ01,
author = {Tamarah Arons and
Amir Pnueli and
Sitvanit Ruah and
Jiazhao Xu and
Lenore D. Zuck},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Parameterized Verification with Automatically Computed Inductive Assertions},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {221--234},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_19},
doi = {10.1007/3-540-44585-4\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AronsPRXZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AsterothBA01,
author = {Alexander Asteroth and
Christel Baier and
Ulrich A{\ss}mann},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Model Checking with Formula-Dependent Abstract Models},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {155--168},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_14},
doi = {10.1007/3-540-44585-4\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AsterothBA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallR01,
author = {Thomas Ball and
Sriram K. Rajamani},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {The {SLAM} Toolkit},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {260--264},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_25},
doi = {10.1007/3-540-44585-4\_25},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeerBEFGR01,
author = {Ilan Beer and
Shoham Ben{-}David and
Cindy Eisner and
Dana Fisman and
Anna Gringauze and
Yoav Rodeh},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {The Temporal Logic Sugar},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {363--367},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_33},
doi = {10.1007/3-540-44585-4\_33},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BeerBEFGR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Bertot01,
author = {Yves Bertot},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Formalizing a {JVML} Verifier for Initialization in a Theorem Prover},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {14--24},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_3},
doi = {10.1007/3-540-44585-4\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Bertot01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BhatCG01,
author = {Girish Bhat and
Rance Cleaveland and
Alex Groce},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Efficient Model Checking Via B{\"{u}}chi Tableau Automata},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {38--52},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_5},
doi = {10.1007/3-540-44585-4\_5},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BhatCG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BjesseLM01,
author = {Per Bjesse and
Tim Leonard and
Abdel Mokkedem},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {454--464},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_44},
doi = {10.1007/3-540-44585-4\_44},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BjesseLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlomFGLLP01,
author = {Stefan Blom and
Wan J. Fokkink and
Jan Friso Groote and
Izak van Langevelde and
Bert Lisser and
Jaco van de Pol},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{\(\mathrm{\mu}\)}CRL: {A} Toolset for Analysing Algebraic Specifications},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {250--254},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_23},
doi = {10.1007/3-540-44585-4\_23},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlomFGLLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Cabodi01,
author = {Gianpiero Cabodi},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Meta-BDDs: {A} Decomposed Representation for Layered Symbolic Manipulation
of Boolean Functions},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {118--130},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_11},
doi = {10.1007/3-540-44585-4\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Cabodi01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChocklerKKV01,
author = {Hana Chockler and
Orna Kupferman and
Robert P. Kurshan and
Moshe Y. Vardi},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {A Practical Approach to Coverage in Model Checking},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {66--78},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_7},
doi = {10.1007/3-540-44585-4\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChocklerKKV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ClossePPSVWY01,
author = {Etienne Closse and
Michel Poize and
Jacques Pulou and
Joseph Sifakis and
Patrick Venier and
Daniel Weil and
Sergio Yovine},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{TAXYS:} {A} Tool for the Development and Verification of Real-Time
Embedded Systems},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {391--395},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_39},
doi = {10.1007/3-540-44585-4\_39},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ClossePPSVWY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CoptyFFGKTV01,
author = {Fady Copty and
Limor Fix and
Ranan Fraer and
Enrico Giunchiglia and
Gila Kamhi and
Armando Tacchella and
Moshe Y. Vardi},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Benefits of Bounded Model Checking at an Industrial Setting},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {436--453},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_43},
doi = {10.1007/3-540-44585-4\_43},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/CoptyFFGKTV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DamsLS01,
author = {Dennis Dams and
Yassine Lakhnech and
Martin Steffen},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Iterating Transducers},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {286--297},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_27},
doi = {10.1007/3-540-44585-4\_27},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DamsLS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Dang01,
author = {Zhe Dang},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Binary Reachability Analysis of Pushdown Timed Automata with Dense
Clocks},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {506--518},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_48},
doi = {10.1007/3-540-44585-4\_48},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Dang01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DelzannoRB01,
author = {Giorgio Delzanno and
Jean{-}Fran{\c{c}}ois Raskin and
Laurent Van Begin},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Attacking Symbolic State Explosion},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {298--310},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_28},
doi = {10.1007/3-540-44585-4\_28},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DelzannoRB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DovierPP01,
author = {Agostino Dovier and
Carla Piazza and
Alberto Policriti},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {A Fast Bisimulation Algorithm},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {79--90},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_8},
doi = {10.1007/3-540-44585-4\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/DovierPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EsparzaS01,
author = {Javier Esparza and
Stefan Schwoon},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {A BDD-Based Model Checker for Recursive Programs},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {324--336},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_30},
doi = {10.1007/3-540-44585-4\_30},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/EsparzaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FilliatreORS01,
author = {Jean{-}Christophe Filli{\^{a}}tre and
Sam Owre and
Harald Rue{\ss} and
Natarajan Shankar},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{ICS:} Integrated Canonizer and Solver},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {246--249},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_22},
doi = {10.1007/3-540-44585-4\_22},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FilliatreORS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GastinO01,
author = {Paul Gastin and
Denis Oddoux},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Fast {LTL} to B{\"{u}}chi Automata Translation},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {53--65},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_6},
doi = {10.1007/3-540-44585-4\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GastinO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrumbergHS01,
author = {Orna Grumberg and
Tamir Heyman and
Assaf Schuster},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Distributed Symbolic Model Checking for {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {350--362},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_32},
doi = {10.1007/3-540-44585-4\_32},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrumbergHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JhalaM01,
author = {Ranjit Jhala and
Kenneth L. McMillan},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Microarchitecture Verification by Compositional Model Checking},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {396--410},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_40},
doi = {10.1007/3-540-44585-4\_40},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JhalaM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JohannsenB01,
author = {Peer Johannsen},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {BooStER: Speeding Up {RTL} Property Checking of Digital Designs by
Word-Level Abstarction},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {373--377},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_35},
doi = {10.1007/3-540-44585-4\_35},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/JohannsenB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KuehlmannB01,
author = {Andreas Kuehlmann and
Jason Baumgartner},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Transformation-Based Verification Using Generalized Retiming},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {104--117},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_10},
doi = {10.1007/3-540-44585-4\_10},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KuehlmannB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KwiatkowskaNS01,
author = {Marta Z. Kwiatkowska and
Gethin Norman and
Roberto Segala},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Automated Verification of a Randomized Distributed Consensus Protocol
Using Cadence {SMV} and {PRISM}},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {194--206},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_17},
doi = {10.1007/3-540-44585-4\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KwiatkowskaNS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LarsenBBFHPR01,
author = {Kim Guldstrand Larsen and
Gerd Behrmann and
Ed Brinksma and
Ansgar Fehnker and
Thomas Hune and
Paul Pettersson and
Judi Romijn},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced
Timed Automata},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {493--505},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_47},
doi = {10.1007/3-540-44585-4\_47},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LarsenBBFHPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Leroy01,
author = {Xavier Leroy},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Java Bytecode Verification: An Overview},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {265--285},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_26},
doi = {10.1007/3-540-44585-4\_26},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Leroy01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeuckerN01,
author = {Martin Leucker and
Thomas Noll},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Truth/SLC - {A} Parallel Verification Platform for Concurrent Systems},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {255--259},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_24},
doi = {10.1007/3-540-44585-4\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LeuckerN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LevinY01,
author = {Vladimir Levin and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {SDLcheck: {A} Model Checking Tool},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {377},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_36},
doi = {10.1007/3-540-44585-4\_36},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LevinY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Maidl01,
author = {Monika Maidl},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {A Unifying Model Checking Approach for Safety Properties of Parameterized
Systems},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {311--323},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_29},
doi = {10.1007/3-540-44585-4\_29},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Maidl01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MoondanosSHK01,
author = {John Moondanos and
Carl{-}Johan H. Seger and
Ziyad Hanna and
Daher Kaiss},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{CLEVER:} Divide and Conquer Combinational Logic Equivalence VERification
with False Negative Elimination},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {131--143},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_12},
doi = {10.1007/3-540-44585-4\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MoondanosSHK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Moore01,
author = {J Strother Moore},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Rewriting for Symbolic Execution of State Machine Models},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {411--422},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_41},
doi = {10.1007/3-540-44585-4\_41},
timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Moore01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MoriokaKY01,
author = {Sumio Morioka and
Yasunao Katayama and
Toshiyuki Yamane},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Towards Efficient Verification of Arithmetic Algorithms over Galois
Fields GF(2\({}^{\mbox{m}}\))},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {465--477},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_45},
doi = {10.1007/3-540-44585-4\_45},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MoriokaKY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Namjoshi01,
author = {Kedar S. Namjoshi},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Certifying Model Checkers},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {2--13},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_2},
doi = {10.1007/3-540-44585-4\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Namjoshi01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Parnas01,
author = {David Lorge Parnas},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Software Documentation and the Verification Process},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {1},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_1},
doi = {10.1007/3-540-44585-4\_1},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Parnas01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RodehS01,
author = {Yoav Rodeh and
Ofer Strichman},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Finite Instantiations in Equivalence Logic with Uninterpreted Functions},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {144--154},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_13},
doi = {10.1007/3-540-44585-4\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RodehS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RoychoudhuryR01,
author = {Abhik Roychoudhury and
I. V. Ramakrishnan},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Automated Inductive Verification of Parameterized Protocols},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {25--37},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_4},
doi = {10.1007/3-540-44585-4\_4},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RoychoudhuryR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ShanbhagGTAL01,
author = {Vivek K. Shanbhag and
K. Gopinath and
Markku Turunen and
Ari Ahtiainen and
Matti Luukkainen},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{EASN:} Integrating {ASN.1} and Model Checking},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {382--386},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_37},
doi = {10.1007/3-540-44585-4\_37},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ShanbhagGTAL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SistlaG01,
author = {A. Prasad Sistla and
Patrice Godefroid},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Symmetry and Reduced Symmetry in Model Checking},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {91--103},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_9},
doi = {10.1007/3-540-44585-4\_9},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SistlaG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SongPP01,
author = {Dawn Xiaodong Song and
Adrian Perrig and
Doantam Phan},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{AGVI} - Automatic Generation, Verification, and Implementation of
Security Protocols},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {241--245},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_21},
doi = {10.1007/3-540-44585-4\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/SongPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/VelevB01,
author = {Miroslav N. Velev and
Randal E. Bryant},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{EVC:} {A} Validity Checker for the Logic of Equality with Uninterpreted
Functions and Memories, Exploiting Positive Equality, and Conservative
Transformations},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {235--240},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_20},
doi = {10.1007/3-540-44585-4\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/VelevB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhengMM01,
author = {Hao Zheng and
Eric Mercer and
Chris J. Myers},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Automatic Abstraction for Verification of Timed Circuits and Systems},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {182--193},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_16},
doi = {10.1007/3-540-44585-4\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhengMM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2001,
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4},
doi = {10.1007/3-540-44585-4},
isbn = {3-540-42345-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2001.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-19 10:36 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:
