Author Publications

2004

Eshuis, Rik and Wieringa, Roel (2004) Tool support for verifying UML activity diagrams. IEEE Transactions on Software Engineering, 30 (7). pp. 437-447. ISSN 0098-5589

2003

Eshuis, Rik and Wieringa, Roel (2003) Comparing Petri Net and Activity Diagram Variants for Workflow Modelling: A Quest for Reactive Petri Nets. In: Petri Net Technology for Communication-Based Systems: Advances in Petri Nets. Lecture Notes in Computer Science, 2472 . Springer, Berlin/Heidelberg, Germany, pp. 321-351. ISBN 9783540205388

2002

Eshuis, H. (2002) Semantics and Verification of UML Activity Diagrams for Workflow Modelling. thesis.

Eshuis, Rik and Fokkinga, Maarten M. (2002) Comparing Refinements for Failure and Bisimulation Semantics. Fundamenta Informaticae, 52 (4). pp. 297-321. ISSN 0169-2968

Eshuis, Rik and Jansen, David N. and Wieringa, Roel (2002) Requirements-level semantics and model checking of object-oriented statecharts. Requirements engineering, 7 (4). pp. 243-263. ISSN 09473602

Eshuis, Rik and Wieringa, Roel (2002) Verification Support for workflow Design with UML Activity Graphs. In: 24th International Conference on Software Engineering, ICSE 2002, May 19-25, 2002, Orlando, FL, USA.

2001

Eshuis, Rik and Wieringa, Roel (2001) A Formal Semantics for UML Activity Diagrams - Formalising Workflow Models. [Report]

Eshuis, Rik and Wieringa, Roel (2001) An Execution Algorithm for UML Activity Graphs. In: 4th International Conference on The Unified Modeling Language, October 1-5, 2001, Toronto, Canada.

Eshuis, Rik and Wieringa, Roel (2001) A real-time execution semantics for UML activity diagrams. In: 4th International Conference on Fundamental Approaches to Software Engineering, FASE 2001, 2-6 Apr 2001, Genova, Italy.

2000

Eshuis, H. and Wieringa, R.J. (2000) Requirements Level Semantics for UML Statecharts. In: 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), 6-8 Sept 2000, Stanford, California, USA.

Eshuis, H. and Wieringa, R.J. (2000) Requirements-level semantics for UML Statecharts. [Report]

1999

Eshuis, Rik and Fokkinga, Maarten M. (1999) Comparing Refinements for Failure and Bisimulation Semantics. In: Workshop Argentino de Informatica Teorica (WAIT 1999), 6-10 Sep 1999, Buenos Aires, Argentina.