Rob J. van Glabbeek

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 42

Top Venues

CoRR

Acta Informatica

CONCUR

LICS

Publications

Gaspard Reghem, Rob J. van Glabbeek
Branching Bisimilarity for Processes with Time-Outs. CONCUR (2024)
Rob J. van Glabbeek, Cornelis A. Middelburg
On infinite guarded recursive specifications in process algebra. CoRR (2020)
Rob J. van Glabbeek, Jan Friso Groote, Erik P. de Vink
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract). The Art of Modelling Computational Systems (2019)
Rob J. van Glabbeek, Bas Luttik, Linda Spaninks
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence. CoRR (2018)
Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal
Analysing AWN-Specifications Using mCRL2 (Extended Abstract). IFM (2018)
Rob J. van Glabbeek
-calculus. Inf. Process. Lett. 137 (2018)
Wan J. Fokkink, Rob J. van Glabbeek, Bas Luttik
Divide and Congruence III: Stability & Divergence. CONCUR (2017)
Rob J. van Glabbeek
A Branching Time Model of CSP. Concurrency, Security, and Puzzles (2017)
Wan J. Fokkink, Rob J. van Glabbeek
Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. Inf. Comput. 257 (2017)
Rob J. van Glabbeek, Peter Höfner
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack. MARS@ETAPS (2017)
Victor Dyseryn, Rob J. van Glabbeek, Peter Höfner
Analysing Mutual Exclusion using Process Algebra with Signals. EXPRESS/SOS (2017)
Rob J. van Glabbeek
A Branching Time Model of CSP. CoRR (2017)
Rob J. van Glabbeek
Ensuring Liveness Properties of Distributed Systems (A Research Agenda). CoRR (2017)
Rob J. van Glabbeek
Lean and Full Congruence Formats for Recursion. CoRR (2017)
Rob J. van Glabbeek
An Algebraic Treatment of Recursion. CoRR (2017)
Rob J. van Glabbeek
Lean and full congruence formats for recursion. LICS (2017)
Wan J. Fokkink, Rob J. van Glabbeek
Precongruence Formats with Lookahead through Modal Decomposition. CSL (2017)
Emile Bres, Rob J. van Glabbeek, Peter Höfner
A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). ESOP (2016)
Wan J. Fokkink, Rob J. van Glabbeek
Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity. CoRR (2016)
Rob J. van Glabbeek, Dominic J. D. Hughes
MALL proof nets identify proofs modulo rule commutation. CoRR (2016)
Emile Bres, Rob J. van Glabbeek, Peter Höfner
A Timed Process Algebra for Wireless Networks. CoRR (2016)
Wan J. Fokkink, Rob J. van Glabbeek
Divide and Congruence II: Delay and Weak Bisimilarity. LICS (2016)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Mechanizing a Process Algebra for Network Protocols. J. Autom. Reason. 56 (3) (2016)
Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan
Modelling and verifying the AODV routing protocol. Distributed Comput. 29 (4) (2016)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
Automated Analysis of AODV using UPPAAL. CoRR (2015)
Rob J. van Glabbeek
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP. CoRR (2015)
Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog
Special issue on "Combining Compositionality and Concurrency": part 1. Acta Informatica 52 (1) (2015)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
A Process Algebra for Wireless Mesh Networks. CoRR (2015)
Kirstin Peters, Rob J. van Glabbeek
Analysing and Comparing Encodability Criteria for Process Calculi. Arch. Formal Proofs 2015 (2015)
Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann
Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops. CoRR (2015)
Rob J. van Glabbeek
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP. Correct System Design (2015)
Rob J. van Glabbeek, Peter Höfner
Progress, Fairness and Justness in Process Algebra. CoRR (2015)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Mechanizing a Process Algebra for Network Protocols. CoRR (2015)
Rob J. van Glabbeek, Ursula Goltz, Ernst-Rüdiger Olderog
Special issue on "Combining Compositionality and Concurrency": part 2. Acta Informatica 52 (4-5) (2015)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
Modelling and Analysis of AODV in UPPAAL. CoRR (2015)
Rob J. van Glabbeek, Peter Höfner
CCS: It's not fair! - Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. Acta Informatica 52 (2-3) (2015)
Rob J. van Glabbeek, Peter Höfner, Marius Portmann, Wee Lum Tan
Modelling and Verifying the AODV Routing Protocol. CoRR (2015)
Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
On the Axiomatizability of Impossible Futures. Log. Methods Comput. Sci. 11 (3) (2015)
Kirstin Peters, Rob J. van Glabbeek
Analysing and Comparing Encodability Criteria. EXPRESS/SOS (2015)
Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker
A Rigorous Analysis of AODV and its Variants. CoRR (2015)
Rob J. van Glabbeek, Peter Höfner
CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. CoRR (2015)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
A mechanized proof of loop freedom of the (untimed) AODV routing protocol. CoRR (2015)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Real-reward testing for probabilistic processes. Theor. Comput. Sci. 538 (2014)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Showing invariance compositionally for a process algebra for network protocols. CoRR (2014)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. ATVA (2014)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Showing Invariance Compositionally for a Process Algebra for Network Protocols. ITP (2014)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV. CoRR (2013)
Rob J. van Glabbeek, Peter Höfner, Wee Lum Tan, Marius Portmann
Sequence numbers do not guarantee loop freedom: AODV can yield routing loops. MSWiM (2013)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
On Characterising Distributability. Log. Methods Comput. Sci. 9 (3) (2013)
Rob J. van Glabbeek
Musings on Encodings and Expressiveness EXPRESS/SOS (2012)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
Automated Analysis of AODV Using UPPAAL. TACAS (2012)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
On Distributability of Petri Nets CoRR (2012)
Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity. Inf. Comput. 214 (2012)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
On Distributability of Petri Nets - (Extended Abstract). FoSSaCS (2012)
Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan
A Process Algebra for Wireless Mesh Networks. ESOP (2012)
Peter Höfner, Rob J. van Glabbeek, Wee Lum Tan, Marius Portmann, Annabelle McIver, Ansgar Fehnker
A rigorous analysis of AODV and its variants. MSWiM (2012)
Rob J. van Glabbeek
On cool congruence formats for weak bisimulations. Theor. Comput. Sci. 412 (28) (2011)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Real-Reward Testing for Probabilistic Processes (Extended Abstract) QAPL (2011)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
Abstract processes of place/transition systems. Inf. Process. Lett. 111 (13) (2011)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
On Causal Semantics of Petri Nets. CONCUR (2011)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
Abstract Processes of Place/Transition Systems CoRR (2011)
Rob J. van Glabbeek
The Coarsest Precongruences Respecting Safety and Liveness Properties CoRR (2010)
Yuxin Deng, Rob J. van Glabbeek
Characterising Probabilistic Processes Logically CoRR (2010)
Rob J. van Glabbeek, Gordon D. Plotkin
On CSP and the Algebraic Theory of Effects CoRR (2010)
Yuxin Deng, Rob J. van Glabbeek
Characterising Probabilistic Processes Logically - (Extended Abstract). LPAR (Yogyakarta) (2010)
Rob J. van Glabbeek
The Coarsest Precongruences Respecting Safety and Liveness Properties. IFIP TCS (2010)
Rob J. van Glabbeek, Peter D. Mosses
Special issue on structural operational semantics. Inf. Comput. 207 (2) (2009)
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka
Branching Bisimilarity with Explicit Divergence. Fundam. Informaticae 93 (4) (2009)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
On Synchronous and Asynchronous Interaction in Distributed Systems CoRR (2009)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
Symmetric and Asymmetric Asynchronous Interaction CoRR (2009)
Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. SOFSEM (2009)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Testing Finitary Probabilistic Processes. CONCUR (2009)
Rob J. van Glabbeek, Gordon D. Plotkin
Configuration Structures, Event Structures and Petri Nets CoRR (2009)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
Symmetric and Asymmetric Asynchronous Interaction. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka
Computation Tree Logic with Deadlock Detection Log. Methods Comput. Sci. 5 (4) (2009)
Rob J. van Glabbeek, Gordon D. Plotkin
Configuration structures, event structures and Petri nets. Theor. Comput. Sci. 410 (41) (2009)
Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan
Characterising Testing Preorders for Finite Probabilistic Processes CoRR (2008)
Rob J. van Glabbeek, Bas Ploeger
Correcting a Space-Efficient Simulation Algorithm. CAV (2008)
Rob J. van Glabbeek, Bas Ploeger
Five Determinisation Algorithms. CIAA (2008)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Characterising Testing Preorders for Finite Probabilistic Processes. Log. Methods Comput. Sci. 4 (4) (2008)
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
On Synchronous and Asynchronous Interaction in Distributed Systems. MFCS (2008)
Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
Ready to preorder: The case of weak process semantics. Inf. Process. Lett. 109 (2) (2008)
Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
On Finite Bases for Weak Semantics: Failures versus Impossible Futures CoRR (2008)
Rob J. van Glabbeek, Bas Luttik, Nikola Trcka
Branching Bisimilarity with Explicit Divergence CoRR (2008)
Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang
Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP (2007)
Rob J. van Glabbeek, Matthew Hennessy
Preface. Electron. Notes Theor. Comput. Sci. 192 (1) (2007)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
Remarks on Testing Probabilistic Processes. Electron. Notes Theor. Comput. Sci. 172 (2007)
Rob J. van Glabbeek, Peter D. Mosses
Preface. Electron. Notes Theor. Comput. Sci. 175 (1) (2007)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
Characterising Testing Preorders for Finite Probabilistic Processes. LICS (2007)
Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
-Bisimulation. Electron. Notes Theor. Comput. Sci. 156 (1) (2006)
Rob J. van Glabbeek, Marc Voorhoeve
Liveness, Fairness and Impossible Futures. CONCUR (2006)
Rob J. van Glabbeek
On the expressiveness of higher dimensional automata. Theor. Comput. Sci. 356 (3) (2006)
Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
Compositionality of Hennessy-Milner logic by structural operational semantics. Theor. Comput. Sci. 354 (3) (2006)
Rob J. van Glabbeek
On Specifying Timeouts. Electron. Notes Theor. Comput. Sci. 162 (2006)
Rob J. van Glabbeek
Erratum to "On the expressiveness of higher dimensional automata": [TCS 356 (2006) 265-290]. Theor. Comput. Sci. 368 (1-2) (2006)
Dominic J. D. Hughes, Rob J. van Glabbeek
Proof nets for unit-free multiplicative-additive linear logic. ACM Trans. Comput. Log. 6 (4) (2005)
Rob J. van Glabbeek
A Characterisation of Weak Bisimulation Congruence. Processes, Terms and Cycles (2005)
Rob J. van Glabbeek
On Cool Congruence Formats for Weak Bisimulations. ICTAC (2005)
Rob J. van Glabbeek
The Individual and Collective Token Interpretations of Petri Nets. CONCUR (2005)
Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind
Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation. FMCO (2005)

Rob J. van Glabbeek.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rob J. van Glabbeek