Search filters

List of works by Riccardo De Masellis

A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies

Black Ostrich: Web Application Scanning with String Solvers

scientific article published on 21 November 2023

Conjunctive Artifact-Centric Services

Foundations of Relational Artifacts Verification

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

scientific article published in 2014

Monitoring data-aware business constraints with finite state automata

scientific article published in 2014

Semantic Enrichment of GSM-Based Artifact-Centric Models

scientific article published on 11 April 2014

VERIFICATION OF CONJUNCTIVE ARTIFACT-CENTRIC SERVICES

Verification of Artifact-Centric Systems: Decidability and Modeling Issues

scientific article published in 2013

Paulina is supported by:

About Paulina

Help