Seguir
Rik Eshuis
Título
Citado por
Citado por
Ano
Symbolic model checking of UML activity diagrams
R Eshuis
ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 1-38, 2006
2772006
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
2212009
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
2212009
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
2142002
Semantics and verification of UML activity diagrams for workflow modelling
H Eshuis
2142002
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
1582002
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
1462003
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
1462003
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
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
822009
Reconciling statechart semantics
R Eshuis
Science of Computer Programming 74 (3), 65-99, 2009
712009
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20