Fabrizio Maria Maggi

Proceedings of the Advanced Information Systems Engineering, 2024

Towards a Multi-model Paradigm for Business Process Management.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2024

Conformance Checking of Fuzzy Logs Against Declarative Temporal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 22nd International Conference, 2024

Nirdizati Light: A Modular Framework for Explainable Predictive Process Monitoring.

[BibT_eX]

[DOI]

Andrei Buliga

Riccardo Graziosi

Proceedings of the Best Dissertation Award, 2024

2023

Process Discovery on Deviant Traces and Other Stranger Things.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., November, 2023

Outcome-Oriented Prescriptive Process Monitoring based on Temporal Logic Patterns.

[BibT_eX]

[DOI]

Ivan Donadello

Francesco Ricci

Aladdin Shikhizada

Eng. Appl. Artif. Intell., November, 2023

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory.

[BibT_eX]

[DOI]

Inf. Syst., October, 2023

Data-Aware Declarative Process Mining with SAT.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., August, 2023

Editorial: recent advances in process analytics.

[BibT_eX]

[DOI]

Paolo Ceravolo

María Teresa Gómez-López

Renuka Sindhgatta

J. Intell. Inf. Syst., August, 2023

A tool for declarative Trace Alignment via automated planning.

[BibT_eX]

[DOI]

Softw. Impacts, May, 2023

Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, May, 2023

Data-aware process discovery for malware detection: an empirical study.

[BibT_eX]

[DOI]

Mach. Learn., April, 2023

Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis.

[BibT_eX]

[DOI]

Inf. Syst., March, 2023

Knowledge-Driven Modulation of Neural Networks with Attention Mechanism for Next Activity Prediction.

[BibT_eX]

[DOI]

CoRR, 2023

Explain, Adapt and Retrain: How to improve the accuracy of a PPM classifier through different explanation styles.

[BibT_eX]

[DOI]

CoRR, 2023

Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2023

Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract).

[BibT_eX]

[DOI]

Sander J. J. Leemans

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Plan Recognition as Probabilistic Trace Alignment.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Process Mining, 2023

Two Solutions for Checking LTLf Properties in Event Logs.

[BibT_eX]

[DOI]

Tedi Ibershimi

Diellsimeone Xhemalaj

Anti Alman

Ivan Donadello

Proceedings of the Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), 2023

ASP-Based Log Generation with Purposes in Declare4Py.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), 2023

Towards a Business-Oriented Approach to Visualization-Supported Interpretability of Prediction Results in Process Mining.

[BibT_eX]

[DOI]

Ana Rocío Cárdenas Maita

Marcelo Fantinato

Sarajane Marques Peres

Proceedings of the 25th International Conference on Enterprise Information Systems, 2023

Counterfactuals and Ways to Build Them: Evaluating Approaches in Predictive Process Monitoring.

[BibT_eX]

[DOI]

Andrei Buliga

Proceedings of the Advanced Information Systems Engineering, 2023

An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Forum, 2023

Approximating Multi-perspective Trace Alignment Using Trace Encodings.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 21st International Conference, 2023

From LTL on Process Traces to Finite-state Automata.

[BibT_eX]

[DOI]

Francesco Chiariello

Fabio Patrizi

Proceedings of the Best Dissertation Award, 2023

Generating Event Logs from Hybrid Process Models.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2023

2022

A tool for compiling Declarative Process Mining problems in ASP.

[BibT_eX]

[DOI]

Francesco Chiariello

Fabio Patrizi

Softw. Impacts, December, 2022

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

How do I update my model? On the resilience of Predictive Process Monitoring models to change.

[BibT_eX]

[DOI]

Stephan A. Fahrenkrog-Petersen

Knowl. Inf. Syst., 2022

Fire now, fire later: alarm-based systems for prescriptive process monitoring.

[BibT_eX]

[DOI]

Niek Tax

Matthias Weidlich

Knowl. Inf. Syst., 2022

