Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2002 | 2000 | 1999 | 1998
Number of items: 7.

2002

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

2000

Rein, H. van (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 (pp. pp. 192-211).

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

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

1999

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

Rein, Rick van 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 (pp. pp. 241-258).

1998

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

This list was generated on Mon Oct 20 05:22:48 2014 CEST.