Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/BolligGH18,
  author       = {Benedikt Bollig and
                  Manuela{-}Lidia Grindei and
                  Peter Habermehl},
  title        = {Realizability of concurrent recursive programs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {3},
  pages        = {339--362},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0282-y},
  doi          = {10.1007/S10703-017-0282-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BolligGH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BoutonnetH18,
  author       = {R{\'{e}}my Boutonnet and
                  Nicolas Halbwachs},
  title        = {Improving the results of program analysis by abstract interpretation
                  beyond the decreasing sequence},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {3},
  pages        = {384--406},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0310-y},
  doi          = {10.1007/S10703-017-0310-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BoutonnetH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CoentSCF18,
  author       = {Adrien Le Co{\"{e}}nt and
                  Julien Alexandre Dit Sandretto and
                  Alexandre Chapoutot and
                  Laurent Fribourg},
  title        = {An improved algorithm for the control synthesis of nonlinear sampled
                  switched systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {3},
  pages        = {363--383},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0305-8},
  doi          = {10.1007/S10703-017-0305-8},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CoentSCF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DengN18,
  author       = {Chaoqiang Deng and
                  Kedar S. Namjoshi},
  title        = {Securing a compiler transformation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {2},
  pages        = {166--188},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0313-8},
  doi          = {10.1007/S10703-017-0313-8},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/DengN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FalconeS18,
  author       = {Yli{\`{e}}s Falcone and
                  C{\'{e}}sar S{\'{a}}nchez},
  title        = {Introduction to the special issue on runtime verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {1},
  pages        = {1--5},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-018-0320-4},
  doi          = {10.1007/S10703-018-0320-4},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FalconeS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FrielinghausSV18,
  author       = {Stefan Schulze Frielinghaus and
                  Helmut Seidl and
                  Ralf Vogler},
  title        = {Enforcing termination of interprocedural analysis},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {2},
  pages        = {313--338},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0288-5},
  doi          = {10.1007/S10703-017-0288-5},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FrielinghausSV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Goubault-Larrecq18,
  author       = {Jean Goubault{-}Larrecq and
                  Jean{-}Philippe Lachance},
  title        = {On the complexity of monitoring Orchids signatures, and recurrence
                  equations},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {1},
  pages        = {6--32},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0303-x},
  doi          = {10.1007/S10703-017-0303-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Goubault-Larrecq18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/HeoOY18,
  author       = {Kihong Heo and
                  Hakjoo Oh and
                  Hongseok Yang},
  title        = {Learning analysis strategies for octagon and context sensitivity from
                  labeled data generated by static analyses},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {2},
  pages        = {189--220},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0306-7},
  doi          = {10.1007/S10703-017-0306-7},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/HeoOY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JaksicBGNN18,
  author       = {Stefan Jaksic and
                  Ezio Bartocci and
                  Radu Grosu and
                  Thang Nguyen and
                  Dejan Nickovic},
  title        = {Quantitative monitoring of {STL} with edit distance},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {1},
  pages        = {83--112},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-018-0319-x},
  doi          = {10.1007/S10703-018-0319-X},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/JaksicBGNN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JournaultM18,
  author       = {Matthieu Journault and
                  Antoine Min{\'{e}}},
  title        = {Inferring functional properties of matrix manipulating programs by
                  abstract interpretation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {2},
  pages        = {221--258},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0311-x},
  doi          = {10.1007/S10703-017-0311-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/JournaultM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KauffmanHJF18,
  author       = {Sean Kauffman and
                  Klaus Havelund and
                  Rajeev Joshi and
                  Sebastian Fischmeister},
  title        = {Inferring event stream abstractions},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {1},
  pages        = {54--82},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-018-0317-z},
  doi          = {10.1007/S10703-018-0317-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KauffmanHJF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/LeonM18,
  author       = {Hern{\'{a}}n Ponce de Le{\'{o}}n and
                  Andrey Mokhov},
  title        = {Compact and efficiently verifiable models for concurrent systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {3},
  pages        = {407--431},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-018-0316-0},
  doi          = {10.1007/S10703-018-0316-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/LeonM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MorenoF18,
  author       = {Carlos Moreno and
                  Sebastian Fischmeister},
  title        = {Non-intrusive runtime monitoring through power consumption to enforce
                  safety and security properties in embedded systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {1},
  pages        = {113--137},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0298-3},
  doi          = {10.1007/S10703-017-0298-3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/MorenoF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Ranzato18,
  author       = {Francesco Ranzato},
  title        = {Abstracting Nash equilibria of supermodular games},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {2},
  pages        = {259--285},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0291-x},
  doi          = {10.1007/S10703-017-0291-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Ranzato18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Rival18,
  author       = {Xavier Rival},
  title        = {Foreword},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {2},
  pages        = {165},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-018-0324-0},
  doi          = {10.1007/S10703-018-0324-0},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Rival18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Rosu18,
  author       = {Grigore Rosu},
  title        = {Finite-trace linear temporal logic: coinductive completeness},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {1},
  pages        = {138--163},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-018-0321-3},
  doi          = {10.1007/S10703-018-0321-3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Rosu18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/RouxVS18,
  author       = {Pierre Roux and
                  Yuen{-}Lam Voronin and
                  Sriram Sankaranarayanan},
  title        = {Validating numerical semidefinite programming solvers for polynomial
                  invariants},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {2},
  pages        = {286--312},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0302-y},
  doi          = {10.1007/S10703-017-0302-Y},
  timestamp    = {Fri, 23 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/RouxVS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ShiLCC18,
  author       = {Jinghao Shi and
                  Shuvendu K. Lahiri and
                  Ranveer Chandra and
                  Geoffrey Challen},
  title        = {Wireless protocol validation under uncertainty},
  journal      = {Formal Methods Syst. Des.},
  volume       = {53},
  number       = {1},
  pages        = {33--53},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10703-017-0309-4},
  doi          = {10.1007/S10703-017-0309-4},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ShiLCC18.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.