José Vander Meulen - Citegraph

Author Info

Name	Affiliation	Papers
JOSÉ VANDER MEULEN	Université catholique de Louvain	4
Collaborators	Citations	PageRank
1	6	1.57
Referers	Referees	References
4	84	50

Publications (4 rows)

Collaborators (1 rows)

Referers (4 rows)

Referees (84 rows)

Title	Citations	PageRank	Year
Milestones: a model checker combining symbolic model checking and partial order reduction	0	0.34	2011
Combining partial-order reduction and symbolic model checking to verify LTL properties	0	0.34	2011
Combining Partial Order Reduction with Bounded Model Checking	2	0.38	2009
Efficient Symbolic Model Checking for Process Algebras	4	0.51	2008

1