Travelled to:1 × Canada
1 × Poland
1 × Portugal
3 × Estonia
3 × Germany
5 × USA
Collaborated with:B.Ploeger Y.Deng C.Morgan P.Höfner D.J.D.Hughes ∅ G.D.Plotkin J.C.M.Baeten W.J.Fokkink M.Hennessy C.Zhang A.Fehnker A.McIver M.Portmann W.L.Tan U.Goltz J.Schicke-Uffmann B.Bloom W.Fokkink E.Bres S.A.Smolka B.Steffen C.M.N.Tofts
Talks about:process (6) probabilist (4) algebra (3) test (3) precongru (2) algorithm (2) wireless (2) preorder (2) abstract (2) network (2)
Person: Rob J. van Glabbeek
DBLP: Glabbeek:Rob_J=_van
Contributed to:
2012
2012
2012
2011
2008
20082007
200720032000
19961995199019872016
2017Wrote 16 papers:
- ESOP-2012-FehnkerGHMPT #algebra #network #process
- A Process Algebra for Wireless Mesh Networks (AF, RJvG, PH, AM, MP, WLT), pp. 295–315.
- FoSSaCS-2012-GlabbeekGS #on the #petri net
- On Distributability of Petri Nets — (RJvG, UG, JWSU), pp. 331–345.
- TACAS-2012-FehnkerGHMPT #analysis #automation #using
- Automated Analysis of AODV Using UPPAAL (AF, RJvG, PH, AM, MP, WLT), pp. 173–187.
- QAPL-2011-DengGHM #probability #process #testing
- Real-Reward Testing for Probabilistic Processes (YD, RJvG, MH, CM), pp. 61–73.
- CAV-2008-GlabbeekP #algorithm #simulation
- Correcting a Space-Efficient Simulation Algorithm (RJvG, BP), pp. 517–529.
- CIAA-2008-GlabbeekP #algorithm #nondeterminism
- Five Determinisation Algorithms (RJvG, BP), pp. 161–170.
- ESOP-2007-DengGMZ #probability #testing
- Scalar Outcomes Suffice for Finitary Probabilistic Testing (YD, RJvG, CM, CZ), pp. 363–378.
- LICS-2007-DengGHMZ #finite #probability #process #testing
- Characterising Testing Preorders for Finite Probabilistic Processes (YD, RJvG, MH, CM, CZ), pp. 313–325.
- LICS-2003-HughesG #linear #logic #multi #proving
- Proof Nets for Unit-free Multiplicative-Additive Linear Logic (DJDH, RJvG), pp. 1–10.
- LICS-2000-BloomFG
- Precongruence Formats for Decorated Trace Preorders (BB, WF, RJvG), pp. 107–118.
- ICALP-1996-Glabbeek #specification
- The Meaning of Negative Premises in Transition System Specifications II (RJvG), pp. 502–513.
- LICS-1995-GlabbeekP
- Configuration Structures (RJvG, GDP), pp. 199–209.
- LICS-1990-GlabbeekSST #generative #modelling #probability #process
- Reactive, Generative, and Stratified Models of Probabilistic Processes (RJvG, SAS, BS, CMNT), pp. 130–141.
- ICALP-1987-BaetenG #abstraction #algebra #process
- Another Look at Abstraction in Process Algebra (JCMB, RJvG), pp. 84–94.
- ESOP-2016-BresGH #algebra #network #process
- A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract) (EB, RJvG, PH), pp. 95–122.
- CSL-2017-FokkinkG #composition #lookahead
- Precongruence Formats with Lookahead through Modal Decomposition (WJF, RJvG), p. 20.