Bas Ploeger

According to our database, Bas Ploeger authored at least 8 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems.

Bas Ploeger, Wieger Wesselink, Tim A. C. Willemse

Inf. Comput., 2011

2008

Switching Graphs.

Jan Friso Groote, Bas Ploeger

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Five Determinisation Algorithms.

Rob J. van Glabbeek, Bas Ploeger

Proceedings of the Implementation and Applications of Automata, 2008

Improving an interactive visualization of transition systems.

Bas Ploeger, Carst Tankink

Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Instantiation for Parameterised Boolean Equation Systems.

Alexander van Dam, Bas Ploeger, Tim A. C. Willemse

Proceedings of the Theoretical Aspects of Computing, 2008

Correcting a Space-Efficient Simulation Algorithm.

Rob J. van Glabbeek, Bas Ploeger

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Analysis and verification of an automatic document feeder.

Bas Ploeger, Lou J. Somers

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.

Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007