Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/AbdullaDR09,
  author       = {Parosh Aziz Abdulla and
                  Giorgio Delzanno and
                  Ahmed Rezine},
  title        = {Approximated parameterized verification of infinite-state processes
                  with global conditions},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {2},
  pages        = {126--156},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-008-0062-9},
  doi          = {10.1007/S10703-008-0062-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AbdullaDR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ChevallierEFX09,
  author       = {Remy Chevallier and
                  Emmanuelle Encrenaz{-}Tiph{\`{e}}ne and
                  Laurent Fribourg and
                  Weiwen Xu},
  title        = {Timed verification of the generic architecture of a memory circuit
                  using parametric timed automata},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {1},
  pages        = {59--81},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-008-0061-x},
  doi          = {10.1007/S10703-008-0061-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChevallierEFX09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ChocklerS09,
  author       = {Hana Chockler and
                  Ofer Strichman},
  title        = {Before and after vacuity},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {1},
  pages        = {37--58},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-008-0060-y},
  doi          = {10.1007/S10703-008-0060-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChocklerS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CohenN09,
  author       = {Ariel Cohen and
                  Kedar S. Namjoshi},
  title        = {Local proofs for global safety properties},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {2},
  pages        = {104--125},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-008-0063-8},
  doi          = {10.1007/S10703-008-0063-8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CohenN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CortierD09,
  author       = {V{\'{e}}ronique Cortier and
                  St{\'{e}}phanie Delaune},
  title        = {Safely composing security protocols},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {1},
  pages        = {1--36},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-008-0059-4},
  doi          = {10.1007/S10703-008-0059-4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CortierD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DangN09,
  author       = {Thao Dang and
                  Tarik Nahhal},
  title        = {Coverage-guided test generation for continuous and hybrid systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {2},
  pages        = {183--213},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-009-0066-0},
  doi          = {10.1007/S10703-009-0066-0},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/DangN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GastinSZ09,
  author       = {Paul Gastin and
                  Nathalie Sznajder and
                  Marc Zeitoun},
  title        = {Distributed synthesis for well-connected architectures},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {3},
  pages        = {215--237},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-008-0064-7},
  doi          = {10.1007/S10703-008-0064-7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GastinSZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KrichenT09,
  author       = {Moez Krichen and
                  Stavros Tripakis},
  title        = {Conformance testing for real-time systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {3},
  pages        = {238--304},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-009-0065-1},
  doi          = {10.1007/S10703-009-0065-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KrichenT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KupfermanPV09,
  author       = {Orna Kupferman and
                  Nir Piterman and
                  Moshe Y. Vardi},
  title        = {From liveness to promptness},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {2},
  pages        = {83--103},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-009-0067-z},
  doi          = {10.1007/S10703-009-0067-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KupfermanPV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PlakuKV09,
  author       = {Erion Plaku and
                  Lydia E. Kavraki and
                  Moshe Y. Vardi},
  title        = {Hybrid systems: from verification to falsification by combining motion
                  planning and discrete search},
  journal      = {Formal Methods Syst. Des.},
  volume       = {34},
  number       = {2},
  pages        = {157--182},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-008-0058-5},
  doi          = {10.1007/S10703-008-0058-5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/PlakuKV09.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.