Follow
Rik Eshuis
Title
Cited by
Cited by
Year
Symbolic model checking of UML activity diagrams
R Eshuis
ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 1-38, 2006
2822006
Dynamic business network process management in instant virtual enterprises
P Grefen, N Mehandjiev, G Kouvas, G Weichhart, R Eshuis
Computers in Industry 60 (2), 86-103, 2009
2252009
Constructing customized process views
R Eshuis, P Grefen
Data & Knowledge Engineering 64 (2), 419-438, 2008
2152008
Semantics and verification of UML activity diagrams for workflow modelling
H Eshuis
2152002
Tool support for verifying UML activity diagrams
R Eshuis, R Wieringa
IEEE transactions on software engineering 30 (7), 437-447, 2004
2032004
Verification support for workflow design with UML activity graphs
R Eshuis, R Wieringa
Proceedings of the 24th international conference on Software engineering …, 2002
1592002
Comparing Petri net and activity diagram variants for workflow modelling–a quest for reactive Petri nets
R Eshuis, R Wieringa
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets …, 2003
1482003
A Formal Semantics for UML Activity Diagrams: Formalising Workflow Models
H Eshuis, RJ Wieringa
Centre for Telematics and Information Technology, University of Twente, 2001
982001
Reactive petri nets for workflow modeling
R Eshuis, J Dehnert
International Conference on Application and Theory of Petri Nets, 296-315, 2003
942003
Structural matching of bpel processes
R Eshuis, P Grefen
Fifth European Conference on Web Services (ECOWS'07), 171-180, 2007
932007
Requirements-level semantics for UML statecharts
R Eshuis, R Wieringa
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000
862000
Internet-based support for process-oriented instant virtual enterprises
P Grefen, R Eshuis, N Mehandjiev, G Kouvas, G Weichhart
IEEE Internet Computing 13 (6), 65-73, 2009
842009
Reconciling statechart semantics
R Eshuis
Science of Computer Programming 74 (3), 65-99, 2009
732009
A real-time execution semantics for UML activity diagrams
R Eshuis, R Wieringa
International Conference on Fundamental Approaches to Software Engineering …, 2001
612001
Specification and verification of harmonized business-process collaborations
A Norta, R Eshuis
Information Systems Frontiers 12, 457-479, 2010
602010
Requirements-level semantics and model checking of object-oriented statecharts
R Eshuis, DN Jansen, R Wieringa
Requirements Engineering 7, 243-263, 2002
542002
Service outsourcing with process views
R Eshuis, A Norta, O Kopp, E Pitkänen
IEEE Transactions on Services Computing 8 (1), 136-154, 2013
512013
An execution algorithm for UML activity graphs
R Eshuis, R Wieringa
International Conference on the Unified Modeling Language, 47-61, 2001
482001
Generating minimal protocol adaptors for loosely coupled services
R Seguel, R Eshuis, P Grefen
2010 IEEE International Conference on Web Services, 417-424, 2010
422010
Diagnosing correctness of semantic workflow models
D Borrego, R Eshuis, MT Gómez-López, RM Gasca
Data & Knowledge Engineering 87, 167-184, 2013
392013
The system can't perform the operation now. Try again later.
Articles 1–20