Concepedia

Rik Eshuis

RE

39

Publications

2K

Citations

22

H-Index

2001

Active since

Affiliations

Eindhoven University of Technology(Current)

University of Twente

University of Manchester

University of Helsinki

Johannes Kepler University of Linz

Rik Eshuis is an author at Eindhoven University of Technology specializing in engineering, computer science, and software design.

Top concepts

EngineeringSoftware DesignComputer ScienceSystems EngineeringSoftware EngineeringFormal MethodsFormal VerificationAutomated ReasoningVerificationSoftware Analysis

Publications per year

2001–2021

39

Publications

39

Symbolic model checking of UML activity diagrams

Rik Eshuis · ACM Transactions on Software Engineering and Methodology · 2006 · 199 citations

Engineering, Verification, Symbolic Model Checking +17

Semantics and Verification of UML Activity Diagrams for Workflow Modelling

Rik Eshuis · 2002 · 176 citations · Full text

Uml Activity Diagrams, Engineering, Verification +20

Constructing customized process views

Rik Eshuis, Paul Grefen · Data & Knowledge Engineering · 2007 · 145 citations

Engineering, Process Views, Design +8

Dynamic business network process management in instant virtual enterprises

Paul Grefen, Nikolay Mehandjiev, Georg Weichhart et al. · Computers in Industry · 2008 · 145 citations

Virtual Enterprise, Engineering, Business Intelligence +6

An efficient method to construct minimal protocol adaptors

R.E. Seguel Pérez, Rik Eshuis, Paul Grefen · 2009 · 130 citations

Engineering, Concurrent System, Formal Verification +21

Rows per page

1–5 of 39