Mario Gleirscher

University of Bremen, University of York

Papers

11

Total Citations

199

H-Index

7

About

No biography available yet.

Research Focus

Computer science11 · 199 citations
Engineering10 · 192 citations
Systems engineering8 · 168 citations
Software engineering7 · 153 citations
Artificial intelligence8 · 113 citations
Process (computing)3 · 100 citations
Programming language6 · 87 citations
Risk analysis (engineering)5 · 80 citations
Robot5 · 75 citations
Engineering management4 · 63 citations
Modular design1 · 61 citations
Scalability1 · 61 citations

Key Achievements

7
H-Index
11
Papers
199
Total Citations
18
Avg Citations/Paper
🏆 Most Cited Paper
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics
61 citations · 2021
📈 Most Prolific Year: 2021 (4 Papers)
🤝 Key Collaborators: 17
🏛 Institutions: University of Bremen, University of York

Top Papers

  1. 1
    A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics
    61 citations · 2021
  2. 2
    Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots
    30 citations · 2021
  3. 3
    Verified synthesis of optimal safety controllers for human-robot collaboration
    25 citations · 2022
  4. 4
    New Opportunities for Integrated Formal Methods
    24 citations · 2019
  5. 5
    Evolution of Formal Model-Based Assurance Cases for Autonomous Robots
    20 citations · 2019
  6. 6
    Safety Controller Synthesis for Collaborative Robots
    14 citations · 2020
  7. 7
    Qualification of proof assistants, checkers, and generators: Where are we and what next?
    7 citations · 2023
  8. 8
    <scp>RiskStructures</scp> : A design algebra for risk-aware machines
    7 citations · 2021
  9. 9
    YAP: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments
    5 citations · 2020
  10. 10
    Complete Test of Synthesised Safety Supervisors for Robots and Autonomous Systems
    4 citations · 2021

Key Collaborators

RCRadu Călinescu5 shared papersJLJames Law3 shared papersJPJan Peleška2 shared papersJWJim Woodcock2 shared papersBLBenjamin Lesage2 shared papersRARob Alexander2 shared papersJMJonathan M. Aitken2 shared papersJAJames A. Douthwaite2 shared papersSFSimon Foster2 shared papersNJNikita Johnson1 shared papersSLSven Linker1 shared papersPKPanayiotis Karachristou1 shared papersSKStefan Kugele1 shared papersYNYakoub Nemouchi1 shared papersCPColin Paterson1 shared papersJAJohn A. Clark1 shared papersRSRobert Sachtleben1 shared papers
Not generated yet