Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Henrik Leopold

dblp:25/8214 · DBLP profile ↗
← Back
52ranked-venue papers
13as first author
16since 2021 · last 2026
—ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Databases, data management, data science and information retrieval · 27 · 8 first-author · 8 since 2021Software engineering, systems software and programming languages · 24 · 7 first-author · 4 since 2021Artificial intelligence and machine learning · 12 · 3 first-author · 4 since 2021Human-computer interaction and ubiquitous computing · 2 · 2 since 2021Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
3 papers
Requirements engineering and software design · 77% Program synthesis and code generation · 12% Empirical software engineering · 7%
Databases, data mining, and information retrieval
1 paper
Data mining · 100%

Topics — the 7 heaviest of 9, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Data mining › process mining
conformance checking
0.412020
Efficient Process Conformance Checking on the Basis of Uncertain Event-to-Activity Mappings · IEEE Trans. Knowl. Data Eng. 2020
Data mining
process mining
0.412020
Efficient Process Conformance Checking on the Basis of Uncertain Event-to-Activity Mappings · IEEE Trans. Knowl. Data Eng. 2020
Requirements engineering and software design
business process modeling
0.212014
Supporting Process Model Validation through Natural Language Generation · IEEE Trans. Software Eng. 2014
Requirements engineering and software design
requirements validation
0.212014
Supporting Process Model Validation through Natural Language Generation · IEEE Trans. Software Eng. 2014
Software maintenance and evolution
process model analysis
0.112015
Automatic Detection and Resolution of Lexical Ambiguity in Process Models · IEEE Trans. Software Eng. 2015
Empirical software engineering › developer studies › cognitive processes
model comprehension
0.112014
Supporting Process Model Validation through Natural Language Generation · IEEE Trans. Software Eng. 2014
Empirical software engineering › developer studies
user study
0.112014
Supporting Process Model Validation through Natural Language Generation · IEEE Trans. Software Eng. 2014

Methods — techniques the papers use, named apart from their topics

