Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
Munive, J. H. Y., Foster, S. D., Gleirscher, M., Struth, G., Pardillo Laursen, C. & Hickman, T., 19 Oct 2024, In: Journal of Automated Reasoning. 21, 50 p., 68.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A manifesto for applicable formal methods
Gleirscher, M., van de Pol, J. & Woodcock, J., 18 Aug 2023, (E-pub ahead of print) In: Software and Systems Modeling.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Gleirscher, M., Calinescu, R., Douthwaite, J., Lesage, B. M.J.-R., Paterson, C., Aitken, J., Alexander, R. & Law, J., 4 Apr 2022, (E-pub ahead of print) In: Science of Computer Programming. 102809.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Datasets
-
Evolution of Formal Model-based Assurance Cases for Autonomous Robots: Supplemental Material
Gleirscher, M. (Creator), Foster, S. (Creator) & Nemouchi, Y. (Creator), Zenodo, 19 Jul 2019
Dataset