External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Software doping analysis for human oversight

Sebastian Biewer, Kevin Baum 0001, Sarah Sterz, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Franz Lehr. Software doping analysis for human oversight. Formal Methods in System Design, 66(1):49-98, May 2025. [doi]

Authors

Sebastian Biewer

This author has not been identified. Look up 'Sebastian Biewer' in Google

Kevin Baum 0001

This author has not been identified. Look up 'Kevin Baum 0001' in Google

Sarah Sterz

This author has not been identified. Look up 'Sarah Sterz' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Sven Hetmank

This author has not been identified. Look up 'Sven Hetmank' in Google

Markus Langer

This author has not been identified. Look up 'Markus Langer' in Google

Anne Lauber-Rönsberg

This author has not been identified. Look up 'Anne Lauber-Rönsberg' in Google

Franz Lehr

This author has not been identified. Look up 'Franz Lehr' in Google
runs on