Yasper: a tool for workflow modeling and analysis. - Kees M. van Hee; Olivia Oanea; Reinier Post; Lou J. Somers; Jan Martijn E. M. van der Werf (ACSD, 2006)

Petriweb: A Repository for Petri Nets. - R. Goud; Kees M. van Hee; R. D. J. Post; Jan Martijn E. M. van der Werf (ICATPN, 2006)

Adaptive Workflows for Healthcare Information Systems. - Kees M. van Hee; Helen Schonenberg; Alexander Serebrenik; Natalia Sidorova; Jan Martijn E. M. van der Werf (Business Process Management Workshops, 2007)

Modelling with History-Dependent Petri Nets. - Kees M. van Hee; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoeve; Jan Martijn E. M. van der Werf (BPM, 2007)

A software framework for automated verification. - Ivo Raedts; Marija Petkovic; Alexander Serebrenik; Jan Martijn E. M. van der Werf; Lou J. Somers; Maarten Boote (SAC, 2007)

Transformation of BPMN Models for Behaviour Analysis. - Ivo Raedts; Marija Petkovic; Yaroslav S. Usenko; Jan Martijn E. M. van der Werf; Jan Friso Groote; Lou J. Somers (MSVVEIS, 2007)

Designing Case Handling Systems. - Kees M. van Hee; Jeroen Keiren; Reinier Post; Natalia Sidorova; Jan Martijn E. M. van der Werf (Trans. Petri Nets Other Model. Concurr., 2008)

Compositional Service Trees. - Wil M. P. van der Aalst; Kees M. van Hee; Peter Massuthe; Natalia Sidorova; Jan Martijn E. M. van der Werf (Petri Nets, 2009)

Process Diagnostics: A Method Based on Process Mining. - Melike Bozkaya; Joost Gabriels; Jan Martijn E. M. van der Werf (eKNOW, 2009)

Generation of Database Transactions with Petri Nets. - Kees M. van Hee; Natalia Sidorova; Marc Voorhoeve; Jan Martijn E. M. van der Werf (Fundam. Informaticae, 2009)

Process Discovery using Integer Linear Programming. - Jan Martijn E. M. van der Werf; Boudewijn F. van Dongen; Cor A. J. Hurkens; Alexander Serebrenik (Fundam. Informaticae, 2009)

Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (SC@TOOLS, 2010)

Soundness-Preserving Refinements of Service Compositions. - Kees M. van Hee; Arjan J. Mooij; Natalia Sidorova; Jan Martijn E. M. van der Werf (WS-FM, 2010)

Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. - Wil M. P. van der Aalst; Kees M. van Hee; Jan Martijn E. M. van der Werf; Marc Verdonk (Computer, 2010)

A Component Framework where Port Compatibility Implies Weak Termination. - Debjyoti Bera; Kees M. van Hee; Michiel van Osch; Jan Martijn E. M. van der Werf (PNSE, 2011)

Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (Petri Nets, 2011)

Separating Compliance Management and Business Process Management. - Elham Ramezani; Dirk Fahland; Jan Martijn E. M. van der Werf; Peter Mattheis (Business Process Management Workshops (2), 2011)

Conceptual model for online auditing. - Wil M. P. van der Aalst; Kees M. van Hee; Jan Martijn E. M. van der Werf; Akhil Kumar 001; Marc Verdonk (Decis. Support Syst., 2011)

A business process mining application for internal transaction fraud mitigation. - Mieke Jans; Jan Martijn E. M. van der Werf; Nadine Lybaert; Koen Vanhoof (Expert Syst. Appl., 2011)

Compositional design and verification of component-based information systems. - Jan Martijn E. M. van der Werf (2011)

Designing Weakly Terminating ROS Systems. - Debjyoti Bera; Kees M. van Hee; Jan Martijn E. M. van der Werf (Petri Nets, 2012)

On Profiles and Footprints - Relational Semantics for Petri Nets. - Matthias Weidlich 001; Jan Martijn E. M. van der Werf (Petri Nets, 2012)

Context-Aware Compliance Checking. - Jan Martijn E. M. van der Werf; H. M. W. Verbeek; Wil M. P. van der Aalst (BPM, 2012)

Mining Declarative Models Using Time Intervals. - Jan Martijn E. M. van der Werf; Ronny Mans; Wil M. P. van der Aalst (PNSE+ModPE, 2013)

