Fabrizio Maria Maggi

Orcid: 0000-0002-9089-6896

Affiliations:
  • Free University of Bozen-Bolzano, Italy
  • University of Tartu, Estonia (former)


According to our database1, Fabrizio Maria Maggi authored at least 204 papers between 2008 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Guiding the generation of counterfactual explanations through temporal background knowledge for Predictive Process Monitoring.
CoRR, 2024

2023
Process Discovery on Deviant Traces and Other Stranger Things.
IEEE Trans. Knowl. Data Eng., November, 2023

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

Data-Aware Declarative Process Mining with SAT.
ACM Trans. Intell. Syst. Technol., August, 2023

Editorial: recent advances in process analytics.
J. Intell. Inf. Syst., August, 2023

A tool for declarative Trace Alignment via automated planning.
Softw. Impacts, May, 2023

Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.
Artif. Intell. Medicine, May, 2023

Data-aware process discovery for malware detection: an empirical study.
Mach. Learn., April, 2023

Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis.
Inf. Syst., March, 2023

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

Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions.
CoRR, 2023

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

Declarative Process Mining for Software Processes: The RuM Toolkit and the Declare4Py Python Library.
Proceedings of the Product-Focused Software Process Improvement, 2023

Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Plan Recognition as Probabilistic Trace Alignment.
Proceedings of the 5th International Conference on Process Mining, 2023

Two Solutions for Checking LTLf Properties in Event Logs.
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.
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.
Proceedings of the 25th International Conference on Enterprise Information Systems, 2023

Counterfactuals and Ways to Build Them: Evaluating Approaches in Predictive Process Monitoring.
Proceedings of the Advanced Information Systems Engineering, 2023

An SQL-Based Declarative Process Mining Framework for Analyzing Process Data Stored in Relational Databases.
Proceedings of the Business Process Management Forum, 2023

Approximating Multi-perspective Trace Alignment Using Trace Encodings.
Proceedings of the Business Process Management - 21st International Conference, 2023

From LTL on Process Traces to Finite-state Automata.
Proceedings of the Best Dissertation Award, 2023

Generating Event Logs from Hybrid Process Models.
Proceedings of the Business Process Management Workshops, 2023

2022
A tool for compiling Declarative Process Mining problems in ASP.
Softw. Impacts, December, 2022

Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces.
ACM Trans. Softw. Eng. Methodol., 2022

How do I update my model? On the resilience of Predictive Process Monitoring models to change.
Knowl. Inf. Syst., 2022

Fire now, fire later: alarm-based systems for prescriptive process monitoring.
Knowl. Inf. Syst., 2022

Discovering data transfer routines from user interaction logs.
Inf. Syst., 2022

Measuring the interestingness of temporal logic behavioral specifications in process mining.
Inf. Syst., 2022

Probabilistic declarative process mining.
Inf. Syst., 2022

Encoding resource experience for predictive process monitoring.
Decis. Support Syst., 2022

Outcome-Oriented Prescriptive Process Monitoring Based on Temporal Logic Patterns.
CoRR, 2022

Nirdizati: an Advanced Predictive Process Monitoring Toolkit.
CoRR, 2022

Explainable Predictive Process Monitoring: A User Evaluation.
CoRR, 2022

Process Mining: A Guide for Practitioners.
Proceedings of the Research Challenges in Information Science, 2022

Optimising Business Process Discovery Using Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Making sense of temporal data: the DECLARE encoding.
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.
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.
Proceedings of the Enterprise Design, Operations, and Computing, 2022

Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Multi-model Monitoring Framework for Hybrid Process Specifications.
Proceedings of the Advanced Information Systems Engineering, 2022

Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting.
Proceedings of the Business Process Management - 20th International Conference, 2022

Declare4Py: A Python Library for Declarative Process Mining.
Proceedings of the Best Dissertation Award, 2022

ASP-Based Declarative Process Mining.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Robotic Process Mining.
Proceedings of the Process Mining Handbook, 2022

2021
Business process variant analysis: Survey and classification.
Knowl. Based Syst., 2021

Preface to the Special Issue on Artificial Intelligence for Business Process Management 2019.
J. Data Semant., 2021

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

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

