Search dblp for Publications

export results for "toc:db/journals/fmsd/fmsd20.bht:"

 download as .bib file

@article{DBLP:journals/fmsd/BerezinCBZ02,
  author       = {Sergey Berezin and
                  Edmund M. Clarke and
                  Armin Biere and
                  Yunshan Zhu},
  title        = {Verification of Out-Of-Order Processor Designs Using Model Checking
                  and a Light-Weight Completion Function},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {2},
  pages        = {159--186},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1014170513439},
  doi          = {10.1023/A:1014170513439},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BerezinCBZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BodeveixF02,
  author       = {Jean{-}Paul Bodeveix and
                  Mamoun Filali},
  title        = {Reduction and Quantifier Elimination Techniques for Program Validation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {1},
  pages        = {69--89},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1012960513376},
  doi          = {10.1023/A:1012960513376},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BodeveixF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ChandyC02,
  author       = {K. Mani Chandy and
                  Michel Charpentier},
  title        = {An Experiment in Program Composition and Proof},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {1},
  pages        = {7--21},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1012952311559},
  doi          = {10.1023/A:1012952311559},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChandyC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/EsparzaRV02,
  author       = {Javier Esparza and
                  Stefan R{\"{o}}mer and
                  Walter Vogler},
  title        = {An Improvement of McMillan's Unfolding Algorithm},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {3},
  pages        = {285--310},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1014746130920},
  doi          = {10.1023/A:1014746130920},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/EsparzaRV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Gamboa02,
  author       = {Ruben Gamboa},
  title        = {The Correctness of the Fast Fourier Transform: {A} Structured Proof
                  in {ACL2}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {1},
  pages        = {91--106},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1012912614285},
  doi          = {10.1023/A:1012912614285},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Gamboa02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Hunt02,
  author       = {Warren A. Hunt Jr.},
  title        = {Introduction: Special Issue on Microprocessor Verifications},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {2},
  pages        = {135--137},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1014175712530},
  doi          = {10.1023/A:1014175712530},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Hunt02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JonesSD02,
  author       = {Robert B. Jones and
                  Jens U. Skakkeb{\ae}k and
                  David L. Dill},
  title        = {Formal Verification of Out-of-Order Execution with Incremental Flushing},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {2},
  pages        = {139--158},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1014118529369},
  doi          = {10.1023/A:1014118529369},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/JonesSD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MeryS02,
  author       = {Dominique M{\'{e}}ry and
                  Beverly A. Sanders},
  title        = {Editorial Note},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {1},
  pages        = {5},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1012991827488},
  doi          = {10.1023/A:1012991827488},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/MeryS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Misra02,
  author       = {Jayadev Misra},
  title        = {A Simple, Object-Based View of Multiprogramming},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {1},
  pages        = {23--45},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1012904412467},
  doi          = {10.1023/A:1012904412467},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Misra02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/NalumasuG02,
  author       = {Ratan Nalumasu and
                  Ganesh Gopalakrishnan},
  title        = {Deriving Efficient Cache Coherence Protocols Through Refinement},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {1},
  pages        = {107--125},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1012916831123},
  doi          = {10.1023/A:1012916831123},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/NalumasuG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/NalumasuG02a,
  author       = {Ratan Nalumasu and
                  Ganesh Gopalakrishnan},
  title        = {An Efficient Partial Order Reduction Algorithm with an Alternative
                  Proviso Implementation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {3},
  pages        = {231--247},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1014728912264},
  doi          = {10.1023/A:1014728912264},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/NalumasuG02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/RomanM02,
  author       = {Gruia{-}Catalin Roman and
                  Peter J. McCann},
  title        = {A Notation and Logic for Mobile Computing},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {1},
  pages        = {47--68},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1012908529306},
  doi          = {10.1023/A:1012908529306},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/RomanM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/RusWH02,
  author       = {Teodor Rus and
                  Eric Van Wyk and
                  Tom Halverson},
  title        = {Generating Model Checkers from Algebraic Specifications},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {3},
  pages        = {249--284},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1014742013173},
  doi          = {10.1023/A:1014742013173},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/RusWH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SawadaH02,
  author       = {Jun Sawada and
                  Warren A. Hunt Jr.},
  title        = {Verification of {FM9801:} An Out-of-Order Microprocessor Model with
                  Speculative Execution, Exceptions, and Program-Modifying Capability},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {2},
  pages        = {187--222},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1014122630277},
  doi          = {10.1023/A:1014122630277},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/SawadaH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SchollBW02,
  author       = {Christoph Scholl and
                  Bernd Becker and
                  Thomas M. Weis},
  title        = {On WLCDs and the Complexity of Word-Level Decision Diagrams-A Lower
                  Bound for Division},
  journal      = {Formal Methods Syst. Des.},
  volume       = {20},
  number       = {3},
  pages        = {311--326},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1014702331828},
  doi          = {10.1023/A:1014702331828},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/SchollBW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.