24 citations · 38 across the 3 of their papers we have counts for
3 papers
cs.SE2016★ 2 cited
Managing Usability and Reliability Aspects in Cloud Computing
Maria Spichkova, Heinz W. Schmidt, Ian E. Thomas +3
Cloud computing provides a great opportunity for scientists, as it enables large-scale experiments that cannot are too long to run on local desktop machines. Cloud-based computatio…
cs.SE2014★ 12 cited
Cyber-Virtual Systems: Simulation, Validation & Visualization
Jan Olaf Blech, Maria Spichkova, Ian Peake +1
We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance.…
cs.SE2014★ 24 cited
BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems
Jan Olaf Blech, Heinz Schmidt
In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to…