Exploring Business Process Deviance with Sequential and Declarative Patterns.
CoRR, 2021

Discovering executable routine specifications from user interaction logs.
CoRR, 2021

Robotic Process Mining: Vision and Challenges.
Bus. Inf. Syst. Eng., 2021

Probabilistic Trace Alignment.
Proceedings of the 3rd International Conference on Process Mining, 2021

Discovering Declarative Process Model Behavior from Event Logs via Model Learning.
Proceedings of the 3rd International Conference on Process Mining, 2021

A Tool for Computing Probabilistic Trace Alignments.
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.
Proceedings of the Business Process Management Forum, 2021

Aligning Data-Aware Declarative Process Models and Event Logs.
Proceedings of the Business Process Management - 19th International Conference, 2021

RuM: Declarative Process Mining, Distilled.
Proceedings of the Business Process Management - 19th International Conference, 2021

Rule Mining with RuM (Extended Abstract).
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.
J. Data Semant., 2020

Automated discovery of declarative process models with correlated data conditions.
Inf. Syst., 2020

Automated Discovery of Data Transformations for Robotic Process Automation.
CoRR, 2020

Towards Online Discovery of Data-Aware Declarative Process Models from Event Streams.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

Identifying Candidate Routines for Robotic Process Automation from Unsegmented UI Logs.
Proceedings of the 2nd International Conference on Process Mining, 2020

A Temporal Logic-Based Measurement Framework for Process Mining.
Proceedings of the 2nd International Conference on Process Mining, 2020

Rule Mining with RuM.
Proceedings of the 2nd International Conference on Process Mining, 2020

Rule Mining in Action: The RuM Toolkit.
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.
Proceedings of the Advanced Information Systems Engineering, 2020

Explainability in Predictive Process Monitoring: When Understanding Helps Improving.
Proceedings of the Business Process Management Forum, 2020

Extending Temporal Business Constraints with Uncertainty.
Proceedings of the Business Process Management - 18th International Conference, 2020

Robidium: Automated Synthesis of Robotic Process Automation Scripts from UI Logs.
Proceedings of the Best Dissertation Award, 2020

Declo: A Chatbot for User-friendly Specification of Declarative Process Models.
Proceedings of the Best Dissertation Award, 2020

Say It in Your Own Words: Defining Declarative Process Models Using Speech Recognition.
Proceedings of the Business Process Management Forum, 2020

Temporal Logics Over Finite Traces with Uncertainty.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Declarative Process Mining.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Clustering-Based Predictive Process Monitoring.
IEEE Trans. Serv. Comput., 2019

Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge.
Theory Pract. Log. Program., 2019

Automated Discovery of Process Models from Event Logs: Review and Benchmark.
IEEE Trans. Knowl. Data Eng., 2019

Outcome-Oriented Predictive Process Monitoring: Review and Benchmark.
ACM Trans. Knowl. Discov. Data, 2019

Survey and Cross-benchmark Comparison of Remaining Time Prediction Methods in Business Process Monitoring.
ACM Trans. Intell. Syst. Technol., 2019

Innovative process paradigms and data driven analytics: A new horizon for software and systems process.
J. Softw. Evol. Process., 2019

Preface to the Special Issue on Business Process Innovations with Artificial Intelligence.
J. Data Semant., 2019

From knowledge-driven to data-driven inter-case feature encoding in predictive process monitoring.
Inf. Syst., 2019

Stage-based discovery of business process models from event logs.
Inf. Syst., 2019

Probabilistic Temporal Logic over Finite Traces (Technical Report).
CoRR, 2019

Triage of IoT Attacks Through Process Mining.
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.
Proceedings of the International Conference on Software and System Processes, 2019

Compliance Monitoring of Multi-Perspective Declarative Process Models.
Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

A User Evaluation of Process Discovery Algorithms in a Software Engineering Company.
Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

Verifying Petri Net-Based Process Models using Automated Planning.
Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Workshop, 2019

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

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

Achieving GDPR Compliance of BPMN Process Models.
Proceedings of the Information Systems Engineering in Responsible Information Systems, 2019

Nirdizati 2.0: New Features and Redesigned Backend.
Proceedings of the Dissertation Award, 2019