Discovering data transfer routines from user interaction logs.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Measuring the interestingness of temporal logic behavioral specifications in process mining.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Probabilistic declarative process mining.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Encoding resource experience for predictive process monitoring.

[BibT_eX]

[DOI]

Decis. Support Syst., 2022

Nirdizati: an Advanced Predictive Process Monitoring Toolkit.

[BibT_eX]

[DOI]

CoRR, 2022

Explainable Predictive Process Monitoring: A User Evaluation.

[BibT_eX]

[DOI]

Marco Comuzzi

CoRR, 2022

Process Mining: A Guide for Practitioners.

[BibT_eX]

[DOI]

Fredrik Milani

Katsiaryna Lashkevich

Proceedings of the Research Challenges in Information Science, 2022

Optimising Business Process Discovery Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Making sense of temporal data: the DECLARE encoding.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Process Management in the AI Era (PMAI 2022) co-located with 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

Context-Aware Trace Alignment with Automated Planning.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Process Mining, 2022

Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Design, Operations, and Computing, 2022

Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints.

[BibT_eX]

[DOI]

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Multi-model Monitoring Framework for Hybrid Process Specifications.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2022

Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting.

[BibT_eX]

[DOI]

Sander J. J. Leemans

Proceedings of the Business Process Management - 20th International Conference, 2022

Declare4Py: A Python Library for Declarative Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Best Dissertation Award, 2022

ASP-Based Declarative Process Mining.

[BibT_eX]

[DOI]

Francesco Chiariello

Fabio Patrizi

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Robotic Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Process Mining Handbook, 2022

2021

Business process variant analysis: Survey and classification.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2021

Preface to the Special Issue on Artificial Intelligence for Business Process Management 2019.

[BibT_eX]

[DOI]

Andrea Marrella

J. Data Semant., 2021

Beyond arrows in process models: A user study on activity dependences and their rationales.

[BibT_eX]

[DOI]

Greta Adamo

Inf. Syst., 2021

Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach.

[BibT_eX]

[DOI]

CoRR, 2021

Exploring Business Process Deviance with Sequential and Declarative Patterns.

[BibT_eX]

[DOI]

Giacomo Bergami

Joonas Puura

CoRR, 2021

Discovering executable routine specifications from user interaction logs.

[BibT_eX]

[DOI]

CoRR, 2021

Robotic Process Mining: Vision and Challenges.

[BibT_eX]

[DOI]

Bus. Inf. Syst. Eng., 2021

Probabilistic Trace Alignment.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Process Mining, 2021

Discovering Declarative Process Model Behavior from Event Logs via Model Learning.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Process Mining, 2021

A Tool for Computing Probabilistic Trace Alignments.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Systems - CAiSE Forum 2021, Melbourne, VIC, Australia, June 28, 2021

Silhouetting the Cost-Time Front: Multi-objective Resource Optimization in Business Processes.

[BibT_eX]

[DOI]

Orlenys López-Pintado

Maksym Yerokhin

Proceedings of the Business Process Management Forum, 2021

Aligning Data-Aware Declarative Process Models and Event Logs.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 19th International Conference, 2021

RuM: Declarative Process Mining, Distilled.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 19th International Conference, 2021

Rule Mining with RuM (Extended Abstract).

[BibT_eX]

[DOI]

Anti Alman

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

2020

Preface to the Special Issue on Artificial Intelligence for Business Process Management 2018.

[BibT_eX]

[DOI]

J. Data Semant., 2020

Automated discovery of declarative process models with correlated data conditions.

[BibT_eX]

[DOI]

Inf. Syst., 2020

Automated Discovery of Data Transformations for Robotic Process Automation.

[BibT_eX]

[DOI]

CoRR, 2020

Towards Online Discovery of Data-Aware Declarative Process Models from Event Streams.

[BibT_eX]

[DOI]

Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Identifying Candidate Routines for Robotic Process Automation from Unsegmented UI Logs.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Process Mining, 2020

A Temporal Logic-Based Measurement Framework for Process Mining.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Process Mining, 2020

Rule Mining with RuM.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Process Mining, 2020

Rule Mining in Action: The RuM Toolkit.

