Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/AbdullaCBJ04,
  author       = {Parosh Aziz Abdulla and
                  Aurore Collomb{-}Annichini and
                  Ahmed Bouajjani and
                  Bengt Jonsson},
  title        = {Using Forward Reachability Analysis for Verification of Lossy Channel
                  Systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {25},
  number       = {1},
  pages        = {39--65},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:FORM.0000033962.51898.1a},
  doi          = {10.1023/B:FORM.0000033962.51898.1A},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/AbdullaCBJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BratDGGHLPVVW04,
  author       = {Guillaume P. Brat and
                  Doron Drusinsky and
                  Dimitra Giannakopoulou and
                  Allen Goldberg and
                  Klaus Havelund and
                  Michael R. Lowry and
                  Corina S. Pasareanu and
                  Arnaud Venet and
                  Willem Visser and
                  Richard Washington},
  title        = {Experimental Evaluation of Verification and Validation Tools on Martian
                  Rover Software},
  journal      = {Formal Methods Syst. Des.},
  volume       = {25},
  number       = {2-3},
  pages        = {167--198},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:FORM.0000040027.28662.a4},
  doi          = {10.1023/B:FORM.0000040027.28662.A4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BratDGGHLPVVW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ChakiCGOSY04,
  author       = {Sagar Chaki and
                  Edmund M. Clarke and
                  Alex Groce and
                  Jo{\"{e}}l Ouaknine and
                  Ofer Strichman and
                  Karen Yorav},
  title        = {Efficient Verification of Sequential and Concurrent {C} Programs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {25},
  number       = {2-3},
  pages        = {129--166},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:FORM.0000040026.56959.91},
  doi          = {10.1023/B:FORM.0000040026.56959.91},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChakiCGOSY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ClarkeKSY04,
  author       = {Edmund M. Clarke and
                  Daniel Kroening and
                  Natasha Sharygina and
                  Karen Yorav},
  title        = {Predicate Abstraction of {ANSI-C} Programs Using {SAT}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {25},
  number       = {2-3},
  pages        = {105--127},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:FORM.0000040025.89719.f3},
  doi          = {10.1023/B:FORM.0000040025.89719.F3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ClarkeKSY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DwyerHRR04,
  author       = {Matthew B. Dwyer and
                  John Hatcliff and
                  Robby and
                  Venkatesh Prasad Ranganath},
  title        = {Exploiting Object Escape and Locking Information in Partial-Order
                  Reductions for Concurrent Object-Oriented Programs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {25},
  number       = {2-3},
  pages        = {199--240},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:FORM.0000040028.49845.67},
  doi          = {10.1023/B:FORM.0000040028.49845.67},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/DwyerHRR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Godskesen04,
  author       = {Jens Chr. Godskesen},
  title        = {Connectivity Testing},
  journal      = {Formal Methods Syst. Des.},
  volume       = {25},
  number       = {1},
  pages        = {5--38},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:FORM.0000033961.36239.68},
  doi          = {10.1023/B:FORM.0000033961.36239.68},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Godskesen04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Sharygina04,
  author       = {Natasha Sharygina},
  title        = {Guest Editorial},
  journal      = {Formal Methods Syst. Des.},
  volume       = {25},
  number       = {2-3},
  pages        = {103},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:FORM.0000040024.07193.63},
  doi          = {10.1023/B:FORM.0000040024.07193.63},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Sharygina04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SharyginaBXKL04,
  author       = {Natasha Sharygina and
                  James C. Browne and
                  Fei Xie and
                  Robert P. Kurshan and
                  Vladimir Levin},
  title        = {Lessons Learned from Model Checking a {NASA} Robot Controller},
  journal      = {Formal Methods Syst. Des.},
  volume       = {25},
  number       = {2-3},
  pages        = {241--270},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:FORM.0000040029.73127.85},
  doi          = {10.1023/B:FORM.0000040029.73127.85},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/SharyginaBXKL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/YoravG04,
  author       = {Karen Yorav and
                  Orna Grumberg},
  title        = {Static Analysis for State-Space Reductions Preserving Temporal Logics},
  journal      = {Formal Methods Syst. Des.},
  volume       = {25},
  number       = {1},
  pages        = {67--96},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:FORM.0000033963.55470.9e},
  doi          = {10.1023/B:FORM.0000033963.55470.9E},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/YoravG04.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.