Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/Abarbanel-VinovABEGHRRSWY01,
  author       = {Yael Abarbanel{-}Vinov and
                  Neta Aizenbud{-}Reshef and
                  Ilan Beer and
                  Cindy Eisner and
                  Daniel Geist and
                  Tamir Heyman and
                  Iris Reuveni and
                  Eran Rippel and
                  Irit Shitsevalov and
                  Yaron Wolfsthal and
                  Tali Yatzkar{-}Haham},
  title        = {On the Effective Deployment of Functional Formal Verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {1},
  pages        = {35--44},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011219209077},
  doi          = {10.1023/A:1011219209077},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Abarbanel-VinovABEGHRRSWY01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BenvenisteP01,
  author       = {Albert Benveniste and
                  Axel Poign{\'{e}}},
  title        = {Foreword},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {1},
  pages        = {5--6},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011222711518},
  doi          = {10.1023/A:1011222711518},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BenvenisteP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ClarkeBRZ01,
  author       = {Edmund M. Clarke and
                  Armin Biere and
                  Richard Raimi and
                  Yunshan Zhu},
  title        = {Bounded Model Checking Using Satisfiability Solving},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {1},
  pages        = {7--34},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011276507260},
  doi          = {10.1023/A:1011276507260},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ClarkeBRZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DammH01,
  author       = {Werner Damm and
                  David Harel},
  title        = {LSCs: Breathing Life into Message Sequence Charts},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {1},
  pages        = {45--80},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011227529550},
  doi          = {10.1023/A:1011227529550},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/DammH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DammK01,
  author       = {Werner Damm and
                  Jochen Klose},
  title        = {Verification of a Radio-Based Signaling System Using the {STATEMATE}
                  Verification Environment},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {2},
  pages        = {121--141},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011279932612},
  doi          = {10.1023/A:1011279932612},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/DammK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DohertyMF01,
  author       = {Gavin J. Doherty and
                  Mieke Massink and
                  Giorgio P. Faconti},
  title        = {Using Hybrid Automata to Support Human Factors Analysis in a Critical
                  System},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {2},
  pages        = {143--164},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011232016683},
  doi          = {10.1023/A:1011232016683},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/DohertyMF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GnesiL01,
  author       = {Stefania Gnesi and
                  Diego Latella},
  title        = {Introduction: Special Issue on the Fourth International Workshop of
                  the {ERCIM} Working Group on Formal Methods for Industrial Critical
                  Systems, Trento, July 11-12, 1999 - Selected Papers},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {2},
  pages        = {119--120},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011279615774},
  doi          = {10.1023/A:1011279615774},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/GnesiL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KupfermanV01,
  author       = {Orna Kupferman and
                  Moshe Y. Vardi},
  title        = {Model Checking of Safety Properties},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {3},
  pages        = {291--314},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011254632723},
  doi          = {10.1023/A:1011254632723},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KupfermanV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/NarasimhanTRGV01,
  author       = {Naren Narasimhan and
                  Elena Teica and
                  Rajesh Radhakrishnan and
                  Sriram Govindarajan and
                  Ranga Vemuri},
  title        = {Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained
                  Scheduler for High-Level Synthesis},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {3},
  pages        = {237--273},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011250531814},
  doi          = {10.1023/A:1011250531814},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/NarasimhanTRGV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PeledVK01,
  author       = {Doron A. Peled and
                  Antti Valmari and
                  Ilkka Kokkarinen},
  title        = {Relaxed Visibility Enhances Partial Order Reduction},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {3},
  pages        = {275--289},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011202615884},
  doi          = {10.1023/A:1011202615884},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/PeledVK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Romijn01,
  author       = {Judi Romijn},
  title        = {A Timed Verification of the {IEEE} 1394 Leader Election Protocol},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {2},
  pages        = {165--194},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011284000753},
  doi          = {10.1023/A:1011284000753},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Romijn01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SielingW01,
  author       = {Detlef Sieling and
                  Ingo Wegener},
  title        = {A Comparison of Free BDDs and Transformed BDDs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {3},
  pages        = {223--236},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011229414976},
  doi          = {10.1023/A:1011229414976},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/SielingW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/TretmansWC01,
  author       = {Jan Tretmans and
                  Klaas Wijbrans and
                  Michel R. V. Chaudron},
  title        = {Software Engineering with Formal Methods: The Development of a Storm
                  Surge Barrier Control System Revisiting Seven Myths of Formal Methods},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {2},
  pages        = {195--215},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011236117591},
  doi          = {10.1023/A:1011236117591},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/TretmansWC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Winkelmann01,
  author       = {Klaus Winkelmann},
  title        = {Formal Methods in Designing Embedded Systems-the {SACRES} Experience},
  journal      = {Formal Methods Syst. Des.},
  volume       = {19},
  number       = {1},
  pages        = {81--110},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011295931367},
  doi          = {10.1023/A:1011295931367},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Winkelmann01.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.