Rik Eshuis
Titel
Zitiert von
Zitiert von
Jahr
Symbolic model checking of UML activity diagrams
R Eshuis
ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 1-38, 2006
2382006
Semantics and verification of UML activity diagrams for workflow modelling
H Eshuis
Centre for Telematics and Information Technology (CTIT), University of Twente, 2002
2002002
Semantics and verification of UML activity diagrams for workflow modelling
H Eshuis
Centre for Telematics and Information Technology (CTIT), University of Twente, 2002
2002002
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
1902009
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
1902009
Constructing customized process views
R Eshuis, P Grefen
Data & Knowledge Engineering 64 (2), 419-438, 2008
1902008
Tool support for verifying UML activity diagrams
R Eshuis, R Wieringa
IEEE Transactions on Software Engineering 30 (7), 437-447, 2004
1762004
Verification support for workflow design with UML activity graphs
R Eshuis, R Wieringa
Proceedings of the 24th international conference on Software engineering …, 2002
1452002
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, 321-351, 2003
1322003
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, 321-351, 2003
1322003
A Formal Semantics for UML Activity Diagrams: Formalising Workflow Models
H Eshuis, RJ Wieringa
Centre for Telematics and Information Technology, University of Twente, 2001
912001
A Formal Semantics for UML Activity Diagrams: Formalising Workflow Models
H Eshuis, RJ Wieringa
Centre for Telematics and Information Technology, University of Twente, 2001
912001
Structural matching of BPEL processes
R Eshuis, P Grefen
Fifth European Conference on Web Services (ECOWS'07), 171-180, 2007
862007
Reactive petri nets for workflow modeling
R Eshuis, J Dehnert
International Conference on Application and Theory of Petri Nets, 296-315, 2003
842003
Requirements-level semantics for UML statecharts
R Eshuis, R Wieringa
International Conference on Formal Methods for Open Object-Based Distributed …, 2000
832000
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
712009
Reconciling statechart semantics
R Eshuis
Science of Computer Programming 74 (3), 65-99, 2009
602009
A real-time execution semantics for UML activity diagrams
R Eshuis, R Wieringa
International Conference on Fundamental Approaches to Software Engineering …, 2001
552001
Requirements-level semantics and model checking of object-oriented statecharts
R Eshuis, DN Jansen, R Wieringa
Requirements Engineering 7 (4), 243-263, 2002
482002
Specification and verification of harmonized business-process collaborations
A Norta, R Eshuis
Information Systems Frontiers 12 (4), 457-479, 2010
472010
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20