6
Publications
555
Citations
6
H-Index
2006
Active since
Affiliations
Eric Verbeek is an author at Eindhoven University of Technology specializing in computer science, engineering, and software design.
Top concepts
EngineeringComputer ScienceSoftware DesignProgram AnalysisSoftware EngineeringFormal MethodsProcess MiningSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2006–2017
6
6
Formal semantics and analysis of control flow in WS-BPEL
Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst et al. · Science of Computer Programming · 2007 · 341 citations · Full text
Conformance checking of service behavior
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang et al. · ACM Transactions on Internet Technology · 2008 · 53 citations
Rows per page
1–5 of 6