| |
| 1999 | ||
|---|---|---|
| 7 | EE | Heikki Tuominen: Embedding a Dialect of SDL in PROMELA. SPIN 1999: 245-260 |
| 1990 | ||
| 6 | Heikki Tuominen: Dynamic Logic as a Uniform Framework for Theorem Proving in Intensional Logic. CADE 1990: 514-527 | |
| 1989 | ||
| 5 | Heikki Tuominen: Proving Properties of Elementary Net Systems with a Special-Purpose Theorem Prover. Automatic Verification Methods for Finite State Systems 1989: 97-104 | |
| 1988 | ||
| 4 | Heikki Tuominen: Translations from Epistemic into Dynamic Logic. ECAI 1988: 586-588 | |
| 3 | Heikki Tuominen: Elementary net systems and dynamic logic. European Workshop on Applications and Theory in Petri Nets 1988: 453-466 | |
| 1983 | ||
| 2 | Matti Anttila, Harri Eriksson, Jukka Ikonen, Raimo Kujansuu, Leo Ojala, Heikki Tuominen: Tools ans Studies of Formal Techniques - Petri nets and Temporal Logic. Protocol Specification, Testing, and Verification 1983: 139-148 | |
| 1982 | ||
| 1 | Raimo Kujansuu, Leo Ojala, Heikki Tuominen: The Development of Tools for Verification and Validation of Communication Protocols. PSTV 1982: 311-313 | |
| 1 | Matti Anttila | [2] |
| 2 | Harri Eriksson | [2] |
| 3 | Jukka Ikonen | [2] |
| 4 | Raimo Kujansuu | [1] [2] |
| 5 | Leo Ojala | [1] [2] |