José Vander Meulen

According to our database, José Vander Meulen authored at least 5 papers between 2008 and 2012.

Collaborative distances:

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

2012

Combining partial order reduction with symbolic model checking.

José Vander Meulen

PhD thesis, 2012

2011

Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction.

José Vander Meulen, Charles Pecheur

Proceedings of the NASA Formal Methods, 2011

Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties.

José Vander Meulen, Charles Pecheur

Proceedings of the NASA Formal Methods, 2011

2009

Combining Partial Order Reduction with Bounded Model Checking.

José Vander Meulen, Charles Pecheur

Proceedings of the thirty-second Communicating Process Architectures Conference, 2009

2008

Efficient Symbolic Model Checking for Process Algebras.

José Vander Meulen, Charles Pecheur

Proceedings of the Formal Methods for Industrial Critical Systems, 2008