24 citations · 120 across the 25 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
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…
cs.SE2014★ 7 cited
Towards Verifying Safety Properties of Real-Time Probabilistic Systems
Fenglin Han, Jan Olaf Blech, Peter Herrmann +1
Using probabilities in the formal-methods-based development of safety-critical software has quickened interests in academia and industry. We address this area by our model-driven e…