Search dblp for Publications

• > Home > Search

@article{DBLP:journals/fmsd/Boute10,
  author       = {Raymond T. Boute},
  title        = {Pointfree expression and calculation: from quantification to temporal
                  logic},
  journal      = {Formal Methods Syst. Des.},
  volume       = {37},
  number       = {2-3},
  pages        = {95--140},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10703-010-0100-2},
  doi          = {10.1007/S10703-010-0100-2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Boute10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CavalcantiD10,
  author       = {Ana Cavalcanti and
                  Dennis Dams},
  title        = {Special issue: 2nd World Congress on Formal Methods},
  journal      = {Formal Methods Syst. Des.},
  volume       = {37},
  number       = {2-3},
  pages        = {93--94},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10703-011-0113-5},
  doi          = {10.1007/S10703-011-0113-5},
  timestamp    = {Mon, 21 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CavalcantiD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Gast10,
  author       = {Holger Gast},
  title        = {Reasoning about memory layouts},
  journal      = {Formal Methods Syst. Des.},
  volume       = {37},
  number       = {2-3},
  pages        = {141--170},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10703-010-0098-5},
  doi          = {10.1007/S10703-010-0098-5},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Gast10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GoldmanKK10,
  author       = {Max Goldman and
                  Emilia Katz and
                  Shmuel Katz},
  title        = {{MAVEN:} modular aspect verification and interference analysis},
  journal      = {Formal Methods Syst. Des.},
  volume       = {37},
  number       = {1},
  pages        = {61--92},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10703-010-0101-1},
  doi          = {10.1007/S10703-010-0101-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GoldmanKK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/HoenickeLPSW10,
  author       = {Jochen Hoenicke and
                  K. Rustan M. Leino and
                  Andreas Podelski and
                  Martin Sch{\"{a}}f and
                  Thomas Wies},
  title        = {Doomed program points},
  journal      = {Formal Methods Syst. Des.},
  volume       = {37},
  number       = {2-3},
  pages        = {171--199},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10703-010-0102-0},
  doi          = {10.1007/S10703-010-0102-0},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/HoenickeLPSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JeffordsHAL10,
  author       = {Ralph D. Jeffords and
                  Constance L. Heitmeyer and
                  Myla Archer and
                  Elizabeth I. Leonard},
  title        = {Model-based construction and verification of critical systems using
                  composition and partial refinement},
  journal      = {Formal Methods Syst. Des.},
  volume       = {37},
  number       = {2-3},
  pages        = {265--294},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10703-010-0106-9},
  doi          = {10.1007/S10703-010-0106-9},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/JeffordsHAL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/LeeDSG10,
  author       = {Scott Uk{-}Jin Lee and
                  Gillian Dobbie and
                  Jing Sun and
                  Lindsay Groves},
  title        = {Theorem prover approach to semistructured data design},
  journal      = {Formal Methods Syst. Des.},
  volume       = {37},
  number       = {1},
  pages        = {1--60},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10703-010-0099-4},
  doi          = {10.1007/S10703-010-0099-4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/LeeDSG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/LiBDLNP10,
  author       = {Shuhao Li and
                  Sandie Balaguer and
                  Alexandre David and
                  Kim G. Larsen and
                  Brian Nielsen and
                  Saulius Pusinskas},
  title        = {Scenario-based verification of real-time systems using Uppaal},
  journal      = {Formal Methods Syst. Des.},
  volume       = {37},
  number       = {2-3},
  pages        = {200--264},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10703-010-0103-z},
  doi          = {10.1007/S10703-010-0103-Z},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/LiBDLNP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}