default search action
Jan Martijn E. M. van der Werf
Person information
- affiliation: Utrecht University, Department of Information and Computing Sciences, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j19]Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy:
Correctness Notions for Petri Nets with Identifiers. Fundam. Informaticae 190(2-4): 159-207 (2024) - [c70]Vinicius Stein Dani, Henrik Leopold, Jan Martijn E. M. van der Werf, Iris Beerepoot, Hajo A. Reijers:
From Loss of Interest to Denial: A Study on the Terminators of Process Mining Initiatives. CAiSE 2024: 371-386 - [c69]Max Lonysa Muller, Erik Saaman, Jan Martijn E. M. van der Werf, Charles Jeurgens, Hajo A. Reijers:
TimeFlows: Visualizing Process Chronologies from Vast Collections of Heterogeneous Information Objects. RCIS (1) 2024: 203-219 - [e6]Lars Michael Kristensen, Jan Martijn E. M. van der Werf:
Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings. Lecture Notes in Computer Science 14628, Springer 2024, ISBN 978-3-031-61432-3 [contents] - [e5]Jan Martijn E. M. van der Werf, Cristina Cabanillas, Francesco Leotta, Laura Genga:
Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), Rome, Italy, October 27, 2023. CEUR Workshop Proceedings 3648, CEUR-WS.org 2024 [contents] - [i5]Max Lonysa Muller, Erik Saaman, Jan Martijn E. M. van der Werf, Charles Jeurgens, Hajo A. Reijers:
TimeFlows: Visualizing Process Chronologies from Vast Collections of Heterogeneous Information Objects. CoRR abs/2404.16051 (2024) - 2023
- [j18]Jan Martijn E. M. van der Werf, Artem Polyvyanyy, Bart R. van Wensveen, Matthieu J. S. Brinkhuis, Hajo A. Reijers:
All that glitters is not gold: Four maturity stages of process discovery algorithms. Inf. Syst. 114: 102155 (2023) - [c68]Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf:
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. Petri Nets 2023: 37-58 - [c67]Kyle Dingenouts, Mitchell Klijs, Jan Martijn E. M. van der Werf:
Modeling Interaction-Oriented Architectures using Choreographies. PNSE@Petri Nets 2023: 126-142 - [c66]Vinicius Stein Dani, Henrik Leopold, Jan Martijn E. M. van der Werf, Iris Beerepoot, Hajo A. Reijers:
From Process Mining Insights to Process Improvement: All Talk and No Action? CoopIS 2023: 275-292 - [c65]Kirill Sadovnikov, Robbert Sweijen, Jan Martijn E. M. van der Werf, Inge van de Weerd:
A Framework to Assess the Suitability of low-Code for BPM. ECIS 2023 - [c64]Vinicius Stein Dani, Henrik Leopold, Jan Martijn E. M. van der Werf, Hajo A. Reijers:
Progressing from Process Mining Insights to Process Improvement: Challenges and Recommendations. EDOC 2023: 152-168 - [c63]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:
A Window of Opportunity: Active Window Tracking for Mining Work Practices. ICPM 2023: 57-64 - [e4]Julius Köpke, Orlenys López-Pintado, Ralf Plattfaut, Jana-Rebecca Rehse, Katarzyna Gdowska, Fernanda Gonzalez-Lopez, Jorge Munoz-Gama, Koen Smit, Jan Martijn E. M. van der Werf:
Business Process Management: Blockchain, Robotic Process Automation and Educators Forum - BPM 2023 Blockchain, RPA and Educators Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings. Lecture Notes in Business Information Processing 491, Springer 2023, ISBN 978-3-031-43432-7 [contents] - [i4]Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf:
On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version). CoRR abs/2303.10039 (2023) - 2022
- [c62]Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali:
Data and Process Resonance - Identifier Soundness for Models of Information Systems. Petri Nets 2022: 369-392 - [c61]Vinicius Stein Dani, Henrik Leopold, Jan Martijn E. M. van der Werf, Hajo A. Reijers:
Supporting Event Log Extraction Based on Matching. Business Process Management Workshops 2022: 322-333 - [e3]Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst:
Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Bergen, Norway, June 19-24, 2022. CEUR Workshop Proceedings 3167, CEUR-WS.org 2022 [contents] - [e2]Luís Gomes, Paulo Leitão, Robert Lorenz, Jan Martijn E. M. van der Werf, Sebastiaan J. van Zelst:
Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023. CEUR Workshop Proceedings 3424, CEUR-WS.org 2022 [contents] - [i3]Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy:
Correctness Notions for Petri Nets with Identifiers. CoRR abs/2212.07363 (2022) - 2021
- [c60]Vinicius Stein Dani, Henrik Leopold, Jan Martijn E. M. van der Werf, Xixi Lu, Iris Beerepoot, Jelmer Jan Koorn, Hajo A. Reijers:
Towards Understanding the Role of the Human in Event Log Extraction. Business Process Management Workshops 2021: 86-98 - [c59]Vinicius Stein Dani, Mahendrawathi ER, Jelmer Jan Koorn, Jan Martijn E. M. van der Werf, Henrik Leopold, Hajo A. Reijers:
Pair Modeling: Does One Plus One Add Up? Business Process Management Workshops 2021: 261-272 - [c58]Jan Martijn E. M. van der Werf, Artem Polyvyanyy, Bart R. van Wensveen, Matthieu J. S. Brinkhuis, Hajo A. Reijers:
All that Glitters Is Not Gold - Towards Process Discovery Techniques with Guarantees. CAiSE 2021: 141-157 - 2020
- [j17]Siamak Farshidi, Slinger Jansen, Jan Martijn E. M. van der Werf:
Capturing software architecture knowledge for pattern-driven design. J. Syst. Softw. 169: 110714 (2020) - [c57]Jan Martijn E. M. van der Werf, Artem Polyvyanyy:
The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes. Petri Nets 2020: 414-425 - [i2]Siamak Farshidi, Slinger Jansen, Jan Martijn E. M. van der Werf:
Capturing Software Architecture Knowledge for Pattern-Driven Design. CoRR abs/2005.08393 (2020) - [i1]Jan Martijn E. M. van der Werf, Artem Polyvyanyy, Bart R. van Wensveen, Matthieu J. S. Brinkhuis, Hajo A. Reijers:
All That Glitters Is Not Gold: Towards Process Discovery Techniques with Guarantees. CoRR abs/2012.12764 (2020)
2010 – 2019
- 2019
- [c56]Jan Martijn E. M. van der Werf, Lucas Steehouwer:
CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction. Petri Nets 2019: 91-100 - [c55]Artem Polyvyanyy, Jan Martijn E. M. van der Werf, Sietse Overbeek, Rick Brouwers:
Information Systems Modeling: Language, Verification, and Tool Support. CAiSE 2019: 194-212 - [c54]Tijmen de Jong, Jan Martijn E. M. van der Werf:
Process-mining based dynamic software architecture reconstruction. ECSA (Companion) 2019: 217-224 - [c53]Frank Verbruggen, Jeff Sutherland, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper, Alex Sutherland:
Process Efficiency - Adapting Flow to the Agile Improvement Effort. HICSS 2019: 1-7 - [c52]Bram Knols, Jan Martijn E. M. van der Werf:
Measuring the Behavioral Quality of Log Sampling. ICPM 2019: 97-104 - [c51]Pim De Jong, Jan Martijn E. M. van der Werf, Marlies van Steenbergen, Floris Bex, Matthieu J. S. Brinkhuis:
Evaluating Design Rationale in Architecture. ICSA Companion 2019: 145-152 - 2018
- [j16]Erik Jagroep, Arjan van der Ent, Jan Martijn E. M. van der Werf, Jurriaan Hage, Leen Blom, Rob van Vliet, Sjaak Brinkkemper:
The hunt for the guzzler: Architecture-based energy profiling using stubs. Inf. Softw. Technol. 95: 165-176 (2018) - [j15]Antony Tang, Floris Bex, Courtney Schriek, Jan Martijn E. M. van der Werf:
Improving software design reasoning-A reminder card approach. J. Syst. Softw. 144: 22-40 (2018) - [c50]Jan Martijn E. M. van der Werf, Artem Polyvyanyy:
An Assignment on Information System Modeling - On Teaching Data and Process Integration. Business Process Management Workshops 2018: 553-566 - [c49]Jan Kramer, Jan Martijn E. M. van der Werf, Johan Stokking, Marcela Ruiz:
A Blockchain-Based Micro Economy Platform for Distributed Infrastructure Initiatives. ICSA 2018: 11-20 - 2017
- [j14]Erik Jagroep, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper, Leen Blom, Rob van Vliet:
Extending software architecture views with an energy consumption perspective - A case study on resource consumption of enterprise software. Computing 99(6): 553-573 (2017) - [j13]Garm Lucassen, Marcel Robeer, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
Extracting conceptual models from user stories with Visual Narrator. Requir. Eng. 22(3): 339-358 (2017) - [j12]Erik Jagroep, Giuseppe Procaccianti, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper, Leen Blom, Rob van Vliet:
Energy efficiency on the product roadmap: An empirical study across releases of a software product. J. Softw. Evol. Process. 29(2) (2017) - [j11]Leo Pruijt, Christian Köppe, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
The accuracy of dependency analysis in static architecture compliance checking. Softw. Pract. Exp. 47(2): 273-309 (2017) - [c48]Robert van Langerak, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
Uncovering the Runtime Enterprise Architecture of a Large Distributed Organisation - A Process Mining-Oriented Approach. CAiSE 2017: 247-263 - [c47]Leo Pruijt, Wiebe Wiersema, Jan Martijn E. M. van der Werf:
Software architecture reconstruction research support as provided by HUSACCT. ECSA (Companion) 2017: 52-55 - [c46]Jan Martijn E. M. van der Werf, Casper van Schuppen, Sjaak Brinkkemper, Slinger Jansen, Peter B. J. Boon, Gert van der Plas:
Architectural Intelligence: A Framework and Application to e-Learning. RADAR+EMISA@CAiSE 2017: 95-102 - [c45]Sander Klock, Jan Martijn E. M. van der Werf, Jan Pieter Guelen, Slinger Jansen:
Workload-Based Clustering of Coherent Feature Sets in Microservice Architectures. ICSA 2017: 11-20 - [c44]Jan Martijn E. M. van der Werf, Rico de Feijter, Floris Bex, Sjaak Brinkkemper:
Facilitating Collaborative Decision Making with the Software Architecture Video Wall. ICSA Workshops 2017: 137-140 - [c43]Erik Jagroep, Jordy Broekman, Jan Martijn E. M. van der Werf, Patricia Lago, Sjaak Brinkkemper, Leen Blom, Rob van Vliet:
Awakening Awareness on Energy Consumption in Software Engineering. ICSE-SEIS 2017: 76-85 - [c42]Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper, Didar Zowghi:
Behavior-Driven Requirements Traceability via Automated Acceptance Tests. RE Workshops 2017: 431-434 - [c41]Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
Improving User Story Practice with the Grimm Method: A Multiple Case Study in the Software Industry. REFSQ 2017: 235-252 - 2016
- [j10]Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
Improving agile requirements: the Quality User Story framework and tool. Requir. Eng. 21(3): 383-403 (2016) - [c40]Joeri Peters, Jan Martijn E. M. van der Werf:
A genetic approach to architectural pattern discovery. ECSA Workshops 2016: 17 - [c39]Courtney Schriek, Jan Martijn E. M. van der Werf, Antony Tang, Floris Bex:
Software Architecture Design Reasoning: A Card Game to Help Novice Designers. ECSA 2016: 22-38 - [c38]Jasper Schenkhuizen, Jan Martijn E. M. van der Werf, Slinger Jansen, Lambert Caljouw:
Consistent Inconsistency Management: A Concern-Driven Approach. ECSA 2016: 201-209 - [c37]Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
Visualizing User Story Requirements at Multiple Granularity Levels via Semantic Relatedness. ER 2016: 463-478 - [c36]Erik A. Jagroep, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper, Giuseppe Procaccianti, Patricia Lago, Leen Blom, Rob van Vliet:
Software energy profiling: comparing releases of a software product. ICSE (Companion Volume) 2016: 523-532 - [c35]Marcel Robeer, Garm Lucassen, Jan Martijn E. M. van der Werf, Fabiano Dalpiaz, Sjaak Brinkkemper:
Automated Extraction of Conceptual Models from User Stories via NLP. RE 2016: 196-205 - [c34]Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
The Use and Effectiveness of User Stories in Practice. REFSQ 2016: 205-222 - [c33]Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
AQUSA: The Automatic Quality User Story Artisan for Agile Software Development. REFSQ Workshops 2016 - [c32]Leo Pruijt, Wiebe Wiersema, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
Rule Type Based Reasoning on Architecture Violations: A Case Study. QRASA@WICSA 2016: 1-10 - [c31]Joeri Peters, Jan Martijn E. M. van der Werf, Jurriaan Hage:
Architectural Pattern Definition for Semantically Rich Modular Architectures. WICSA 2016: 256-261 - [e1]Thomas T. Hildebrandt, António Ravara, Jan Martijn E. M. van der Werf, Matthias Weidlich:
Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9421, Springer 2016, ISBN 978-3-319-33611-4 [contents] - 2015
- [c30]Jan Martijn E. M. van der Werf, Erwin Kaats:
Discovery of Functional Architectures From Event Logs. PNSE @ Petri Nets 2015: 227-243 - [c29]Leo Pruijt, Jan Martijn E. M. van der Werf:
Dependency Types and Subtypes in the Context of Architecture Reconstruction and Compliance Checking. ECSA Workshops 2015: 56:1-56:7 - [c28]Erik Jagroep, Jan Martijn E. M. van der Werf, Ruvar Spauwen, Leen Blom, Rob van Vliet, Sjaak Brinkkemper:
An Energy Consumption Perspective on Software Architecture - A Case Study on Architectural Change. ECSA 2015: 239-247 - [c27]Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
Bridging the Twin Peaks - The Case of the Software Industry. TwinPeaks@ICSE 2015: 24-28 - [c26]Garm Lucassen, Fabiano Dalpiaz, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
Forging high-quality User Stories: Towards a discipline for Agile Requirements. RE 2015: 126-135 - [c25]Erik Jagroep, Jan Martijn E. M. van der Werf, Slinger Jansen, Miguel Alexandre Ferreira, Joost Visser:
Profiling energy profilers. SAC 2015: 2198-2203 - 2014
- [c24]Jan Martijn E. M. van der Werf, H. M. W. Verbeek:
Online Compliance Monitoring of Service Landscapes. Business Process Management Workshops 2014: 89-95 - [c23]Jan Martijn E. M. van der Werf:
Compositional Verification of Asynchronously Communicating Systems. FACS 2014: 49-67 - [c22]Leo J. Pruijt, Christian Köppe, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
HUSACCT: architecture compliance checking with rich sets of module and rule types. ASE 2014: 851-854 - [c21]Gerard Nijboer, Henk van der Schuur, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
Bridging the gap between software platforms: A template method for software evolution. IWSPM 2014: 11-20 - [c20]Garm Lucassen, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper:
Alignment of software product management and software architecture with discussion models. IWSPM 2014: 21-30 - 2013
- [j9]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Refinement of Synchronizable Places with Multi-workflow Nets. Fundam. Informaticae 122(1-2): 59-83 (2013) - [j8]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Business Process Modeling Using Petri Nets. Trans. Petri Nets Other Model. Concurr. 7: 116-161 (2013) - [j7]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
When Can We Trust a Third Party? - A Soundness Perspective. Trans. Petri Nets Other Model. Concurr. 8: 106-122 (2013) - [c19]Jan Martijn E. M. van der Werf, Ronny Mans, Wil M. P. van der Aalst:
Mining Declarative Models Using Time Intervals. PNSE+ModPE 2013: 313-331 - 2012
- [c18]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
When Can We Trust a Third Party? - A Soundness Perspective. PNSE 2012: 47-59 - [c17]Matthias Weidlich, Jan Martijn E. M. van der Werf:
On Profiles and Footprints - Relational Semantics for Petri Nets. Petri Nets 2012: 148-167 - [c16]Debjyoti Bera, Kees M. van Hee, Jan Martijn E. M. van der Werf:
Designing Weakly Terminating ROS Systems. Petri Nets 2012: 328-347 - [c15]Jan Martijn E. M. van der Werf, H. M. W. Verbeek, Wil M. P. van der Aalst:
Context-Aware Compliance Checking. BPM 2012: 98-113 - 2011
- [b1]Jan Martijn E. M. van der Werf:
Compositional design and verification of component-based information systems. Eindhoven University of Technology, 2011, ISBN 978-90-386-2412-9, pp. 1-221 - [j6]Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Akhil Kumar, Marc Verdonk:
Conceptual model for online auditing. Decis. Support Syst. 50(3): 636-647 (2011) - [j5]Mieke Jans, Jan Martijn E. M. van der Werf, Nadine Lybaert, Koen Vanhoof:
A business process mining application for internal transaction fraud mitigation. Expert Syst. Appl. 38(10): 13351-13359 (2011) - [c14]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! Petri Nets 2011: 149-168 - [c13]Debjyoti Bera, Kees M. van Hee, Michiel van Osch, Jan Martijn E. M. van der Werf:
A Component Framework where Port Compatibility Implies Weak Termination. PNSE 2011: 152-166 - [c12]Elham Ramezani, Dirk Fahland, Jan Martijn E. M. van der Werf, Peter Mattheis:
Separating Compliance Management and Business Process Management. Business Process Management Workshops (2) 2011: 459-464 - 2010
- [j4]Wil M. P. van der Aalst, Kees M. van Hee, Jan Martijn E. M. van der Werf, Marc Verdonk:
Auditing 2.0: Using Process Mining to Support Tomorrow's Auditor. Computer 43(3): 90-93 (2010) - [c11]Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! SC@TOOLS 2010: 106-121 - [c10]Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Soundness-Preserving Refinements of Service Compositions. WS-FM 2010: 131-145
2000 – 2009
- 2009
- [j3]Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf:
Generation of Database Transactions with Petri Nets. Fundam. Informaticae 93(1-3): 171-184 (2009) - [j2]Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik:
Process Discovery using Integer Linear Programming. Fundam. Informaticae 94(3-4): 387-412 (2009) - [c9]Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Compositional Service Trees. Petri Nets 2009: 283-302 - [c8]Melike Bozkaya, Joost Gabriels, Jan Martijn E. M. van der Werf:
Process Diagnostics: A Method Based on Process Mining. eKNOW 2009: 22-27 - 2008
- [j1]Kees M. van Hee, Jeroen Keiren, Reinier Post, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Designing Case Handling Systems. Trans. Petri Nets Other Model. Concurr. 1: 119-133 (2008) - [c7]Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik:
Process Discovery Using Integer Linear Programming. Petri Nets 2008: 368-387 - 2007
- [c6]Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve, Jan Martijn E. M. van der Werf:
Modelling with History-Dependent Petri Nets. BPM 2007: 320-327 - [c5]Kees M. van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Adaptive Workflows for Healthcare Information Systems. Business Process Management Workshops 2007: 359-370 - [c4]Ivo Raedts, Marija Petkovic, Alexander Serebrenik, Jan Martijn E. M. van der Werf, Lou J. Somers, Maarten Boote:
A software framework for automated verification. SAC 2007: 1031-1032 - [c3]Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers:
Transformation of BPMN Models for Behaviour Analysis. MSVVEIS 2007: 126-137 - 2006
- [c2]Kees M. van Hee, Olivia Oanea, Reinier Post, Lou J. Somers, Jan Martijn E. M. van der Werf:
Yasper: a tool for workflow modeling and analysis. ACSD 2006: 279-282 - [c1]R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf:
Petriweb: A Repository for Petri Nets. ICATPN 2006: 411-420
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-12 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint