24 citations · 120 across the 25 of their papers we have counts for
3 papers · 1 filter
Towards a Cloud-based Architecture for Visualization and Augmented Reality to Support Collaboration in Manufacturing Automation
Ian D. Peake, Jan Olaf Blech, Shyam Nath +2
In this report, we present our work in visualization and augmented reality technologies supporting collaboration in manufacturing automation. Our approach is based on (i) analysis…
From Temporal Models to Property-Based Testing
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal mo…
Towards Decision Support for Smart Energy Systems based on Spatio-temporal Models
Jan Olaf Blech, Lasith Fernando, Keith Foster +2
This report presents our SmartSpace event handling framework for managing smart-grids and renewable energy installations. SmartSpace provides decision support for human stakeholder…