I
Ivo Raedts
Researcher at Radboud University Nijmegen
Publications - 2
Citations - 91
Ivo Raedts is an academic researcher from Radboud University Nijmegen. The author has contributed to research in topics: Verification and validation of computer simulation models & XPDL. The author has an hindex of 2, co-authored 2 publications receiving 91 citations.
Papers
More filters
Proceedings Article
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 Somers +5 more
TL;DR: The approach for model verification and validation is presented: translating industrial models to Petri nets and mCRL2, and subsequently applying existing tools on the models derived from the initial industrial models.
Proceedings ArticleDOI
A software framework for automated verification
Ivo Raedts,Marija Petkovic,Alexander Serebrenik,Jan Martijn van der Werf,Lou Somers,Maarten Boote +5 more
TL;DR: A software framework supporting the automated verification of models that allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models is described.