Search dblp for Publications

export results for "toc:db/conf/fmcad/fmcad1998.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fmcad/BerezinBCZ98,
  author       = {Sergey Berezin and
                  Armin Biere and
                  Edmund M. Clarke and
                  Yunshan Zhu},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Combining Symbolic Model Checking with Uninterpreted Functions for
                  Out-of-Order Processor Verification},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {369--386},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_24},
  doi          = {10.1007/3-540-49519-3\_24},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/BerezinBCZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/BunkerLJW98,
  author       = {Annette Bunker and
                  Trent N. Larson and
                  Michael D. Jones and
                  Phillip J. Windley},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Alexandria: {A} Tool for Hierarchical Verification},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {515--522},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_34},
  doi          = {10.1007/3-540-49519-3\_34},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/BunkerLJW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/ChinK98,
  author       = {Shiu{-}Kai Chin and
                  Jang Dae Kim},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {An Instruction Set Process Calculus},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {451--468},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_29},
  doi          = {10.1007/3-540-49519-3\_29},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/ChinK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/DeharbeSC98,
  author       = {David D{\'{e}}harbe and
                  Subash Shankar and
                  Edmund M. Clarke},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Model Checking {VHDL} with {CV}},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {508--514},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_33},
  doi          = {10.1007/3-540-49519-3\_33},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/DeharbeSC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Eiriksson98,
  author       = {{\'{A}}sgeir Th. Eir{\'{\i}}ksson},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {The Formal Design of 1M-gate ASICs},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {49--63},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_5},
  doi          = {10.1007/3-540-49519-3\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Eiriksson98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/FislerV98,
  author       = {Kathi Fisler and
                  Moshe Y. Vardi},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Bisimulation Minimization in an Automata-Theoretic Verification Framework},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {115--132},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_9},
  doi          = {10.1007/3-540-49519-3\_9},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/FislerV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Greve98,
  author       = {David A. Greve},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Symbolic Simulation of the {JEM1} Microprocessor},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {321--333},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_21},
  doi          = {10.1007/3-540-49519-3\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Greve98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Hanna98,
  author       = {F. Keith Hanna},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Automatic Verification of Mixed-Level Logic Circuits},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {133--166},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_10},
  doi          = {10.1007/3-540-49519-3\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Hanna98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/HarlowB98,
  author       = {Justin E. Harlow III and
                  Franc Brglez},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Design of Experiments for Evaluation of {BDD} Packages Using Controlled
                  Circuit Mutations},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {64--81},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_6},
  doi          = {10.1007/3-540-49519-3\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/HarlowB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/HenzingerQRT98,
  author       = {Thomas A. Henzinger and
                  Shaz Qadeer and
                  Sriram K. Rajamani and
                  Serdar Tasiran},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {An Assume-Guarantee Rule for Checking Simulation},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {421--432},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_27},
  doi          = {10.1007/3-540-49519-3\_27},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/HenzingerQRT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Ip98,
  author       = {C. Norris Ip},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Generalized Reversible Rules},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {403--420},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_26},
  doi          = {10.1007/3-540-49519-3\_26},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Ip98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/JinHC98,
  author       = {Fen Jin and
                  Henrik Hulgaard and
                  Eduard Cerny},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Maximum Time Separation of Events in Cyclic Systems with Linear and
                  Latest Timing Constraints},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {167--184},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_12},
  doi          = {10.1007/3-540-49519-3\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/JinHC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/JonesSD98,
  author       = {Robert B. Jones and
                  Jens U. Skakkeb{\ae}k and
                  David L. Dill},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Reducing Manual Abstraction in Formal Verification of Out-of-Order
                  Execution},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {2--17},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_2},
  doi          = {10.1007/3-540-49519-3\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/JonesSD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/KamhiFB98,
  author       = {Gila Kamhi and
                  Limor Fix and
                  Ziv Binyamini},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Symbolic Model Checking Visualization},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {290--303},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_19},
  doi          = {10.1007/3-540-49519-3\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/KamhiFB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/KukulaSA98,
  author       = {James H. Kukula and
                  Thomas R. Shiple and
                  Adnan Aziz},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Techniques for Implicit State Enumeration of EFSMs},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {469--482},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_30},
  doi          = {10.1007/3-540-49519-3\_30},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/KukulaSA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/LockMM98,
  author       = {Thomas Lock and
                  Michael Mendler and
                  Matthias Mutz},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Combined Formal Post- and Presynthesis Verification in High Level
                  Synthesis},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {222--236},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_16},
  doi          = {10.1007/3-540-49519-3\_16},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/LockMM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Mador-HaimF98,
  author       = {Sela Mador{-}Haim and
                  Limor Fix},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Input Elimination and Abstraction in Model Checking},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {304--320},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_20},
  doi          = {10.1007/3-540-49519-3\_20},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Mador-HaimF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/MansouriV98,
  author       = {Nazanin Mansouri and
                  Ranga Vemuri},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {A Methodology for Automated Verification of Synthesized {RTL} Designs
                  and Its Integration with a High-Level Synthesis Tool},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {204--221},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_15},
  doi          = {10.1007/3-540-49519-3\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/MansouriV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/McMillan98,
  author       = {Kenneth L. McMillan},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Minimalist Proof Assistants: Interactions of Technology and Methodology
                  in Formal System Level Verification (abstract)},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {1},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_1},
  doi          = {10.1007/3-540-49519-3\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/McMillan98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Milvang-JensenH98,
  author       = {Kim Milvang{-}Jensen and
                  Alan J. Hu},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {{BDDNOW:} {A} Parallel {BDD} Package},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {501--507},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_32},
  doi          = {10.1007/3-540-49519-3\_32},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Milvang-JensenH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/MokkedemHG98,
  author       = {Abdelillah Mokkedem and
                  Ravi Hosabettu and
                  Ganesh Gopalakrishnan},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Formalization and Proof of a Solution to the {PCI} 2.1 Bus Transaction
                  Ordering Problem},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {237--254},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_17},
  doi          = {10.1007/3-540-49519-3\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/MokkedemHG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/MollerR98,
  author       = {M. Oliver M{\"{o}}ller and
                  Harald Rue{\ss}},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Solving Bit-Vector Equations},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {36--48},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_4},
  doi          = {10.1007/3-540-49519-3\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/MollerR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Moore98,
  author       = {J Strother Moore},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Symbolic Simulation: An {ACL2} Approach},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {334--350},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_22},
  doi          = {10.1007/3-540-49519-3\_22},
  timestamp    = {Mon, 19 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Moore98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/NalumasuG98,
  author       = {Ratan Nalumasu and
                  Ganesh Gopalakrishnan},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {{PV:} An Explicit Enumeration Model-Checker},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {523--528},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_35},
  doi          = {10.1007/3-540-49519-3\_35},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/NalumasuG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/NikolskaiaRS98,
  author       = {Macha Nikolska{\"{\i}}a and
                  Antoine Rauzy and
                  David James Sherman},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Almana: {A} {BDD} Minimization Tool Integrating Heuristic and Rewriting
                  Methods},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {100--114},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_8},
  doi          = {10.1007/3-540-49519-3\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/NikolskaiaRS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/PnueliA98,
  author       = {Amir Pnueli and
                  Tamarah Arons},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Verification of Data-Insensitive CIrcuits: An In-Order-Retirement
                  Case Study},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {351--368},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_23},
  doi          = {10.1007/3-540-49519-3\_23},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/PnueliA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/RufK98,
  author       = {J{\"{u}}rgen Ruf and
                  Thomas Kropf},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Using MTBDDs for Compostion and Model Checking of Real-Time Systems},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {185--202},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_13},
  doi          = {10.1007/3-540-49519-3\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/RufK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Schneider98,
  author       = {Klaus Schneider},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Model Checking on Product Structures},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {483--500},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_31},
  doi          = {10.1007/3-540-49519-3\_31},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Schneider98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Seger98,
  author       = {Carl{-}Johan H. Seger},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Formal Methods in {CAD} from an Industrial Perspective (abstract)},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {203},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_14},
  doi          = {10.1007/3-540-49519-3\_14},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Seger98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/SheeranS98,
  author       = {Mary Sheeran and
                  Gunnar St{\aa}lmarck},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {A Tutorial on St{\aa}lmarcks's Proof Procedure for Propositional Logic},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {82--99},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_7},
  doi          = {10.1007/3-540-49519-3\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/SheeranS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/SuDS98,
  author       = {Jeffrey X. Su and
                  David L. Dill and
                  Jens U. Skakkeb{\ae}k},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Formally Verifying Data and Control with Weak Reachability Invariants},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {387--402},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_25},
  doi          = {10.1007/3-540-49519-3\_25},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/SuDS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/TaharCL98,
  author       = {Sofi{\`{e}}ne Tahar and
                  Paul Curzon and
                  Jianping Lu},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Three Approaches to Hardware Verification: HOL, {MDG} and {VIS} Compared},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {433--450},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_28},
  doi          = {10.1007/3-540-49519-3\_28},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/TaharCL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/VelevB98,
  author       = {Miroslav N. Velev and
                  Randal E. Bryant},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Bit-Level Abstraction in the Verfication of Pipelined Microprocessors
                  by Correspondence Checking},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {18--35},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_3},
  doi          = {10.1007/3-540-49519-3\_3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/VelevB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/YangBOBCJRS98,
  author       = {Bwolen Yang and
                  Randal E. Bryant and
                  David R. O'Hallaron and
                  Armin Biere and
                  Olivier Coudert and
                  Geert Janssen and
                  Rajeev K. Ranjan and
                  Fabio Somenzi},
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {A Performance Study of BDD-Based Model Checking},
  booktitle    = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  pages        = {255--289},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3\_18},
  doi          = {10.1007/3-540-49519-3\_18},
  timestamp    = {Mon, 27 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/YangBOBCJRS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmcad/1998,
  editor       = {Ganesh Gopalakrishnan and
                  Phillip J. Windley},
  title        = {Formal Methods in Computer-Aided Design, Second International Conference,
                  {FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1522},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49519-3},
  doi          = {10.1007/3-540-49519-3},
  isbn         = {3-540-65191-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/1998.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.