Marco Montali

According to our database1, Marco Montali authored at least 150 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding.
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Model Completeness, Covers and Superposition (Abridged Version).
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Modeling and In-Database Management of Relational, Data-Aware Processes.
Proceedings of the Advanced Information Systems Engineering, 2019

Fifty Shades of Green: How Informative is a Compliant Process Trace?
Proceedings of the Advanced Information Systems Engineering, 2019

Model Completeness, Covers and Superposition.
Proceedings of the Automated Deduction - CADE 27, 2019

Formal Reasoning on Natural Language Descriptions of Processes.
Proceedings of the Business Process Management - 17th International Conference, 2019

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.
Proceedings of the Business Process Management - 17th International Conference, 2019

Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints.
Proceedings of the Business Process Management - 17th International Conference, 2019

From Model Completeness to Verification of Data Aware Processes.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Enriching Data Models with Behavioral Constraints.
Proceedings of the Ontology Makes Sense - Essays in honor of Nicola Guarino, 2019

From DB-nets to Coloured Petri Nets with Priorities.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018
Multi-party business process compliance monitoring through IoT-enabled artifacts.
Inf. Syst., 2018

On the relevance of a business constraint to an event log.
Inf. Syst., 2018

Semantics, Analysis and Simplification of DMN Decision Tables.
Inf. Syst., 2018

First-order μ-calculus over generic transition systems and applications to the situation calculus.
Inf. Comput., 2018

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning.
Fundam. Inform., 2018

Evaluating Compliance: From LTL to Abductive Logic Programming.
Fundam. Inform., 2018

A Holistic Approach for Soundness Verification of Decision-Aware Process Models.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Conceptual Schema Transformation in Ontology-Based Data Access.
Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Formalizing Application Integration Patterns.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract).
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

BPM: Foundations, Engineering, Management.
Proceedings of the Business Process Management - 16th International Conference, 2018

Verification of Fixed-Topology Declarative Distributed Systems with External Data.
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

A Tool for the Verification of Data-Aware Business Processes.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

Complexity of Reachability for Data-Aware Dynamic Systems.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

Process Management in Construction: Expansion of the Bolzano Hospital.
Proceedings of the Business Process Management Cases, 2018

2017
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases.
T. Petri Nets and Other Models of Concurrency, 2017

Resolving inconsistencies and redundancies in declarative process models.
Inf. Syst., 2017

OBDA for Log Extraction in Process Mining.
Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Semantic DMN: Formalizing Decision Models with Domain Knowledge.
Proceedings of the Rules and Reasoning - International Joint Conference, 2017

From Zero to Hero: A Process Mining Tutorial.
Proceedings of the Product-Focused Software Process Improvement, 2017

Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation.
Proceedings of the Foundations of Intelligent Systems - 23rd International Symposium, 2017

IoT-Based Compliance Checking of Multi-party Business Processes Modeled with Commitments.
Proceedings of the Service-Oriented and Cloud Computing, 2017

Object-Centric Behavioral Constraints: Integrating Data and Declarative Process Modelling.
Proceedings of the 30th International Workshop on Description Logics, 2017

The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology.
Proceedings of the Business Information Systems - 20th International Conference, 2017

Add Data into Business Process Verification: Bridging the Gap between Theory and Practice.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Soundness of data-aware, case-centric processes.
STTT, 2016

Model checking Petri nets with names using data-centric dynamic systems.
Formal Asp. Comput., 2016

Recency-Bounded Verification of Dynamic Database-Driven Systems.
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

On First-Order μ-Calculus over Situation Calculus Action Theories.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Plan Synthesis for Knowledge and Action Bases.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Synthesizing and Executing Plans in Knowledge and Action Bases.
Proceedings of the 29th International Workshop on Description Logics, 2016

Towards a Graphical Language for Process Modelling in Construction.
Proceedings of the CAiSE'16 Forum, 2016

Semantical Vacuity Detection in Declarative Process Mining.
Proceedings of the Business Process Management - 14th International Conference, 2016

Semantics and Analysis of DMN Decision Tables.
Proceedings of the Business Process Management - 14th International Conference, 2016

Towards Data- and Norm-Aware Multiagent Systems.
Proceedings of the Engineering Multi-Agent Systems - 4th International Workshop, 2016

Abducing Compliance of Incomplete Event Logs.
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015
Semantic Enrichment of GSM-Based Artifact-Centric Models.
J. Data Semantics, 2015

Compliance monitoring in business processes: Functionalities, application, and tool-support.
Inf. Syst., 2015

Well Structured Transition Systems with History.
Proceedings of the Proceedings Sixth International Symposium on Games, 2015

Formal Verification of Petri Nets with Names.
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Leveraging Relational Technology for Data-Centric Dynamic Systems.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Inconsistency Management in Generalized Knowledge and Action Bases.
Proceedings of the 28th International Workshop on Description Logics, 2015

Evaluating compliance: from LTL to abductive logic programming.
Proceedings of the 30th Italian Conference on Computational Logic, 2015

Declarative Process Modeling in BPMN.
Proceedings of the Advanced Information Systems Engineering, 2015

Ensuring Model Consistency in Declarative Process Discovery.
Proceedings of the Business Process Management - 13th International Conference, 2015

Ontology-Driven Extraction of Event Logs from Relational Databases.
Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

Implementing Data-Centric Dynamic Systems over a Relational DBMS.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

Verification of Relational Multiagent Systems with Data Types.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Monitoring in the Healthcare Setting.
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes.
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

2014
Run-Time Verification of MSMAS Norms Using Event Calculus.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

State-Boundedness in Data-Aware Dynamic Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Verification of Context-Sensitive Knowledge and Action Bases.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Monitoring data-aware business constraints with finite state automata.
Proceedings of the International Conference on Software and Systems Process 2014, 2014

Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

