Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
José António Gaspar
Claudia Calabrese
Francisco Chiclana
Maria Concetta Palumbo
Zhen Mu
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
JOHANNES KLOOS
Author Info
Open Visualization
Name
Affiliation
Papers
JOHANNES KLOOS
MPI-SWS, Kaiserslautern, Germany,MPI-SWS, Saarbrücken, Germany
9
Collaborators
Citations
PageRank
10
45
4.51
Referers
Referees
References
115
127
57
Search Limit
100
127
Publications (9 rows)
Collaborators (10 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Incremental, inductive coverability
10
0.51
2013
Supervisor synthesis for controller upgrades
1
0.39
2013
Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis
22
1.15
2011
Systematic Construction of Goal Indicator Trees for Indicator-Based Dependability Inspections
1
0.35
2010
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems
5
0.49
2010
A systematic testing approach for autonomousm mobile robots using domain-specific languages
1
0.35
2010
Indicator-Based Inspections: A Risk-Oriented Quality Assurance Approach for Dependable Systems
2
0.50
2010
Risikobasiertes statistisches Testen.
0
0.34
2009
Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study
3
0.43
2009
1