object detection · 0.7neural network · 0.7probabilistic conformance checking · 0.4synonym and homonym detection · 0.2natural language processing · 0.2verbalization · 0.2natural language generation · 0.2
YearPublicationVenuePosition
2026 Empirical Research on Petri Nets
Jan Mendling, Benoît Depaire, Henrik Leopold
PETRI NETS3
2026 From Prompt to Process: Event Log Extraction From Relational Databases Using Large Language Models
abstract
Process mining enables organizations to discover, monitor, and analyze their work processes based on data. A fundamental requirement for initiating a process mining project is the availability of an event log, which is not always readily available. In such cases, extracting an event log typically involves various time-consuming tasks, such as writing custom structured query language (SQL) scripts to extract relevant data into an event log format from a relational database. In this work, we explore the potential of large language models (LLMs) to support event log extraction for process mining by leveraging LLMs’ ability to produce SQL scripts. We evaluate the effectiveness of LLMs in assisting this process and analyze their performance across a range of scenarios. Despite the inherent non-determinism of LLM outputs, our findings highlight the potential of future LLM-assisted tools in automating event log extraction, particularly when provided with the appropriate domain and data knowledge context. The implementation of such tools could democratize access to process mining by reducing the need for specialized technical expertise for producing relational database query scripts and minimizing manual effort.
Vinicius Stein Dani, Marcus Dees, Henrik Leopold, Kiran Busch, Iris Beerepoot, Jan Martijn E. M. van der Werf, Hajo A. Reijers
Int. J. Cooperative Inf. Syst.3
2026 Efficient allocation of shared resources across multiple processes
abstract
Effective resource allocation is crucial for optimizing business processes. Yet, most existing methods focus solely on single-process optimization, overlooking the interdependencies present in multi-process environments. This limitation results in inefficient resource allocation, and scalability challenges. To address this gap, we propose MuProMAC (Multi-Process Multi-Agent Coordination), a novel reinforcement learning-based method designed to optimize resource allocation across multiple interdependent business processes. Unlike prior methods, MuProMAC is the first online resource allocation method that explicitly models the interdependencies between processes and dynamically balances competing resource demands to minimize global average cycle time. We evaluate our method in five multi-process scenarios with different levels of resource contention, comparing it against state-of-the-art online resource allocation methods and three simple baselines. Our results show that MuProMAC is consistently among the top-performing methods in shared-resource environments. It achieves low cycle times and stable performance across different workload conditions, outperforming existing methods through its strong adaptability to evolving business processes and increasing complexity.
Kiran Busch, Henrik Leopold
Inf. Syst.2
2024 xSemAD: Explainable Semantic Anomaly Detection in Event Logs Using Sequence-to-Sequence Models
Kiran Busch, Timotheus Kampik, Henrik Leopold
BPM3
2024 From Loss of Interest to Denial: A Study on the Terminators of Process Mining Initiatives
Vinicius Stein Dani, Henrik Leopold, Jan Martijn E. M. van der Werf, Iris Beerepoot, Hajo A. Reijers
CAiSE2
2024 Event Log Extraction for Process Mining Using Large Language Models
Vinicius Stein Dani, Marcus Dees, Henrik Leopold, Kiran Busch, Iris Beerepoot, Jan Martijn E. M. van der Werf, Hajo A. Reijers
CoopIS3
2024 Automatically identifying customer needs in user-generated content using token classification
Oliver Ettrich, Sven Stahlmann, Henrik Leopold, Christian Barrot
Decis. Support Syst.3
2023 From Process Mining Insights to Process Improvement: All Talk and No Action?
Vinicius Stein Dani, Henrik Leopold, Jan Martijn E. M. van der Werf, Iris Beerepoot, Hajo A. Reijers
CoopIS2
2023 Progressing from Process Mining Insights to Process Improvement: Challenges and Recommendations
Vinicius Stein Dani, Henrik Leopold, Jan Martijn E. M. van der Werf, Hajo A. Reijers
EDOC2
2023 Sketch2Process: End-to-End BPMN Sketch Recognition Based on Neural Networks
abstract
Process models play an important role in various software engineering contexts. Among others, they are used to capture business-related requirements and provide the basis for the development of process-oriented applications in low-code/no-code settings. To support modelers in creating, checking, and maintaining process models, dedicated tools are available. While these tools are generally considered as indispensable to capture process models for their later use, the initial version of a process model is often sketched on a whiteboard or a piece of paper. This has been found to have great advantages, especially with respect to communication and collaboration. It, however, also creates the need to subsequently transform the model sketch into a digital counterpart that can be further processed by modeling and analysis tools. Therefore, to automate this task, various so-called sketch recognition approaches have been defined in the past. Yet, these existing approaches are too limited for use in practice, since they, for instance, require sketches to be created on a digital device or do not address the recognition of edges or textual labels. Against this background, we use this paper to introduce Sketch2Process, the first end-to-end sketch recognition approach for process models captured using BPMN. Sketch2Process uses a neural network-based architecture to recognize the shapes, edges, and textual labels of highly expressive process models, covering 25 types of BPMN elements. To train and evaluate our approach, we created a dataset consisting of 704 hand-drawn and manually annotated BPMN models. Our experiments demonstrate that our approach is highly accurate and consistently outperforms the state of the art.
Bernhard Schäfer, Han van der Aa, Henrik Leopold, Heiner Stuckenschmidt
IEEE Trans. Software Eng.3
2022 Mining Statistical Relations for Better Decision Making in Healthcare Processes
abstract
An important part of healthcare decision making is to understand how certain actions relate to desired and undesired outcomes. One key challenge is to deal with confounding variables, i.e., variables that influence the relation between actions and outcomes. Existing techniques aim to uncover the underlying statistical relations between actions and outcomes, but either do not account for confounding variables or only consider the process or case level instead of the event level. Therefore, this paper proposes a novel relation mining approach for healthcare processes that 1) explicitly accounts for confounding variables at the event level, and 2) transparently communicates the effect of the confounding variables to the user. We demonstrate the applicability and importance of our approach using two evaluation experiments. We use a real-world healthcare dataset to show that the identified relations indeed provide important input for decision making in healthcare processes. We use a synthetic dataset to illustrate the importance of our approach in the general setting of causal model estimation.
Jelmer Jan Koorn, Xixi Lu 0001, Henrik Leopold, Niels Martin, Sam Verboven, Hajo A. Reijers
ICPM3
2022 From action to response to effect: Mining statistical relations in work processes
abstract
Process mining techniques are valuable to gain insights into and help improve (work) processes. Many of these techniques focus on the sequential order in which activities are performed. Few of these techniques consider the statistical relations within processes. In particular, existing techniques do not allow insights into how responses to an event (action) result in desired or undesired outcomes (effects). We propose and formalize the ARE miner, a novel technique that allows us to analyze and understand these action-response-effect patterns. We take a statistical approach to uncover potential dependency relations in these patterns. The goal of this research is to generate processes that are: (1) appropriately represented, and (2) effectively filtered to show meaningful relations. We evaluate the ARE miner in two ways. First, we use an artificial data set to demonstrate the effectiveness of the ARE miner compared to two traditional process-oriented approaches. Second, we apply the ARE miner to a real-world data set from a Dutch healthcare institution. We show that the ARE miner generates comprehensible representations that lead to informative insights into statistical relations between actions, responses, and effects.
Jelmer Jan Koorn, Xixi Lu 0001, Henrik Leopold, Hajo A. Reijers
Inf. Syst.3
2021 Sketch2BPMN: Automatic Recognition of Hand-Drawn BPMN Models
Bernhard Schäfer, Han van der Aa, Henrik Leopold, Heiner Stuckenschmidt
CAiSE3
2021 Bringing Rigor to the Qualitative Evaluation of Process Mining Findings: An Analysis and a Proposal
abstract
Before the findings of a process mining project can be turned into actionable insights or recommendations, it is essential to make sure that the findings are actually valid. Therefore, the evaluation of the findings is a crucial part of a successful process mining project. Current process mining methodologies, however, fall short in providing actionable support to perform such an evaluation. This is especially true when domain experts are involved. To close this gap, we performed a literature study considering all process mining case studies published in the last two decades. In total, we identified 244 candidate papers of which we analyzed 80 in depth. Based on this literature study, we found a need for a more systematic approach for qualitative evaluations in process mining projects where domain experts are involved. Therefore, we build on these results to propose six validation strategies, which originate from qualitative research. We believe that this proposal for more rigor in the evaluation phase of process mining projects helps to move the discipline forward.
Jelmer Jan Koorn, Iris Beerepoot, Vinicius Stein Dani, Xixi Lu 0001, Inge van de Weerd, Henrik Leopold, Hajo A. Reijers
ICPM6
2021 Real-time temperature prediction in a cold supply chain based on Newton's law of cooling
Iurii Konovalenko, André Ludwig, Henrik Leopold
Decis. Support Syst.3
2021 Natural language-based detection of semantic execution anomalies in event logs
Han van der Aa, Adrian Rebmann, Henrik Leopold
Inf. Syst.3
2020 Looking for Meaning: Discovering Action-Response-Effect Patterns in Business Processes
Jelmer Jan Koorn, Xixi Lu 0001, Henrik Leopold, Hajo A. Reijers
BPM3
2020 Partial order resolution of event logs for process conformance checking
Han van der Aa, Henrik Leopold, Matthias Weidlich 0001
Decis. Support Syst.2
2020 Efficient Process Conformance Checking on the Basis of Uncertain Event-to-Activity Mappings
abstract
Conformance checking enables organizations to automatically identify compliance violations based on the analysis of observed event data. A crucial requirement for conformance-checking techniques is that observed events can be mapped to normative process models used to specify allowed behavior. Without a mapping, it is not possible to determine if an observed event trace conforms to the specification or not. A considerable problem in this regard is that establishing a mapping between events and process model activities is an inherently uncertain task. Since the use of a particular mapping directly influences the conformance of an event trace to a specification, this uncertainty represents a major issue for conformance checking. To overcome this issue, we introduce a probabilistic conformance-checking technique that can deal with uncertain mappings. Our technique avoids the need to select a single mapping by taking the entire spectrum of possible mappings into account. A quantitative evaluation demonstrates that our technique can be applied on a considerable number of real-world processes where existing conformance-checking techniques fail.
Han van der Aa, Henrik Leopold, Hajo A. Reijers
IEEE Trans. Knowl. Data Eng.2
2019 Extracting Declarative Process Models from Natural Language
Han van der Aa, Claudio Di Ciccio, Henrik Leopold, Hajo A. Reijers
CAiSE3
2019 Using Hidden Markov Models for the accurate linguistic analysis of process model activity labels
Henrik Leopold, Han van der Aa, Jelmer Offenberg, Hajo A. Reijers
Inf. Syst.1
2019 Searching textual and model-based process descriptions based on a unified data format
abstract
Documenting business processes using process models is common practice in many organizations. However, not all process information is best captured in process models. Hence, many organizations complement these models with textual descriptions that specify additional details. The problem with this supplementary use of textual descriptions is that existing techniques for automatically searching process repositories are limited to process models. They are not capable of taking the information from textual descriptions into account and, therefore, provide incomplete search results. In this paper, we address this problem and propose a technique that is capable of searching textual as well as model-based process descriptions. It automatically extracts activity-related and behavioral information from both descriptions types and stores it in a unified data format. An evaluation with a large Austrian bank demonstrates that the additional consideration of textual descriptions allows us to identify more relevant processes from a repository.
Henrik Leopold, Han van der Aa, Fabian Pittke, Manuel Raffel, Jan Mendling, Hajo A. Reijers
Softw. Syst. Model.1
2018 Challenges and Opportunities of Applying Natural Language Processing in Business Process Management
abstract
The Business Process Management (BPM) field focuses in the coordination of labor so that organizational processes are smoothly executed in a way that products and services are properly delivered. At the same time, NLP has reached a maturity level that enables its widespread application in many contexts, thanks to publicly available frameworks. In this position paper, we show how NLP has potential in raising the benefits of BPM practices at different levels. Instead of being exhaustive, we show selected key challenges were a successful application of NLP techniques would facilitate the automation of particular tasks that nowadays require a significant effort to accomplish. Finally, we report on applications that consider both the process perspective and its enhancement through NLP.
Han van der Aa, Josep Carmona 0001, Henrik Leopold, Jan Mendling, Lluís Padró 0001
COLING3
2018 Empirical Insights into the Evolving Role of Architects in Decision-Making in an Agile Context
Femke Heijenk, Martin van den Berg, Henrik Leopold, Hans van Vliet, Raymond Slot
ECSA3
2018 A probabilistic evaluation procedure for process model matching techniques
Elena Kuss, Henrik Leopold, Han van der Aa, Heiner Stuckenschmidt, Hajo A. Reijers
Data Knowl. Eng.2
2018 A semi-automated approach for generating natural language requirements documents based on business process models
Banu Aysolmaz, Henrik Leopold, Hajo A. Reijers, Onur Demirörs
Inf. Softw. Technol.2
2018 Checking process compliance against natural language specifications using behavioral spaces
Han van der Aa, Henrik Leopold, Hajo A. Reijers
Inf. Syst.2
2017 Predicting treatment repetitions in the implant denture therapy process
abstract
Healthcare can be considerably expensive for both patients and insurance companies. In some cases, high costs in healthcare are an indirect outcome of a low quality of care, for example, when treatments have to be repeated. Unfortunately, identifying the factors that lead to such repetitions is a complex and challenging task. In this paper, we focus on the domain of dental healthcare and develop an approach that can predict treatment repetitions in the context of the implant denture therapy process. The challenges associated with predicting treatment repetitions in this setting are considerable. First, hardly any patient undergoes the exact same series of treatments like another. This results in a high degree of variation in the data. Second, only a few patients experience treatment repetitions. This lead to a highly imbalance in the data. To address these challenges, we develop a prediction technique that particularly exploits the process perspective. What is more, we apply so-called resampling methods to deal with the imbalance in the data. Our resulting model is able to predict treatment repetitions with an AUC value of 0.69.
Marzieh Bakhshandeh, Dennis M. M. Schunselaar, Henrik Leopold, Hajo A. Reijers
IEEE BigData3
2017 Instance-Based Process Matching Using Event-Log Information
Han van der Aa, Avigdor Gal, Henrik Leopold, Hajo A. Reijers, Tomer Sagi, Roee Shraga
CAiSE3
2017 Checking Process Compliance on the Basis of Uncertain Event-to-Activity Mappings
Han van der Aa, Henrik Leopold, Hajo A. Reijers
CAiSE2
2017 Ensuring the canonicity of process models
Henrik Leopold, Fabian Pittke, Jan Mendling
Data Knowl. Eng.1
2017 Overcoming individual process model matcher weaknesses using ensemble matching
Christian Meilicke, Henrik Leopold, Elena Kuss, Heiner Stuckenschmidt, Hajo A. Reijers
Decis. Support Syst.2
2017 Comparing textual descriptions to process models - The automatic detection of inconsistencies
Han van der Aa, Henrik Leopold, Hajo A. Reijers
Inf. Syst.2
2017 Transforming unstructured natural language descriptions into measurable process performance indicators using Hidden Markov Models
Han van der Aa, Henrik Leopold, Adela del-Río-Ortega, Manuel Resinas, Hajo A. Reijers
Inf. Syst.2
2016 Dealing with Behavioral Ambiguity in Textual Process Descriptions
Han van der Aa, Henrik Leopold, Hajo A. Reijers
BPM2
2016 Narrowing the Business-IT Gap in Process Performance Measurement
Han van der Aa, Adela del-Río-Ortega, Manuel Resinas, Henrik Leopold, Antonio Ruiz Cortés, Jan Mendling, Hajo A. Reijers
CAiSE4
2016 Probabilistic Evaluation of Process Model Matching Techniques
Elena Kuss, Henrik Leopold, Han van der Aa, Heiner Stuckenschmidt, Hajo A. Reijers
ER2
2015 Detecting Inconsistencies Between Process Models and Textual Descriptions
Han van der Aa, Henrik Leopold, Hajo A. Reijers
BPM2
2015 Towards the Automated Annotation of Process Models
Henrik Leopold, Christian Meilicke, Michael Fellmann, Fabian Pittke, Heiner Stuckenschmidt, Jan Mendling
CAiSE1
2015 Automatic service derivation from business process model repositories via semantic technology
Henrik Leopold, Fabian Pittke, Jan Mendling
J. Syst. Softw.1
2015 Automatic Detection and Resolution of Lexical Ambiguity in Process Models
abstract
System-related engineering tasks are often conducted using process models. In this context, it is essential that these models do not contain structural or terminological inconsistencies. To this end, several automatic analysis techniques have been proposed to support quality assurance. While formal properties of control flow can be checked in an automated fashion, there is a lack of techniques addressing textual quality. More specifically, there is currently no technique available for handling the issue of lexical ambiguity caused by homonyms and synonyms. In this paper, we address this research gap and propose a technique that detects and resolves lexical ambiguities in process models. We evaluate the technique using three process model collections from practice varying in size, domain, and degree of standardization. The evaluation demonstrates that the technique significantly reduces the level of lexical ambiguity and that meaningful candidates are proposed for resolving ambiguity.
Fabian Pittke, Henrik Leopold, Jan Mendling
IEEE Trans. Software Eng.2
2014 Listen to Me: Improving Process Model Matching through User Feedback
Christopher Klinkmüller, Henrik Leopold, Ingo Weber, Jan Mendling, André Ludwig
BPM2
2014 Simplifying process model abstraction: Techniques for generating model names
Henrik Leopold, Jan Mendling, Hajo A. Reijers, Marcello La Rosa
Inf. Syst.1
2014 Supporting Process Model Validation through Natural Language Generation
abstract
The design and development of process-aware information systems is often supported by specifying requirements as business process models. Although this approach is generally accepted as an effective strategy, it remains a fundamental challenge to adequately validate these models given the diverging skill set of domain experts and system analysts. As domain experts often do not feel confident in judging the correctness and completeness of process models that system analysts create, the validation often has to regress to a discourse using natural language. In order to support such a discourse appropriately, so-called verbalization techniques have been defined for different types of conceptual models. However, there is currently no sophisticated technique available that is capable of generating natural-looking text from process models. In this paper, we address this research gap and propose a technique for generating natural language texts from business process models. A comparison with manually created process descriptions demonstrates that the generated texts are superior in terms of completeness, structure, and linguistic complexity. An evaluation with users further demonstrates that the texts are very understandable and effectively allow the reader to infer the process model semantics. Hence, the generated texts represent a useful input for process model validation.
Henrik Leopold, Jan Mendling, Artem Polyvyanyy
IEEE Trans. Software Eng.1
2013 Increasing Recall of Process Model Matching by Improved Activity Label Matching
Christopher Klinkmüller, Ingo Weber, Jan Mendling, Henrik Leopold, André Ludwig
BPM4
2013 Predicting the Quality of Process Model Matching
Matthias Weidlich 0001, Tomer Sagi, Henrik Leopold, Avigdor Gal, Jan Mendling
BPM3
2013 Detection of naming convention violations in process models for different languages
Henrik Leopold, Rami-Habib Eid-Sabbagh, Jan Mendling, Leonardo Guerreiro Azevedo, Fernanda Baião
Decis. Support Syst.1
2012 Probabilistic Optimization of Semantic Process Model Matching
Henrik Leopold, Mathias Niepert, Matthias Weidlich 0001, Jan Mendling, Remco M. Dijkman, Heiner Stuckenschmidt
BPM1
2012 Generating Natural Language Texts from Business Process Models
Henrik Leopold, Jan Mendling, Artem Polyvyanyy
CAiSE1
2012 On the refactoring of activity labels in business process models
Henrik Leopold, Sergey Smirnov 0002, Jan Mendling
Inf. Syst.1
2011 On the Automatic Labeling of Process Models
Henrik Leopold, Jan Mendling, Hajo A. Reijers
CAiSE1
2010 Refactoring of Process Model Activity Labels
Henrik Leopold, Sergey Smirnov 0002, Jan Mendling
NLDB1