Search dblp for Publications

• > Home > Search

@article{DBLP:journals/fmsd/BolligLS24,
  author       = {Benedikt Bollig and
                  Mathieu Lehaut and
                  Nathalie Sznajder},
  title        = {Round- and context-bounded control of dynamic pushdown systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {62},
  number       = {1},
  pages        = {41--78},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10703-023-00431-0},
  doi          = {10.1007/S10703-023-00431-0},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BolligLS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ElderhalliHT24,
  author       = {Yassmeen Elderhalli and
                  Osman Hasan and
                  Sofi{\`{e}}ne Tahar},
  title        = {Dynamic dependability analysis of shuffle-exchange networks},
  journal      = {Formal Methods Syst. Des.},
  volume       = {62},
  number       = {1},
  pages        = {285--325},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10703-024-00448-z},
  doi          = {10.1007/S10703-024-00448-Z},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/ElderhalliHT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JonesB24,
  author       = {Cliff B. Jones and
                  Alan Burns},
  title        = {Extending rely-guarantee thinking to handle real-time scheduling},
  journal      = {Formal Methods Syst. Des.},
  volume       = {62},
  number       = {1},
  pages        = {119--140},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10703-023-00441-y},
  doi          = {10.1007/S10703-023-00441-Y},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/JonesB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JungesAHJKQV24,
  author       = {Sebastian Junges and
                  Erika {\'{A}}brah{\'{a}}m and
                  Christian Hensel and
                  Nils Jansen and
                  Joost{-}Pieter Katoen and
                  Tim Quatmann and
                  Matthias Volk},
  title        = {Parameter synthesis for Markov models: covering the parameter space},
  journal      = {Formal Methods Syst. Des.},
  volume       = {62},
  number       = {1},
  pages        = {181--259},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10703-023-00442-x},
  doi          = {10.1007/S10703-023-00442-X},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/JungesAHJKQV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/MambakamJBBD24,
  author       = {Akshay Mambakam and
                  Jos{\'{e}} Ignacio Requeno Jarabo and
                  Alexey Bakhirkin and
                  Nicolas Basset and
                  Thao Dang},
  title        = {Mining of extended signal temporal logic specifications with ParetoLib
                  2.0},
  journal      = {Formal Methods Syst. Des.},
  volume       = {62},
  number       = {1},
  pages        = {260--284},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10703-024-00453-2},
  doi          = {10.1007/S10703-024-00453-2},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/MambakamJBBD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/OsamaWB24,
  author       = {Muhammad Osama and
                  Anton Wijs and
                  Armin Biere},
  title        = {Certified {SAT} solving with {GPU} accelerated inprocessing},
  journal      = {Formal Methods Syst. Des.},
  volume       = {62},
  number       = {1},
  pages        = {79--118},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10703-023-00432-z},
  doi          = {10.1007/S10703-023-00432-Z},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/OsamaWB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ShankarPPRF24,
  author       = {Saumya Shankar and
                  Ankit Pradhan and
                  Srinivas Pinisetty and
                  Antoine Rollet and
                  Yli{\`{e}}s Falcone},
  title        = {Bounded-memory runtime enforcement with probabilistic and performance
                  analysis},
  journal      = {Formal Methods Syst. Des.},
  volume       = {62},
  number       = {1},
  pages        = {141--180},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10703-024-00446-1},
  doi          = {10.1007/S10703-024-00446-1},
  timestamp    = {Tue, 18 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/ShankarPPRF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/StefanoL24,
  author       = {Luca Di Stefano and
                  Fr{\'{e}}d{\'{e}}ric Lang},
  title        = {Compositional verification of priority systems using sharp bisimulation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {62},
  number       = {1},
  pages        = {1--40},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10703-023-00422-1},
  doi          = {10.1007/S10703-023-00422-1},
  timestamp    = {Sat, 06 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/StefanoL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}