24 citations · 120 across the 25 of their papers we have counts for
21 papers · 1 filter
Towards Classification of Lightweight Formal Methods
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…
On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework
Jan Olaf Blech, Ian D. Peake, Sudarsan SD
Means to support collaboration for remote industrial facilities such as mining are an important topic, especially in Australia, where major mining sites can be more than a thousand…
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…
Towards the Formalization of a Factory Demonstrator in BeSpaceD
Keith Foster, Jan Olaf Blech, Guillaume Prevost
This report gives an overview of our efforts towards a formalization for a food processing demonstrator plant. Our BeSpaceD framework is used for the formalization. The formalizati…