Mario Gleirscher

Available identifiers

zbMath Open gleirscher.marioMaRDI QIDQ1982647

List of research outcomes

Publication	Date of Publication	Type
IsaVODEs: Interactive verification of cyber-physical systems at scale	2024-12-16	Paper
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots	2024-03-14	Paper
Integration of formal proof into unified assurance cases with Isabelle/SACM	2022-01-11	Paper
RiskStructures: a design algebra for risk-aware machines	2021-09-14	Paper
On Activation, Connection, and Behavior in Dynamic Architectures	2019-02-08	Paper
Specifying properties of dynamic architectures using configuration traces	2016-12-21	Paper

Research outcomes over time

This page was built for person: Mario Gleirscher