Johannes Kloos

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Venues

CoRR

CAV

DATE

ECOOP

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Johannes Kloos, Rupak Majumdar, Frank McCabe
Deferrability Analysis for JavaScript. Haifa Verification Conference (2017)
Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis
Asynchronous Liquid Separation Types. ECOOP (2015)
Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
Incremental, Inductive Coverability. CAV (2013)
Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
Incremental, Inductive Coverability CoRR (2013)
Johannes Kloos, Rupak Majumdar
Supervisor synthesis for controller upgrades. DATE (2013)
Johannes Kloos, Tanvir Hussain, Robert Eschbach
Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis. ICST Workshops (2011)
Johannes Kloos, Robert Eschbach
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. Electron. Notes Theor. Comput. Sci. 263 (2010)
Frank Elberzhager, Robert Eschbach, Johannes Kloos
Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems. Software Engineering (2010)
Johannes Kloos, Frank Elberzhager, Robert Eschbach
Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections. EUROMICRO-SEAA (2010)
Martin Proetzsch, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Karsten Berns
A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages. KI (2010)
Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer
Risikobasiertes statistisches Testen. Softwaretechnik-Trends 29 (4) (2009)
Johannes Kloos, Robert Eschbach
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study. ICST Workshops (2009)

Johannes Kloos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Johannes Kloos