Search filters

List of works by Marco Montali

A Computational Logic Application Framework for Service Discovery and Contracting

scientific article published in July 2011

A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language

scientific article published in 2012

A Tool for the Verification of Data-Aware Business Processes

scientific article published in 2018

A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction

AI-augmented Business Process Management Systems: A Research Manifesto

scientific article published on 31 January 2023

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning

scientific article published in 2010

An Operational Decision Support Framework for Monitoring Business Constraints

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines

Checking Compliance of Execution Traces to Business Rules

scientific article published in 2009

Compliance monitoring in business processes: Functionalities, application, and tool-support

scientific article

Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs

scientific paper published in CEUR-WS Volume 3194

Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge

Declarative Process Modeling in BPMN

scientific article published in 2015

Declarative Technologies for Open Agent Systems and Beyond

scientific article published in 2010

Declarative specification and verification of service choreographiess

article published in 2010

Description Logic Knowledge and Action Bases

scientific article published on 26 April 2013

Discovering Data-Aware Declarative Process Models from Event Logs

Engineering and verifying agent-oriented requirements augmented by business constraints with $${\mathcal{B}}$$ -Tropos

scientific article published on 14 May 2010

Ensuring Model Consistency in Declarative Process Discovery

scientific article published in 2015

Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems

scientific article published in 2011

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining

article published in 2009

Expressing and Verifying Business Contracts with Abductive Logic Programming

scientific article published in July 2008

Extracting Event Data from Document-Driven Enterprise Systems

Formal Verification of Petri Nets with Names

scientific article published in 2016

Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant

scientific article published in May 2010

Foundations of data-aware process analysis

scientific article published in 2013

Fuzzy Conformance Checking of Observed Behaviour with Expectations

scientific article published in 2011

Gamified children universities

scientific article published in 2014

Implementing and Running Data-Centric Dynamic Systems

scientific article published in December 2013

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

scientific article published in July 2009

Introduction

scientific article published in 2010

MONITORING TIME-AWARE COMMITMENTS WITHIN AGENT-BASED SIMULATION ENVIRONMENTS

scientific article published in September 2011

Model checking Petri nets with names using data-centric dynamic systems

scientific article published on 18 April 2016

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

scientific article published in 2014

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces

scientific article published in 2022

Monitoring business constraints with the event calculus

Monitoring data-aware business constraints with finite state automata

scientific article published in 2014

Process Fragment Recognition in Clinical Documents

scientific article published in 2013

Process Mining Manifesto

scientific article published in 2012

Reactive Event Calculus for Monitoring Global Computing Applications

scientific article published in 2012

Representing and monitoring social commitments using the event calculus

scientific article published on 22 June 2012

Resolving inconsistencies and redundancies in declarative process models

scientific article published in March 2017

Role Monitoring in Open Agent Societies

scientific article published in 2010

Run-Time Verification of MSMAS Norms Using Event Calculus

scientific article published in September 2014

Runtime Verification of LTL-Based Declarative Process Models

Semantic Enrichment of GSM-Based Artifact-Centric Models

scientific article published on 11 April 2014

Social Commitments in Time: Satisfied or Compensated

scientific article published in 2010

Soundness of data-aware, case-centric processes

scientific article published on 15 March 2016

Towards data-aware constraints in declare

scientific article published in 2013

Verifiable UML Artifact-Centric Business Process Models

scientific article published in 2014

Verification and Synthesis in Description Logic Based Dynamic Systems

scientific article published in 2013

Verification from Declarative Specifications Using Logic Programming

scientific article published in 2008

Verification of Artifact-Centric Systems: Decidability and Modeling Issues

scientific article published in 2013

Verification of Query Completeness over Processes

scientific article published in 2013

Verification of Semantically-Enhanced Artifact Systems

scientific article published in 2013

Verification of Unary Communicating Datalog Programs

scientific article published on 10 May 2024

Verification of relational data-centric dynamic systems with external services

scientific article published in 2013