Jan Martijn E. M. van der Werf

According to our database, Jan Martijn E. M. van der Werf authored at least 87 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Correctness Notions for Petri Nets with Identifiers.

Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy

Fundam. Informaticae, 2024

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., March, 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

A Window of Opportunity: Active Window Tracking for Mining Work Practices.

Iris Beerepoot, Daniël Barenholz, Stijn Beekhuis, Jens Gulden, Suhwan Lee, Xixi Lu, Sietse Overbeek, Inge van de Weerd, Jan Martijn E. M. van der Werf, Hajo A. Reijers

Proceedings of the 5th International Conference on Process Mining, 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

Proceedings of the Enterprise Design, Operations, and Computing, 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

Proceedings of the 31st European Conference on Information Systems, 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

Proceedings of the Cooperative Information Systems - 29th International Conference, 2023

Modeling Interaction-Oriented Architectures using Choreographies.

Kyle Dingenouts, Mitchell Klijs, Jan Martijn E. M. van der Werf

Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023

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

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

2022

Supporting Event Log Extraction Based on Matching.

Vinicius Stein Dani, Henrik Leopold, Jan Martijn E. M. van der Werf, Hajo A. Reijers

Proceedings of the Business Process Management Workshops, 2022

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

Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali

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

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

Proceedings of the Advanced Information Systems Engineering, 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, Iris Beerepoot, Jelmer Jan Koorn, Hajo A. Reijers

Proceedings of the Business Process Management Workshops, 2021

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

Proceedings of the Business Process Management Workshops, 2021

2020

Capturing software architecture knowledge for pattern-driven design.

Siamak Farshidi, Slinger Jansen, Jan Martijn E. M. van der Werf

J. Syst. Softw., 2020

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

Jan Martijn E. M. van der Werf, Artem Polyvyanyy

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

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

Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

Measuring the Behavioral Quality of Log Sampling.

Bram Knols, Jan Martijn E. M. van der Werf

Proceedings of the International Conference on Process Mining, 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

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Process-mining based dynamic software architecture reconstruction.

Tijmen de Jong, Jan Martijn E. M. van der Werf

Proceedings of the 13th European Conference on Software Architecture, 2019

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

Artem Polyvyanyy, Jan Martijn E. M. van der Werf, Sietse Overbeek, Rick Brouwers

Proceedings of the Advanced Information Systems Engineering, 2019

CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction.

Jan Martijn E. M. van der Werf, Lucas Steehouwer

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

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

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

A Blockchain-Based Micro Economy Platform for Distributed Infrastructure Initiatives.

Jan Kramer, Jan Martijn E. M. van der Werf, Johan Stokking, Marcela Ruiz

Proceedings of the IEEE International Conference on Software Architecture, 2018

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

Jan Martijn E. M. van der Werf, Artem Polyvyanyy

Proceedings of the Business Process Management Workshops, 2018

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

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

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

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

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

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

Behavior-Driven Requirements Traceability via Automated Acceptance Tests.

Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper, Didar Zowghi

Proceedings of the IEEE 25th International Requirements Engineering Conference 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

Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society Track, 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

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 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

Proceedings of the 2017 IEEE International Conference on Software Architecture, 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

Proceedings of the Joint Proceedings of the Radar tracks at the 18th International Working Conference on Business Process Modeling, 2017

Software architecture reconstruction research support as provided by HUSACCT.

Leo Pruijt, Wiebe Wiersema, Jan Martijn E. M. van der Werf

Proceedings of the 11th European Conference on Software Architecture, 2017

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

Proceedings of the Advanced Information Systems Engineering, 2017

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

Rule Type Based Reasoning on Architecture Violations: A Case Study.

Leo Pruijt, Wiebe Wiersema, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper

Proceedings of the Qualitative Reasoning about Software Architectures, 2016

Architectural Pattern Definition for Semantically Rich Modular Architectures.

Joeri Peters, Jan Martijn E. M. van der Werf, Jurriaan Hage

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 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

Proceedings of the Joint Proceedings of REFSQ-2016 Workshops, 2016

