24 citations · 120 across the 25 of their papers we have counts for
3 papers · 2 filters
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…
Spatio-temporal Models for Formal Analysis and Property-based Testing
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
This paper presents our ongoing work on spatio-temporal models for formal analysis and property-based testing. Our proposed framework aims at reducing the impedance mismatch betwee…
Operators for Space and Time in BeSpaceD
Jan Olaf Blech, Keith Foster
In this report, we present some spatio-temporal operators for our BeSpaceD framework. We port operators known from functional programming languages such as filtering, folding and n…