Action Logger: Enabling Process Mining for Robotic Process Automation.
Proceedings of the Dissertation Award, 2019

2018
A hybrid approach for aspect-oriented business process modeling.
J. Softw. Evol. Process., 2018

Parallel algorithms for the automated discovery of declarative process models.
Inf. Syst., 2018

Genetic algorithms for hyperparameter optimization in predictive business process monitoring.
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

Temporal stability in predictive process monitoring.
Data Min. Knowl. Discov., 2018

A User Evaluation of Automated Process Discovery Algorithms.
CoRR, 2018

Foundations of Prescriptive Process Monitoring.
CoRR, 2018

Discovering process maps from event streams.
Proceedings of the 2018 International Conference on Software and System Process, 2018

Explaining Non-compliance of Business Process Models Through Automated Planning.
Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

Predictive Process Monitoring in Apromore.
Proceedings of the Information Systems in the Big Data Era, 2018

Alarm-Based Prescriptive Process Monitoring.
Proceedings of the Business Process Management Forum, 2018

A Tool for Generating Event Logs from Multi-Perspective Declare Models.
Proceedings of the Dissertation Award, 2018

Correlating Activation and Target Conditions in Data-Aware Declarative Process Discovery.
Proceedings of the Business Process Management - 16th International Conference, 2018

Predictive Process Monitoring Methods: Which One Suits Me Best?
Proceedings of the Business Process Management - 16th International Conference, 2018

Mining Hybrid Business Process Models: A Quest for Better Precision.
Proceedings of the Business Information Systems - 21st International Conference, 2018

A Comparative Evaluation of Log-Based Process Performance Analysis Techniques.
Proceedings of the Business Information Systems - 21st International Conference, 2018

2017
Resolving Inconsistencies and Redundancies in Declarative Process Models.
EMISA Forum, 2017

Semantics and Analysis of DMN Decision Tables.
EMISA Forum, 2017

Designing software for operational decision support through coloured Petri nets.
Enterp. Inf. Syst., 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

Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules.
Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Mining Business Process Stages from Event Logs.
Proceedings of the Advanced Information Systems Engineering, 2017

Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions.
Proceedings of the Business Process Management - 15th International Conference, 2017

Nirdizati: A Web-Based Tool for Predictive Process Monitoring.
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.
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.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Sound conflict management and resolution for virtual-enterprise collaborations.
Serv. Oriented Comput. Appl., 2016

Efficient discovery of Target-Branched Declare constraints.
Inf. Syst., 2016

Do activity lifecycles affect the validity of a business rule in a business process?
Inf. Syst., 2016

Conformance checking based on multi-perspective declarative process models.
Expert Syst. Appl., 2016

Selected Topics on Business Informatics Research: Editorial Introduction to Issue 6 of CSIMQ.
Complex Syst. Informatics Model. Q., 2016

Business Process Deviance Mining: Review and Evaluation.
CoRR, 2016

Automated development of constraint-driven web applications.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

The Semantics of Hybrid Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Discovery of Multi-perspective Declarative Process Models.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Declarative Process Models: Different Ways to Be Hierarchical.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Apriori and Sequence Analysis for Discovering Declarative Process Models.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Conference, 2016

Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering.
Proceedings of the Advanced Information Systems Engineering, 2016

Business Process Performance Mining with Staged Process Flows.
Proceedings of the Advanced Information Systems Engineering, 2016

Predictive Business Process Monitoring Framework with Hyperparameter Optimization.
Proceedings of the Advanced Information Systems Engineering, 2016

Predictive Business Process Monitoring with Structured and Unstructured Data.
Proceedings of the Business Process Management - 14th International Conference, 2016

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

A Tool for the Analysis of DMN Decision Tables.
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.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015
Online Discovery of Declarative Process Models from Event Streams.
IEEE Trans. Serv. Comput., 2015

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

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

Declarative process mining in healthcare.
Expert Syst. Appl., 2015

Enhancing Aspect-Oriented Business Process Modeling with Declarative Rules.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015

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

Generating Event Logs Through the Simulation of Declare Models.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2015

Complex Symbolic Sequence Clustering and Multiple Classifiers for Predictive Process Monitoring.
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.
Proceedings of the Business Process Management - 13th International Conference, 2015

