Heap-based reasoning about asynchronous programs - Johannes Kloos (Kaiserslautern University of Technology, Germany, 2018)

Deferrability Analysis for JavaScript - Johannes Kloos; Rupak Majumdar; Frank McCabe (Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings, 2017)

Asynchronous Liquid Separation Types - Johannes Kloos; Rupak Majumdar; Viktor Vafeiadis (29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic, 2015)

Incremental, Inductive Coverability - Johannes Kloos; Rupak Majumdar; Filip Niksic; Ruzica Piskac (Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, 2013)

Supervisor synthesis for controller upgrades - Johannes Kloos; Rupak Majumdar (Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013, 2013)

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

Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis - Johannes Kloos; Tanvir Hussain; Robert Eschbach (Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011)

Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections - Johannes Kloos; Frank Elberzhager; Robert Eschbach (36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010, Lille, France, September 1-3, 2010, 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: Advances in Artificial Intelligence, 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings, 2010)

Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems - Frank Elberzhager; Robert Eschbach; Johannes Kloos (Software Engineering 2010 - Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26.2.2010 in Paderborn, 2010)

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

Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study - Johannes Kloos; Robert Eschbach (Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings, 2009)

A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems - Johannes Kloos; Robert Eschbach (Proceedings of the 6th International Workshop on Formal Aspects of Component Software, FACS@FMWeek 2009, Eindhoven, The Netherlands, November 2-3, 2009, 2009)