[BibT_eX]

[DOI]

Proceedings of the ICPM Doctoral Consortium and Tool Demonstration Track 2020 co-located with the 2nd International Conference on Process Mining (ICPM 2020), 2020

Probabilistic Conformance Checking Based on Declarative Process Models.

[BibT_eX]

[DOI]

Rafael Peñaloza

Proceedings of the Advanced Information Systems Engineering, 2020

Explainability in Predictive Process Monitoring: When Understanding Helps Improving.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Forum, 2020

Extending Temporal Business Constraints with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 18th International Conference, 2020

Robidium: Automated Synthesis of Robotic Process Automation Scripts from UI Logs.

[BibT_eX]

[DOI]

Proceedings of the Best Dissertation Award, 2020

Declo: A Chatbot for User-friendly Specification of Declarative Process Models.

[BibT_eX]

[DOI]

Proceedings of the Best Dissertation Award, 2020

Say It in Your Own Words: Defining Declarative Process Models Using Speech Recognition.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Forum, 2020

Temporal Logics Over Finite Traces with Uncertainty.

[BibT_eX]

[DOI]

Rafael Peñaloza

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Declarative Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Clustering-Based Predictive Process Monitoring.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2019

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2019

Automated Discovery of Process Models from Event Logs: Review and Benchmark.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2019

Outcome-Oriented Predictive Process Monitoring: Review and Benchmark.

[BibT_eX]

[DOI]

ACM Trans. Knowl. Discov. Data, 2019

Survey and Cross-benchmark Comparison of Remaining Time Prediction Methods in Business Process Monitoring.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2019

Innovative process paradigms and data driven analytics: A new horizon for software and systems process.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2019

Preface to the Special Issue on Business Process Innovations with Artificial Intelligence.

[BibT_eX]

[DOI]

J. Data Semant., 2019

From knowledge-driven to data-driven inter-case feature encoding in predictive process monitoring.

[BibT_eX]

[DOI]

Arik Senderovich

Inf. Syst., 2019

Stage-based discovery of business process models from event logs.

[BibT_eX]

[DOI]

Hoang Nguyen

Marcello La Rosa

Inf. Syst., 2019

Probabilistic Temporal Logic over Finite Traces (Technical Report).

[BibT_eX]

[DOI]

Rafael Peñaloza

CoRR, 2019

Triage of IoT Attacks Through Process Mining.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

Evaluating coding behavior in software development processes: a process mining approach.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software and System Processes, 2019

Compliance Monitoring of Multi-Perspective Declarative Process Models.

[BibT_eX]

[DOI]

Ubaier Bhat

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

A User Evaluation of Process Discovery Algorithms in a Software Engineering Company.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

Verifying Petri Net-Based Process Models using Automated Planning.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Workshop, 2019

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Fifty Shades of Green: How Informative is a Compliant Process Trace?

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2019

Achieving GDPR Compliance of BPMN Process Models.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Engineering in Responsible Information Systems, 2019

Nirdizati 2.0: New Features and Redesigned Backend.

[BibT_eX]

[DOI]

Luca Simonetto

Tõnis Kasekamp

Proceedings of the Dissertation Award, 2019

Action Logger: Enabling Process Mining for Robotic Process Automation.

[BibT_eX]

[DOI]

Proceedings of the Dissertation Award, 2019

2018

A hybrid approach for aspect-oriented business process modeling.

[BibT_eX]

[DOI]

Amin Jalali

J. Softw. Evol. Process., 2018

Parallel algorithms for the automated discovery of declarative process models.

[BibT_eX]

[DOI]

Taavi Kala

Inf. Syst., 2018

Genetic algorithms for hyperparameter optimization in predictive business process monitoring.

[BibT_eX]

[DOI]

Inf. Syst., 2018

On the relevance of a business constraint to an event log.

[BibT_eX]

[DOI]

Inf. Syst., 2018

Semantics, Analysis and Simplification of DMN Decision Tables.

[BibT_eX]

[DOI]

Inf. Syst., 2018

