Concepedia

Mario Gleirscher

MG

Statistics

Publications

13

Citations

341

H-Index

11

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 systems engineering, engineering, and software engineering.

Top concepts

EngineeringSystems EngineeringDesignSoftware DesignSoftware EngineeringAutomationFormal VerificationRoboticsTechnologyVerification

Publications per year

2009–2024

13

Publications

13

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 · 58 citations · Full text

Human-robot Collaborative Assembly, Robotic Systems, Engineering +22

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

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

Software Maintenance, Software Development Practice, Engineering +28

Toward a Holistic and Standardized Automotive Architecture Description

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

Architectural Design, Industrial Design, Automotive Engineering +15

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

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

Automotive Industry, Engineering, Computer Architecture +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 · 26 citations · Full text

1–5 of 13