![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/jlap/jlap137.bht:"
@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} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.