Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/AichernigT19,
  author       = {Bernhard K. Aichernig and
                  Martin Tappler},
  title        = {Probabilistic black-box reachability checking (extended version)},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {3},
  pages        = {416--448},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-019-00333-0},
  doi          = {10.1007/S10703-019-00333-0},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AichernigT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/AlpernasPRSSSV19,
  author       = {Kalev Alpernas and
                  Aurojit Panda and
                  Alexander Rabinovich and
                  Mooly Sagiv and
                  Scott Shenker and
                  Sharon Shoham and
                  Yaron Velner},
  title        = {Some complexity results for stateful network verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {2},
  pages        = {191--231},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-018-00330-9},
  doi          = {10.1007/S10703-018-00330-9},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AlpernasPRSSSV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BasinBKT19,
  author       = {David A. Basin and
                  Bhargav Nagaraja Bhatt and
                  Srdan Krstic and
                  Dmitriy Traytel},
  title        = {Almost event-rate independent monitoring},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {3},
  pages        = {449--478},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-018-00328-3},
  doi          = {10.1007/S10703-018-00328-3},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BasinBKT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BenavidesVGZ19,
  author       = {Zachary Benavides and
                  Keval Vora and
                  Rajiv Gupta and
                  Xiangyu Zhang},
  title        = {Annotation guided collection of context-sensitive parallel execution
                  profiles},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {3},
  pages        = {388--415},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-019-00341-0},
  doi          = {10.1007/S10703-019-00341-0},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BenavidesVGZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BouajjaniEL19,
  author       = {Ahmed Bouajjani and
                  Constantin Enea and
                  Shuvendu K. Lahiri},
  title        = {Abstract semantic diffing of evolving concurrent programs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {1},
  pages        = {4--26},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-018-0322-2},
  doi          = {10.1007/S10703-018-0322-2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BouajjaniEL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ChawdharyRK19,
  author       = {Aziem Chawdhary and
                  Edward Robbins and
                  Andy King},
  title        = {Incrementally closing octagons},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {2},
  pages        = {232--277},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-017-0314-7},
  doi          = {10.1007/S10703-017-0314-7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChawdharyRK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FinkbeinerHST19,
  author       = {Bernd Finkbeiner and
                  Christopher Hahn and
                  Marvin Stenger and
                  Leander Tentrup},
  title        = {Monitoring hyperproperties},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {3},
  pages        = {336--363},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-019-00334-z},
  doi          = {10.1007/S10703-019-00334-Z},
  timestamp    = {Sat, 30 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/FinkbeinerHST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GronskiSBS19,
  author       = {Jessica A. Gronski and
                  Mohamed Amin Ben Sassi and
                  Stephen Becker and
                  Sriram Sankaranarayanan},
  title        = {Template polyhedra and bilinear optimization},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {1},
  pages        = {27--63},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-018-0323-1},
  doi          = {10.1007/S10703-018-0323-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GronskiSBS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JhaTSSS19,
  author       = {Susmit Jha and
                  Ashish Tiwari and
                  Sanjit A. Seshia and
                  Tuhin Sahai and
                  Natarajan Shankar},
  title        = {TeLEx: learning signal temporal logic from positive examples using
                  tightness metric},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {3},
  pages        = {364--387},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-019-00332-1},
  doi          = {10.1007/S10703-019-00332-1},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/JhaTSSS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/LiZPZV19,
  author       = {Jianwen Li and
                  Shufang Zhu and
                  Geguang Pu and
                  Lijun Zhang and
                  Moshe Y. Vardi},
  title        = {SAT-based explicit {LTL} reasoning and its application to satisfiability
                  checking},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {2},
  pages        = {164--190},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-018-00326-5},
  doi          = {10.1007/S10703-018-00326-5},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/LiZPZV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/OuadjaoutM19,
  author       = {Abdelraouf Ouadjaout and
                  Antoine Min{\'{e}}},
  title        = {Quantitative static analysis of communication protocols using abstract
                  Markov chains},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {1},
  pages        = {64--109},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-019-00331-2},
  doi          = {10.1007/S10703-019-00331-2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/OuadjaoutM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Ranzato19,
  author       = {Francesco Ranzato},
  title        = {Foreword to the special issue on the 2017 Static Analysis Symposium},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {1},
  pages        = {1--3},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-019-00340-1},
  doi          = {10.1007/S10703-019-00340-1},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Ranzato19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SanchezSABBCFFK19,
  author       = {C{\'{e}}sar S{\'{a}}nchez and
                  Gerardo Schneider and
                  Wolfgang Ahrendt and
                  Ezio Bartocci and
                  Domenico Bianculli and
                  Christian Colombo and
                  Yli{\`{e}}s Falcone and
                  Adrian Francalanza and
                  Srdan Krstic and
                  Jo{\~{a}}o M. Louren{\c{c}}o and
                  Dejan Nickovic and
                  Gordon J. Pace and
                  Jos{\'{e}} Rufino and
                  Julien Signoles and
                  Dmitriy Traytel and
                  Alexander Weiss},
  title        = {A survey of challenges for runtime verification from advanced application
                  domains (beyond software)},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {3},
  pages        = {279--335},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-019-00337-w},
  doi          = {10.1007/S10703-019-00337-W},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/SanchezSABBCFFK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SharmaR19,
  author       = {Tushar Sharma and
                  Thomas W. Reps},
  title        = {A new abstraction framework for affine transformers},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {1},
  pages        = {110--143},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-018-0325-z},
  doi          = {10.1007/S10703-018-0325-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/SharmaR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/WangRWVD19,
  author       = {Yu Wang and
                  Nima Roohi and
                  Matthew West and
                  Mahesh Viswanathan and
                  Geir E. Dullerud},
  title        = {Statistical verification of {PCTL} using antithetic and stratified
                  samples},
  journal      = {Formal Methods Syst. Des.},
  volume       = {54},
  number       = {2},
  pages        = {145--163},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10703-019-00339-8},
  doi          = {10.1007/S10703-019-00339-8},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/WangRWVD19.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.