Computing Distinguishing Formulas for Branching Bisimulation. - Henri Korver (CAV, 1991)

A Computer-Checked Verification of Milner's Scheduler. - Henri Korver; Jan Springintveld (TACS, 1994)

A Theory for Simulators. - Henri Korver (Comput. J., 1994)

Detecting Feature Interactions with CÆSAR/ALDÉBARAN. - Henri Korver (Sci. Comput. Program., 1997)

Formal Verification of a Leader Election Protocol in Process Algebra. - Lars-Åke Fredlund; Jan Friso Groote; Henri Korver (Theor. Comput. Sci., 1997)

A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. - Henri Korver; M. P. A. Sellink (Formal Aspects Comput., 1998)

Example Verifications Using Alphabet Axioms. - Henri Korver; M. P. A. Sellink (Formal Aspects Comput., 1998)

Application integration at the Dutch government. - Henri Korver; Maarten van den Broek (ICEGOV, 2010)