Artem Polyvyanyy

Alistair Moffat

Proceedings of the Advanced Information Systems Engineering, 2022

Data and Process Resonance - Identifier Soundness for Models of Information Systems.

[BibT_eX]

[DOI]

Andrey Rivkin

Marco Montali

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

Process Querying: Methods, Techniques, and Applications.

[BibT_eX]

[DOI]

Proceedings of the Process Querying Methods, 2022

Process Query Language.

[BibT_eX]

[DOI]

Proceedings of the Process Querying Methods, 2022

Introduction to Process Querying.

[BibT_eX]

[DOI]

Proceedings of the Process Querying Methods, 2022

Robotic Process Mining.

[BibT_eX]

[DOI]

Proceedings of the Process Mining Handbook, 2022

2021

Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019.

[BibT_eX]

[DOI]

Jan Vanthienen

J. Data Semant., 2021

Stochastic process mining: Earth movers' stochastic conformance.

[BibT_eX]

[DOI]

Sander J. J. Leemans

Wil M. P. van der Aalst

Tobias Brockhoff

Inf. Syst., 2021

Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory.

[BibT_eX]

[DOI]

Fundam. Informaticae, 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

Agent System Mining: Vision, Benefits, and Challenges.

[BibT_eX]

[DOI]

Andrei Tour

IEEE Access, 2021

Prescriptive Process Monitoring for Cost-Aware Cycle Time Reduction.

[BibT_eX]

[DOI]

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

Process Model Forecasting Using Time Series Analysis of Event Sequence Data.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 40th International Conference, 2021

Structural and Behavioral Biases in Process Comparison Using Models and Logs.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 40th International Conference, 2021

All that Glitters Is Not Gold - Towards Process Discovery Techniques with Guarantees.

[BibT_eX]

[DOI]

Bart R. van Wensveen

Matthieu J. S. Brinkhuis

Hajo A. Reijers

Proceedings of the Advanced Information Systems Engineering, 2021

Microservice Remodularisation of Monolithic Enterprise Systems for Embedding in Industrial IoT Networks.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2021

2020

Scenario-based process querying for compliance, reuse, and standardization.

[BibT_eX]

[DOI]

Anastasiia Pika

Inf. Syst., 2020

Automated discovery of declarative process models with correlated data conditions.

[BibT_eX]

[DOI]

Inf. Syst., 2020

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems.

[BibT_eX]

EMISA Forum, 2020

Automated Discovery of Data Transformations for Robotic Process Automation.

[BibT_eX]

[DOI]

CoRR, 2020

A Spectrum of Entropy-Based Precision and Recall Measurements Between Partially Matching Designed and Observed Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 18th International Conference, 2020

VDD: A Visual Drift Detection System for Process Mining.

[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

An Entropic Relevance Measure for Stochastic Conformance Checking in Process Mining.

[BibT_eX]

[DOI]

Alistair Moffat

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

Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining.

[BibT_eX]

[DOI]

Hanan Alkhammash

Claudio Di Ciccio

Proceedings of the ICPM Doctoral Consortium and Tool Demonstration Track 2020 co-located with the 2nd International Conference on Process Mining (ICPM 2020), 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

Process Mining Meets Causal Machine Learning: Discovering Causal Rules from Event Logs.

[BibT_eX]

[DOI]

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

Stochastic-Aware Conformance Checking: An Entropy-Based Approach.

[BibT_eX]

[DOI]

Sander J. J. Leemans

Proceedings of the Advanced Information Systems Engineering, 2020

Remodularization Analysis for Microservice Discovery Using Syntactic and Semantic Clustering.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2020

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

[BibT_eX]

[DOI]

Proceedings of the Best Dissertation Award, 2020

A Framework for Estimating Simplicity of Automatically Discovered Process Models Based on Structural and Behavioral Characteristics.

[BibT_eX]

[DOI]

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

Goal Recognition Using Off-The-Shelf Process Mining Techniques.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

Automated Repair of Process Models Using Non-local Constraints.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Business Process Querying.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Split miner: automated discovery of accurate and simple business process models from event logs.

[BibT_eX]

[DOI]

Knowl. Inf. Syst., 2019

Process Query Language: Design, Implementation, and Evaluation.

[BibT_eX]

[DOI]

Chun Ouyang

Anastasiia Pika

CoRR, 2019

Availability and Scalability Optimized Microservice Discovery from Enterprise Systems.

[BibT_eX]

[DOI]

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

Business Object Centric Microservices Patterns.

[BibT_eX]

[DOI]

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

Monotone Conformance Checking for Partially Matching Designed and Observed Processes.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Process Mining, 2019

Comprehensive Process Drift Detection with Visual Analytics.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

Comprehensive Process Drift Analysis with the Visual Drift Detection Tool.

[BibT_eX]

[DOI]

Proceedings of the ER Forum and Poster & Demos Session 2019 on Publishing Papers with CEUR-WS co-located with 38th International Conference on Conceptual Modeling (ER 2019), 2019

Information Systems Modeling: Language, Verification, and Tool Support.

[BibT_eX]

[DOI]

Sietse Overbeek

Rick Brouwers

Proceedings of the Advanced Information Systems Engineering, 2019

Action Logger: Enabling Process Mining for Robotic Process Automation.

[BibT_eX]

[DOI]

Proceedings of the Dissertation Award, 2019

2018

Interleaving isotactics - An equivalence notion on behaviour abstractions.

[BibT_eX]

[DOI]

Jan Sürmeli

Theor. Comput. Sci., 2018

Discovering Microservices in Enterprise Systems Using a Business Object Containment Heuristic.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Function-Splitting Heuristics for Discovery of Microservices in Enterprise Systems.

[BibT_eX]

[DOI]

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

An Assignment on Information System Modeling - On Teaching Data and Process Integration.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2018

Process Forecasting: Towards Proactive Business Process Management.

[BibT_eX]

[DOI]

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

2017

Impact-Driven Process Model Repair.

[BibT_eX]

[DOI]

Wil M. P. van der Aalst

Moe Thandar Wynn

ACM Trans. Softw. Eng. Methodol., 2017

Process querying: Enabling business intelligence through query-based process analytics.

[BibT_eX]

[DOI]

Chun Ouyang

Wil M. P. van der Aalst

Decis. Support Syst., 2017

2016

On the expressive power of behavioral profiles.

[BibT_eX]

[DOI]

Abel Armas-Cervantes

Formal Aspects Comput., 2016

Collaborative Business Process Modeling in Multi-surface Environments.

[BibT_eX]

[DOI]

Proceedings of the Collaboration Meets Interactive Spaces, 2016

2015

Business Process Model Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Business Process Management 1, 2015

Untanglings: a novel approach to analyzing concurrent systems.

[BibT_eX]

[DOI]

Chun Ouyang

Formal Aspects Comput., 2015

On the Suitability of Generalized Behavioral Profiles for Process Model Comparison.

[BibT_eX]

[DOI]

Abel Armas-Cervantes

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Process Querying in Apromore.

[BibT_eX]

[DOI]

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

2014

Supporting Process Model Validation through Natural Language Generation.

[BibT_eX]

[DOI]

Henrik Leopold

Jan Mendling

IEEE Trans. Software Eng., 2014

Maximal Structuring of Acyclic Process Models.

[BibT_eX]

[DOI]

Dirk Fahland

Comput. J., 2014

Indexing and Efficient Instance-Based Retrieval of Process Models Using Untanglings.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2014

The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Towards a Compendium of Process Technologies - The jBPT Library for Process Model Analysis.

[BibT_eX]

[DOI]

Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), 2013

