Johannes Kloos

Statistics

Publications

Citations

H-Index

Active since

2011

Affiliations

Fraunhofer Institute for Experimental Software Engineering(Current)

Johannes Kloos is an author at Fraunhofer Institute for Experimental Software Engineering specializing in model-based testing, model-based safety analysis, and computer engineering.

Publications per year

2011–2015

Publications

Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis

Johannes Kloos, T. Hussain, Robert Eschbach · 2011 · 50 citations

Engineering, Computer Engineering, Systems Engineering +17

Asynchronous Liquid Separation Types

Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 10 citations · Full text

Computing, Computer Science, Formal Methods +15

1–2 of 2