2012

• Combining Partial Order Reduction with Symbolic Model Checking. José Vander Meulen. Doctoral thesis, Université catholique de Louvain.

2011

• Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction. José Vander Meulen, Charles Pecheur. NASA FORMAL METHODS 2011.
• Combining Partial Order Reduction and Symbolic Model Checking to verify LTL properties. José Vander Meulen, Charles Pecheur . NASA FORMAL METHODS 2011.

2009

• Combining Partial Order Reduction with Bounded Model Checking. José Vander Meulen, Charles Pecheur. Proceedings of Communicating Process Architectures 2009, Eindhoven, Netherlands.

2008

• Efficient Symbolic Model Checking for Process Algebras. José Vander Meulen, Charles Pecheur. Proceedings of 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), L'Aquila, Italy.