Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. - Taolue Chen 001; Bas Ploeger; Jaco van de Pol; Tim A. C. Willemse (CONCUR, 2007)

Analysis and verification of an automatic document feeder. - Bas Ploeger; Lou J. Somers (SAC, 2007)

Correcting a Space-Efficient Simulation Algorithm. - Rob J. van Glabbeek; Bas Ploeger (CAV, 2008)

Instantiation for Parameterised Boolean Equation Systems. - Alexander van Dam; Bas Ploeger; Tim A. C. Willemse (ICTAC, 2008)

Improving an interactive visualization of transition systems. - Bas Ploeger; Carst Tankink (SOFTVIS, 2008)

Five Determinisation Algorithms. - Rob J. van Glabbeek; Bas Ploeger (CIAA, 2008)

Switching Graphs. - Jan Friso Groote; Bas Ploeger (Int. J. Found. Comput. Sci., 2009)

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems. - Bas Ploeger; Wieger Wesselink; Tim A. C. Willemse (Inf. Comput., 2011)