Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fmcad/AagaardDL02,
  author       = {Mark D. Aagaard and
                  Nancy A. Day and
                  Meng Lou},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Relating Multi-step and Single-Step Microprocessor Correctness Statements},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {123--141},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_8},
  doi          = {10.1007/3-540-36126-X\_8},
  timestamp    = {Fri, 10 Jan 2020 14:50:18 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/AagaardDL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/AyariB02,
  author       = {Abdelwaheb Ayari and
                  David A. Basin},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {{QUBOS:} Deciding Quantified Boolean Logic Using Propositional Satisfiability
                  Solvers},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {187--201},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_12},
  doi          = {10.1007/3-540-36126-X\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/AyariB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/CarmonaC02,
  author       = {Josep Carmona and
                  Jordi Cortadella},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Input/Output Compatibility of Reactive Systems},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {360--377},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_22},
  doi          = {10.1007/3-540-36126-X\_22},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/CarmonaC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/ChatterjeeG02,
  author       = {Prosenjit Chatterjee and
                  Ganesh Gopalakrishnan},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {A Specification and Verification Framework for Developing Weak Shared
                  Memory Consistency Protocols},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {292--309},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_18},
  doi          = {10.1007/3-540-36126-X\_18},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/ChatterjeeG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/ChauhanCKSVW02,
  author       = {Pankaj Chauhan and
                  Edmund M. Clarke and
                  James H. Kukula and
                  Samir Sapra and
                  Helmut Veith and
                  Dong Wang},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Automated Abstraction Refinement for Model Checking Large State Spaces
                  Using {SAT} Based Conflict Analysis},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {33--51},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_3},
  doi          = {10.1007/3-540-36126-X\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/ChauhanCKSVW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/CiardoS02,
  author       = {Gianfranco Ciardo and
                  Radu Siminiceanu},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest
                  Paths},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {256--273},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_16},
  doi          = {10.1007/3-540-36126-X\_16},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/CiardoS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/DasD02,
  author       = {Satyaki Das and
                  David L. Dill},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Counter-Example Based Predicate Discovery in Predicate Abstraction},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {19--32},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_2},
  doi          = {10.1007/3-540-36126-X\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/DasD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/FrischSW02,
  author       = {Alan M. Frisch and
                  Daniel Sheridan and
                  Toby Walsh},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {A Fixpoint Based Encoding for Bounded Model Checking},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {238--255},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_15},
  doi          = {10.1007/3-540-36126-X\_15},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/FrischSW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/GaneshBD02,
  author       = {Vijay Ganesh and
                  Sergey Berezin and
                  David L. Dill},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Deciding Presburger Arithmetic by Model Checking and Comparisons with
                  Other Methods},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {171--186},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_11},
  doi          = {10.1007/3-540-36126-X\_11},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/GaneshBD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/HarelKMP02,
  author       = {David Harel and
                  Hillel Kugler and
                  Rami Marelly and
                  Amir Pnueli},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Smart Play-out of Behavioral Requirements},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {378--398},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_23},
  doi          = {10.1007/3-540-36126-X\_23},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/HarelKMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/LahiriSB02,
  author       = {Shuvendu K. Lahiri and
                  Sanjit A. Seshia and
                  Randal E. Bryant},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Modeling and Verification of Out-of-Order Microprocessors in {UCLID}},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {142--159},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_9},
  doi          = {10.1007/3-540-36126-X\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/LahiriSB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/McKeeverLD02,
  author       = {Steve McKeever and
                  Wayne Luk and
                  Arran Derbyshire},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Compiling Hardware Descriptions with Relative Placement Information
                  for Parametrised Libraries},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {342--359},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_21},
  doi          = {10.1007/3-540-36126-X\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/McKeeverLD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/MelhamJ02,
  author       = {Thomas F. Melham and
                  Robert B. Jones},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Abstraction by Symbolic Indexing Transformations},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_1},
  doi          = {10.1007/3-540-36126-X\_1},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/MelhamJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Meulen02,
  author       = {Meine van der Meulen},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant,
                  Asynchronous Sequential Circuit Using {SMV}},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {310--323},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_19},
  doi          = {10.1007/3-540-36126-X\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Meulen02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/MoonKKSP02,
  author       = {In{-}Ho Moon and
                  Hee{-}Hwan Kwak and
                  James H. Kukula and
                  Thomas R. Shiple and
                  Carl Pixley},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Simplifying Circuits for Formal Verification Using Parametric Representation},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {52--69},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_4},
  doi          = {10.1007/3-540-36126-X\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/MoonKKSP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/PennaITZ02,
  author       = {Giuseppe Della Penna and
                  Benedetto Intrigila and
                  Enrico Tronci and
                  Marisa Venturini Zilli},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Exploiting Transition Locality in the Disk Based Mur phi Verifier},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {202--219},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_13},
  doi          = {10.1007/3-540-36126-X\_13},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/PennaITZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/SawadaG02,
  author       = {Jun Sawada and
                  Ruben Gamboa},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Mechanical Verification of a Square Root Algorithm Using Taylor's
                  Theorem},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {274--291},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_17},
  doi          = {10.1007/3-540-36126-X\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/SawadaG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Sharp02,
  author       = {Richard Sharp},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Functional Design Using Behavioural and Structural Components},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {324--341},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_20},
  doi          = {10.1007/3-540-36126-X\_20},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Sharp02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/SoleP02,
  author       = {Marc Sol{\'{e}} and
                  Enric Pastor},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Traversal Techniques for Concurrent Systems},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {220--237},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_14},
  doi          = {10.1007/3-540-36126-X\_14},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/SoleP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/SomenziRB02,
  author       = {Fabio Somenzi and
                  Kavita Ravi and
                  Roderick Bloem},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Analysis of Symbolic {SCC} Hull Algorithms},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {88--105},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_6},
  doi          = {10.1007/3-540-36126-X\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/SomenziRB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/Strichman02,
  author       = {Ofer Strichman},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {On Solving Presburger and Linear Arithmetic with {SAT}},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {160--170},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_10},
  doi          = {10.1007/3-540-36126-X\_10},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/Strichman02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/WangH02,
  author       = {Chao Wang and
                  Gary D. Hachtel},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Sharp Disjunctive Decomposition for Language Emptiness Checking},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {106--122},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_7},
  doi          = {10.1007/3-540-36126-X\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/WangH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/YangS02,
  author       = {Jin Yang and
                  Carl{-}Johan H. Seger},
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Generalized Symbolic Trajectory Evaluation - Abstraction in Action},
  booktitle    = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  pages        = {70--87},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X\_5},
  doi          = {10.1007/3-540-36126-X\_5},
  timestamp    = {Mon, 17 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/YangS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmcad/2002,
  editor       = {Mark D. Aagaard and
                  John W. O'Leary},
  title        = {Formal Methods in Computer-Aided Design, 4th International Conference,
                  {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2517},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36126-X},
  doi          = {10.1007/3-540-36126-X},
  isbn         = {3-540-00116-6},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/2002.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.