 | 2009 |
|---|
| 27 |       | Rik Eshuis,
Paul W. P. J. Grefen,
George Angelos Papadopoulos:
Seventh IEEE European Conference on Web Services (ECOWS 2009), 9-11 November 2009, Eindhoven, The Netherlands
IEEE Computer Society 2009 |
| 26 |  | Rik Eshuis:
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way.
FM 2009: 239-255 |
| 25 | | Rik Eshuis,
Alex Norta:
Constructing process views for service outsourcing.
SAC 2009: 1615-1616 |
| 24 | | Rik Eshuis,
Jan Mendling,
Mirjam Minor,
Barbara Weber:
Agile Cooperative Process-Aware Information Systems (ProGility 2009): Workshop Report.
WETICE 2009: 219-220 |
| 23 | | Paul W. P. J. Grefen,
Nikolay Mehandjiev,
Giorgos Kouvas,
Georg Weichhart,
Rik Eshuis:
Dynamic business network process management in instant virtual enterprises.
Computers in Industry 60(2): 86-103 (2009) |
| 22 | | Paul W. P. J. Grefen,
Rik Eshuis,
Nikolay Mehandjiev,
Giorgos Kouvas,
Georg Weichhart:
Internet-Based Support for Process-Oriented Instant Virtual Enterprises.
IEEE Internet Computing 13(6): 65-73 (2009) |
| 21 | | Rik Eshuis,
Paul W. P. J. Grefen:
Composing Services into Structured Processes.
Int. J. Cooperative Inf. Syst. 18(2): 309-337 (2009) |
| 20 | | Rik Eshuis:
Reconciling statechart semantics.
Sci. Comput. Program. 74(3): 65-99 (2009) |
| 2008 |
|---|
| 19 | | Claus Pahl,
Siobhán Clarke,
Rik Eshuis:
ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland
IEEE Computer Society 2008 |
| 18 | | Barbara Weber,
Rik Eshuis,
Jan Mendling,
Mirjam Minor:
Agile Cooperative Process-Aware Information Systems (ProGility 2008).
WETICE 2008: 225-226 |
| 17 | | Rik Eshuis,
Paul W. P. J. Grefen:
Constructing customized process views.
Data Knowl. Eng. 64(2): 419-438 (2008) |
| 2007 |
|---|
| 16 | | Rik Eshuis,
Paul W. P. J. Grefen:
Structural Matching of BPEL Processes.
ECOWS 2007: 171-180 |
| 15 | | Barbara Weber,
Manfred Reichert,
Rik Eshuis:
ProGility Workshop Final Report.
WETICE 2007: 365-366 |
| 2006 |
|---|
| 14 | | Rik Eshuis,
Paul W. P. J. Grefen,
Sven Till:
Structured Service Composition.
Business Process Management 2006: 97-112 |
| 13 | | Rik Eshuis,
Heiko Ludwig:
PINCET - Process Integration of Collaborative Enterprises.
WETICE 2006: 247-248 |
| 12 | | Rik Eshuis:
Symbolic model checking of UML activity diagrams.
ACM Trans. Softw. Eng. Methodol. 15(1): 1-38 (2006) |
| 2004 |
|---|
| 11 | | Rik Eshuis,
Roel Wieringa:
Tool Support for Verifying UML Activity Diagrams.
IEEE Trans. Software Eng. 30(7): 437-447 (2004) |
| 2003 |
|---|
| 10 | | 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 | | 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 | | Rik Eshuis,
Juliane Dehnert:
Reactive Petri Nets for Workflow Modeling.
ICATPN 2003: 296-315 |
| 7 | | 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 | | Rik Eshuis,
Roel Wieringa:
Verification support for workflow design with UML activity graphs.
ICSE 2002: 166-176 |
| 5 | | Rik Eshuis,
Maarten M. Fokkinga:
Comparing Refinements for Failure and Bisimulation Semantics.
Fundam. Inform. 52(4): 297-321 (2002) |
| 4 | | 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 | | Rik Eshuis,
Roel Wieringa:
A Real-Time Execution Semantics for UML Activity Diagrams.
FASE 2001: 76-90 |
| 2 | | 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- |
