Picture for Riccardo De Masellis

Riccardo De Masellis

Verification of data-aware workflows via reachability: formalisation and experiments

Add code
Sep 27, 2019
Figure 1 for Verification of data-aware workflows via reachability: formalisation and experiments
Figure 2 for Verification of data-aware workflows via reachability: formalisation and experiments
Figure 3 for Verification of data-aware workflows via reachability: formalisation and experiments
Figure 4 for Verification of data-aware workflows via reachability: formalisation and experiments
Viaarxiv icon

Enhancing workflow-nets with data for trace completion

Add code
Jun 01, 2017
Figure 1 for Enhancing workflow-nets with data for trace completion
Figure 2 for Enhancing workflow-nets with data for trace completion
Viaarxiv icon

Abducing Compliance of Incomplete Event Logs

Add code
Jun 17, 2016
Figure 1 for Abducing Compliance of Incomplete Event Logs
Figure 2 for Abducing Compliance of Incomplete Event Logs
Figure 3 for Abducing Compliance of Incomplete Event Logs
Figure 4 for Abducing Compliance of Incomplete Event Logs
Viaarxiv icon

LTLf and LDLf Monitoring: A Technical Report

Add code
Apr 30, 2014
Figure 1 for LTLf and LDLf Monitoring: A Technical Report
Figure 2 for LTLf and LDLf Monitoring: A Technical Report
Viaarxiv icon

Description Logic Knowledge and Action Bases

Add code
Feb 04, 2014
Figure 1 for Description Logic Knowledge and Action Bases
Figure 2 for Description Logic Knowledge and Action Bases
Viaarxiv icon