Concepedia

Mario Gleirscher

MG

Statistics

Publications

14

Citations

374

H-Index

12

Active since

2009

Affiliations

University of York(Current)

Technical University of Munich

University of Bremen

University of Sheffield

Staats- und Universitätsbibliothek Bremen

Mario Gleirscher is an author at University of York specializing in engineering, computing, and systems engineering.

Publications per year

2009–2024

14

Publications

14

A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics

James A. Douthwaite, Benjamin Lesage, Mario Gleirscher et al. · Frontiers in Robotics and AI · 2021 · 62 citations · Full text

Engineering, Manufacturing Engineering, Systems Engineering +17

Formal methods in dependable systems engineering: a survey of professionals from Europe and North America

Mario Gleirscher, Diego Marmsoler · Empirical Software Engineering · 2020 · 52 citations · Full text

Computing, Computer Science, Systems Engineering +8

Toward a Holistic and Standardized Automotive Architecture Description

Manfred Broy, Mario Gleirscher, Stefano Merenda et al. · Computer · 2009 · 49 citations

Engineering, Architectural Design, Automotive Engineering +16

Automotive Architecture Framework: Towards a Holistic and Standardised System Architecture Description

Manfred Broy, Mario Gleirscher, Peter Kluge et al. · 2009 · 27 citations

Engineering, Automotive Engineering, Systems Engineering +17

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

Simon Foster, Yakoub Nemouchi, Mario Gleirscher et al. · Formal Aspects of Computing · 2021 · 27 citations · Full text

Computing, Computer Science, Computer Systems +16

1–5 of 14