Personal profile
Link to Utrecht University staff page
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being -
SDG 7 Affordable and Clean Energy
Fingerprint
- 1 Similar Profiles
Publication network from the last five years
-
Improving Software Design Reasoning: A Reminder Card Approach
Tang, A., Bex, F. J., Schriek, C. & van der Werf, J. M. E. M., Oct 2018, In: Journal of Systems and Software. 144, p. 22-40Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Compositional Verification of Asynchonously Communicating Systems
van der Werf, J. M., 18 Feb 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (eds.). 1 ed. Cham: Springer, p. 49-67 (Lecture Notes in Computer Science; vol. 8997).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
Information systems modeling: Language, verification, and tool support
Polyvyanyy, A., van der Werf, J. M. E. M., Overbeek, S. J. & Brouwers, R., 2019, Advanced Information Systems Engineering: 31rd International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019, Proceedings. Giorgini, P. & Weber, B. (eds.). Cham, Switzerland: Springer, p. 194-212 19 p. (Lecture Notes in Computer Science; vol. 11483).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
Comparing Apples with Oranges: An Assessment Framework for Model-System Similarity
Kabierski, M., Rehse, J. R. & van der Werf, J. M. E. M., 2026, Business Process Management Forum - BPM 2025 Forum, Proceedings. Senderovich, A., Cabanillas, C., Vanderfeesten, I. & A. Reijers, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 75-91 17 p. (Lecture Notes in Business Information Processing; vol. 564 LNBIP).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Event Log Extraction for Process Mining Using Large Language Models
Stein Dani, V., Dees, M., Leopold, H., Busch, K., Beerepoot, I., van der Werf, J. M. & Reijers, H., 14 Feb 2025, 30th International Conference on Cooperative Information Systems (CoopIS 2024). Springer, p. 56-72 17 p. (Lecture Notes in Computer Science; vol. 15506).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile
Activities
- 1 Workshop, seminar, course
-
Information System Modeling: playing the interplay between data and process
Polyvyanyy, A. (Participant) & van der Werf, J. M. (Participant)
2020Activity: Participating in or organising an event › Workshop, seminar, course › Academic