Johannes Kloos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ECOOP | Asynchronous Liquid Separation Types. | Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis |
| 2013 | CAV | Incremental, Inductive Coverability. | Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac |
| 2013 | DATE | Supervisor synthesis for controller upgrades. | Johannes Kloos, Rupak Majumdar |
| 2011 | ICST | Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis. | Johannes Kloos, Tanvir Hussain, Robert Eschbach |
| 2010 | KI | A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages. | Martin Proetzsch, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Karsten Berns |
| 2009 | ICST | Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study. | Johannes Kloos, Robert Eschbach |