Mario Gleirscher
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| IsaVODEs: Interactive verification of cyber-physical systems at scale Journal of Automated Reasoning | 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 Formal Aspects of Computing | 2022-01-11 | Paper |
| RiskStructures: a design algebra for risk-aware machines Formal Aspects of Computing | 2021-09-14 | Paper |
| On Activation, Connection, and Behavior in Dynamic Architectures Scientific Annals of Computer Science | 2019-02-08 | Paper |
| Specifying properties of dynamic architectures using configuration traces Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Research outcomes over time
This page was built for person: Mario Gleirscher
