Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study. - Johannes Kloos; Robert Eschbach (ICST Workshops, 2009)

A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. - Johannes Kloos; Robert Eschbach (FACS@FMWeek, 2009)

Risikobasiertes statistisches Testen. - Fabian Zimmermann; Robert Eschbach; Johannes Kloos; Thomas Bauer (Softwaretechnik-Trends, 2009)

Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections. - Johannes Kloos; Frank Elberzhager; Robert Eschbach (EUROMICRO-SEAA, 2010)

A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages. - Martin Proetzsch; Fabian Zimmermann; Robert Eschbach; Johannes Kloos; Karsten Berns (KI, 2010)

Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems. - Frank Elberzhager; Robert Eschbach; Johannes Kloos (Software Engineering, 2010)

Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis. - Johannes Kloos; Tanvir Hussain; Robert Eschbach (ICST Workshops, 2011)

Incremental, Inductive Coverability. - Johannes Kloos; Rupak Majumdar; Filip Niksic; Ruzica Piskac (CAV, 2013)

Supervisor synthesis for controller upgrades. - Johannes Kloos; Rupak Majumdar (DATE, 2013)

Asynchronous Liquid Separation Types. - Johannes Kloos; Rupak Majumdar; Viktor Vafeiadis (ECOOP, 2015)

Deferrability Analysis for JavaScript. - Johannes Kloos; Rupak Majumdar; Frank McCabe (Haifa Verification Conference, 2017)

Heap-based reasoning about asynchronous programs. - Johannes Kloos (2018)