Members

José Vander Meulen

Contact Information

José Vander Meulen
Alumni
UCL / EPL / ICTEAM / INGI
Place Sainte Barbe, 2
1348 Louvain-la-Neuve
Belgium

Office: Réaumur A.143 (1st floor)
Phone: +32 10 47 91 05
Fax: +32 10 45 03 45
Email: Jose [period] Vandermeulen [snail] uclouvain [period] be

Biography

José Vander Meulen

José Vander Meulen was a researcher at LVL from 2006 to 2012. He worked as a teaching assistant in the Computer Science and Engineering Department at Université catholique de Louvain in Belgium. His research concerns mainly the symbolic model checking, as well as the partial order reduction methods. He completed his PhD in April 2012.

Publications

Combining Partial Order Reduction with Symbolic Model Checking. José Vander Meulen. Doctoral thesis, Université catholique de Louvain.
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.
Combining Partial Order Reduction with Bounded Model Checking. José Vander Meulen, Charles Pecheur. Proceedings of Communicating Process Architectures 2009, Eindhoven, Netherlands.
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.

Talks

Tags

Tags: Verification, Symbolic Model Checking, Bounded Model Checking, Partial Order Reduction

Find It