activity
20162026
most citedWhat Do We Want From Explainable Artificial Intelligence (XAI)? -- A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research

611 citations · 698 across the 12 of their papers we have counts for

collaborators
Showing 2017 · cs.LOShow all

2 papers · 2 filters

cs.LO2017★ 1 cited

Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems

Holger Hermanns, Peter Höfner

This volume contains the proceedings of MARS 2017, the second workshop on Models for Formal Analysis of Real Systems, held on April 29, 2017 in Uppala, Sweden, as an affiliated wor…

cs.LO2017★ 2 cited

Is your software on dope? Formal analysis of surreptitiously "enhanced" programs

Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer +2

Usually, it is the software manufacturer who employs verification or testing to ensure that the software embedded in a device meets its main objectives. However, these days we are…