Refinement of Synchronizable Places with Multi-workflow Nets. - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (Fundam. Informaticae, 2013)

When Can We Trust a Third Party? - A Soundness Perspective. - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (Trans. Petri Nets Other Model. Concurr., 2013)

Business Process Modeling Using Petri Nets. - Kees M. van Hee; Natalia Sidorova; Jan Martijn E. M. van der Werf (Trans. Petri Nets Other Model. Concurr., 2013)

Online Compliance Monitoring of Service Landscapes. - Jan Martijn E. M. van der Werf; H. M. W. Verbeek (Business Process Management Workshops, 2014)

Compositional Verification of Asynchronously Communicating Systems. - Jan Martijn E. M. van der Werf (FACS, 2014)

HUSACCT: architecture compliance checking with rich sets of module and rule types. - Leo J. Pruijt; Christian Köppe; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (ASE, 2014)

Alignment of software product management and software architecture with discussion models. - Garm Lucassen; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (IWSPM, 2014)

Bridging the gap between software platforms: A template method for software evolution. - Gerard Nijboer; Henk van der Schuur; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (IWSPM, 2014)

Discovery of Functional Architectures From Event Logs. - Jan Martijn E. M. van der Werf; Erwin Kaats (PNSE @ Petri Nets, 2015)

An Energy Consumption Perspective on Software Architecture - A Case Study on Architectural Change. - Erik Jagroep; Jan Martijn E. M. van der Werf; Ruvar Spauwen; Leen Blom; Rob van Vliet; Sjaak Brinkkemper (ECSA, 2015)

Dependency Types and Subtypes in the Context of Architecture Reconstruction and Compliance Checking. - Leo Pruijt; Jan Martijn E. M. van der Werf (ECSA Workshops, 2015)

Bridging the Twin Peaks - The Case of the Software Industry. - Garm Lucassen; Fabiano Dalpiaz; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (TwinPeaks@ICSE, 2015)

Forging high-quality User Stories: Towards a discipline for Agile Requirements. - Garm Lucassen; Fabiano Dalpiaz; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (RE, 2015)

Profiling energy profilers. - Erik Jagroep; Jan Martijn E. M. van der Werf; Slinger Jansen; Miguel Alexandre Ferreira; Joost Visser 001 (SAC, 2015)

A genetic approach to architectural pattern discovery. - Joeri Peters; Jan Martijn E. M. van der Werf (ECSA Workshops, 2016)

Consistent Inconsistency Management: A Concern-Driven Approach. - Jasper Schenkhuizen; Jan Martijn E. M. van der Werf; Slinger Jansen; Lambert Caljouw (ECSA, 2016)

Software Architecture Design Reasoning: A Card Game to Help Novice Designers. - Courtney Schriek; Jan Martijn E. M. van der Werf; Antony Tang; Floris Bex (ECSA, 2016)

Visualizing User Story Requirements at Multiple Granularity Levels via Semantic Relatedness. - Garm Lucassen; Fabiano Dalpiaz; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (ER, 2016)

Software energy profiling: comparing releases of a software product. - Erik A. Jagroep; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper; Giuseppe Procaccianti; Patricia Lago; Leen Blom; Rob van Vliet (ICSE (Companion Volume), 2016)

Automated Extraction of Conceptual Models from User Stories via NLP. - Marcel Robeer; Garm Lucassen; Jan Martijn E. M. van der Werf; Fabiano Dalpiaz; Sjaak Brinkkemper (RE, 2016)

The Use and Effectiveness of User Stories in Practice. - Garm Lucassen; Fabiano Dalpiaz; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (REFSQ, 2016)

AQUSA: The Automatic Quality User Story Artisan for Agile Software Development. - Garm Lucassen; Fabiano Dalpiaz; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (REFSQ Workshops, 2016)

Architectural Pattern Definition for Semantically Rich Modular Architectures. - Joeri Peters; Jan Martijn E. M. van der Werf; Jurriaan Hage (WICSA, 2016)

Rule Type Based Reasoning on Architecture Violations: A Case Study. - Leo Pruijt; Wiebe Wiersema; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (QRASA@WICSA, 2016)

Improving agile requirements: the Quality User Story framework and tool. - Garm Lucassen; Fabiano Dalpiaz; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (Requir. Eng., 2016)

