Heikki Tuominen

According to our database, Heikki Tuominen authored at least 7 papers between 1982 and 1999.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1999

Embedding a Dialect of SDL in PROMELA.

Heikki Tuominen

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1990

Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic.

Heikki Tuominen

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover.

Heikki Tuominen

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

Translations from Epistemic into Dynamic Logic.

Heikki Tuominen

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

Elementary net systems and dynamic logic.

Heikki Tuominen

Proceedings of the Advances in Petri Nets 1989, 1988

1983

Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic.

Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

The Development of Tools for Verification and Validation of Communication Protocols.

Raimo Kujansuu, Leo Ojala, Heikki Tuominen

Proceedings of the Protocol Specification, 1982