Ilkka Kokkarinen

According to our database, Ilkka Kokkarinen authored at least 2 papers between 1998 and 2001.

Collaborative distances:

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

2001

Relaxed Visibility Enhances Partial Order Reduction.

Doron A. Peled, Antti Valmari, Ilkka Kokkarinen

Formal Methods Syst. Des., 2001

1998

Unbounded Verification Results by Finite-State Compositional Techniques: 10^any States and Beyond.

Antti Valmari, Ilkka Kokkarinen

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998