Search dblp for Publications

• > Home > Search

@article{DBLP:journals/fmsd/BasinCEHKM16,
  author       = {David A. Basin and
                  Germano Caronni and
                  Sarah Ereth and
                  Mat{\'{u}}s Harvan and
                  Felix Klaedtke and
                  Heiko Mantel},
  title        = {Scalable offline monitoring of temporal specifications},
  journal      = {Formal Methods Syst. Des.},
  volume       = {49},
  number       = {1-2},
  pages        = {75--108},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10703-016-0242-y},
  doi          = {10.1007/S10703-016-0242-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BasinCEHKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BefroueiWW16,
  author       = {Mitra Tabaei Befrouei and
                  Chao Wang and
                  Georg Weissenbacher},
  title        = {Abstraction and mining of traces to explain concurrency bugs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {49},
  number       = {1-2},
  pages        = {1--32},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10703-015-0240-5},
  doi          = {10.1007/S10703-015-0240-5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BefroueiWW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CimattiGMT16,
  author       = {Alessandro Cimatti and
                  Alberto Griggio and
                  Sergio Mover and
                  Stefano Tonetta},
  title        = {Infinite-state invariant checking with {IC3} and predicate abstraction},
  journal      = {Formal Methods Syst. Des.},
  volume       = {49},
  number       = {3},
  pages        = {190--218},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10703-016-0257-4},
  doi          = {10.1007/S10703-016-0257-4},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/CimattiGMT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ColomboF16,
  author       = {Christian Colombo and
                  Yli{\`{e}}s Falcone},
  title        = {Organising {LTL} monitors over distributed systems with a global clock},
  journal      = {Formal Methods Syst. Des.},
  volume       = {49},
  number       = {1-2},
  pages        = {109--158},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10703-016-0251-x},
  doi          = {10.1007/S10703-016-0251-X},
  timestamp    = {Sat, 12 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/ColomboF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/EsparzaKS16,
  author       = {Javier Esparza and
                  Jan Kret{\'{\i}}nsk{\'{y}} and
                  Salomon Sickert},
  title        = {From {LTL} to deterministic automata - {A} safraless compositional
                  approach},
  journal      = {Formal Methods Syst. Des.},
  volume       = {49},
  number       = {3},
  pages        = {219--271},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10703-016-0259-2},
  doi          = {10.1007/S10703-016-0259-2},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/EsparzaKS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GhassemiF16,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink},
  title        = {Model checking mobile ad hoc networks},
  journal      = {Formal Methods Syst. Des.},
  volume       = {49},
  number       = {3},
  pages        = {159--189},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10703-016-0254-7},
  doi          = {10.1007/S10703-016-0254-7},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/GhassemiF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JohnC16,
  author       = {Ajith K. John and
                  Supratik Chakraborty},
  title        = {A layered algorithm for quantifier elimination from linear modular
                  constraints},
  journal      = {Formal Methods Syst. Des.},
  volume       = {49},
  number       = {3},
  pages        = {272--323},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10703-016-0260-9},
  doi          = {10.1007/S10703-016-0260-9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/JohnC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MitschP16,
  author       = {Stefan Mitsch and
                  Andr{\'{e}} Platzer},
  title        = {ModelPlex: verified runtime validation of verified cyber-physical
                  system models},
  journal      = {Formal Methods Syst. Des.},
  volume       = {49},
  number       = {1-2},
  pages        = {33--74},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10703-016-0241-z},
  doi          = {10.1007/S10703-016-0241-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/MitschP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}