Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/ButterfieldBA07,
  author       = {Andrew Butterfield and
                  Juan Bicarregui and
                  Alvaro Arenas},
  title        = {Foreword: Selected papers from the ninth international workshop on
                  formal methods for industrial critical systems {(FMICS} 04), Linz,
                  Austria},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {3},
  pages        = {177--178},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0032-z},
  doi          = {10.1007/S10703-006-0032-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ButterfieldBA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Choi07,
  author       = {Yunja Choi},
  title        = {From NuSMV to {SPIN:} Experiences with model checking flight guidance
                  systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {3},
  pages        = {199--216},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0027-9},
  doi          = {10.1007/S10703-006-0027-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Choi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ClarkeJK07,
  author       = {Edmund M. Clarke and
                  Himanshu Jain and
                  Daniel Kroening},
  title        = {Verification of SpecC using predicate abstraction},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {1},
  pages        = {5--28},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0020-3},
  doi          = {10.1007/S10703-006-0020-3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ClarkeJK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ErbasPC07,
  author       = {Cagkan Erbas and
                  Andy D. Pimentel and
                  Selin Cerav{-}Erbas},
  title        = {Static priority scheduling of event-triggered real-time embedded systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {1},
  pages        = {29--47},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0021-2},
  doi          = {10.1007/S10703-006-0021-2},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/ErbasPC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ErbasPC07a,
  author       = {Cagkan Erbas and
                  Andy D. Pimentel and
                  Selin Cerav{-}Erbas},
  title        = {Static priority scheduling of event-triggered real-time embedded systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {1},
  pages        = {49},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0025-y},
  doi          = {10.1007/S10703-006-0025-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ErbasPC07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/EspadaP07,
  author       = {Miguel Valero Espada and
                  Jaco van de Pol},
  title        = {An abstract interpretation toolkit for {\(\mathrm{\mu}\)}CRL},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {3},
  pages        = {249--273},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0029-7},
  doi          = {10.1007/S10703-006-0029-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/EspadaP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FengWT07,
  author       = {Lei Feng and
                  Walter Murray Wonham and
                  P. S. Thiagarajan},
  title        = {Designing communicating transaction processes by supervisory control
                  theory},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {2},
  pages        = {117--141},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0023-0},
  doi          = {10.1007/S10703-006-0023-0},
  timestamp    = {Wed, 28 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FengWT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FranzleH07,
  author       = {Martin Fr{\"{a}}nzle and
                  Christian Herde},
  title        = {HySAT: An efficient proof engine for bounded model checking of hybrid
                  systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {3},
  pages        = {179--198},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0031-0},
  doi          = {10.1007/S10703-006-0031-0},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/FranzleH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/HeitmeyerT07,
  author       = {Constance L. Heitmeyer and
                  Jean{-}Pierre Talpin},
  title        = {Guest editorial},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {1},
  pages        = {1--3},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0018-x},
  doi          = {10.1007/S10703-006-0018-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/HeitmeyerT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/IdaniL07,
  author       = {Akram Idani and
                  Yves Ledru},
  title        = {Object oriented concepts identification from formal {B} specifications},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {3},
  pages        = {217--232},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0030-1},
  doi          = {10.1007/S10703-006-0030-1},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/IdaniL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KhomenkoK07,
  author       = {Victor Khomenko and
                  Maciej Koutny},
  title        = {Verification of bounded Petri nets using integer programming},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {2},
  pages        = {143--176},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0022-1},
  doi          = {10.1007/S10703-006-0022-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KhomenkoK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PonsardMMRLV07,
  author       = {Christophe Ponsard and
                  Philippe Massonet and
                  Jean{-}Fran{\c{c}}ois Molderez and
                  Andr{\'{e}} Rifaut and
                  Axel van Lamsweerde and
                  Hung Tran Van},
  title        = {Early verification and validation of mission critical systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {3},
  pages        = {233--247},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0028-8},
  doi          = {10.1007/S10703-006-0028-8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/PonsardMMRLV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SchuleS07,
  author       = {Tobias Sch{\"{u}}le and
                  Klaus Schneider},
  title        = {Bounded model checking of infinite state systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {1},
  pages        = {51--81},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0019-9},
  doi          = {10.1007/S10703-006-0019-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/SchuleS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/XiongCTB07,
  author       = {Haiyan Xiong and
                  Paul Curzon and
                  Sofi{\`{e}}ne Tahar and
                  Ann Blandford},
  title        = {Providing a formal linkage between {MDG} and {HOL}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {2},
  pages        = {83--116},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0017-y},
  doi          = {10.1007/S10703-006-0017-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/XiongCTB07.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.