research
∙
04/12/2023
NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series
As more connected devices are implemented in a cyber-physical world and ...
share
research
∙
09/01/2022
Predictive Semantics for Past-CTL Runtime Monitors
The distributed monitoring of swarms of devices cooperating to common gl...
research
∙
05/22/2020
Empowering Multilevel DSMLs with Integrated Runtime Verification
Within Model-Driven Software Engineering, Domain-Specific Modelling has ...
research
∙
05/20/2020
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
High-level Petri net such as Coloured Petri Nets (CPNs) are characterise...
research
∙
08/27/2019
On Distributed Runtime Verification by Aggregate Computing
Runtime verification is a computing analysis paradigm based on observing...
research
∙
02/11/2019