Temporal stability in predictive process monitoring.

[BibT_eX]

[DOI]

Data Min. Knowl. Discov., 2018

A User Evaluation of Automated Process Discovery Algorithms.

[BibT_eX]

[DOI]

CoRR, 2018

Foundations of Prescriptive Process Monitoring.

[BibT_eX]

[DOI]

Niek Tax

CoRR, 2018

Discovering process maps from event streams.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Software and System Process, 2018

Explaining Non-compliance of Business Process Models Through Automated Planning.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

Predictive Process Monitoring in Apromore.

[BibT_eX]

[DOI]

Proceedings of the Information Systems in the Big Data Era, 2018

Alarm-Based Prescriptive Process Monitoring.

[BibT_eX]

[DOI]

Niek Tax

Proceedings of the Business Process Management Forum, 2018

A Tool for Generating Event Logs from Multi-Perspective Declare Models.

[BibT_eX]

[DOI]

Vasyl Skydanienko

Proceedings of the Dissertation Award, 2018

Correlating Activation and Target Conditions in Data-Aware Declarative Process Discovery.

[BibT_eX]

[DOI]

Volodymyr Leno

Proceedings of the Business Process Management - 16th International Conference, 2018

Predictive Process Monitoring Methods: Which One Suits Me Best?

[BibT_eX]

[DOI]

Fredrik Milani

Proceedings of the Business Process Management - 16th International Conference, 2018

Mining Hybrid Business Process Models: A Quest for Better Precision.

[BibT_eX]

[DOI]

Tijs Slaats

Proceedings of the Business Information Systems - 21st International Conference, 2018

A Comparative Evaluation of Log-Based Process Performance Analysis Techniques.

[BibT_eX]

[DOI]

Fredrik Milani

Proceedings of the Business Information Systems - 21st International Conference, 2018

2017

Resolving inconsistencies and redundancies in declarative process models.

[BibT_eX]

[DOI]

Inf. Syst., 2017

Semantics and Analysis of DMN Decision Tables.

[BibT_eX]

EMISA Forum, 2017

Designing software for operational decision support through coloured Petri nets.

[BibT_eX]

[DOI]

Enterp. Inf. Syst., 2017

Semantic DMN: Formalizing Decision Models with Domain Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

From Zero to Hero: A Process Mining Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2017

Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules.

[BibT_eX]

[DOI]

Riccardo De Masellis

Arne Laponin

Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Mining Business Process Stages from Event Logs.

[BibT_eX]

[DOI]

Hoang Nguyen

Marcello La Rosa

Proceedings of the Advanced Information Systems Engineering, 2017

Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions.

[BibT_eX]

[DOI]

Arik Senderovich

Kerwin Jorbina

Proceedings of the Business Process Management - 15th International Conference, 2017

Nirdizati: A Web-Based Tool for Predictive Process Monitoring.

[BibT_eX]

[DOI]

Kerwin Jorbina

Andrii Rozumnyi

Ilya Verenich

Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 15th International Conference, 2017

On the Disruptive Effectiveness of Automated Planning for LTL<i>f</i>-Based Trace Alignment.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Sound conflict management and resolution for virtual-enterprise collaborations.

[BibT_eX]

[DOI]

Nanjangud C. Narendra

Serv. Oriented Comput. Appl., 2016

Efficient discovery of Target-Branched Declare constraints.

[BibT_eX]

[DOI]

Jan Mendling

Inf. Syst., 2016

Do activity lifecycles affect the validity of a business rule in a business process?

[BibT_eX]

[DOI]

Inf. Syst., 2016

Conformance checking based on multi-perspective declarative process models.

[BibT_eX]

[DOI]

Andrea Burattin

Alessandro Sperduti

Expert Syst. Appl., 2016

Selected Topics on Business Informatics Research: Editorial Introduction to Issue 6 of CSIMQ.

[BibT_eX]

[DOI]

Raimundas Matulevicius

Complex Syst. Informatics Model. Q., 2016

Business Process Deviance Mining: Review and Evaluation.