Uncovering the Runtime Enterprise Architecture of a Large Distributed Organisation - A Process Mining-Oriented Approach. - Robert van Langerak; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (CAiSE, 2017)

Software architecture reconstruction research support as provided by HUSACCT. - Leo Pruijt; Wiebe Wiersema; Jan Martijn E. M. van der Werf (ECSA (Companion), 2017)

Architectural Intelligence: A Framework and Application to e-Learning. - Jan Martijn E. M. van der Werf; Casper van Schuppen; Sjaak Brinkkemper; Slinger Jansen; Peter B. J. Boon; Gert van der Plas (RADAR+EMISA@CAiSE, 2017)

Workload-Based Clustering of Coherent Feature Sets in Microservice Architectures. - Sander Klock; Jan Martijn E. M. van der Werf; Jan Pieter Guelen; Slinger Jansen (ICSA, 2017)

Facilitating Collaborative Decision Making with the Software Architecture Video Wall. - Jan Martijn E. M. van der Werf; Rico de Feijter; Floris Bex; Sjaak Brinkkemper (ICSA Workshops, 2017)

Awakening Awareness on Energy Consumption in Software Engineering. - Erik Jagroep; Jordy Broekman; Jan Martijn E. M. van der Werf; Patricia Lago; Sjaak Brinkkemper; Leen Blom; Rob van Vliet (ICSE-SEIS, 2017)

Behavior-Driven Requirements Traceability via Automated Acceptance Tests. - Garm Lucassen; Fabiano Dalpiaz; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper; Didar Zowghi (RE Workshops, 2017)

Improving User Story Practice with the Grimm Method: A Multiple Case Study in the Software Industry. - Garm Lucassen; Fabiano Dalpiaz; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (REFSQ, 2017)

Extending software architecture views with an energy consumption perspective - A case study on resource consumption of enterprise software. - Erik Jagroep; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper; Leen Blom; Rob van Vliet (Computing, 2017)

Extracting conceptual models from user stories with Visual Narrator. - Garm Lucassen; Marcel Robeer; Fabiano Dalpiaz; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (Requir. Eng., 2017)

Energy efficiency on the product roadmap: An empirical study across releases of a software product. - Erik Jagroep; Giuseppe Procaccianti; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper; Leen Blom; Rob van Vliet (J. Softw. Evol. Process., 2017)

The accuracy of dependency analysis in static architecture compliance checking. - Leo Pruijt; Christian Köppe; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (Softw. Pract. Exp., 2017)

An Assignment on Information System Modeling - On Teaching Data and Process Integration. - Jan Martijn E. M. van der Werf; Artem Polyvyanyy (Business Process Management Workshops, 2018)

A Blockchain-Based Micro Economy Platform for Distributed Infrastructure Initiatives. - Jan Kramer; Jan Martijn E. M. van der Werf; Johan Stokking; Marcela Ruiz (ICSA, 2018)

The hunt for the guzzler: Architecture-based energy profiling using stubs. - Erik Jagroep; Arjan van der Ent; Jan Martijn E. M. van der Werf; Jurriaan Hage; Leen Blom; Rob van Vliet; Sjaak Brinkkemper (Inf. Softw. Technol., 2018)

Improving software design reasoning-A reminder card approach. - Antony Tang; Floris Bex; Courtney Schriek; Jan Martijn E. M. van der Werf (J. Syst. Softw., 2018)

CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction. - Jan Martijn E. M. van der Werf; Lucas Steehouwer (Petri Nets, 2019)

Information Systems Modeling: Language, Verification, and Tool Support. - Artem Polyvyanyy; Jan Martijn E. M. van der Werf; Sietse Overbeek; Rick Brouwers (CAiSE, 2019)

Process-mining based dynamic software architecture reconstruction. - Tijmen de Jong; Jan Martijn E. M. van der Werf (ECSA (Companion), 2019)

Process Efficiency - Adapting Flow to the Agile Improvement Effort. - Frank Verbruggen; Jeff Sutherland; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper; Alex Sutherland (HICSS, 2019)

Measuring the Behavioral Quality of Log Sampling. - Bram Knols; Jan Martijn E. M. van der Werf (ICPM, 2019)

