Safety case
相关论文数: 6
顶级研究者
最高引用论文
SMOF: A Safety Monitoring Framework for Autonomous Systems
Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson
引用数: 66 • 2016
Guaranteeing functional safety: design for provability and computer-aided verification
Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter
引用数: 42 • 2011
Human-robot interactions: model-based risk analysis and safety case construction
Quynh Anh Do Hoang, Jérémie Guiochet, David Powell, Mohamed Kaâniche
引用数: 14 • 2012
The Importance of Being Formal
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
引用数: 12 • 2009
ACCESS: Assurance Case Centric Engineering of Safety–critical Systems
Ran Wei, Simon Foster, Haitao Mei, Yan Fang, Ruizhe Yang, Ibrahim Habli, C. O'Halloran, Nick Tudor, Tim Kelly, Yakoub Nemouchi
引用数: 10 • 2024
Assurance Cases as Foundation Stone for Auditing AI-Enabled and Autonomous Systems: Workshop Results and Political Recommendations for Action from the ExamAI Project
Rasmus Adler, Michael Klaes
引用数: 4 • 2022