default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/charme:"
download as .bib file
@inproceedings{DBLP:conf/charme/AmlaDKKM05,
author = {Nina Amla and
Xiaoqun Du and
Andreas Kuehlmann and
Robert P. Kurshan and
Kenneth L. McMillan},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {An Analysis of SAT-Based Model Checking Techniques in an Industrial
Environment},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {254--268},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_20},
doi = {10.1007/11560548\_20},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/AmlaDKKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AxelssonCS05,
author = {Emil Axelsson and
Koen Claessen and
Mary Sheeran},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Wired: Wire-Aware Circuit Design},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {5--19},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_4},
doi = {10.1007/11560548\_4},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/AxelssonCS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BaumgartnerM05,
author = {Jason Baumgartner and
Hari Mony},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization
and Localization Strategies},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {222--237},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_18},
doi = {10.1007/11560548\_18},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BaumgartnerM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BhattacharyaGG05,
author = {Ritwik Bhattacharya and
Steven M. German and
Ganesh Gopalakrishnan},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Symbolic Partial Order Reduction for Rule Based Transition Systems},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {332--335},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_25},
doi = {10.1007/11560548\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BhattacharyaGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BustanFGKV05,
author = {Doron Bustan and
Alon Flaisher and
Orna Grumberg and
Orna Kupferman and
Moshe Y. Vardi},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Regular Vacuity},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {191--206},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_16},
doi = {10.1007/11560548\_16},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BustanFGKV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Buttner05,
author = {Wolfram B{\"{u}}ttner},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Is Formal Verification Bound to Remain a Junior Partner of Simulation?},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_1},
doi = {10.1007/11560548\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Buttner05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChakrabartiCHKM05,
author = {Arindam Chakrabarti and
Krishnendu Chatterjee and
Thomas A. Henzinger and
Orna Kupferman and
Rupak Majumdar},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Verifying Quantitative Properties Using Bound Functions},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {50--64},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_7},
doi = {10.1007/11560548\_7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ChakrabartiCHKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChocklerF05,
author = {Hana Chockler and
Kathi Fisler},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Temporal Modalities for Concisely Capturing Timing Diagrams},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {176--190},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_15},
doi = {10.1007/11560548\_15},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/ChocklerF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CiardoY05,
author = {Gianfranco Ciardo and
Andy Jinqing Yu},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Saturation-Based Symbolic Reachability Analysis Using Conjunctive
and Disjunctive Partitioning},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {146--161},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_13},
doi = {10.1007/11560548\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/CiardoY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/DalingerHP05,
author = {Iakov Dalinger and
Mark A. Hillebrand and
Wolfgang J. Paul},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {On the Verification of Memory Management Mechanisms},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {301--316},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_23},
doi = {10.1007/11560548\_23},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/DalingerHP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/FerdinandH05,
author = {Christian Ferdinand and
Reinhold Heckmann},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Verifying Timing Behavior by Abstract Interpretation of Executable
Code},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {336--339},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_26},
doi = {10.1007/11560548\_26},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/FerdinandH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Fujita05,
author = {Masahiro Fujita},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Behavior-RTL Equivalence Checking Based on Data Transfer Analysis
with Virtual Controllers and Datapaths},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {340--344},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_27},
doi = {10.1007/11560548\_27},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Fujita05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GebremichaelVZGRR05,
author = {Biniam Gebremichael and
Frits W. Vaandrager and
Miaomiao Zhang and
Kees Goossens and
Edwin Rijpkema and
Andrei Radulescu},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Deadlock Prevention in the {\AE}thereal Protocol},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {345--348},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_28},
doi = {10.1007/11560548\_28},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/GebremichaelVZGRR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GrosseD05,
author = {Daniel Gro{\ss}e and
Rolf Drechsler},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Acceleration of SAT-Based Iterative Property Checking},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {349--353},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_29},
doi = {10.1007/11560548\_29},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/GrosseD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GrumbergHIS05,
author = {Orna Grumberg and
Tamir Heyman and
Nili Ifergan and
Assaf Schuster},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Achieving Speedups in Distributed Symbolic Reachability Analysis Through
Asynchronous Computation},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {129--145},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_12},
doi = {10.1007/11560548\_12},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/GrumbergHIS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GurfinkelC05,
author = {Arie Gurfinkel and
Marsha Chechik},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {How Thorough Is Thorough Enough?},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {65--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_8},
doi = {10.1007/11560548\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/GurfinkelC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HuntR05,
author = {Warren A. Hunt Jr. and
Erik Reeber},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Formalization of the {DE2} Language},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {20--34},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_5},
doi = {10.1007/11560548\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/HuntR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ImaiK05,
author = {Masaharu Imai and
Akira Kitajima},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Verification Challenges in Configurable Processor Design with {ASIP}
Meister},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {2},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_2},
doi = {10.1007/11560548\_2},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ImaiK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/IyerJPSS05,
author = {Subramanian K. Iyer and
Jawahar Jain and
Mukul R. Prasad and
Debashis Sahoo and
Thomas Sidle},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Error Detection Using {BMC} in a Parallel Environment},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {354--358},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_30},
doi = {10.1007/11560548\_30},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/IyerJPSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/KapschitzG05,
author = {Tsachy Kapschitz and
Ran Ginosar},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Formal Verification of Synchronizers},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {359--362},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_31},
doi = {10.1007/11560548\_31},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/KapschitzG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Lamport05,
author = {Leslie Lamport},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Real-Time Model Checking Is Really Simple},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {162--175},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_14},
doi = {10.1007/11560548\_14},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Lamport05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ManoliosS05,
author = {Panagiotis Manolios and
Sudarshan K. Srinivasan},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification
Problems},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {363--366},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_32},
doi = {10.1007/11560548\_32},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/ManoliosS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Marques-Silva05,
author = {Jo{\~{a}}o Marques{-}Silva},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Improvements to the Implementation of Interpolant-Based Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {367--370},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_33},
doi = {10.1007/11560548\_33},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Marques-Silva05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MatousekSV05,
author = {Petr Matousek and
Ales Smrcka and
Tom{\'{a}}s Vojnar},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware
Design},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {371--375},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_34},
doi = {10.1007/11560548\_34},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/MatousekSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MonyBA05,
author = {Hari Mony and
Jason Baumgartner and
Adnan Aziz},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Exploiting Constraints in Transformation-Based Verification},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {269--284},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_21},
doi = {10.1007/11560548\_21},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/MonyBA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Morin-AlloryC05,
author = {Katell Morin{-}Allory and
David Cachera},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Proving Parameterized Systems: The Use of Pseudo-Pipelines in Polyhedral
Logic},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {376--379},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_35},
doi = {10.1007/11560548\_35},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Morin-AlloryC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/PandavSG05,
author = {Sudhindra Pandav and
Konrad Slind and
Ganesh Gopalakrishnan},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Counterexample Guided Invariant Discovery for Parameterized Cache
Coherence Verification},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {317--331},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_24},
doi = {10.1007/11560548\_24},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/PandavSG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ParuthiJW05,
author = {Viresh Paruthi and
Christian Jacobi and
Kai Weber},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring,
and Case Splitting},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {114--128},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_11},
doi = {10.1007/11560548\_11},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ParuthiJW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/PellL05,
author = {Oliver Pell and
Wayne Luk},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Resolving Quartz Overloading},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {380--383},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_36},
doi = {10.1007/11560548\_36},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/PellL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RiedenLP05,
author = {Thomas In der Rieden and
Dirk Leinenbach and
Wolfgang J. Paul},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Towards the Pervasive Verification of Automotive Systems},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {3--4},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_3},
doi = {10.1007/11560548\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RiedenLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RoordaC05,
author = {Jan{-}Willem Roorda and
Koen Claessen},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {A New SAT-Based Algorithm for Symbolic Trajectory Evaluation},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {238--253},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_19},
doi = {10.1007/11560548\_19},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RoordaC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SafarES05,
author = {Mona Safar and
M. Watheq El{-}Kharashi and
Ashraf Salem},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {{FPGA} Based Accelerator for 3-SAT Conflict Analysis in {SAT} Solvers},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {384--387},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_37},
doi = {10.1007/11560548\_37},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SafarES05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SahooJIDE05,
author = {Debashis Sahoo and
Jawahar Jain and
Subramanian K. Iyer and
David L. Dill and
E. Allen Emerson},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Predictive Reachability Using a Sample-Based Approach},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {388--392},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_38},
doi = {10.1007/11560548\_38},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SahooJIDE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ShenQL05,
author = {ShengYu Shen and
Ying Qin and
Sikun Li},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Minimizing Counterexample of {ACTL} Property},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {393--397},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_39},
doi = {10.1007/11560548\_39},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ShenQL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/StaberJB05,
author = {Stefan Staber and
Barbara Jobstmann and
Roderick Bloem},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Finding and Fixing Faults},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {35--49},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_6},
doi = {10.1007/11560548\_6},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/StaberJB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/TsowJ05,
author = {Alex Tsow and
Steven D. Johnson},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Data Refinement for Synchronous System Specification and Construction},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {398--401},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_40},
doi = {10.1007/11560548\_40},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/TsowJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Velev05,
author = {Miroslav N. Velev},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Automatic Formal Verification of Liveness for Pipelined Processors
with Multicycle Functional Units},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {97--113},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_10},
doi = {10.1007/11560548\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Velev05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/WardS05,
author = {David Ward and
Fabio Somenzi},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Automatic Generation of Hints for Symbolic Traversal},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {207--221},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_17},
doi = {10.1007/11560548\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/WardS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/WeiGC05,
author = {Ou Wei and
Arie Gurfinkel and
Marsha Chechik},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Identification and Counter Abstraction for Full Virtual Symmetry},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {285--300},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_22},
doi = {10.1007/11560548\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/WeiGC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Young05,
author = {William D. Young},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Introducing Abstractions via Rewriting},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {402--405},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_41},
doi = {10.1007/11560548\_41},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Young05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Zarpas05,
author = {Emmanuel Zarpas},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {A Case Study: Formal Verification of Processor Critical Properties},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {406--409},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_42},
doi = {10.1007/11560548\_42},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Zarpas05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ZhangPH05,
author = {Liang Zhang and
Mukul R. Prasad and
Michael S. Hsiao},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Interleaved Invariant Checking with Dynamic Abstraction},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {81--96},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_9},
doi = {10.1007/11560548\_9},
timestamp = {Thu, 02 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ZhangPH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/2005,
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548},
doi = {10.1007/11560548},
isbn = {3-540-29105-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Aagaard03,
author = {Mark D. Aagaard},
editor = {Daniel Geist and
Enrico Tronci},
title = {A Hazards-Based Correctness Statement for Pipelined Circuits},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {66--80},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_8},
doi = {10.1007/978-3-540-39724-3\_8},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/Aagaard03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Abu-HaimedBD03,
author = {Husam Abu{-}Haimed and
Sergey Berezin and
David L. Dill},
editor = {Daniel Geist and
Enrico Tronci},
title = {Semi-formal Verification of Memory Systems by Symbolic Simulation},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {158--163},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_15},
doi = {10.1007/978-3-540-39724-3\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Abu-HaimedBD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BarnerR03,
author = {Sharon Barner and
Ishai Rabinovitz},
editor = {Daniel Geist and
Enrico Tronci},
title = {Effcient Symbolic Model Checking of Software Using Partial Disjunctive
Partitioning},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {35--50},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_6},
doi = {10.1007/978-3-540-39724-3\_6},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BarnerR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Beringer03,
author = {Lennart Beringer},
editor = {Daniel Geist and
Enrico Tronci},
title = {A Programming Language Based Analysis of Operand Forwarding},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {270--276},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_24},
doi = {10.1007/978-3-540-39724-3\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Beringer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BeyerJKLP03,
author = {Sven Beyer and
Christian Jacobi and
Daniel Kroening and
Dirk Leinenbach and
Wolfgang J. Paul},
editor = {Daniel Geist and
Enrico Tronci},
title = {Instantiating Uninterpreted Functional Units and Memory System: Functional
Verification of the {VAMP}},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {51--65},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_7},
doi = {10.1007/978-3-540-39724-3\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BeyerJKLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BryantLS03,
author = {Randal E. Bryant and
Shuvendu K. Lahiri and
Sanjit A. Seshia},
editor = {Daniel Geist and
Enrico Tronci},
title = {Convergence Testing in Term-Level Bounded Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {348--362},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_31},
doi = {10.1007/978-3-540-39724-3\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BryantLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChakiCGS03,
author = {Sagar Chaki and
Edmund M. Clarke and
Alex Groce and
Ofer Strichman},
editor = {Daniel Geist and
Enrico Tronci},
title = {Predicate Abstraction with Minimum Predicates},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {19--34},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_5},
doi = {10.1007/978-3-540-39724-3\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ChakiCGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChocklerKV03,
author = {Hana Chockler and
Orna Kupferman and
Moshe Y. Vardi},
editor = {Daniel Geist and
Enrico Tronci},
title = {Coverage Metrics for Formal Verification},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {111--125},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_11},
doi = {10.1007/978-3-540-39724-3\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ChocklerKV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/EmersonK03,
author = {E. Allen Emerson and
Vineet Kahlon},
editor = {Daniel Geist and
Enrico Tronci},
title = {Exact and Efficient Verification of Parameterized Cache Coherence
Protocols},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {247--262},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_22},
doi = {10.1007/978-3-540-39724-3\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/EmersonK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/EmersonW03,
author = {E. Allen Emerson and
Thomas Wahl},
editor = {Daniel Geist and
Enrico Tronci},
title = {On Combining Symmetry Reduction and Symbolic Representation for Efficient
Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {216--230},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_20},
doi = {10.1007/978-3-540-39724-3\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/EmersonW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Fisler03,
author = {Kathi Fisler},
editor = {Daniel Geist and
Enrico Tronci},
title = {Towards Diagrammability and Efficiency in Event Sequence Languages},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {185--199},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_18},
doi = {10.1007/978-3-540-39724-3\_18},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/Fisler03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GanaiGYA03,
author = {Malay K. Ganai and
Aarti Gupta and
Zijiang Yang and
Pranav Ashar},
editor = {Daniel Geist and
Enrico Tronci},
title = {Efficient Distributed {SAT} and SAT-Based Distributed Bounded Model
Checking},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {334--347},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_30},
doi = {10.1007/978-3-540-39724-3\_30},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/GanaiGYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Geist03,
author = {Daniel Geist},
editor = {Daniel Geist and
Enrico Tronci},
title = {The PSL/Sugar Specification Language {A} Language for all Seasons},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {3},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_3},
doi = {10.1007/978-3-540-39724-3\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Geist03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GordonHS03,
author = {Michael J. C. Gordon and
Joe Hurd and
Konrad Slind},
editor = {Daniel Geist and
Enrico Tronci},
title = {Executing the Formal Semantics of the Accellera Property Specification
Language by Mechanised Theorem Proving},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {200--215},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_19},
doi = {10.1007/978-3-540-39724-3\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/GordonHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GurumurthyKSV03,
author = {Sankar Gurumurthy and
Orna Kupferman and
Fabio Somenzi and
Moshe Y. Vardi},
editor = {Daniel Geist and
Enrico Tronci},
title = {On Complementing Nondeterministic B{\"{u}}chi Automata},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {96--110},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_10},
doi = {10.1007/978-3-540-39724-3\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/GurumurthyKSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HuCY03,
author = {Alan J. Hu and
Jeremy Casas and
Jin Yang},
editor = {Daniel Geist and
Enrico Tronci},
title = {Reasoning about {GSTE} Assertion Graphs},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {170--184},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_17},
doi = {10.1007/978-3-540-39724-3\_17},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/HuCY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HuntKM03,
author = {Warren A. Hunt Jr. and
Robert Bellarmine Krug and
J Strother Moore},
editor = {Daniel Geist and
Enrico Tronci},
title = {Linear and Nonlinear Arithmetic in {ACL2}},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {319--333},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_29},
doi = {10.1007/978-3-540-39724-3\_29},
timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/HuntKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Hymans03,
author = {Charles Hymans},
editor = {Daniel Geist and
Enrico Tronci},
title = {Design and Implementation of an Abstract Interpreter for {VHDL}},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {263--269},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_23},
doi = {10.1007/978-3-540-39724-3\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Hymans03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/IyerSSNJ03,
author = {Subramanian K. Iyer and
Debashis Sahoo and
Christian Stangier and
Amit Narayan and
Jawahar Jain},
editor = {Daniel Geist and
Enrico Tronci},
title = {Improved Symbolic Verification Using Partitioning Techniques},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {410--424},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_35},
doi = {10.1007/978-3-540-39724-3\_35},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/IyerSSNJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/LangbergPR03,
author = {Michael Langberg and
Amir Pnueli and
Yoav Rodeh},
editor = {Daniel Geist and
Enrico Tronci},
title = {The {ROBDD} Size of Simple {CNF} Formulas},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {363--377},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_32},
doi = {10.1007/978-3-540-39724-3\_32},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/LangbergPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/LayouniHT03,
author = {Mohamed Layouni and
Jozef Hooman and
Sofi{\`{e}}ne Tahar},
editor = {Daniel Geist and
Enrico Tronci},
title = {On the Correctness of an Intrusion-Tolerant Group Communication Protocol},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {231--246},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_21},
doi = {10.1007/978-3-540-39724-3\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/LayouniHT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Manolios03,
author = {Panagiotis Manolios},
editor = {Daniel Geist and
Enrico Tronci},
title = {A Compositional Theory of Refinement for Branching Time},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {304--318},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_28},
doi = {10.1007/978-3-540-39724-3\_28},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/Manolios03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Moore03,
author = {J Strother Moore},
editor = {Daniel Geist and
Enrico Tronci},
title = {Inductive Assertions and Operational Semantics},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {289--303},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_27},
doi = {10.1007/978-3-540-39724-3\_27},
timestamp = {Wed, 27 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Moore03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/PastorP03,
author = {Enric Pastor and
Marco A. Pe{\~{n}}a},
editor = {Daniel Geist and
Enrico Tronci},
title = {Efficient Hybrid Reachability Analysis for Asynchronous Concurrent
Systems},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {378--393},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_33},
doi = {10.1007/978-3-540-39724-3\_33},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/PastorP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/PennaIMTZ03,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci and
Marisa Venturini Zilli},
editor = {Daniel Geist and
Enrico Tronci},
title = {Integrating {RAM} and Disk Based Verification within the Mur-phi Verifier},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {277--282},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_25},
doi = {10.1007/978-3-540-39724-3\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/PennaIMTZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/PennaIMTZ03a,
author = {Giuseppe Della Penna and
Benedetto Intrigila and
Igor Melatti and
Enrico Tronci and
Marisa Venturini Zilli},
editor = {Daniel Geist and
Enrico Tronci},
title = {Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {394--409},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_34},
doi = {10.1007/978-3-540-39724-3\_34},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/PennaIMTZ03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Roesner03,
author = {Wolfgang Roesner},
editor = {Daniel Geist and
Enrico Tronci},
title = {What Is beyond the {RTL} Horizon for Microprocessor and System Design?},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {1},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_1},
doi = {10.1007/978-3-540-39724-3\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Roesner03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RouxE03,
author = {C{\'{e}}dric Roux and
Emmanuelle Encrenaz},
editor = {Daniel Geist and
Enrico Tronci},
title = {{CTL} May Be Ambiguous When Model Checking Moore Machines},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {164--169},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_16},
doi = {10.1007/978-3-540-39724-3\_16},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RouxE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SammaneTSOB03,
author = {Ghiath Al Sammane and
Diana Toma and
Julien Schmaltz and
Pierre Ostier and
Dominique Borrione},
editor = {Daniel Geist and
Enrico Tronci},
title = {Constrained Symbolic Simulation with Mathematica and {ACL2}},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {150--157},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_14},
doi = {10.1007/978-3-540-39724-3\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SammaneTSOB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SebastianiT03,
author = {Roberto Sebastiani and
Stefano Tonetta},
editor = {Daniel Geist and
Enrico Tronci},
title = {"More Deterministic" vs. "Smaller" B{\"{u}}chi Automata for Efficient
{LTL} Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {126--140},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_12},
doi = {10.1007/978-3-540-39724-3\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SebastianiT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Sheeran03,
author = {Mary Sheeran},
editor = {Daniel Geist and
Enrico Tronci},
title = {Finding Regularity: Describing and Analysing Circuits That Are Not
Quite Regular},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {4--18},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_4},
doi = {10.1007/978-3-540-39724-3\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Sheeran03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Singh03,
author = {Satnam Singh},
editor = {Daniel Geist and
Enrico Tronci},
title = {Design and Verification of CoreConnectTM {IP} Using Esterel},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {283--288},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_26},
doi = {10.1007/978-3-540-39724-3\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Singh03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Somenzi03,
author = {Fabio Somenzi},
editor = {Daniel Geist and
Enrico Tronci},
title = {The Charme of Abstract Entities},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {2},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_2},
doi = {10.1007/978-3-540-39724-3\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Somenzi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/TzorefMBB03,
author = {Rachel Tzoref and
Mark Matusevich and
Eli Berger and
Ilan Beer},
editor = {Daniel Geist and
Enrico Tronci},
title = {An Optimized Symbolic Bounded Model Checking Engine},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {141--149},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_13},
doi = {10.1007/978-3-540-39724-3\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/TzorefMBB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/YangGLS03,
author = {Yue Yang and
Ganesh Gopalakrishnan and
Gary Lindstrom and
Konrad Slind},
editor = {Daniel Geist and
Enrico Tronci},
title = {Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming
and {SAT}},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {81--95},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_9},
doi = {10.1007/978-3-540-39724-3\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/YangGLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/2003,
editor = {Daniel Geist and
Enrico Tronci},
title = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b93958},
doi = {10.1007/B93958},
isbn = {3-540-20363-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AagaardCDJ01,
author = {Mark D. Aagaard and
Byron Cook and
Nancy A. Day and
Robert B. Jones},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {A Framework for Microprocessor Correctness Statements},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {433--448},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_33},
doi = {10.1007/3-540-44798-9\_33},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/AagaardCDJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AlbrechtH01,
author = {Alvin R. Albrecht and
Alan J. Hu},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Register Transformations with Multiple Clock Domains},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {126--139},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_11},
doi = {10.1007/3-540-44798-9\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/AlbrechtH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BeersGA01,
author = {Robert Beers and
Rajnish Ghughal and
Mark D. Aagaard},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Applications of Hierarchical Verification in Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {40--57},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_3},
doi = {10.1007/3-540-44798-9\_3},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/BeersGA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BergJ01,
author = {Christoph Berg and
Christian Jacobi},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Formal Verification of the {VAMP} Floating Point Unit},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {325--339},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_26},
doi = {10.1007/3-540-44798-9\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BergJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BerryS01,
author = {G{\'{e}}rard Berry and
Ellen Sentovich},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Multiclock Esterel},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {110--125},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_10},
doi = {10.1007/3-540-44798-9\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BerryS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Beyer01,
author = {Dirk Beyer},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Efficient Reachability Analysis and Refinement Checking of Timed Automata
Using BDDs},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {86--91},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_6},
doi = {10.1007/3-540-44798-9\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Beyer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BhadraMAA01,
author = {Jayanta Bhadra and
Andrew K. Martin and
Jacob A. Abraham and
Magdy S. Abadir},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Using Abstract Specifications to Verify PowerPC\({}^{\mbox{TM}}\)
Custom Memories by Symbolic Trajectory Evaluation},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {386--402},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_30},
doi = {10.1007/3-540-44798-9\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BhadraMAA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ButlerCDM01,
author = {Ricky W. Butler and
Victor Carre{\~{n}}o and
Gilles Dowek and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Formal Verification of Conflict Detection Algorithms},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {403--417},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_31},
doi = {10.1007/3-540-44798-9\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ButlerCDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChauhanCJKVW01,
author = {Pankaj Chauhan and
Edmund M. Clarke and
Somesh Jha and
James H. Kukula and
Helmut Veith and
Dong Wang},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Using Combinatorial Optimization Methods for Quantification Scheduling},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {293--309},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_24},
doi = {10.1007/3-540-44798-9\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ChauhanCJKVW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ClaessenSS01,
author = {Koen Claessen and
Mary Sheeran and
Satnam Singh},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {The Design and Verification of a Sorter Core},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {355--369},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_28},
doi = {10.1007/3-540-44798-9\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ClaessenSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CoptyIWKK01,
author = {Fady Copty and
Amitai Irron and
Osnat Weissberg and
Nathan P. Kropp and
Gila Kamhi},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Efficient Debugging in a Formal Verification Environment},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {275--292},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_23},
doi = {10.1007/3-540-44798-9\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/CoptyIWKK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/EsparzaS01,
author = {Javier Esparza and
Claus Schr{\"{o}}ter},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Net Reductions for {LTL} Model-Checking},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {310--324},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_25},
doi = {10.1007/3-540-44798-9\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/EsparzaS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GascardP01,
author = {Eric Gascard and
Laurence Pierre},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Induction-Oriented Formal Verification in Symmetric Interconnection
Networks},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {418--432},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_32},
doi = {10.1007/3-540-44798-9\_32},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/GascardP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HeT01,
author = {Ji He and
Kenneth J. Turner},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Specifying Hardware Timing with {ET-L} {OTOS}},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {161--166},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_14},
doi = {10.1007/3-540-44798-9\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/HeT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HuibiaoBJ01,
author = {Huibiao Zhu and
Jonathan P. Bowen and
Jifeng He},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {From Operational Semantics to Denotational Semantics for Verilog},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {449--466},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_34},
doi = {10.1007/3-540-44798-9\_34},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/HuibiaoBJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Johnson01,
author = {Steven D. Johnson},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {View from the Fringe of the Fringe},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {1--12},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_1},
doi = {10.1007/3-540-44798-9\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Johnson01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/KaivolaK01,
author = {Roope Kaivola and
Katherine R. Kohatsu},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Proof Engineering in the Large: Formal Verification of Pentium\({}^{\mbox{{\textregistered}}}\)
4 Floating-Point Divider},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {196--211},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_18},
doi = {10.1007/3-540-44798-9\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/KaivolaK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/KongNY01,
author = {Xiaohua Kong and
Radu Negulescu and
Larry Weidong Ying},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Refinement-Based Formal Verification of Asynchronous Wrappers for
Independently Clocked Domains in Systems on Chip},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {370--385},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_29},
doi = {10.1007/3-540-44798-9\_29},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/KongNY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/KortTC01,
author = {Iskander Kort and
Sofi{\`{e}}ne Tahar and
Paul Curzon},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Hierarchical Verification Using an {MDG-HOL} Hybrid Tool},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {244--258},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_21},
doi = {10.1007/3-540-44798-9\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/KortTC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/McKeeverL01,
author = {Steve McKeever and
Wayne Luk},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Towards Provably-Correct Hardware Compilation Tools Based on Pass
Separation Techniques},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {212--227},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_19},
doi = {10.1007/3-540-44798-9\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/McKeeverL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/McMillan01,
author = {Kenneth L. McMillan},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Parameterized Verification of the {FLASH} Cache Coherence Protocol
by Compositional Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {179--195},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_17},
doi = {10.1007/3-540-44798-9\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/McMillan01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MollerA01,
author = {M. Oliver M{\"{o}}ller and
Rajeev Alur},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Heuristics for Hierarchical Partitioning with Application to Model
Checking},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {71--85},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_5},
doi = {10.1007/3-540-44798-9\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/MollerA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MycroftS01,
author = {Alan Mycroft and
Richard Sharp},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Hardware Synthesis Using {SAFL} and Application to Processor Design},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {13--39},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_2},
doi = {10.1007/3-540-44798-9\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/MycroftS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RadhakrishnanTV01,
author = {Rajesh Radhakrishnan and
Elena Teica and
Ranga Vemuri},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Verification of Basic Block Schedules Using {RTL} Transformations},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {173--178},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_16},
doi = {10.1007/3-540-44798-9\_16},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RadhakrishnanTV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RatzabyUW01,
author = {Gil Ratsaby and
Shmuel Ur and
Yaron Wolfsthal},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Coverability Analysis Using Symbolic Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {155--160},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_13},
doi = {10.1007/3-540-44798-9\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RatzabyUW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SeceleanuP01,
author = {Tiberiu Seceleanu and
Juha Plosila},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Formal Pipeline Design},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {167--172},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_15},
doi = {10.1007/3-540-44798-9\_15},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SeceleanuP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SharpM01,
author = {Richard Sharp and
Alan Mycroft},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {A Higher-Level Language for Hardware Synthesis},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {228--243},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_20},
doi = {10.1007/3-540-44798-9\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SharpM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ShimizuDC01,
author = {Kanna Shimizu and
David L. Dill and
Ching{-}Tsun Chou},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {A Specification Methodology by a Collection of Compact Properties
as Applied to the Intel\({}^{\mbox{{\textregistered}}}\) Itanium\({}^{\mbox{TM}}\)
Processor Bus Protocol},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {340--354},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_27},
doi = {10.1007/3-540-44798-9\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ShimizuDC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Shtrichman01,
author = {Ofer Strichman},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Pruning Techniques for the SAT-Based Bounded Model Checking Problem},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {58--70},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_4},
doi = {10.1007/3-540-44798-9\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Shtrichman01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SieweH01,
author = {Fran{\c{c}}ois Siewe and
Dang Van Hung},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Deriving Real-Time Programs from Duration Calculus Specifications},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {92--97},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_7},
doi = {10.1007/3-540-44798-9\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SieweH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/TronciPIZ01,
author = {Enrico Tronci and
Giuseppe Della Penna and
Benedetto Intrigila and
Marisa Venturini Zilli},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Exploiting Transition Locality in Automatic Verification},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {259--274},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_22},
doi = {10.1007/3-540-44798-9\_22},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/TronciPIZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/TurnerH01,
author = {Kenneth J. Turner and
Ji He},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Formally-Based Design Evaluation},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {104--109},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_9},
doi = {10.1007/3-540-44798-9\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/TurnerH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/WinstanleyG01,
author = {Anthony Winstanley and
Mark R. Greenstreet},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Temporal Properties of Self-Timed Rings},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {140--154},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_12},
doi = {10.1007/3-540-44798-9\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/WinstanleyG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/XuandongYJYTG01,
author = {Xuandong Li and
Yu Pei and
Jianhua Zhao and
Yong Li and
Tao Zheng and
Guoliang Zheng},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Efficient Verification of a Class of Linear Hybrid Automata Using
Linear Programming},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {465--480},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_35},
doi = {10.1007/3-540-44798-9\_35},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/XuandongYJYTG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/YoravKK01,
author = {Karen Yorav and
Sagi Katz and
Ron Kiper},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Reproducing Synchronization Bugs with Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {98--103},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_8},
doi = {10.1007/3-540-44798-9\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/YoravKK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/2001,
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9},
doi = {10.1007/3-540-44798-9},
isbn = {3-540-42541-1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AagaardMO99,
author = {Mark D. Aagaard and
Thomas F. Melham and
John W. O'Leary},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Xs are for Trajectory Evaluation, Booleans are for Theorem Proving},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {202--218},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_16},
doi = {10.1007/3-540-48153-2\_16},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/AagaardMO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AmlaEN99,
author = {Nina Amla and
E. Allen Emerson and
Kedar S. Namjoshi},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Efficient Decompositional Model Checking for Regular Timing Diagrams},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {67--81},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_7},
doi = {10.1007/3-540-48153-2\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/AmlaEN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Berry99,
author = {G{\'{e}}rard Berry},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract)},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {1},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_1},
doi = {10.1007/3-540-48153-2\_1},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Berry99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BlumenrohrS99,
author = {Christian Blumenr{\"{o}}hr and
Viktor K. Sabelfeld},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Formal Synthesis at the Algorithmic Level},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {187--201},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_15},
doi = {10.1007/3-540-48153-2\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BlumenrohrS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BozgaMT99,
author = {Marius Bozga and
Oded Maler and
Stavros Tripakis},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Efficient Verification of Timed Automata Using Dense and Discrete
Time Semantics},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {125--141},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_11},
doi = {10.1007/3-540-48153-2\_11},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/BozgaMT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ClarkeFRRST99,
author = {Edmund M. Clarke and
Masahiro Fujita and
Sreeranga P. Rajan and
Thomas W. Reps and
Subash Shankar and
Tim Teitelbaum},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Program Slicing of Hardware Description Languages},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {298--312},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_22},
doi = {10.1007/3-540-48153-2\_22},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ClarkeFRRST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ClarkeJLW99,
author = {Edmund M. Clarke and
Somesh Jha and
Yuan Lu and
Dong Wang},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Abstract BDDs: {A} Technique for Using Abstraction in Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {172--186},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_14},
doi = {10.1007/3-540-48153-2\_14},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/ClarkeJLW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CookLMK99,
author = {Byron Cook and
John Launchbury and
John Matthews and
Richard B. Kieburtz},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Formal Verification of Explicitly Parallel Microprocessors},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {23--36},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_4},
doi = {10.1007/3-540-48153-2\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/CookLMK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/DayLC99,
author = {Nancy A. Day and
Jeffrey R. Lewis and
Byron Cook},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Symbolic Simulation of Microprocessor Models using Type Classes in
Haskell},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {346--349},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_31},
doi = {10.1007/3-540-48153-2\_31},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/DayLC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/EconomakosP99,
author = {George Economakos and
George K. Papakonstantinou},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Refinement and Property Checking in High-Level Synthesis using Attribute
Grammars},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {330--333},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_27},
doi = {10.1007/3-540-48153-2\_27},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/EconomakosP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Eisner99,
author = {Cindy Eisner},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd
and Heerhugowaard},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {97--109},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_9},
doi = {10.1007/3-540-48153-2\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Eisner99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/EmersonT99,
author = {E. Allen Emerson and
Richard J. Trefler},
editor = {Laurence Pierre and
Thomas Kropf},
title = {From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction
in Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {142--156},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_12},
doi = {10.1007/3-540-48153-2\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/EmersonT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/FislerV99,
author = {Kathi Fisler and
Moshe Y. Vardi},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Bisimulation and Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {338--341},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_29},
doi = {10.1007/3-540-48153-2\_29},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/FislerV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Godesken99,
author = {Jens Chr. Godesken},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Fault Models for Embedded Systems (Extended Abstract)},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {354--359},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_33},
doi = {10.1007/3-540-48153-2\_33},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Godesken99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GuptaAM99,
author = {Aarti Gupta and
Pranav Ashar and
Sharad Malik},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Exploiting Retiming in a Guided Simulation Based Validation Methodology},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {350--353},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_32},
doi = {10.1007/3-540-48153-2\_32},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/GuptaAM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HendricxC99,
author = {Stefan Hendricx and
Luc J. M. Claesen},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Verification of Finite-State-Machine Refinements Using a Symbolic
Methodology},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {326--329},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_26},
doi = {10.1007/3-540-48153-2\_26},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/HendricxC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HoffmannK99,
author = {Dirk W. Hoffmann and
Thomas Kropf},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Automatic Error Correction of Large Circuits Using Boolean Decomposition
and Abstraction},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {157--171},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_13},
doi = {10.1007/3-540-48153-2\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/HoffmannK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HosabettuGS99,
author = {Ravi Hosabettu and
Ganesh Gopalakrishnan and
Mandayam K. Srivas},
editor = {Laurence Pierre and
Thomas Kropf},
title = {A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm
without a Reorder Buffer},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {8--22},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_3},
doi = {10.1007/3-540-48153-2\_3},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/HosabettuGS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Jansen99,
author = {Peter Jansen},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Design Process of Embedded Automotive Systems - Using Model Checking
for Correct Specification},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {2--7},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_2},
doi = {10.1007/3-540-48153-2\_2},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Jansen99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/JohnsonLZ99,
author = {Steven D. Johnson and
Yanhong A. Liu and
Yuchen Zhang},
editor = {Laurence Pierre and
Thomas Kropf},
title = {A Systematic Incrementalization Technique and Its Application to Hardware
Design},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {334--337},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_28},
doi = {10.1007/3-540-48153-2\_28},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/JohnsonLZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/KatzGG99,
author = {Sagi Katz and
Orna Grumberg and
Daniel Geist},
editor = {Laurence Pierre and
Thomas Kropf},
title = {"Have {I} written enough Properties?" - {A} Method of Comparison between
Specification and Implementation},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {280--297},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_21},
doi = {10.1007/3-540-48153-2\_21},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/KatzGG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/KupfermanV99,
author = {Orna Kupferman and
Moshe Y. Vardi},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Vacuity Detection in Temporal Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {82--96},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_8},
doi = {10.1007/3-540-48153-2\_8},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/KupfermanV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/McMillan99,
author = {Kenneth L. McMillan},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Verification of Infinite State Systems by Compositional Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {219--234},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_17},
doi = {10.1007/3-540-48153-2\_17},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/McMillan99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/McMillan99a,
author = {Kenneth L. McMillan},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Circular Compositional Reasoning about Liveness},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {342--345},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_30},
doi = {10.1007/3-540-48153-2\_30},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/McMillan99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RaviS99,
author = {Kavita Ravi and
Fabio Somenzi},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Hints to accelerate Symbolic Traversal},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {250--264},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_19},
doi = {10.1007/3-540-48153-2\_19},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RaviS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RitterEH99,
author = {Gerd Ritter and
Hans Eveking and
Holger Hinrichsen},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Formal Verification of Designs with Complex Control by Symbolic Simulation},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {234--249},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_18},
doi = {10.1007/3-540-48153-2\_18},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RitterEH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RufK99,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Modleing and Checking Networks of Communicating Real-Time Process},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {265--279},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_20},
doi = {10.1007/3-540-48153-2\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RufK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SawadaJ99,
author = {Jun Sawada and
Warren A. Hunt Jr.},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Results of the Verification of a Complex Pipelined Machine Model},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {313--316},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_23},
doi = {10.1007/3-540-48153-2\_23},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SawadaJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Schneider99,
author = {Klaus Schneider},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Yet another Look at the {LTL} Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {321--325},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_25},
doi = {10.1007/3-540-48153-2\_25},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Schneider99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SchneiderHL99,
author = {Klaus Schneider and
Michaela Huhn and
George Logothetis},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Validation of Object-Oriented Concurrent Designs by Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {360--364},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_34},
doi = {10.1007/3-540-48153-2\_34},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SchneiderHL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/VelevB99,
author = {Miroslav N. Velev and
Randal E. Bryant},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Superscalar Processor Verification Using Efficient Reductions of the
Logic of Equality with Uninterpreted Functions to Propositional Logic},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {37--53},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_5},
doi = {10.1007/3-540-48153-2\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/VelevB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/XuCSCLP99,
author = {Ying Xu and
Eduard Cerny and
Allan Silburt and
A. Coady and
Ying Liu and
Philip Pownall},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Practical Application of Formal Verification Techniques on a Frame
Mux/Demux Chip from Nortel Semiconductors},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {110--124},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_10},
doi = {10.1007/3-540-48153-2\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/XuCSCLP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/YenigunLPB99,
author = {H{\"{u}}sn{\"{u}} Yenig{\"{u}}n and
Vladimir Levin and
Doron A. Peled and
Peter A. Beerel},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Hazard-Freedom Checking in Speed-Independent Systems},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {317--320},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_24},
doi = {10.1007/3-540-48153-2\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/YenigunLPB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/YuML99,
author = {Yuan Yu and
Panagiotis Manolios and
Leslie Lamport},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Model Checking TLA\({}^{\mbox{+}}\) Specifications},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {54--66},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_6},
doi = {10.1007/3-540-48153-2\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/YuML99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/1999,
editor = {Laurence Pierre and
Thomas Kropf},
title = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2},
doi = {10.1007/3-540-48153-2},
isbn = {3-540-66559-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Ait-MohamedSC97,
author = {Otmane A{\"{\i}}t Mohamed and
Xiaoyu Song and
Eduard Cerny},
editor = {Hon Fung Li and
David K. Probst},
title = {On the non-termination of MDGs-based abstract state enumeration},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {218--235},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 18 Feb 2010 08:37:22 +0100},
biburl = {https://dblp.org/rec/conf/charme/Ait-MohamedSC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BaldiCRPRS97,
author = {Mario Baldi and
Fulvio Corno and
Maurizio Rebaudengo and
Paolo Prinetto and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Hon Fung Li and
David K. Probst},
title = {Simulation-based verification of network protocols performance},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {236--251},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/BaldiCRPRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BorrioneVB97,
author = {Dominique Borrione and
F. Vestman and
H. Bouamama},
editor = {Hon Fung Li and
David K. Probst},
title = {An approach to Verilog-VHDL interoperability for synchronous designs},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {65--87},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/BorrioneVB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CabodiCLPQ97,
author = {Gianpiero Cabodi and
Paolo Camurati and
Antonio Lioy and
Massimo Poncino and
Stefano Quer},
editor = {Hon Fung Li and
David K. Probst},
title = {A parallel approach to symbolic traversal based on set partitioning},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {167--184},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/CabodiCLPQ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/DammP97,
author = {Werner Damm and
Amir Pnueli},
editor = {Hon Fung Li and
David K. Probst},
title = {Verifying out-of-order executions},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {23--47},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/DammP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/DeharbeM97,
author = {David D{\'{e}}harbe and
Anamaria Martins Moreira},
editor = {Hon Fung Li and
David K. Probst},
title = {Using induction and BDDs to model check invariants},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {203--213},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/DeharbeM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/EconomakosPPT97,
author = {George Economakos and
George K. Papakonstantinou and
Kiamal Z. Pekmestzi and
Panayotis Tsanakas},
editor = {Hon Fung Li and
David K. Probst},
title = {Hardware compilation using attribute grammars},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {273--290},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Sun, 09 Sep 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/EconomakosPPT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GopalakrishnanGHMN97,
author = {Ganesh Gopalakrishnan and
Rajnish Ghughal and
Ravi Hosabettu and
Abdelillah Mokkedem and
Ratan Nalumasu},
editor = {Hon Fung Li and
David K. Probst},
title = {Formal modeling and validation applied to a commercial coherent bus:
a case study},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {48--62},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Mon, 04 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/GopalakrishnanGHMN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Horeth97,
author = {Stefan H{\"{o}}reth},
editor = {Hon Fung Li and
David K. Probst},
title = {Implementation of a multiple-domain decision diagram package},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {185--202},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/Horeth97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Hughes97,
author = {Roger B. Hughes},
editor = {Hon Fung Li and
David K. Probst},
title = {CheckOff-M: model checking and its role in {IP}},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {217},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/Hughes97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/JohnsonM97,
author = {Steven D. Johnson and
Paul S. Miner},
editor = {Hon Fung Li and
David K. Probst},
title = {Integrated reasoning support in system design: design derivation and
theorem proving},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {255--272},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/JohnsonM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/LiCMCZ97,
author = {Xiaoshan Li and
Antonio Cau and
Ben C. Moszkowski and
Nick Coleman and
Hussein Zedan},
editor = {Hon Fung Li and
David K. Probst},
title = {Proving the correctness of the interlock mechanism in processor design},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {5--22},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/LiCMCZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MadridBK97,
author = {Natividad Mart{\'{\i}}nez Madrid and
Peter T. Breuer and
Carlos Delgado Kloos},
editor = {Hon Fung Li and
David K. Probst},
title = {A semantic model for {VHDL-AMS}},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {106--123},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/MadridBK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Mutz97,
author = {Matthias Mutz},
editor = {Hon Fung Li and
David K. Probst},
title = {Automatic post-synthesis verification support for a high level synthesis
step by using the {HOL} theorem proving system},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {291--308},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/Mutz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Roman97,
author = {Carlos M. Roman},
editor = {Hon Fung Li and
David K. Probst},
title = {Is there a crisis in hardware verification?},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {309--310},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/Roman97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RomanPK97,
author = {Carlos M. Roman and
Gary De Palma and
Robert P. Kurshan},
editor = {Hon Fung Li and
David K. Probst},
title = {Model checking without hardware drivers},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {127},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/RomanPK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RufK97,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
editor = {Hon Fung Li and
David K. Probst},
title = {Symbolic model checking for a discrete clocked temporal logic with
intervals},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {146--163},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/RufK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ShankarS97,
author = {Subash Shankar and
James R. Slagle},
editor = {Hon Fung Li and
David K. Probst},
title = {A polymodal semantics for {VHDL}},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {88--105},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/ShankarS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Silburt97,
author = {Allan Silburt},
editor = {Hon Fung Li and
David K. Probst},
title = {ASIC/system hardware verification at Nortel: a view from the trenches},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {1},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Fri, 03 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/Silburt97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/VisserBFGW97,
author = {Willem Visser and
Howard Barringer and
Donal Fellows and
Graham Gough and
Alan R. Williams},
editor = {Hon Fung Li and
David K. Probst},
title = {Efficient CTL* model checking for analysis of rainbow designs},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {128--145},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Tue, 28 Jan 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/VisserBFGW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/1997,
editor = {Hon Fung Li and
David K. Probst},
title = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
publisher = {Chapman {\&} Hall},
year = {1997},
isbn = {0-412-81330-0},
timestamp = {Thu, 18 Feb 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BarringerGMW95,
author = {Howard Barringer and
Graham Gough and
Brian Monahan and
Alan R. Williams},
editor = {Paolo Camurati and
Hans Eveking},
title = {Formal support for the {ELLA} hardwar description language},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {225--245},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_14},
doi = {10.1007/3-540-60385-9\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/BarringerGMW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Bolignano95,
author = {Dominique Bolignano},
editor = {Paolo Camurati and
Hans Eveking},
title = {A partial-order approach to the verification of concurrent systems:
checking liveness properties},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {278--292},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_17},
doi = {10.1007/3-540-60385-9\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Bolignano95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CabodiQC95,
author = {Gianpiero Cabodi and
Stefano Quer and
Paolo Camurati},
editor = {Paolo Camurati and
Hans Eveking},
title = {Transforming boolean relations by symbolic encoding},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {161--170},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_10},
doi = {10.1007/3-540-60385-9\_10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/CabodiQC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CorellaLCZS95,
author = {Francisco Corella and
Michel Langevin and
Eduard Cerny and
Zijian Zhou and
Xiaoyu Song},
editor = {Paolo Camurati and
Hans Eveking},
title = {State enumeration with abstract descriptions of state machines},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {146--160},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_9},
doi = {10.1007/3-540-60385-9\_9},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/CorellaLCZS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Curzon95,
author = {Paul Curzon},
editor = {Paolo Camurati and
Hans Eveking},
title = {Problems encountered in the machine-assisted proof of hardware},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {56--70},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_4},
doi = {10.1007/3-540-60385-9\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Curzon95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/DeharbeB95,
author = {David D{\'{e}}harbe and
Dominique Borrione},
editor = {Paolo Camurati and
Hans Eveking},
title = {Semantics of a verification-oriented subset of {VHDL}},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {293--310},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_18},
doi = {10.1007/3-540-60385-9\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/DeharbeB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/EisenbieglerK95,
author = {Dirk Eisenbiegler and
Ramayya Kumar},
editor = {Paolo Camurati and
Hans Eveking},
title = {Formally embedding existing high level synthesis algorithms},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {71--83},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_5},
doi = {10.1007/3-540-60385-9\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/EisenbieglerK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Encrenaz95,
author = {Emmanuelle Encrenaz},
editor = {Paolo Camurati and
Hans Eveking},
title = {A Symbolic Relation for a Subset of VHDL'87 Descriptions and its Application
to Symbolic Model Checking},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {328--342},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_20},
doi = {10.1007/3-540-60385-9\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Encrenaz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Goossens95,
author = {Kees G. W. Goossens},
editor = {Paolo Camurati and
Hans Eveking},
title = {Reasoning about {VHDL} using operational and observational semantics},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {311--327},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_19},
doi = {10.1007/3-540-60385-9\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Goossens95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HungarGD95,
author = {Hardi Hungar and
Orna Grumberg and
Werner Damm},
editor = {Paolo Camurati and
Hans Eveking},
title = {What if model checking must be truly symbolic},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {1--20},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_1},
doi = {10.1007/3-540-60385-9\_1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/HungarGD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MalerP95,
author = {Oded Maler and
Amir Pnueli},
editor = {Paolo Camurati and
Hans Eveking},
title = {Timing analysis of asynchronous circuits using timed automata},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {189--205},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_12},
doi = {10.1007/3-540-60385-9\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/MalerP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/McFarlandK95,
author = {Michael C. McFarland and
Thaddeus J. Kowalski},
editor = {Paolo Camurati and
Hans Eveking},
title = {Symbolic analysis and verification of {CPA} descriptions},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {103--123},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_7},
doi = {10.1007/3-540-60385-9\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/McFarlandK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MeloB95,
author = {Ana Cristina Vieira de Melo and
Howard Barringer},
editor = {Paolo Camurati and
Hans Eveking},
title = {A foundation for formal reuse of hardware},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {124--145},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_8},
doi = {10.1007/3-540-60385-9\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/MeloB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/NicolaFGLR95,
author = {Rocco De Nicola and
Alessandro Fantechi and
Stefania Gnesi and
Salvatore Larosa and
Gioia Ristori},
editor = {Paolo Camurati and
Hans Eveking},
title = {Verifying hardware components within {JACK}},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {246--260},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_15},
doi = {10.1007/3-540-60385-9\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/NicolaFGLR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Pierre95,
author = {Laurence Pierre},
editor = {Paolo Camurati and
Hans Eveking},
title = {Describing and verifying synchronous circuits with the Boyer-Moore
theorem prover},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {35--55},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_3},
doi = {10.1007/3-540-60385-9\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Pierre95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SternD95,
author = {Ulrich Stern and
David L. Dill},
editor = {Paolo Camurati and
Hans Eveking},
title = {Automatic verification of the {SCI} cache coherence protocol},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {21--34},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_2},
doi = {10.1007/3-540-60385-9\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SternD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SternD95a,
author = {Ulrich Stern and
David L. Dill},
editor = {Paolo Camurati and
Hans Eveking},
title = {Improved probabilistic verification by hash compaction},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {206--224},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_13},
doi = {10.1007/3-540-60385-9\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SternD95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/TasiranHB95,
author = {Serdar Tasiran and
Ramin Hojati and
Robert K. Brayton},
editor = {Paolo Camurati and
Hans Eveking},
title = {Language containment of non-deterministic \emph{omega}-automata},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {261--277},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_16},
doi = {10.1007/3-540-60385-9\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/TasiranHB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/WahbaB95,
author = {Ayman M. Wahba and
Dominique Borrione},
editor = {Paolo Camurati and
Hans Eveking},
title = {Design error diagnosis in sequential circuits},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {171--188},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_11},
doi = {10.1007/3-540-60385-9\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/WahbaB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/WangM95,
author = {Li{-}Guo Wang and
Michael Mendler},
editor = {Paolo Camurati and
Hans Eveking},
title = {Formal design of a class of computers},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
pages = {84--102},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9\_6},
doi = {10.1007/3-540-60385-9\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/WangM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/1995,
editor = {Paolo Camurati and
Hans Eveking},
title = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '95, Frankfurt/Main,
Germany, October 2-4, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {987},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60385-9},
doi = {10.1007/3-540-60385-9},
isbn = {3-540-60385-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Bailey93,
author = {Andrew M. Bailey},
editor = {George J. Milne and
Laurence Pierre},
title = {Automatic Verification of Speed-Independent Circuit Designs Using
the Circal System},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {167--178},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021722},
doi = {10.1007/BFB0021722},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/Bailey93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Bojsen93,
author = {Per Bojsen},
editor = {George J. Milne and
Laurence Pierre},
title = {An Approach to Formalization of Data Flow Graphs},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {258--269},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021729},
doi = {10.1007/BFB0021729},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Bojsen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BoseJ93,
author = {Bhaskar Bose and
Steven D. Johnson},
editor = {George J. Milne and
Laurence Pierre},
title = {{DDD-FM9001:} Derivation of a Verified Microprocessor},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {191--202},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021724},
doi = {10.1007/BFB0021724},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/BoseJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CabodiC93,
author = {Gianpiero Cabodi and
Paolo Camurati},
editor = {George J. Milne and
Laurence Pierre},
title = {Advancements in Symbolic Traversal Technique},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {155--166},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021721},
doi = {10.1007/BFB0021721},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/CabodiC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CamuratiCP93,
author = {Paolo Camurati and
Fulvio Corno and
Paolo Prinetto},
editor = {George J. Milne and
Laurence Pierre},
title = {A Methodology for System-Level Design for Verifiability},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {80--91},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021716},
doi = {10.1007/BFB0021716},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/CamuratiCP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChazarainC93,
author = {Jacques Chazarain and
H{\'{e}}l{\`{e}}ne Collavizza},
editor = {George J. Milne and
Laurence Pierre},
title = {Combining Symbolic Evaluation and Object-Oriented Approach for Verifying
Processor-Like Architectures at the RT-Level},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {109--121},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021718},
doi = {10.1007/BFB0021718},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ChazarainC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Cingel93,
author = {Viktor Cingel},
editor = {George J. Milne and
Laurence Pierre},
title = {A Graph-Based Method for Timing Diagrams Representation and Verification},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {1--14},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021710},
doi = {10.1007/BFB0021710},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Cingel93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HannaD93,
author = {Keith Hanna and
Neil Daeche},
editor = {George J. Milne and
Laurence Pierre},
title = {Strongly-Typed Theory of Structures and Behaviours},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {39--54},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021713},
doi = {10.1007/BFB0021713},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/HannaD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HarmanT93,
author = {Neal A. Harman and
John V. Tucker},
editor = {George J. Milne and
Laurence Pierre},
title = {Algebraic Models and the Correctness of Microprocessors},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {92--108},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021717},
doi = {10.1007/BFB0021717},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/HarmanT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/JifengPB93,
author = {Jifeng He and
Ian Page and
Jonathan P. Bowen},
editor = {George J. Milne and
Laurence Pierre},
title = {Towards a Provably Correct Hardware Implementation of Occam},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {214--225},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021726},
doi = {10.1007/BFB0021726},
timestamp = {Mon, 21 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/JifengPB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Kessels93,
author = {Joep L. W. Kessels},
editor = {George J. Milne and
Laurence Pierre},
title = {Calculational Derivation of a Counter with Bounded Response Time},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {203--213},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021725},
doi = {10.1007/BFB0021725},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Kessels93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/KropfKS93,
author = {Thomas Kropf and
Ramayya Kumar and
Klaus Schneider},
editor = {George J. Milne and
Laurence Pierre},
title = {Embedding Hardware Verification Within a Commercial Design Framework},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {242--257},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021728},
doi = {10.1007/BFB0021728},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/KropfKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/MartelloL93,
author = {Alan R. Martello and
Steven P. Levitan},
editor = {George J. Milne and
Laurence Pierre},
title = {Temporal Analysis of Time Bounded Digital Systems},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {27--38},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021712},
doi = {10.1007/BFB0021712},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/MartelloL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/OlcozC93,
author = {Seraf{\'{\i}}n Olcoz and
Jos{\'{e}} Manuel Colom},
editor = {George J. Milne and
Laurence Pierre},
title = {A Petri Net Approach for the Analysis of {VHDL} Descriptions},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {15--26},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021711},
doi = {10.1007/BFB0021711},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/OlcozC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SharpR93,
author = {Robin Sharp and
Ole Rasmussen},
editor = {George J. Milne and
Laurence Pierre},
title = {Rewriting with Constraints in T-Ruby},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {226--241},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021727},
doi = {10.1007/BFB0021727},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/SharpR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/SmithZ93,
author = {Scott F. Smith and
Amy E. Zwarico},
editor = {George J. Milne and
Laurence Pierre},
title = {Correct Compilation of Specifications to Deterministic Asynchronous
Circuits},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {179--190},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021723},
doi = {10.1007/BFB0021723},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/charme/SmithZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Subrahmanyam93,
author = {P. A. Subrahmanyam},
editor = {George J. Milne and
Laurence Pierre},
title = {Towards Verifying Large(r) Systems: {A} Strategy and an Experiment},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {135--154},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021720},
doi = {10.1007/BFB0021720},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Subrahmanyam93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/WahbaA93,
author = {Ayman M. Wahba and
Einar J. Aas},
editor = {George J. Milne and
Laurence Pierre},
title = {Verification and Diagnosis of Digital Systems by Termary Reasoning},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {55--67},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021714},
doi = {10.1007/BFB0021714},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/WahbaA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/Windley93,
author = {Phillip J. Windley},
editor = {George J. Milne and
Laurence Pierre},
title = {A Theory of Generic Interpreters},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {122--134},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021719},
doi = {10.1007/BFB0021719},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/Windley93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ZhangT93,
author = {Qinhai Zhang and
Charles Trullemans},
editor = {George J. Milne and
Laurence Pierre},
title = {Logic Verification of Incomplete Functions and Design Error Location},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {68--79},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021715},
doi = {10.1007/BFB0021715},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ZhangT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/1993,
editor = {George J. Milne and
Laurence Pierre},
title = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021709},
doi = {10.1007/BFB0021709},
isbn = {3-540-56778-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/1993.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.
retrieved on 2025-01-03 22:37 CET 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:
