Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/charme/charme1999.bht:"
download as .bib file
@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, 21 May 2017 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, 21 May 2017 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}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-06 16:16 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
