Author Publications

2002

Rein van, H. (2002) Extending Model Checking to Object Process Validation. thesis.

2000

Rein van, H. and Brinkman, R. (2000) Home-grown CASE tools with XML and XSLT. In: International Workshop on Model Engineering, IWME 2000, Sophia Antipolis, France.

van Rein, H. (2000) Specifying Processes with Dynamic Lifecycles. In: Proceedings of 12th International Conference on Advanced Information Systems Engineering (CAiSE 2000), 5-9 Jun 2000, Stockholm, Sweden.

van Rein, H. (2000) On Practical Verification of Processes. In: Proceedings of ECOOP 2000 Workshops, Panels, and Posters, 12 Jun 2000, Sophia Anthipolis, France.

1999

Rein van, Rick and Fokkinga, Maarten M. (1999) Protocol Assuring Universal Language. In: IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS, 15-18 Feb 1999, Florence, Italy.

van Rein, H. (1999) Protocol-Safe Workflow Support for Santa Claus. In: Proceedings of the ECOOP'99 Workshops, Panels, and Posters, 14-18 Jun 1999, Lisbon, Portugal.

1998

Rein van, Rick and Fokkinga, Maarten M. (1998) Protocol Assuring Universal Language. [Report]