My publications

See also Google Scholar, and my DBLP entry.

Journals

  1. Hee, K.M. van, Sidorova, N. and Werf, J.M.E.M. van der (2013). When can we trust a third party?. In M. Koutny, W.M.P. van der Aalst & A. Yakovlev (Eds.), Transactions on Petri Nets and Other Models of Concurrency VIII (pp. 106-122). Berlin: Springer.
  2. Hee, K.M. van, Sidorova, N. and Werf, J.M.E.M. van der (2013). Refinement of synchronizable places with multi-workflow nets. Fundamenta Informaticae, 122(1-2), 59-83.
  3. K.M. van Hee, N. Sidorova, and J.M.E.M. van der Werf (2013). Business process modeling using petri nets. In K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny and K. Wolf (Eds.), Transactions on Petri Nets and Other Models of Concurrency VII (pp. 116-161) Berlin: Springer.
  4. Jans, M., Werf, J.M.E.M. van der, Lybaert, N., Vanhoof, K. (2011). A business process mining application for internal transaction fraud mitigation. Expert Systems with Applications, 38(10), 13351-13359.
  5. Aalst, W.M.P. van der, Hee, K.M. van, Werf, J.M.E.M. van der, Kumar, A., Verdonk, M.C. (2011). Conceptual model for on line auditing. Decision Support Systems, 50(3), 636-647.
  6. Aalst, W.M.P. van der, Hee, K.M. van, Werf, J.M.E.M. van der, Verdonk, M.C. (2010). Auditing 2.0: Using process mining to support tomorrow's auditor. Computer, 43(3), 90-93.
  7. Hee, K.M. van, Sidorova, N., Voorhoeve, M., Werf, J.M.E.M. van der (2009). Generation of database transactions with Petri nets. Fundamenta Informaticae, 93(1-3), 171-184.
  8. Werf, J.M.E.M. van der, Dongen, B.F. van, Hurkens, C.A.J., Serebrenik, A. (2009). Process discovery using integer linear programming. Fundamenta Informaticae, 94(3-4), 387-412.
  9. Hee, K.M. van, Keiren, J.J.A., Post, R.D.J., Sidorova, N., Werf, J.M.E.M. van der (2008). Designing case handling systems. In K. Jensen, W.M.P. van der Aalst, J. Billington (Eds.), Transactions on Petri Nets and Other Models of Concurrency I. (pp. 119-133) Berlin: Springer.

Books

  1. Thomas T. Hildebrandt, António Ravara, Jan Martijn 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

