Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/AlurF21,
  author       = {Rajeev Alur and
                  Dana Fisman},
  title        = {Colored nested words},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {3},
  pages        = {347--374},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-021-00384-2},
  doi          = {10.1007/S10703-021-00384-2},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/AlurF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BeekM21,
  author       = {Maurice H. ter Beek and
                  Annabelle McIver},
  title        = {Formal methods: practical applications and foundations},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {1--4},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-021-00380-6},
  doi          = {10.1007/S10703-021-00380-6},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BeekM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BeringerA21,
  author       = {Lennart Beringer and
                  Andrew W. Appel},
  title        = {Abstraction and subsumption in modular verification of {C} programs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {322--345},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-020-00353-1},
  doi          = {10.1007/S10703-020-00353-1},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BeringerA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DurejaR21,
  author       = {Rohit Dureja and
                  Kristin Y. Rozier},
  title        = {Incremental design-space model checking via reusable reachable state
                  approximations},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {3},
  pages        = {375--398},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00389-5},
  doi          = {10.1007/S10703-022-00389-5},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/DurejaR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FismanSS21,
  author       = {Dana Fisman and
                  Rishabh Singh and
                  Armando Solar{-}Lezama},
  title        = {Special Issue on Syntax-Guided Synthesis Preface},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {3},
  pages        = {469--470},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-021-00386-0},
  doi          = {10.1007/S10703-021-00386-0},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/FismanSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JantschMBK21,
  author       = {Simon Jantsch and
                  David M{\"{u}}ller and
                  Christel Baier and
                  Joachim Klein},
  title        = {From {LTL} to unambiguous B{\"{u}}chi automata via disambiguation
                  of alternating automata},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {42--82},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-021-00379-z},
  doi          = {10.1007/S10703-021-00379-Z},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/JantschMBK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KornerBDKL21,
  author       = {Philipp K{\"{o}}rner and
                  Jens Bendisposto and
                  Jannik Dunkelau and
                  Sebastian Krings and
                  Michael Leuschel},
  title        = {Integrating formal specifications into applications: the ProB Java
                  {API}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {160--187},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-020-00351-3},
  doi          = {10.1007/S10703-020-00351-3},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/KornerBDKL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KourtisDFL21,
  author       = {Georgios Kourtis and
                  Clare Dixon and
                  Michael Fisher and
                  Alexei P. Lisitsa},
  title        = {Parameterized verification of leader/follower systems via first-order
                  temporal logic},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {3},
  pages        = {440--468},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00390-y},
  doi          = {10.1007/S10703-022-00390-Y},
  timestamp    = {Tue, 28 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KourtisDFL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KwiatkowskaNPS21,
  author       = {Marta Kwiatkowska and
                  Gethin Norman and
                  David Parker and
                  Gabriel Santos},
  title        = {Automatic verification of concurrent stochastic systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {188--250},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-020-00356-y},
  doi          = {10.1007/S10703-020-00356-Y},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/KwiatkowskaNPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/LangMM21,
  author       = {Fr{\'{e}}d{\'{e}}ric Lang and
                  Radu Mateescu and
                  Franco Mazzanti},
  title        = {Compositional verification of concurrent systems by combining bisimulations},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {83--125},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-021-00360-w},
  doi          = {10.1007/S10703-021-00360-W},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/LangMM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PaiSDDP21,
  author       = {Rekha R. Pai and
                  Abhishek Singh and
                  Deepak D'Souza and
                  Meenakshi D'Souza and
                  Prathibha Prakash},
  title        = {Static analysis for detecting high-level races in {RTOS} kernels},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {294--321},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-020-00354-0},
  doi          = {10.1007/S10703-020-00354-0},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/PaiSDDP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SmithCM21,
  author       = {Graeme Smith and
                  Nicholas Coughlin and
                  Toby Murray},
  title        = {Information-flow control on {ARM} and {POWER} multicore processors},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {251--293},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-021-00376-2},
  doi          = {10.1007/S10703-021-00376-2},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/SmithCM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SogokonMTCP21,
  author       = {Andrew Sogokon and
                  Stefan Mitsch and
                  Yong Kiam Tan and
                  Katherine Cordwell and
                  Andr{\'{e}} Platzer},
  title        = {Pegasus: sound continuous invariant generation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {5--41},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-020-00355-z},
  doi          = {10.1007/S10703-020-00355-Z},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/SogokonMTCP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/StuckiSSB21,
  author       = {Sandro Stucki and
                  C{\'{e}}sar S{\'{a}}nchez and
                  Gerardo Schneider and
                  Borzoo Bonakdarpour},
  title        = {Gray-box monitoring of hyperproperties with an application to privacy},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {1-2},
  pages        = {126--159},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-020-00358-w},
  doi          = {10.1007/S10703-020-00358-W},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/StuckiSSB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/VermaR21,
  author       = {Sahil Verma and
                  Subhajit Roy},
  title        = {Debug-localize-repair: a symbiotic construction for heap manipulations},
  journal      = {Formal Methods Syst. Des.},
  volume       = {58},
  number       = {3},
  pages        = {399--439},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-021-00387-z},
  doi          = {10.1007/S10703-021-00387-Z},
  timestamp    = {Tue, 03 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/VermaR21.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.