research
∙
08/02/2022
Stratified Certification for k-Induction
Our recently proposed certification framework for bit-level k-induction-...
share
research
∙
01/23/2020
CEFIoT: A Fault-Tolerant IoT Architecture for Edge and Cloud
Internet of Things (IoT), the emerging computing infrastructure that ref...
research
∙
04/15/2019
Exploiting Event Log Data-Attributes in RNN Based Prediction
In predictive process analytics, current and historical process data in ...
research
∙
09/16/2018
Classifying Process Instances Using Recurrent Neural Networks
Process Mining consists of techniques where logs created by operative sy...
research
∙
10/08/2017