Ilkka Kokkarinen

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

Collaborative distances:

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

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

1997

Relaxed Visibility Enhances Partial Order Reduction.

Ilkka Kokkarinen, Doron A. Peled, Antti Valmari

Proceedings of the Computer Aided Verification, 9th International Conference, 1997