Search dblp for Publications

export results for "toc:db/conf/charme/charme2001.bht:"

 download as .bib file

@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, 21 May 2017 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.