Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/AzizSSBS02,
  author       = {Adnan Aziz and
                  Thomas R. Shiple and
                  Vigyan Singhal and
                  Robert K. Brayton and
                  Alberto L. Sangiovanni{-}Vincentelli},
  title        = {Formula-Dependent Equivalence for Compositional {CTL} Model Checking},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {2},
  pages        = {193--224},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016043502772},
  doi          = {10.1023/A:1016043502772},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AzizSSBS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BehrmannLAHL02,
  author       = {Gerd Behrmann and
                  Kim Guldstrand Larsen and
                  Henrik Reif Andersen and
                  Henrik Hulgaard and
                  J{\o}rn Lind{-}Nielsen},
  title        = {Verification of Hierarchical State/Event Systems using Reusability
                  and Compositionality},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {2},
  pages        = {225--244},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016095519611},
  doi          = {10.1023/A:1016095519611},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BehrmannLAHL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BowmanSBD02,
  author       = {Howard Bowman and
                  Maarten Steen and
                  Eerke A. Boiten and
                  John Derrick},
  title        = {A Formal Framework for Viewpoint Consistency},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {2},
  pages        = {111--166},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016000201864},
  doi          = {10.1023/A:1016000201864},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BowmanSBD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BuchholzK02,
  author       = {Peter Buchholz and
                  Peter Kemper},
  title        = {Hierarchical Reachability Graph Generation for Petri Nets},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {3},
  pages        = {281--315},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020321222420},
  doi          = {10.1023/A:1020321222420},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BuchholzK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FislerV02,
  author       = {Kathi Fisler and
                  Moshe Y. Vardi},
  title        = {Bisimulation Minimization and Symbolic Model Checking},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {1},
  pages        = {39--78},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016091902809},
  doi          = {10.1023/A:1016091902809},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FislerV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GrosuS02,
  author       = {Radu Grosu and
                  Thomas Stauner},
  title        = {Modular and Visual Specification of Hybrid Systems: An Introduction
                  to HyCharts},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {1},
  pages        = {5--38},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016001318739},
  doi          = {10.1023/A:1016001318739},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GrosuS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/HeymanGGS02,
  author       = {Tamir Heyman and
                  Daniel Geist and
                  Orna Grumberg and
                  Assaf Schuster},
  title        = {A Scalable Parallel Algorithm for Reachability Analysis of Very Large
                  Circuits},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {3},
  pages        = {317--338},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020373206491},
  doi          = {10.1023/A:1020373206491},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/HeymanGGS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KurshanLMPY02,
  author       = {Robert P. Kurshan and
                  Vladimir Levin and
                  Marius Minea and
                  Doron A. Peled and
                  H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
  title        = {Combining Software and Hardware Verification Techniques},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {3},
  pages        = {251--280},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1020383505582},
  doi          = {10.1023/A:1020383505582},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/KurshanLMPY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MohnkeMM02,
  author       = {Janett Mohnke and
                  Paul Molitor and
                  Sharad Malik},
  title        = {Limits of Using Signatures for Permutation Independent Boolean Comparison},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {2},
  pages        = {167--191},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016091418702},
  doi          = {10.1023/A:1016091418702},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/MohnkeMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MukherjeeJTAFF02,
  author       = {Rajarshi Mukherjee and
                  Jawahar Jain and
                  Koichiro Takayama and
                  Jacob A. Abraham and
                  Donald S. Fussell and
                  Masahiro Fujita},
  title        = {Efficient Combinational Verification Using Overlapping Local BDDs
                  and a Hash Table},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {1},
  pages        = {95--101},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016096020556},
  doi          = {10.1023/A:1016096020556},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/MukherjeeJTAFF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/RaimiL02,
  author       = {Richard Raimi and
                  James Lear},
  title        = {Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking},
  journal      = {Formal Methods Syst. Des.},
  volume       = {21},
  number       = {1},
  pages        = {79--94},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1016044019648},
  doi          = {10.1023/A:1016044019648},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/RaimiL02.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.