Publications

2009

[2009-03]	J.F. Groote and B. Ploeger.
	Switching Graphs.
	International Journal of Foundations of Computer Science (IJFCS) 20(5):869-886, 2009.

[2009-02]	B. Ploeger.
	Analysis of ACS using mCRL2.
	CS-Report 09-11, Eindhoven University of Technology, 2009.

[2009-01]	B. Ploeger.
	Improved Verification Methods for Concurrent Systems.
	Ph.D. thesis, Eindhoven University of Technology, 2009.

2008

[2008-11]	J.F. Groote and B. Ploeger.
	Switching graphs.
	CS-Report 08-28, Eindhoven University of Technology, 2008.

[2008-10]	B. Ploeger, B. van Vlijmen, J.F. Groote and J.J. van Wijk.
	Dining Philosophers and HEF.
	The 2008 Bridges Conference on Mathematical Connections in Art, Music and Science.

[2008-09]	J.F. Groote and B. Ploeger.
	Switching Graphs.
	In: Proceedings of the 2nd Workshop on Reachability Problems in Computational Models (RP 2008), ENTCS 223, pages 119-135, 2008.

[2008-08]	B. Ploeger and C. Tankink.
	Improving an Interactive Visualization of Transition Systems.
	In: Proceedings of the 4th ACM Symposium on Software Visualization 2008 (SoftVis 2008), pages 115-124. ACM, 2008.

[2008-07]	A. van Dam, B. Ploeger and T.A.C. Willemse.
	Instantiation for Parameterised Boolean Equation Systems.
	In: Proceedings of the 5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), LNCS 5160, pages 440-454. Springer, 2008.

[2008-06]	R.J. van Glabbeek and B. Ploeger.
	Five Determinisation Algorithms.
	In: Proceedings of the 13th International Conference on Implementation and Application of Automata (CIAA 2008), LNCS 5148, pages 161-170. Springer, 2008.

[2008-05]	R.J. van Glabbeek and B. Ploeger.
	Correcting a Space-Efficient Simulation Algorithm.
	In: Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), LNCS 5123, pages 517-529. Springer, 2008.

[2008-04]	J.F. Groote, J. Keiren, A. Mathijssen, B. Ploeger, F. Stappers, C. Tankink, Y. Usenko, M. van Weerdenburg, W. Wesselink, T. Willemse and J. van der Wulp.
	The mCRL2 toolset.
	In: Proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008).

[2008-03]	R.J. van Glabbeek and B. Ploeger.
	Five Determinisation Algorithms.
	CS-Report 08-14, Eindhoven University of Technology, 2008.

[2008-02]	A. van Dam, B. Ploeger and T.A.C. Willemse.
	Instantiation for Parameterised Boolean Equation Systems.
	CS-Report 08-11, Eindhoven University of Technology, 2008.

[2008-01]	R.J. van Glabbeek and B. Ploeger.
	Correcting a Space-Efficient Simulation Algorithm.
	CS-Report 08-06, Eindhoven University of Technology, 2008.

2007

[2007-03]	T. Chen, B. Ploeger, J. van de Pol and T.A.C. Willemse.
	Equivalence Checking for Infinite Systems using Parameterized Boolean Equation Systems.
	In: Proceedings of the 18th International Conference on Concurrency Theory (CONCUR 2007), LNCS 4703, pages 120-135. Springer, 2007.

[2007-02]	T. Chen, B. Ploeger, J. van de Pol and T.A.C. Willemse.
	Equivalence Checking for Infinite Systems using Parameterized Boolean Equation Systems.
	CS-Report 07-14, Eindhoven University of Technology, 2007.

[2007-01]	B. Ploeger and L. Somers.
	Analysis and Verification of an Automatic Document Feeder.
	In: Proceedings of the 2007 ACM Symposium on Applied Computing (ACMSAC'07), pages 1499-1505, Seoul, Korea. ACM, March 2007.

2006

[2006-02]	B. Ploeger and L. Somers.
	Analysis and Verification of an Automatic Document Feeder.
	CS-Report 06-25, Eindhoven University of Technology, 2006.

[2006-01]	J.F. Groote, A. Mathijssen, B. Ploeger, M. Reniers, M. van Weerdenburg and J. van der Wulp.
	Process Algebra and mCRL2.
	IPA Basic Course on Formal Methods 2006.

2005

[2005-01]	S.C.W. Ploeger.
	Analysis of Concurrent State Machines in Embedded Copier Software.
	Master's thesis, Eindhoven University of Technology, 2005.