| 2009 |
|---|
| 19 | EE | Rik Eshuis,
Alex Norta:
Constructing process views for service outsourcing.
SAC 2009: 1615-1616 |
| 18 | EE | Rik Eshuis:
Reconciling statechart semantics.
Sci. Comput. Program. 74(3): 65-99 (2009) |
| 2008 |
|---|
| 17 | EE | Rik Eshuis,
Paul W. P. J. Grefen:
Constructing customized process views.
Data Knowl. Eng. 64(2): 419-438 (2008) |
| 2007 |
|---|
| 16 | EE | Rik Eshuis,
Paul W. P. J. Grefen:
Structural Matching of BPEL Processes.
ECOWS 2007: 171-180 |
| 15 | EE | Barbara Weber,
Manfred Reichert,
Rik Eshuis:
ProGility Workshop Final Report.
WETICE 2007: 365-366 |
| 2006 |
|---|
| 14 | EE | Rik Eshuis,
Paul W. P. J. Grefen,
Sven Till:
Structured Service Composition.
Business Process Management 2006: 97-112 |
| 13 | EE | Rik Eshuis,
Heiko Ludwig:
PINCET - Process Integration of Collaborative Enterprises.
WETICE 2006: 247-248 |
| 12 | EE | Rik Eshuis:
Symbolic model checking of UML activity diagrams.
ACM Trans. Softw. Eng. Methodol. 15(1): 1-38 (2006) |
| 2004 |
|---|
| 11 | EE | Rik Eshuis,
Roel Wieringa:
Tool Support for Verifying UML Activity Diagrams.
IEEE Trans. Software Eng. 30(7): 437-447 (2004) |
| 2003 |
|---|
| 10 | EE | Rik Eshuis,
Pierre Brimont,
Eric Dubois,
Bertrand Grégoire,
Sophie Ramel:
Animating ebXML Transactions with a Workflow Engine.
CoopIS/DOA/ODBASE 2003: 426-443 |
| 9 | EE | Rik Eshuis,
Pierre Brimont,
Eric Dubois,
Bertrand Grégoire,
Sophie Ramel:
EFFICIENT: a tool set for supporting the modelling and validation of ebXML.
ESEC / SIGSOFT FSE 2003: 359-362 |
| 8 | EE | Rik Eshuis,
Juliane Dehnert:
Reactive Petri Nets for Workflow Modeling.
ICATPN 2003: 296-315 |
| 7 | EE | Rik Eshuis,
Roel Wieringa:
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets.
Petri Net Technology for Communication-Based Systems 2003: 321-351 |
| 2002 |
|---|
| 6 | EE | Rik Eshuis,
Roel Wieringa:
Verification support for workflow design with UML activity graphs.
ICSE 2002: 166-176 |
| 5 | EE | Rik Eshuis,
Maarten M. Fokkinga:
Comparing Refinements for Failure and Bisimulation Semantics.
Fundam. Inform. 52(4): 297-321 (2002) |
| 4 | EE | Rik Eshuis,
David N. Jansen,
Roel Wieringa:
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.
Requir. Eng. 7(4): 243-263 (2002) |
| 2001 |
|---|
| 3 | EE | Rik Eshuis,
Roel Wieringa:
A Real-Time Execution Semantics for UML Activity Diagrams.
FASE 2001: 76-90 |
| 2 | EE | Rik Eshuis,
Roel Wieringa:
An Execution Algorithm for UML Activity Graphs.
UML 2001: 47-61 |
| 2000 |
|---|
| 1 | | Rik Eshuis,
Roel Wieringa:
Requirements Level Semantics for UML Statecharts.
FMOODS 2000: 121- |
