Items where authors include "Gleirscher, Mario"

Article

Munive, Jonathan Huerta y, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (3 more authors) (2024) IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. Journal of Automated Reasoning. 68. ISSN 0168-7433

Gleirscher, Mario orcid.org/0000-0002-9445-6863, van de Pol, Jaco and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2023) A manifesto for applicable formal methods. Software and Systems Modeling. ISSN 1619-1366

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260, Douthwaite, James et al. (5 more authors) (2022) Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. Science of Computer Programming. 102809. ISSN 0167-6423

Douthwaite, James A., Lesage, Benjamin Michael Jean-Rene, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (4 more authors) (2021) A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers in Robotics and AI. 758099. ISSN 2296-9144

Foster, Simon David orcid.org/0000-0002-9889-9514, Nemouchi, Yakoub, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (2 more authors) (2021) Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM. Formal Aspects of Computing. pp. 855-884. ISSN 1433-299X

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Pol, Jaco van de and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) Proceedings First Workshop on Applicable Formal Methods. Electronic Proceedings in Theoretical Computer Science. ISSN 2075-2180

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Calinescu, Radu orcid.org/0000-0002-2678-9260 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2021) RiskStructures:A Design Algebra for Risk-Aware Machines. Formal Aspects of Computing. pp. 763-802. ISSN 1433-299X

Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Marmsoler, Diego (2020) Formal Methods in Dependable Systems Engineering:A Survey of Professionals from Europe and North America. Empirical Software Engineering. ISSN 1382-3256

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Foster, Simon orcid.org/0000-0002-9889-9514 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2019) New Opportunities for Integrated Formal Methods. ACM Computing Surveys. 117.

Book Section

Gleirscher, Mario orcid.org/0000-0002-9445-6863, Foster, Simon David orcid.org/0000-0002-9889-9514 and Nemouchi, Yakoub (2019) Evolution of Formal Model-based Assurance Cases for Autonomous Robots. In: Software Engineering and Formal Methods. Lecture Notes in Computer Science . Springer , NOR , pp. 87-104.

Proceedings Paper

Gleirscher, Mario orcid.org/0000-0002-9445-6863 (2020) Yap: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments. In: Second Workshop on Formal Methods for Autonomous Systems (FMAS2020). UNSPECIFIED. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , p. 31.

Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2020) Safety Controller Synthesis for Collaborative Robots. In: Proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS). Engineering of Complex Computer Systems, 28-31 Oct 2020. , SGP .

Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Calinescu, Radu orcid.org/0000-0002-2678-9260 (2020) Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles. In: Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). UNSPECIFIED. IEEE . (In Press)

Nemouchi, Yakoub, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (1 more author) (2019) Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods. In: Integrated Formal Methods:Proceedings of the 15th International Conference. UNSPECIFIED. LNCS . Springer , pp. 379-398.

Preprint

Gleirscher, Mario orcid.org/0000-0002-9445-6863 and Nyokabi, Anne (2019) System Safety Practice: An Interrogation of Practitioners about Their Activities, Challenges, and Views with a Focus on the European Region. [Preprint] (Submitted)