Search dblp for Publications

• > Home > Search

@article{DBLP:journals/fmsd/AndreNPS21,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Hoang Gia Nguyen and
                  Laure Petrucci and
                  Jun Sun},
  title        = {Distributed parametric model checking timed automata under non-Zenoness
                  assumption},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {253--290},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00400-z},
  doi          = {10.1007/S10703-022-00400-Z},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AndreNPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BallabrigaFR21,
  author       = {Cl{\'{e}}ment Ballabriga and
                  Julien Forget and
                  Jordy Ruiz},
  title        = {Relational abstract interpretation of arrays in assembly code},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {103--135},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00399-3},
  doi          = {10.1007/S10703-022-00399-3},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BallabrigaFR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BresolinEVY21,
  author       = {Davide Bresolin and
                  Khaled El{-}Fakih and
                  Tiziano Villa and
                  Nina Yevtushenko},
  title        = {Equivalence checking and intersection of deterministic timed finite
                  state machines},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {77--102},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00396-6},
  doi          = {10.1007/S10703-022-00396-6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BresolinEVY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Fajstrup21,
  author       = {Lisbeth Fajstrup},
  title        = {Cut-off theorems for the PV-model},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {21--43},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00393-9},
  doi          = {10.1007/S10703-022-00393-9},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/Fajstrup21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FerrandoCFLPFM21,
  author       = {Angelo Ferrando and
                  Rafael C. Cardoso and
                  Marie Farrell and
                  Matt Luckcuck and
                  Fabio Papacchini and
                  Michael Fisher and
                  Viviana Mascardi},
  title        = {Bridging the gap between single- and multi-model predictive runtime
                  verification},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {44--76},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00395-7},
  doi          = {10.1007/S10703-022-00395-7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/FerrandoCFLPFM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KolblLW21,
  author       = {Martin K{\"{o}}lbl and
                  Stefan Leue and
                  Thomas Wies},
  title        = {Automated repair for timed systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {136--169},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00397-5},
  doi          = {10.1007/S10703-022-00397-5},
  timestamp    = {Sat, 13 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/KolblLW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MascleNSTWZ21,
  author       = {Corto Mascle and
                  Daniel Neider and
                  Maximilian Schwenger and
                  Paulo Tabuada and
                  Alexander Weinert and
                  Martin Zimmermann},
  title        = {From {LTL} to rLTL monitoring: improved monitorability through robust
                  semantics},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {170--204},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00398-4},
  doi          = {10.1007/S10703-022-00398-4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/MascleNSTWZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Monniaux21,
  author       = {David Monniaux},
  title        = {The complexity gap in the static analysis of cache accesses grows
                  if procedure calls are added},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {1--20},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00392-w},
  doi          = {10.1007/S10703-022-00392-W},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Monniaux21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PinisettyPRT21,
  author       = {Srinivas Pinisetty and
                  Ankit Pradhan and
                  Partha S. Roop and
                  Stavros Tripakis},
  title        = {Compositional runtime enforcement revisited},
  journal      = {Formal Methods Syst. Des.},
  volume       = {59},
  number       = {1},
  pages        = {205--252},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10703-022-00401-y},
  doi          = {10.1007/S10703-022-00401-Y},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/PinisettyPRT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}