Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlap/BensalemHRTWZ24,
  author       = {Saddek Bensalem and
                  Xiaowei Huang and
                  Wenjie Ruan and
                  Qiyi Tang and
                  Changshun Wu and
                  Xingyu Zhao},
  title        = {Bridging formal methods and machine learning with model checking and
                  global optimisation},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {137},
  pages        = {100941},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100941},
  doi          = {10.1016/J.JLAMP.2023.100941},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/BensalemHRTWZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/CastiglioniLT24,
  author       = {Valentina Castiglioni and
                  Ruggero Lanotte and
                  Simone Tini},
  title        = {Back to the format: {A} survey on {SOS} for probabilistic processes},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {137},
  pages        = {100929},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100929},
  doi          = {10.1016/J.JLAMP.2023.100929},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/CastiglioniLT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/NesterV24,
  author       = {Chad Nester and
                  Niels F. W. Voorneveld},
  title        = {Protocol choice and iteration for the free cornering},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {137},
  pages        = {100942},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100942},
  doi          = {10.1016/J.JLAMP.2023.100942},
  timestamp    = {Sat, 17 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/NesterV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/SchneiderMG24,
  author       = {Sven Schneider and
                  Maria Maximova and
                  Holger Giese},
  title        = {Bounded model checking for interval probabilistic timed graph transformation
                  systems against properties of probabilistic metric temporal graph
                  logic},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {137},
  pages        = {100938},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100938},
  doi          = {10.1016/J.JLAMP.2023.100938},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/SchneiderMG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/SelvarajKAF24,
  author       = {Yuvaraj Selvaraj and
                  Jonas Krook and
                  Wolfgang Ahrendt and
                  Martin Fabian},
  title        = {On proving that an unsafe controller is not proven safe},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {137},
  pages        = {100939},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100939},
  doi          = {10.1016/J.JLAMP.2023.100939},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/SelvarajKAF24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/StockMLE24,
  author       = {Sebastian Stock and
                  Atif Mashkoor and
                  Michael Leuschel and
                  Alexander Egyed},
  title        = {Trace preservation in {B} and Event-B refinements},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {137},
  pages        = {100943},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2024.100943},
  doi          = {10.1016/J.JLAMP.2024.100943},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/StockMLE24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/YeFW24,
  author       = {Kangfeng Ye and
                  Simon Foster and
                  Jim Woodcock},
  title        = {Formally verified animation for RoboChart using interaction trees},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {137},
  pages        = {100940},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100940},
  doi          = {10.1016/J.JLAMP.2023.100940},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/YeFW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}