Mario Gleirscher

Search results

• 2021

  Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

  Foster, S. D., Munive, J. H. Y., Struth, G. & Gleirscher, M., 10 Nov 2021, Formal methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings. Springer, p. 367-386 18 p. (Lecture Notes in Computer Science; vol. 13047).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Maintaining driver attentiveness in shared-control autonomous driving

  Calinescu, R., Alasmari, N. & Gleirscher, M., 12 Mar 2021, (Accepted/In press) Software Engineering for Adaptive and Self-Managing Systems. IEEE, (IEEE Conference Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access
• 2020

  Safety Controller Synthesis for Collaborative Robots

  Gleirscher, M. & Calinescu, R., 28 Oct 2020, Proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles

  Foster, S. D., Gleirscher, M. & Calinescu, R., 2 Aug 2020, (Accepted/In press) Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). IEEE, 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Yap: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments

  Gleirscher, M., 7 Dec 2020, Second Workshop on Formal Methods for Autonomous Systems (FMAS2020). Open Publishing Association, Vol. 329. p. 31 47 p. (Electronic Proceedings in Theoretical Computer Science; vol. 329).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2019

  Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

  Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, (E-pub ahead of print) Integrated Formal Methods: Proceedings of the 15th International Conference. Springer, Vol. 11918. p. 379-398 20 p. (LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File