[BibT_eX]

[DOI]

CoRR, 2016

Automated development of constraint-driven web applications.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

The Semantics of Hybrid Process Models.

[BibT_eX]

[DOI]

Tijs Slaats

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Discovery of Multi-perspective Declarative Process Models.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Declarative Process Models: Different Ways to Be Hierarchical.

[BibT_eX]

[DOI]

Riccardo De Masellis

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Apriori and Sequence Analysis for Discovering Declarative Process Models.

[BibT_eX]

[DOI]

Taavi Kala

Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Conference, 2016

Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2016

Business Process Performance Mining with Staged Process Flows.

[BibT_eX]

[DOI]

Hoang Nguyen

Marcello La Rosa

Proceedings of the Advanced Information Systems Engineering, 2016

Predictive Business Process Monitoring Framework with Hyperparameter Optimization.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2016

Predictive Business Process Monitoring with Structured and Unstructured Data.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 14th International Conference, 2016

Semantical Vacuity Detection in Declarative Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 14th International Conference, 2016

A Tool for the Analysis of DMN Decision Tables.

[BibT_eX]

[DOI]

Ülari Laurson

Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016

Computing Trace Alignment against Declarative Process Models through Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015

Online Discovery of Declarative Process Models from Event Streams.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2015

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

[BibT_eX]

[DOI]

Inf. Syst., 2015

An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data.

[BibT_eX]

[DOI]

Inf. Syst., 2015

Declarative process mining in healthcare.

[BibT_eX]

[DOI]

Marcella Rovani

Expert Syst. Appl., 2015

Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules.

[BibT_eX]

[DOI]

Amin Jalali

Proceedings of the Conceptual Modeling - 34th International Conference, 2015

Declarative Process Modeling in BPMN.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2015

Generating Event Logs Through the Simulation of Declare Models.

[BibT_eX]

[DOI]

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2015

Complex Symbolic Sequence Clustering and Multiple Classifiers for Predictive Process Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

Complex Symbolic Sequence Encodings for Predictive Monitoring of Business Processes.

[BibT_eX]

[DOI]

Anna Leontjeva

Raffaele Conforti

Proceedings of the Business Process Management - 13th International Conference, 2015

A ProM Operational Support Provider for Predictive Monitoring of Business Processes.

[BibT_eX]

[DOI]

Marco Federici

Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

Ensuring Model Consistency in Declarative Process Discovery.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 13th International Conference, 2015

Enabling Process Innovation via Deviance Mining and Predictive Monitoring.

[BibT_eX]

[DOI]

Christopher K. Swierczynski

Proceedings of the BPM - Driving Innovation in a Digital World, 2015

Business Process Trends.

[BibT_eX]

[DOI]

Mark von Rosing

August-Wilhelm Scheer

Anette Falk Bøgebjerg

Clemens Utschig-Utschig

Henrik Naundrup Vester

Proceedings of the Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, 2015

Evidence-Based Business Process Management.

[BibT_eX]

[DOI]

Proceedings of the Complete Business Process Handbook: Body of Knowledge from Process Modeling to BPM, 2015

2014

Using Timed Automata for <i>a Priori</i> Warnings and Planning for Timed Declarative Process Models.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2014

LTLf and LDLf Monitoring: A Technical Report.

[BibT_eX]

[DOI]

CoRR, 2014

Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities.

[BibT_eX]

[DOI]

Proceedings of the Rules on the Web. From Theory to Applications, 2014

Log-Based Understanding of Business Processes through Temporal Logic Query Checking.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Mining Business Process Deviance: A Quest for Accuracy.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Monitoring data-aware business constraints with finite state automata.

[BibT_eX]

[DOI]

Riccardo De Masellis

Proceedings of the International Conference on Software and Systems Process 2014, 2014

Discovering cross-organizational business rules from the cloud.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Symposium on Computational Intelligence and Data Mining, 2014

Predictive Monitoring of Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2014

The Automated Discovery of Hybrid Processes.

[BibT_eX]

[DOI]

Tijs Slaats