A ProM Operational Support Provider for Predictive Monitoring of Business Processes.
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.
Proceedings of the Business Process Management - 13th International Conference, 2015

Enabling Process Innovation via Deviance Mining and Predictive Monitoring.
Proceedings of the BPM - Driving Innovation in a Digital World, 2015


Evidence-Based Business Process Management.
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.
Int. J. Cooperative Inf. Syst., 2014

LTLf and LDLf Monitoring: A Technical Report.
CoRR, 2014

Using Discriminative Rule Mining to Discover Declarative Process Models with Non-atomic Activities.
Proceedings of the Rules on the Web. From Theory to Applications, 2014

Log-Based Understanding of Business Processes through Temporal Logic Query Checking.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

Mining Business Process Deviance: A Quest for Accuracy.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014

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

Discovering cross-organizational business rules from the cloud.
Proceedings of the 2014 IEEE Symposium on Computational Intelligence and Data Mining, 2014

Predictive Monitoring of Business Processes.
Proceedings of the Advanced Information Systems Engineering, 2014

The Automated Discovery of Hybrid Processes.
Proceedings of the Business Process Management - 12th International Conference, 2014

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

Discovering Target-Branched Declare Constraints.
Proceedings of the Business Process Management - 12th International Conference, 2014

Lights, Camera, Action! Business Process Movies for Online Process Discovery.
Proceedings of the Business Process Management Workshops, 2014

Discovering Metric Temporal Business Constraints from Event Logs.
Proceedings of the Perspectives in Business Informatics Research, 2014

Modelling Sound Conflict Management for Virtual-Enterprise Collaboration.
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.
ACM Trans. Intell. Syst. Technol., 2013

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

Enabling self-reflection with LifelogExplorer: Generating simple views from complex data.
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.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

Process Lines for Automatic Workflow Development.
Proceedings of the ICSOFT 2013, 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

Smart technologies for long-term stress monitoring at work.
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

A Knowledge-Based Integrated Approach for Discovering and Repairing Declare Maps.
Proceedings of the Advanced Information Systems Engineering, 2013

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

Declarative Process Mining with the Declare Component of ProM.
Proceedings of the BPM Demo sessions 2013, Beijing, China, August 26-30, 2013, 2013

Enhancing Declare Maps Based on Event Correlations.
Proceedings of the Business Process Management - 11th International Conference, 2013

Analyzing Vessel Behavior Using Process Mining.
Proceedings of the Situation Awareness with Systems of Systems, 2013

2012
Putting It All Together: Using the ArtDeco Approach in the Wine Business Domain.
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

Development of flexible process-centric web applications: An integrated model driven approach.
Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

M3D: a tool for the model driven development of web applications.
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.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Configurable Declare: Designing Customisable Flexible Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Patterns for a Log-Based Strengthening of Declarative Compliance Models.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Model Driven Development of Process-centric Web Applications.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Techniques for a Posteriori Analysis of Declarative Processes.
Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference, 2012

Using Declarative Workflow Languages to Develop Process-Centric Web Applications.
Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2012

Efficient Discovery of Understandable Declarative Process Models from Event Logs.
Proceedings of the Advanced Information Systems Engineering, 2012

Aligning Event Logs and Declarative Process Models for Conformance Checking.
Proceedings of the Business Process Management - 10th International Conference, 2012

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

User-guided discovery of declarative process models.
Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011

Declare: A Tool Suite for Declarative Workflow Modeling and Enactment.
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.
Proceedings of the Business Process Management - 9th International Conference, 2011


Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
Revising Process Models through Inductive Learning.
Proceedings of the Business Process Management Workshops, 2010

2009
Managing Business Process Flexibility and Reuse through Business Process Lines.
Proceedings of the ICSOFT 2009, 2009

Tacit Suggestions Extraction Process for Consumer-Oriented Services.
Proceedings of the Third International Conference on the Digital Society (ICDS 2009), 2009

2008
Business Process Lines to Develop Service-Oriented Architectures Through the Software Product Lines Paradigm.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Business Process Modeling Aware to the Environment Changes - A Pattern Driven Approach.
Proceedings of the ENASE 2008, 2008


  Loading...