Verifiable UML Artifact-Centric Business Process Models.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

Gamified children universities: an exploratory study.
Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play, Toronto, ON, Canada, October 19, 2014

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces.
Proceedings of the Business Process Management - 12th International Conference, 2014

Verification of data-aware commitment-based multiagent system.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Verification of Human Driven Data-Centric Dynamic Systems.
Proceedings of the 2014 AAAI Spring Symposia, 2014

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Monitoring business constraints with the event calculus.
ACM TIST, 2013

Description Logic Knowledge and Action Bases.
J. Artif. Intell. Res., 2013

Representing and monitoring social commitments using the event calculus.
Autonomous Agents and Multi-Agent Systems, 2013

Implementing and Running Data-Centric Dynamic Systems.
Proceedings of the 2013 IEEE 6th International Conference on Service-Oriented Computing and Applications, 2013

Towards data-aware constraints in declare.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Verification and Synthesis in Description Logic Based Dynamic Systems.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Verification of relational data-centric dynamic systems with external services.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Foundations of data-aware process analysis: a database theory perspective.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Verifying MSMAS Model Using CIFF.
Proceedings of the Multiagent System Technologies - 11th German Conference, 2013

Automated Activity Recognition in Clinical Documents.
Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013

Verification of Inconsistency-Aware Knowledge and Action Bases.
Proceedings of the IJCAI 2013, 2013

Verification of Artifact-Centric Systems: Decidability and Modeling Issues.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Verification of Semantically-Enhanced Artifact Systems.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Verification of Inconsistency-Aware Knowledge and Action Bases.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Verification of Query Completeness over Processes.
Proceedings of the Business Process Management - 11th International Conference, 2013

Discovering Data-Aware Declarative Process Models from Event Logs.
Proceedings of the Business Process Management - 11th International Conference, 2013

Towards a Reference Implementation for Data Centric Dynamic Systems.
Proceedings of the Business Process Management Workshops, 2013

Process Fragment Recognition in Clinical Documents.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version).
Proceedings of the Workshop AI Meets Business Processes 2013 co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013

2012
Ontology-Based Governance of Data-Aware Processes.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Semantically-Governed Data-Aware Processes.
Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

An Operational Decision Support Framework for Monitoring Business Constraints.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Verification of Description Logic Knowledge and Action Bases.
Proceedings of the ECAI 2012, 2012

Reactive Event Calculus for Monitoring Global Computing Applications.
Proceedings of the Logic Programs, Norms and Action, 2012

Combining Process and Ontological Modeling.
Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, 2012

2011
A Computational Logic Application Framework for Service Discovery and Contracting.
Int. J. Web Service Res., 2011

Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions.
Intelligenza Artificiale, 2011

Monitoring Time-Aware Commitments within Agent-Based Simulation Environments.
Cybernetics and Systems, 2011

Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos.
Autonomous Agents and Multi-Agent Systems, 2011

Runtime Verification of LTL-Based Declarative Process Models.
Proceedings of the Runtime Verification - Second International Conference, 2011

Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems.
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata.
Proceedings of the Business Process Management - 9th International Conference, 2011

Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge.
Proceedings of the Business Process Management Workshops, 2011


Fuzzy Conformance Checking of Observed Behaviour with Expectations.
Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010
Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach
Lecture Notes in Business Information Processing 56, Springer, ISBN: 978-3-642-14537-7, 2010

Declarative specification and verification of service choreographiess.
TWEB, 2010

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework.
Multiagent and Grid Systems, 2010

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes.
Fundam. Inform., 2010

A Logic-Based, Reactive Calculus of Events.
Fundam. Inform., 2010

Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks. Case study: SBR plant.
Environmental Modelling and Software, 2010

Role Monitoring in Open Agent Societies.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Declarative Technologies for Open Agent Systems and Beyond.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning.
Proceedings of the Hybrid Artificial Intelligence Systems, 5th International Conference, 2010

2009
Specification and Verification of Declarative Open Interaction Models - A Logic-based framework.
PhD thesis, 2009

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.
Trans. Petri Nets and Other Models of Concurrency, 2009

Verifying A-Priori the Composition of Declarative Specified Services.
Proceedings of the Second Multi-Agent Logics, 2009

Commitment Tracking via the Reactive Event Calculus.
Proceedings of the IJCAI 2009, 2009

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture.
Proceedings of the IEEE International Conference on Web Services, 2009

Social Commitments in Time: Satisfied or Compensated.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines.
Proceedings of the Knowledge Representation for Health-Care: Data, 2009

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.
Proceedings of the Artificial Intelligence in Medicine, 2009

2008
Verification of Choreographies During Execution Using the Reactive Event Calculus.
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting.
Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

Verification from Declarative Specifications Using Logic Programming.
Proceedings of the Logic Programming, 24th International Conference, 2008

Checking Compliance of Execution Traces to Business Rules.
Proceedings of the Business Process Management Workshops, 2008

Modeling and Verification of Business Processes and Choreographies in ALP.
Proceedings of the Il Milione (i.e. 2ˆ6), 2008

Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic.
Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

2007
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Web Service Contracting: Specification and Reasoning with SCIFF.
Proceedings of the Semantic Web: Research and Applications, 2007

Expressing and Verifying Business Contracts with Abductive Logic Programming.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

-Tropos.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

Inducing Declarative Logic-Based Models from Labeled Traces.
Proceedings of the Business Process Management, 5th International Conference, 2007

Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.
Proceedings of the Artificial Intelligence in Medicine, 2007

2006
Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

An abductive framework for a-priori verification of web services.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

2005
Protocol Specification and Verification by Using Computational Logic.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols.
Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 2005


  Loading...