Proceedings of the Business Process Management - 12th International Conference, 2014

Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 12th International Conference, 2014

Discovering Target-Branched Declare Constraints.

[BibT_eX]

[DOI]

Jan Mendling

Proceedings of the Business Process Management - 12th International Conference, 2014

Lights, Camera, Action! Business Process Movies for Online Process Discovery.

[BibT_eX]

[DOI]

Andrea Burattin

Proceedings of the Business Process Management Workshops, 2014

Discovering Metric Temporal Business Constraints from Event Logs.

[BibT_eX]

[DOI]

Proceedings of the Perspectives in Business Informatics Research, 2014

Modelling Sound Conflict Management for Virtual-Enterprise Collaboration.

[BibT_eX]

[DOI]

Nanjangud C. Narendra

Alexander Norta

Msury Mahunnah

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013

Monitoring business constraints with the event calculus.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2013

Towards data-aware constraints in declare.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Enabling self-reflection with LifelogExplorer: Generating simple views from complex data.

[BibT_eX]

[DOI]

Rafal Kocielnik

Natalia Sidorova

Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013

Online Process Discovery to Detect Concept Drifts in LTL-Based Declarative Process Models.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

Process Lines for Automatic Workflow Development.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2013, 2013

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

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Smart technologies for long-term stress monitoring at work.

[BibT_eX]

[DOI]

Joyce H. D. M. Westerink

Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2013

Discovering Data-Aware Declarative Process Models from Event Logs.

[BibT_eX]

[DOI]

Luciano García-Bañuelos

Proceedings of the Business Process Management - 11th International Conference, 2013

Declarative Process Mining with the Declare Component of ProM.

[BibT_eX]

[DOI]

Proceedings of the BPM Demo sessions 2013, Beijing, China, August 26-30, 2013, 2013

Enhancing Declare Maps Based on Event Correlations.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 11th International Conference, 2013

Analyzing Vessel Behavior Using Process Mining.

[BibT_eX]

[DOI]

Arjan J. Mooij

Proceedings of the Situation Awareness with Systems of Systems, 2013

2012

Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Development of flexible process-centric web applications: An integrated model driven approach.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

M3D: a tool for the model driven development of web applications.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Workshop on Web Information and Data Management, 2012

Looking into the Future. Using Timed Automata to Provide a Priori Advice about Timed Declarative Process Models.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Configurable Declare: Designing Customisable Flexible Process Models.

[BibT_eX]

[DOI]

Natalia Sidorova

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Patterns for a Log-Based Strengthening of Declarative Compliance Models.

[BibT_eX]

[DOI]

Natalia Sidorova

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Model Driven Development of Process-centric Web Applications.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

An Operational Decision Support Framework for Monitoring Business Constraints.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Techniques for a Posteriori Analysis of Declarative Processes.

[BibT_eX]

[DOI]

Andrea Burattin

Alessandro Sperduti

Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference, 2012

Using Declarative Workflow Languages to Develop Process-Centric Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2012

Efficient Discovery of Understandable Declarative Process Models from Event Logs.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2012

Aligning Event Logs and Declarative Process Models for Conformance Checking.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 10th International Conference, 2012

2011

Runtime Verification of LTL-Based Declarative Process Models.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

User-guided discovery of declarative process models.

[BibT_eX]

[DOI]

Arjan J. Mooij

Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011

Declare: A Tool Suite for Declarative Workflow Modeling and Enactment.

[BibT_eX]

[DOI]

Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011, 2011

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

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 9th International Conference, 2011

Process Mining Manifesto.

[BibT_eX]

[DOI]

Ana Karla Alves de Medeiros

Arya Adriansyah

Franco Arcieri

Thomas Baier

Tobias Blickle

Pavlos Delias

Boudewijn F. van Dongen

Hamid R. Motahari Nezhad

Proceedings of the Business Process Management Workshops, 2011

Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

Revising Process Models through Inductive Learning.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2010

2009

Managing Business Process Flexibility and Reuse through Business Process Lines.

[BibT_eX]

Nicola Boffoli