Johannes Kloos

According to our database, Johannes Kloos authored at least 12 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Heap-based reasoning about asynchronous programs.

Johannes Kloos

PhD thesis, 2018

2017

Deferrability Analysis for JavaScript.

Johannes Kloos, Rupak Majumdar, Frank McCabe

Proceedings of the Hardware and Software: Verification and Testing, 2017

2015

Asynchronous Liquid Separation Types.

Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2013

Supervisor synthesis for controller upgrades.

Johannes Kloos, Rupak Majumdar

Proceedings of the Design, Automation and Test in Europe, 2013

Incremental, Inductive Coverability.

Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2011

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

Johannes Kloos, Tanvir Hussain, Robert Eschbach

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems.

Frank Elberzhager, Robert Eschbach, Johannes Kloos

Proceedings of the Software Engineering 2010, 2010

A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages.

Martin Proetzsch, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Karsten Berns

Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections.

Johannes Kloos, Frank Elberzhager, Robert Eschbach

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

2009

Risikobasiertes statistisches Testen.

Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer

Softwaretechnik-Trends, 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, 2009

Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study.

Johannes Kloos, Robert Eschbach

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009