José Vander Meulen
According to our database1,
José Vander Meulen
authored at least 5 papers
between 2008 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
2011
Milestones: A Model Checker Combining Symbolic Model Checking and Partial Order Reduction.
Proceedings of the NASA Formal Methods, 2011
Combining Partial-Order Reduction and Symbolic Model Checking to Verify LTL Properties.
Proceedings of the NASA Formal Methods, 2011
2009
Proceedings of the thirty-second Communicating Process Architectures Conference, 2009
2008
Proceedings of the Formal Methods for Industrial Critical Systems, 2008