Concepedia

Robert van Glabbeek

RV

4

Publications

120

Citations

4

H-Index

2008

Active since

Affiliations

Shanghai Jiao Tong University(Current)

Robert van Glabbeek is an author at Shanghai Jiao Tong University specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationWireless NetworksAutomated ReasoningSystems EngineeringStatisticsProbability

Publications per year

2008–2015

4

Publications

4

Characterising Testing Preorders for Finite Probabilistic Processes

Yuxin Deng, Robert van Glabbeek, Matthew Hennessy et al. · Logical Methods in Computer Science · 2008 · 74 citations · Full text

Engineering, Probabilistic Computation, Higher-order Logic +16

A process algebra for wireless mesh networks used for modelling, verifying and analysing AODV

Ansgar Fehnker, Robert van Glabbeek, Peter Höfner et al. · arXiv (Cornell University) · 2013 · 17 citations · Full text

Engineering, Wireless Routing, Wireless Lan +24

Progress, Fairness and Justness in Process Algebra

Robert van Glabbeek, Peter Höfner · arXiv (Cornell University) · 2015 · 15 citations · Full text

Liveness Properties, Formal Specification, Engineering +14

Testing finitary probabilistic processes (extended abstract)

Yuxin Deng, Robert van Glabbeek, Matthew Hennessy et al. · 2009 · 14 citations

Rows per page

1–4 of 4