Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/0002B05,
  author       = {Christian Jacobi and
                  Christoph Berg},
  title        = {Formal Verification of the {VAMP} Floating Point Unit},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {3},
  pages        = {227--266},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1613-y},
  doi          = {10.1007/S10703-005-1613-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/0002B05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/AlurMP05,
  author       = {Rajeev Alur and
                  Kenneth L. McMillan and
                  Doron A. Peled},
  title        = {Deciding Global Partial-Order Properties},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {1},
  pages        = {7--25},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-4592-0},
  doi          = {10.1007/S10703-005-4592-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AlurMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BarbutiFSV05,
  author       = {Roberto Barbuti and
                  Nicoletta De Francesco and
                  Antonella Santone and
                  Gigliola Vaglini},
  title        = {Reduced Models for Efficient {CCS} Verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {3},
  pages        = {319--350},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1634-6},
  doi          = {10.1007/S10703-005-1634-6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BarbutiFSV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Godefroid05,
  author       = {Patrice Godefroid},
  title        = {Software Model Checking: The VeriSoft Approach},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {2},
  pages        = {77--101},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1489-x},
  doi          = {10.1007/S10703-005-1489-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Godefroid05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GrumbergHS05,
  author       = {Orna Grumberg and
                  Tamir Heyman and
                  Assaf Schuster},
  title        = {Distributed Symbolic Model Checking for {\(\mathrm{\mu}\)}-Calculus},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {2},
  pages        = {197--219},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1493-1},
  doi          = {10.1007/S10703-005-1493-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GrumbergHS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/IosifDH05,
  author       = {Radu Iosif and
                  Matthew B. Dwyer and
                  John Hatcliff},
  title        = {Translating Java for Multiple Model Checkers: The Bandera Back-End},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {2},
  pages        = {137--180},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1491-3},
  doi          = {10.1007/S10703-005-1491-3},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/IosifDH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KarviTK05,
  author       = {T. Karvi and
                  Tienari Tienari and
                  Roope Kaivola},
  title        = {Stepwise Development of Process-Algebraic Specifications in Decorated
                  Trace Semantics},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {3},
  pages        = {293--317},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1631-9},
  doi          = {10.1007/S10703-005-1631-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KarviTK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Peled05,
  author       = {Doron A. Peled},
  title        = {Introduction: Special Issue on Partial Order in Formal Methods},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {1},
  pages        = {5--6},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-4591-1},
  doi          = {10.1007/S10703-005-4591-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Peled05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PenixVPPELW05,
  author       = {John Penix and
                  Willem Visser and
                  Seungjoon Park and
                  Corina S. Pasareanu and
                  Eric Engstrom and
                  Aaron Larson and
                  Nicholas Weininger},
  title        = {Verifying Time Partitioning in the {DEOS} Scheduling Kernel},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {2},
  pages        = {103--135},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1490-4},
  doi          = {10.1007/S10703-005-1490-4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/PenixVPPELW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/StollerS05,
  author       = {Scott D. Stoller and
                  Fred B. Schneider},
  title        = {Automated Analysis of Fault-Tolerance in Distributed Systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {2},
  pages        = {183--196},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1492-2},
  doi          = {10.1007/S10703-005-1492-2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/StollerS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/StollerV05,
  author       = {Scott D. Stoller and
                  Willem Visser},
  title        = {Foreword},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {2},
  pages        = {75--76},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1488-y},
  doi          = {10.1007/S10703-005-1488-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/StollerV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/TripakisYB05,
  author       = {Stavros Tripakis and
                  Sergio Yovine and
                  Ahmed Bouajjani},
  title        = {Checking Timed B{\"{u}}chi Automata Emptiness Efficiently},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {3},
  pages        = {267--292},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-1632-8},
  doi          = {10.1007/S10703-005-1632-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/TripakisYB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Varpaaniemi05,
  author       = {Kimmo Varpaaniemi},
  title        = {On Stubborn Sets in the Verification of Linear Time Temporal Properties},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {1},
  pages        = {45--67},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-4594-y},
  doi          = {10.1007/S10703-005-4594-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Varpaaniemi05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Walukiewicz05,
  author       = {Igor Walukiewicz},
  title        = {Difficult Configurations-On the Complexity of \emph{LTrL}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {26},
  number       = {1},
  pages        = {27--43},
  year         = {2005},
  url          = {https://doi.org/10.1007/s10703-005-4593-z},
  doi          = {10.1007/S10703-005-4593-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Walukiewicz05.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.