Demo Data from SIGIR 2026 / reviewers in the wild / expert
Henrik Leopold
dblp:25/8214
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Data mining › process mining
conformance checking |
0.4 | 1 | 2020 | Efficient Process Conformance Checking on the Basis of Uncertain Event-to-Activity Mappings · IEEE Trans. Knowl. Data Eng. 2020 |
Data mining
process mining |
0.4 | 1 | 2020 | 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.2 | 1 | 2014 | Supporting Process Model Validation through Natural Language Generation · IEEE Trans. Software Eng. 2014 |
Requirements engineering and software design
requirements validation |
0.2 | 1 | 2014 | Supporting Process Model Validation through Natural Language Generation · IEEE Trans. Software Eng. 2014 |
Software maintenance and evolution
process model analysis |
0.1 | 1 | 2015 | 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.1 | 1 | 2014 | Supporting Process Model Validation through Natural Language Generation · IEEE Trans. Software Eng. 2014 |
Empirical software engineering › developer studies
user study |
0.1 | 1 | 2014 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Empirical Research on Petri Nets
Jan Mendling, Benoît Depaire, Henrik Leopold |
PETRI NETS | 3 |
| 2026 | From Prompt to Process: Event Log Extraction From Relational Databases Using Large Language ModelsabstractProcess 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 processesabstractEffective 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 |
BPM | 3 |
| 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 |
CAiSE | 2 |
| 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 |
CoopIS | 3 |
| 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 |
CoopIS | 2 |
| 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 |
EDOC | 2 |
| 2023 | Sketch2Process: End-to-End BPMN Sketch Recognition Based on Neural NetworksabstractProcess 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 ProcessesabstractAn 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 |
ICPM | 3 |
| 2022 | From action to response to effect: Mining statistical relations in work processesabstractProcess 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 |
CAiSE | 3 |
| 2021 | Bringing Rigor to the Qualitative Evaluation of Process Mining Findings: An Analysis and a ProposalabstractBefore 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 |
ICPM | 6 |
| 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 |
BPM | 3 |
| 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 MappingsabstractConformance 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 |
CAiSE | 3 |
| 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 formatabstractDocumenting 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 ManagementabstractThe 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 |
COLING | 3 |
| 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 |
ECSA | 3 |
| 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 processabstractHealthcare 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 BigData | 3 |
| 2017 | Instance-Based Process Matching Using Event-Log Information
Han van der Aa, Avigdor Gal, Henrik Leopold, Hajo A. Reijers, Tomer Sagi, Roee Shraga |
CAiSE | 3 |
| 2017 | Checking Process Compliance on the Basis of Uncertain Event-to-Activity Mappings
Han van der Aa, Henrik Leopold, Hajo A. Reijers |
CAiSE | 2 |
| 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 |
BPM | 2 |
| 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 |
CAiSE | 4 |
| 2016 | Probabilistic Evaluation of Process Model Matching Techniques
Elena Kuss, Henrik Leopold, Han van der Aa, Heiner Stuckenschmidt, Hajo A. Reijers |
ER | 2 |
| 2015 | Detecting Inconsistencies Between Process Models and Textual Descriptions
Han van der Aa, Henrik Leopold, Hajo A. Reijers |
BPM | 2 |
| 2015 | Towards the Automated Annotation of Process Models
Henrik Leopold, Christian Meilicke, Michael Fellmann, Fabian Pittke, Heiner Stuckenschmidt, Jan Mendling |
CAiSE | 1 |
| 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 ModelsabstractSystem-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 |
BPM | 2 |
| 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 GenerationabstractThe 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 |
BPM | 4 |
| 2013 | Predicting the Quality of Process Model Matching
Matthias Weidlich 0001, Tomer Sagi, Henrik Leopold, Avigdor Gal, Jan Mendling |
BPM | 3 |
| 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 |
BPM | 1 |
| 2012 | Generating Natural Language Texts from Business Process Models
Henrik Leopold, Jan Mendling, Artem Polyvyanyy |
CAiSE | 1 |
| 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 |
CAiSE | 1 |
| 2010 | Refactoring of Process Model Activity Labels
Henrik Leopold, Sergey Smirnov 0002, Jan Mendling |
NLDB | 1 |