| |
| 2008 | ||
|---|---|---|
| 3 | EE | Jori Dubrovin, Tommi A. Junttila: Symbolic model checking of hierarchical UML state machines. ACSD 2008: 108-117 |
| 2 | EE | Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko: Symbolic Step Encodings for Object Based Communicating State Machines. FMOODS 2008: 96-112 |
| 1 | EE | Tommi A. Junttila, Jori Dubrovin: Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking. LPAR 2008: 290-304 |
| 1 | Keijo Heljanko | [2] |
| 2 | Tommi A. Junttila | [1] [2] [3] |