SCEAS

The SCEAS System

Title:
Author:

Henri Korver: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Henri Korver
Computing Distinguishing Formulas for Branching Bisimulation. [Citation Graph (0, 0)][DBLP]
CAV, 1991, pp:13-23 [Conf]
Henri Korver, Jan Springintveld
A Computer-Checked Verification of Milner's Scheduler. [Citation Graph (0, 0)][DBLP]
TACS, 1994, pp:161-178 [Conf]
Henri Korver
A Theory for Simulators. [Citation Graph (0, 0)][DBLP]
Comput. J., 1994, v:37, n:4, pp:279-288 [Journal]
Henri Korver, M. P. A. Sellink
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1998, v:10, n:1, pp:30-42 [Journal]
Henri Korver, M. P. A. Sellink
Example Verifications Using Alphabet Axioms. [Citation Graph (0, 0)][DBLP]
Formal Asp. Comput., 1998, v:10, n:1, pp:43-58 [Journal]
Henri Korver
Detecting Feature Interactions with CÆSAR/ALDÉBARAN. [Citation Graph (0, 0)][DBLP]
Sci. Comput. Program., 1997, v:29, n:1-2, pp:259-278 [Journal]
Lars-Åke Fredlund, Jan Friso Groote, Henri Korver
Formal Verification of a Leader Election Protocol in Process Algebra. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1997, v:177, n:2, pp:459-486 [Journal]

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP