Researcher Next
Create account
← Back to directory

Holger Hermanns

Researcher Next ID · RN-000362

Professor · Computer Science

Saarland University

Saarbrücken, Germany

Sign in to saveSign in to claim
Not currently recruitingFunding unknown
Works count
430
Citation count
11,281
H-index
53
i10-index
192

About

430 publications and 11,279 citations recorded on OpenAlex.

Research interests

Computer Science
Formal Methods in Verification
Petri Nets in System Modeling
Software Reliability and Analysis Research
Software Testing and Debugging Techniques
Advanced Software Engineering Methodologies

Publications

  • What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research

    Artificial Intelligence · 2021 · 10.1016/j.artint.2021.103473

  • The ins and outs of the probabilistic model checker MRMC

    Performance Evaluation · 2010 · 10.1016/j.peva.2010.04.001

  • Model-checking algorithms for continuous-time markov chains

    IEEE Transactions on Software Engineering · 2003 · 10.1109/tse.2003.1205180

  • Interactive Markov Chains

    Lecture notes in computer science · 2002 · 10.1007/3-540-45804-2

  • Interactive Markov Chains

    Lecture notes in computer science · 2002 · 10.1007/3-540-45804-2_4

Current projects

    No projects listed.