Peer-reviewed Conferences and Workshops

  1. Joeri Peters, Jan Martijn E. M. van der Werf, Juriaan Hage: Architectural Pattern Definition for Semantically Rich Modular Architectures. WICSA-Young Researchers, 2016 (accepted)
  2. Leo Pruijt, Wiebe Wiersema, Jan Martijn E. M. van der Werf, Sjaak Brinkkemper: Rule Type Based Reasoning On Architecture Violations: A Case Study. WICSA Workshop on Qualitative Reasoning about Software Architectures, 2016 (accepted)
  3. Erik A. Jagroep, Jan Martijn E. M. van der Werf, Giuseppe Procaccianti, Patricia Lago, Sjaak Brinkkemper, Leen Blom, Rob van Vliet: Software Energy Profiling: Comparing Releases of a Software Product. ICSE 2016 Software Engineering in Society (accepted)
  4. 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
  5. 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
  6. Jan Martijn van der Werf, Erwin Kaats: Discovery of Functional Architectures From Event Logs. PNSE @ Petri Nets 2015: 227-243
  7. 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
  8. 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
  9. Garm Lucassen, Fabiano Dalpiaz, Jan Martijn van der Werf, Sjaak Brinkkemper: Bridging the Twin Peaks - The Case of the Software Industry. TwinPeaks@ICSE 2015: 24-28
  10. 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
  11. Erik Jagroep, Jan Martijn E. M. van der Werf, Slinger Jansen, Miguel Alexandre Ferreira, Joost Visser: Profiling energy profilers. SAC 2015: 2198-2203
  12. Werf, J.M.E.M. van der (2014). Compositional Verification of Asynchonously Communicating Systems. (FACS'14).
  13. Werf, J.M.E.M. van der, Verbeek, H.M.W. (2014). Online Compliance Monitoring of Service Landscapes. (SBP'14).
  14. Pruijt, L., Köppe, C., Brinkkemper, S., Werf, J.M.E.M. van der (2014). HUSACCT: Architecture Compliance Checking with Rich Sets of Module and Rule Types. (ASE 2014).
  15. Nijboer, G., Schuur, H.W. van der, Werf, J.M.E.M. van der, Brinkkemper, S. (2014). Bridging the Gap between Software Platforms: A Template Method for Software Evolution. (IWSPM'14).
  16. Lucassen, G., Werf, J.M.E.M. van der, Brinkkemper, S. (2014). Alignment of Software Product Management and Software Architecture with Discussion Models. (IWSPM'14).
  17. Werf, J.M.E.M. van der, Mans, R.S. and Aalst, W.M.P. van der (2013). Mining Declarative Models Using Time Intervals. In D. Moldt (ed), Proceedings of the International Workshop on Modeling and Business Environments (ModBE'13), (CEUR-WS, 989, pp 313 - 331).
  18. Werf, J.M.E.M. van der, Verbeek, H.M.W. and Aalst, W.M.P. van der (2012). Context-aware compliance checking. In A. Barros, A. Gal & E. Kindler (Eds.), Business Process Management (10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings), (Lecture Notes in Computer Science, 7481, pp. 98-113). Berlin: Springer.
  19. Hee, K.M. van, Sidorova, N. and Werf, J.M.E.M. van der (2012). When can we trust a third party? : a soundness perspective. In L. Cabac, M. Duvigneau & D. Moldt (Eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012), (CEUR Workshop Proceedings, 851, pp. 47-59). CEUR-WS.org.
  20. M. Weidlich and J.M.E.M. van der Werf. On pro files and footprints - relational semantics for Petri nets. In Haddad, S., Pomello, L., Applications and Theory of Petri Nets, (33th International Conference, Petri Nets 2012, Hamburg, Germany, June 25-29, 2012, Proceedings). (Lecture Notes in Computer Science, Vol. 7347, pp. 148-167), Berlin: Springer.
  21. D. Bera, K.M. van Hee, and J.M.E.M. van der Werf. Designing weakly terminating ROS systems. In Haddad, S., Pomello, L., Applications and Theory of Petri Nets, (33th International Conference, Petri Nets 2012, Hamburg, Germany, June 25-29, 2012, Proceedings). (Lecture Notes in Computer Science, Vol. 7347, pp. 328-347), Berlin: Springer.
  22. Ramezani, E., Fahland, D., Werf, J.M.E.M. van der & Mattheis, P. (2012). Separating compliance management and business process management. In F. Daniel, K. Barkaoui & S. Dustdar (Eds.), Business Process Management Workshops (BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II). (Lecture Notes in Business Information Processing, Vol. 100, pp. 459-464). Berlin: Springer.
  23. Hee, K.M. van, Sidorova, N., Werf, J.M.E.M. van der (2011). Refinement of Synchronizable Places with Multi-Workflow Nets - Weak Termination Preserved! In: L. Petrucci, L.M. Kristensen, Applications and Theory of Petri Nets, (32th International Conference, Petri Nets 2011, Kanazawa, Japan Newcastle, UK, June 20-24, 2011, Proceedings). (Lecture Notes in Computer Science, Vol. 6709, pp. 149-168). Berlin: Springer.
  24. Hee, K.M. van, Mooij, A.J., Sidorova, N., Werf, J.M.E.M. van der (2010). Soundness-preserving refinements of service compositions. Web Services and Formal Methods (7th International Workshop, WS-FM 2010, Hoboken NJ, USA, September 16-17, 2010). (Lecture Notes in Computer Science, Vol. 6551, pp. 131-145). Berlin: Springer.
  25. Hee, K.M. van, Sidorova, N., Werf, J.M.E.M. van der (2010). Construction of asynchronous communicating systems: weak termination guaranteed! In B. Baudry, E. Wohlstadter (Eds.), Proceedings of the 9th International Conference on Software Composition (SC 2010), 1-2 July 2010, Malaga, Spain. (Lecture Notes in Computer Science, Vol. 6144, pp. 106-121). Berlin: Springer.
  26. Aalst, W.M.P. van der, Hee, K.M. van, Massuthe, P., Sidorova, N., Werf, J.M.E.M. van der (2009). Compositional service trees. In G. Franceschinis, K. Wolf (Eds.), Applications and Theory of Petri Nets (30th International Conference, Petri Nets 2009, Paris, France, June 22-26, 2009, Proceedings). (Lecture Notes in Computer Science, Vol. 5606, pp. 283-302). Berlin: Springer.
  27. Bozkaya, M., Gabriels, J.M.A.M., Werf, J.M.E.M. van der (2009). Process diagnostics : a method based on process mining. Proceedings International Conference on Information, Process, and Knowledge Management (eKNOW 2009, Cancun, Mexico, February 1-7, 2009). (pp. 22-27). IEEE Computer Society. (best paper award)
  28. Hee, K.M. van, Sidorova, N., Voorhoeve, M., Werf, J.M.E.M. van der (2008). Generation of database transactions with Petri nets. In H.D. Burkhard, G. Lindemann, H. Schlingloff (Eds.), Proceedings of Concurrency, Specification and Programming (CS&P 2008, Groß Väter See bei Berlin, Germany, September 29-October 1, 2008). (pp. 488-499).
  29. Hee, K.M. van, Schonenberg, M.H., Serebrenik, A., Sidorova, N., Werf, J.M.E.M. van der (2008). Adaptive workflows for healthcare information systems. In A.H.M. ter Hofstede, B. Benatallah, H.Y. Paik (Eds.), Business Process Management Workshops (BPM 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers). (Lecture Notes in Computer Science, Vol. 4928, pp. 359-370). Berlin: Springer.
  30. Leeuwen, M. van, Somers, L.J.A.M., Voorhoeve, M., Werf, J.M.E.M. van der (2008). Verification of RoseRT models using Petri nets. In N. Sidorova, D. Moldt, H. Roelke (Eds.), Proceedings International Workshop on Petri Nets and Distributed Systems (PNDS'08, Xi'an, China, June 23-24, 2008). (pp. 1-16). to appear.
  31. Werf, J.M.E.M. van der, Dongen, B.F. van, Hurkens, C.A.J., Serebrenik, A. (2008). Process discovery using integer linear programming. In K.M. van Hee, R. Valk (Eds.), Applications and Theory of Petri Nets (29th International Conference, Petri Nets 2008, Xi'an, China, June 23-27, 2008, Proceedings). (Lecture Notes in Computer Science, Vol. 5062, pp. 368-387). Berlin: Springer.
  32. Hee, K.M. van, Keiren, J.J.A., Post, R.D.J., Sidorova, N., Werf, J.M.E.M. van der (2007). Designing case handling systems. In D. Moldt, F. Kordon, K.M. van Hee, J.M. Colom, R. Bastide, J.M. Colom, R. Bastide (Eds.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007) 25-26 June 2007, Siedlce, Poland. (pp. 52-66).
  33. Hee, K.M. van, Serebrenik, A., Sidorova, N., Voorhoeve, M., Werf, J.M.E.M. van der (2007). Modeling with history-dependent Petri nets. In G. Alonso, P. Dadam, M. Rosemann, G. Alonso, P. Dadam, M. Rosemann, G. Alonso, P. Dadam, M. Rosemann (Eds.), Proceedings of the 5th International Conference on Business Process Management (BPM 2007) 24-28 September 2007, Brisbane, Australia. (Lecture Notes in Computer Science, Vol. 4714, pp. 320-327). Berlin, Germany: Springer.
  34. Raedts, I.G.J., Petkovic, M., Serebrenik, A., Werf, J.M.E.M. van der, Somers, L.J.A.M., Boote, M. (2007). A software framework for automated verification. In Y. Cho, R.L. Wainwright, H. Haddad, S.Y. Shin, Y.W. Koo (Eds.), Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea. (pp. 1031-1032). New York, USA: ACM Press.
  35. Raedts, I.G.J., Petkovic, M., Usenko, Y.S., Werf, J.M.E.M. van der, Groote, J.F., Somers, L.J.A.M. (2007). Transformation of BPMN models for behaviour analysis. In J.C. Augusto, J. Barjis, U. Ultes-Nitsche (Eds.), Proceedings of the 5th International Workshop in conjunction with the 9th International Conference on Enterprise Information Systems (MSVVEIS 2007) 12-13 June 2007, Funchal, Madeira, Portugal. (pp. 126-137). INSTICC Press.
  36. Hee, K.M. van, Oanea, O.I., Post, R.D.J., Somers, L.J.A.M., Werf, J.M.E.M. van der (2006). Yasper : a tool for workflow modeling and analysis. Application of Concurrency to System Design (Proceedings 6th International Conference, ACSD 2006, Turku, Finland, June 28-30, 2006). (pp. 279-282). Brussels: IEEE.
  37. Goud, R., Hee, K.M. van, Post, R.D.J., Werf, J.M.E.M. van der (2006). Petriweb : a repository for Petri nets. In S. Donatelli, P.S. Thiagarajan (Eds.), Petri Nets and other Models of Concurrency - ICATPN'06 (Proceedings 27th International Conference on Applications and Theory of Petri Nets (Turku, Finland, June 26-30, 2006). (Lecture Notes in Computer Science, Vol. 4024, pp. 411-420). Berlin: Springer.
  38. Hee, K.M. van, Post, R.D.J., Somers, L.J.A.M., Werf, J.M.E.M. van der (2004). Process model repositories and PNML. In E. Kindler (Ed.), Definition, Implementation and Application of a Standard Interchange Format for Petri Nets (Proceedings of the workshop, Satellite event of ATPN 2004, Bologna, Italy, June 26, 2004). (pp. 56-70). Paderborn, Germany: University of Paderborn.

Technical reports

  1. Bera, D., Hee, K.M. van, Osch, M.P.W.J. van, Werf, J.M.E.M. van der (2011). A component framework where port compatibility implies weak termination. Computer Science Report No. 11-08, Eindhoven: Technische Universiteit Eindhoven, 26 pp
  2. Hee, K.M. van, Sidorova, N., Werf, J.M.E.M. van der (2011). Refinement of Synchronizable places with Multi-workflow Nets - Weak termination preserved. Computer Science Report No. 11-01, Eindhoven: Technische Universiteit Eindhoven.
  3. Aalst, W.M.P. van der, Hee, K.M. van, Werf, J.M.E.M. van der, Kumar, A., Verdonk, M.C. Conceptual Model for On Line Auditing. BPM Center Report BPM-09-19, BPMcenter.org, 2009.
  4. Aalst, W.M.P. van der, Hee, K.M. van, Massuthe, P., Sidorova, N., Werf, J.M.E.M. van der (2009). Compositional service trees. Computer Science Report No. 09-01, Eindhoven: Technische Universiteit Eindhoven.
  5. Jans, M., Lybaert, N., Vanhoof, K., Werf, J.M.E.M. van der (2008). Business Process Mining for Internal Fraud Risk Reduction: Results of a Case Study. International Research Symposium on Accounting Information Systems.
  6. Werf, J.M.E.M. van der, Dongen, B.F. van, Hee, K.M. van, Hurkens, C.A.J., Serebrenik, A. (2008). Process discovery using integer linear programming. Computer Science Reports No. 08-04, Eindhoven: Technische Universiteit Eindhoven, 20 pp.
  7. Werf, J.M.E.M. van der, Post, R.D.J. (2004). EPNML 1.1 : an XML format for Petri nets., Eindhoven: Petriweb.org, 17 pp.

Theses

  1. Werf, J.M.E.M. van der. Compositional Design and Verification of Component Based Information Systems. PhD Thesis, Technische Universiteit Eindhoven. (Stellingen, presentation)
  2. Werf, J.M.E.M. van der. Analysis of well-formedness and soundness by reduction techniques and their implementation. MSc Thesis, Technische Universiteit Eindhoven, August 2006.