Evaluating Design Rationale in Architecture. - Pim De Jong; Jan Martijn E. M. van der Werf; Marlies van Steenbergen; Floris Bex; Matthieu J. S. Brinkhuis (ICSA Companion, 2019)

The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes. - Jan Martijn E. M. van der Werf; Artem Polyvyanyy (Petri Nets, 2020)

Capturing software architecture knowledge for pattern-driven design. - Siamak Farshidi; Slinger Jansen; Jan Martijn E. M. van der Werf (J. Syst. Softw., 2020)

Pair Modeling: Does One Plus One Add Up? - Vinicius Stein Dani; Mahendrawathi ER; Jelmer Jan Koorn; Jan Martijn E. M. van der Werf; Henrik Leopold; Hajo A. Reijers (Business Process Management Workshops, 2021)

Towards Understanding the Role of the Human in Event Log Extraction. - Vinicius Stein Dani; Henrik Leopold; Jan Martijn E. M. van der Werf; Xixi Lu 001; Iris Beerepoot; Jelmer Jan Koorn; Hajo A. Reijers (Business Process Management Workshops, 2021)

All that Glitters Is Not Gold - Towards Process Discovery Techniques with Guarantees. - Jan Martijn E. M. van der Werf; Artem Polyvyanyy; Bart R. van Wensveen; Matthieu J. S. Brinkhuis; Hajo A. Reijers (CAiSE, 2021)

Data and Process Resonance - Identifier Soundness for Models of Information Systems. - Jan Martijn E. M. van der Werf; Andrey Rivkin; Artem Polyvyanyy; Marco Montali (Petri Nets, 2022)

Supporting Event Log Extraction Based on Matching. - Vinicius Stein Dani; Henrik Leopold; Jan Martijn E. M. van der Werf; Hajo A. Reijers (Business Process Management Workshops, 2022)

There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. - Daniël Barenholz; Marco Montali; Artem Polyvyanyy; Hajo A. Reijers; Andrey Rivkin; Jan Martijn E. M. van der Werf (Petri Nets, 2023)

Modeling Interaction-Oriented Architectures using Choreographies. - Kyle Dingenouts; Mitchell Klijs; Jan Martijn E. M. van der Werf (PNSE@Petri Nets, 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, 2023)

A Framework to Assess the Suitability of low-Code for BPM. - Kirill Sadovnikov; Robbert Sweijen; Jan Martijn E. M. van der Werf; Inge van de Weerd (ECIS, 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, 2023)

A Window of Opportunity: Active Window Tracking for Mining Work Practices. - Iris Beerepoot; Daniël Barenholz; Stijn Beekhuis; Jens Gulden; Suhwan Lee; Xixi Lu 001; Sietse Overbeek; Inge van de Weerd; Jan Martijn E. M. van der Werf; Hajo A. Reijers (ICPM, 2023)

On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version). - Daniël Barenholz; Marco Montali; Artem Polyvyanyy; Hajo A. Reijers; Andrey Rivkin; Jan Martijn E. M. van der Werf (CoRR, 2023)

Automatic Quality User Story Artisan Prototype - Backend. - Garm Lucassen; Fabiano Dalpiaz; Jan Martijn E. M. van der Werf; Sjaak Brinkkemper (Zenodo, 2023)

All that glitters is not gold: Four maturity stages of process discovery algorithms. - Jan Martijn E. M. van der Werf; Artem Polyvyanyy; Bart R. van Wensveen; Matthieu J. S. Brinkhuis; Hajo A. Reijers (Inf. Syst., 2023)

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, 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, 2024)

TimeFlows: Visualizing Process Chronologies from Vast Collections of Heterogeneous Information Objects. - Max Lonysa Muller; Erik Saaman; Jan Martijn E. M. van der Werf; Charles Jeurgens; Hajo A. Reijers (RCIS (1), 2024)

Correctness Notions for Petri Nets with Identifiers. - Jan Martijn E. M. van der Werf; Andrey Rivkin; Marco Montali; Artem Polyvyanyy (Fundam. Informaticae, 2024)

On Process Discovery Experimentation: Addressing the Need for Research Methodology in Process Discovery. - Jana-Rebecca Rehse; Sander J. J. Leemans; Peter Fettke; Jan Martijn E. M. van der Werf (ACM Trans. Softw. Eng. Methodol., 2025)