Johannes Kloos

13 papers A* 1A 2C 1Misc 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2018 — —
Heap-based reasoning about asynchronous programs.
Johannes Kloos
2017 — conf
Deferrability Analysis for JavaScript.
Haifa Verification Conference
Johannes Kloos, Rupak Majumdar, Frank McCabe
2015 A conf
Asynchronous Liquid Separation Types.
ECOOP
Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis
2013 J jnl
Incremental, Inductive Coverability
CoRR
Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
2013 A* conf
Incremental, Inductive Coverability.
CAV
Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
2013 A conf
Supervisor synthesis for controller upgrades.
DATE
Johannes Kloos, Rupak Majumdar
2011 — conf
Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis.
ICST Workshops
Johannes Kloos, Tanvir Hussain, Robert Eschbach
2010 Misc conf
A Systematic Testing Approach for Autonomous Mobile Robots Using Domain-Specific Languages.
KI
Martin Proetzsch, Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Karsten Berns
2010 C conf
Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems.
Software Engineering
Frank Elberzhager, Robert Eschbach, Johannes Kloos
2010 — conf
Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections.
EUROMICRO-SEAA
Johannes Kloos, Frank Elberzhager, Robert Eschbach
2009 — conf
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems.
FACS@FMWeek
Johannes Kloos, Robert Eschbach
2009 — conf
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study.
ICST Workshops
Johannes Kloos, Robert Eschbach
2009 J jnl
Risikobasiertes statistisches Testen.
Softwaretechnik-Trends
Fabian Zimmermann, Robert Eschbach, Johannes Kloos, Thomas Bauer