Bas Ploeger

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse
Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems. Inf. Comput. 209 (4) (2011)
Jan Friso Groote, Bas Ploeger
Switching Graphs. Int. J. Found. Comput. Sci. 20 (5) (2009)
Bas Ploeger, Carst Tankink
Improving an interactive visualization of transition systems. SOFTVIS (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)
Jan Friso Groote, Bas Ploeger
Switching Graphs. Electron. Notes Theor. Comput. Sci. 223 (2008)
Alexander van Dam, Bas Ploeger, Tim A. C. Willemse
Instantiation for Parameterised Boolean Equation Systems. ICTAC (2008)
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. CONCUR (2007)
Bas Ploeger, Lou J. Somers
Analysis and verification of an automatic document feeder. SAC (2007)