The Use and Effectiveness of User Stories in Practice.

Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper

Proceedings of the Requirements Engineering: Foundation for Software Quality, 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

Proceedings of the 24th IEEE International Requirements Engineering Conference, 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

Proceedings of the 38th International Conference on Software Engineering, 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

Proceedings of the Conceptual Modeling - 35th International Conference, 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

Proceedings of the Software Architecture - 10th European Conference, 2016

Consistent Inconsistency Management: A Concern-Driven Approach.

Jasper Schenkhuizen, Jan Martijn E. M. van der Werf, Slinger Jansen, Lambert Caljouw

Proceedings of the Software Architecture - 10th European Conference, 2016

A genetic approach to architectural pattern discovery.

Joeri Peters, Jan Martijn E. M. van der Werf

Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

2015

Profiling energy profilers.

Erik Jagroep, Jan Martijn E. M. van der Werf, Slinger Jansen, Miguel Alexandre Ferreira, Joost Visser

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 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

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Bridging the Twin Peaks - The Case of the Software Industry.

Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper

Proceedings of the 5th IEEE/ACM International Workshop on the Twin Peaks of Requirements and Architecture, 2015

Dependency Types and Subtypes in the Context of Architecture Reconstruction and Compliance Checking.

Leo Pruijt, Jan Martijn E. M. van der Werf

Proceedings of the 2015 European Conference on Software Architecture Workshops, 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

Proceedings of the Software Architecture - 9th European Conference, 2015

Discovery of Functional Architectures From Event Logs.

Jan Martijn E. M. van der Werf, Erwin Kaats

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

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

Proceedings of the 8th IEEE International Workshop on Software Product Management, 2014

Alignment of software product management and software architecture with discussion models.

Garm Lucassen, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper

Proceedings of the 8th IEEE International Workshop on Software Product Management, 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

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Compositional Verification of Asynchronously Communicating Systems.

Jan Martijn E. M. van der Werf

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

Online Compliance Monitoring of Service Landscapes.

Jan Martijn E. M. van der Werf, H. M. W. Verbeek

Proceedings of the Business Process Management Workshops, 2014

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

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

Refinement of Synchronizable Places with Multi-workflow Nets.

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf

Fundam. Informaticae, 2013

Mining Declarative Models Using Time Intervals.

Jan Martijn E. M. van der Werf, Ronny Mans, Wil M. P. van der Aalst

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013

2012

Context-Aware Compliance Checking.

Jan Martijn E. M. van der Werf, H. M. W. Verbeek, Wil M. P. van der Aalst

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

On Profiles and Footprints - Relational Semantics for Petri Nets.

Matthias Weidlich, Jan Martijn E. M. van der Werf

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

Designing Weakly Terminating ROS Systems.

Debjyoti Bera, Kees M. van Hee, Jan Martijn E. M. van der Werf

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2011

Compositional design and verification of component-based information systems.

Jan Martijn E. M. van der Werf

PhD thesis, 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

Conceptual model for online auditing.

Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Akhil Kumar, Marc Verdonk

Decis. Support Syst., 2011

Separating Compliance Management and Business Process Management.

Elham Ramezani, Dirk Fahland, Jan Martijn E. M. van der Werf, Peter Mattheis

Proceedings of the Business Process Management Workshops, 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

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

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

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

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

Soundness-Preserving Refinements of Service Compositions.

Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf

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

Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed!

Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Software Composition - 9th International Conference, 2010

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

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 Diagnostics: A Method Based on Process Mining.

Melike Bozkaya, Joost Gabriels, Jan Martijn E. M. van der Werf

Proceedings of the International Conference on Information, 2009

Compositional Service Trees.

Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

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

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

Proceedings of the Modelling, 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

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Modelling with History-Dependent Petri Nets.

Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf

Proceedings of the Business Process Management, 5th International Conference, 2007

Adaptive Workflows for Healthcare Information Systems.

Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Business Process Management Workshops, 2007

2006

Petriweb: A Repository for Petri Nets.

R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

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

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006