EEMCS

Eshuis, H. and Wieringa, R.J. (2004) Tool support for verifying UML activity diagrams. IEEE Transactions on Software Engineering, 30 (7). pp. 437-447. ISSN 0098-5589 *** ISI Impact 2,216 ***

Eshuis, H. and Wieringa, R.J. (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. ISSN 0302-9743 ISBN 9783540205388

Eshuis, H. (2002) Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 02-44 ISBN 9036518202

Eshuis, H. and Fokkinga, M.M. (2002) Comparing Refinements for Failure and Bisimulation Semantics. Fundamenta Informaticae, 52 (4). pp. 297-321. ISSN 0169-2968 *** ISI Impact 0,522 ***

Eshuis, H. and Jansen, D.N. and Wieringa, R.J. (2002) Requirements-level semantics and model checking of object-oriented statecharts. Requirements Engineering, 7 (4). pp. 243-263. ISSN 0947-3602 *** ISI Impact 0,862 ***

Eshuis, H. and Wieringa, R.J. (2002) Verification Support for Workflow Design with UML Activity Graphs. In: 24th Int. Conf. on Software Engineering (ICSE), Orlando, Florida. pp. 166-176. ACM Press.

Eshuis, H. and Wieringa, R.J. (2001) A Formal Semantics for UML Activity Diagrams - Formalising Workflow Models. Technical Report TR-CTIT-01-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Eshuis, H. and Wieringa, R.J. (2001) An Execution Algorithm for UML Activity Graphs. In: The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, 1-5 Oct 2001, Toronto, Canada. pp. 47-61. Lecture Notes in Computer Science 2185. Springer. ISSN 0302-9743 ISBN 3540426671

Eshuis, H. and Wieringa, R.J. (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. pp. 76-90. Lecture Notes in Computer Science 2029. Springer. ISSN 0302-9743

Eshuis, H. and Wieringa, R.J. (2000) Requirements-level semantics for UML Statecharts. Technical Report TR-CTIT-00-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

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. pp. 121-140. IFIP Conference Proceedings 177. Kluwer Academic Publishers. ISBN 0792379233

Eshuis, H. and Fokkinga, M.M. (1999) Comparing Refinements for Failure and Bisimulation Semantics. In: Workshop Argentino de Informatica Teorica (WAIT 1999), 6-10 Sep 1999, Buenos Aires, Argentina. pp. 65-80. Sociedad Argentina de Informática e Investigacíon Operativa. ISBN not assigned