APQL: A Process-Model Query Language.

[BibT_eX]

[DOI]

Proceedings of the Asia Pacific Business Process Management, 2013

The Structured Phase of Concurrency.

[BibT_eX]

[DOI]

Christoph Bussler

Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012

Structuring process models.

[BibT_eX]

[DOI]

PhD thesis, 2012

Generalized aggregate Quality of Service computation for composite services.

[BibT_eX]

[DOI]

Yong Yang

Liang Zhang

J. Syst. Softw., 2012

Structuring acyclic process models.

[BibT_eX]

[DOI]

Inf. Syst., 2012

Weak Conformance of Process Models with respect to Data Objects.

[BibT_eX]

[DOI]

Andreas Meyer

Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012

Generating Natural Language Texts from Business Process Models.

[BibT_eX]

[DOI]

Henrik Leopold

Jan Mendling

Proceedings of the Advanced Information Systems Engineering, 2012

Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models.

[BibT_eX]

[DOI]

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

2011

Process compliance analysis based on behavioural profiles.

[BibT_eX]

[DOI]

Inf. Syst., 2011

Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Connectivity of workflow nets: the foundations of stepwise verification.

[BibT_eX]

[DOI]

Acta Informatica, 2011

Optimization of Complex QoS-Aware Service Compositions.

[BibT_eX]

[DOI]

Dieter Schuller

Stefan Schulte

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Flexible Service Systems.

[BibT_eX]

[DOI]

Proceedings of the Science of Service Systems., 2011

2010

Structural abstraction of process specifications.

[BibT_eX]

[DOI]

Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010

Simplified Computation and Generalization of the Refined Process Structure Tree.

[BibT_eX]

[DOI]

Jussi Vanhatalo

Hagen Völzer

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

The Biconnected Verification of Workflow Nets.

[BibT_eX]

[DOI]

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

Aggregate Quality of Service Computation for Composite Services.

[BibT_eX]

[DOI]

Yong Yang

Liang Zhang

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

On Separation of Concurrency and Conflicts in Acyclic Process Models.

[BibT_eX]

[DOI]

Felix Elliger

Proceedings of the EMISA 2010, 2010

Abstraction of Process Specifications.

[BibT_eX]

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

Process Compliance Measurement Based on Behavioural Profiles.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Unraveling Unstructured Process Models.

[BibT_eX]

[DOI]

Proceedings of the Business Process Modeling Notation - Second International Workshop, 2010

Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2010

2009

Unveiling Hidden Unstructured Regions in Process Models.

[BibT_eX]

[DOI]

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

On Application of Structural Decomposition for Process Model Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Business Process, 2009

The Triconnected Abstraction of Process Models.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 7th International Conference, 2009

2008

Flexible Process Graph: A Prologue.

[BibT_eX]

[DOI]

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

Reducing Complexity of Large EPCs.

[BibT_eX]

[DOI]

Proceedings of the Modellierung betrieblicher Informationssysteme - Modellierung zwischen SOA und Compliance Management, 2008

Process Model Abstraction: A Slider Approach.

[BibT_eX]

[DOI]

Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Semantic Querying of Business Process Models.

[BibT_eX]

[DOI]

Ahmed Awad

Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

An Ontology-Based Service Discovery Approach for the Provisioning of Product- Service Bundles.

[BibT_eX]

Proceedings of the 16th European Conference on Information Systems, 2008

Hypergraph-Based Modeling of Ad-Hoc Business Processes.

[BibT_eX]

[DOI]