Henri Korver

According to our database, Henri Korver authored at least 8 papers between 1991 and 2010.

Collaborative distances:

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

2010

Application integration at the Dutch government.

Henri Korver, Maarten van den Broek

Proceedings of the ICEGOV 2010, Proceedings of the 4th International Conference on Theory and Practice of Electronic Governance, Beijing, China, October 25, 2010

1998

Example Verifications Using Alphabet Axioms.

Henri Korver, M. P. A. Sellink

Formal Aspects Comput., 1998

A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes.

Henri Korver, M. P. A. Sellink

Formal Aspects Comput., 1998

1997

Formal Verification of a Leader Election Protocol in Process Algebra.

Lars-Åke Fredlund, Jan Friso Groote, Henri Korver

Theor. Comput. Sci., 1997

Detecting Feature Interactions with CÆSAR/ALDÉBARAN.

Henri Korver

Sci. Comput. Program., 1997

1994

A Theory for Simulators.

Henri Korver

Comput. J., 1994

A Computer-Checked Verification of Milner's Scheduler.

Henri Korver, Jan Springintveld

Proceedings of the Theoretical Aspects of Computer Software, 1994

1991

Computing Distinguishing Formulas for Branching Bisimulation.

Henri Korver

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991