| 2007 |
|---|
| 13 | EE | Rajesh K. Karmani,
Timo Latvala,
Gul Agha:
On Scaling Multi-Agent Task Reallocation Using Market-Based Approach.
SASO 2007: 173-182 |
| 2006 |
|---|
| 12 | EE | Keijo Heljanko,
Tommi A. Junttila,
Misa Keinänen,
Martin Lange,
Timo Latvala:
Bounded Model Checking for Weak Alternating Büchi Automata.
CAV 2006: 95-108 |
| 11 | EE | Yaniv Eytani,
Timo Latvala:
Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.
Haifa Verification Conference 2006: 183-197 |
| 10 | EE | Armin Biere,
Keijo Heljanko,
Tommi A. Junttila,
Timo Latvala,
Viktor Schuppan:
Linear Encodings of Bounded LTL Model Checking
CoRR abs/cs/0611029: (2006) |
| 9 | EE | Armin Biere,
Keijo Heljanko,
Tommi A. Junttila,
Timo Latvala,
Viktor Schuppan:
Linear Encodings of Bounded LTL Model Checking.
Logical Methods in Computer Science 2(5): (2006) |
| 2005 |
|---|
| 8 | EE | Keijo Heljanko,
Tommi A. Junttila,
Timo Latvala:
Incremental and Complete Bounded Model Checking for Full PLTL.
CAV 2005: 98-111 |
| 7 | EE | Timo Latvala,
Armin Biere,
Keijo Heljanko,
Tommi A. Junttila:
Simple Is Better: Efficient Bounded Model Checking for Past LTL.
VMCAI 2005: 380-395 |
| 2004 |
|---|
| 6 | EE | Timo Latvala,
Armin Biere,
Keijo Heljanko,
Tommi A. Junttila:
Simple Bounded LTL Model Checking.
FMCAD 2004: 186-200 |
| 5 | EE | Timo Latvala,
Marko Mäkelä:
LTL Model Checking for Modular Petri Nets.
ICATPN 2004: 298-311 |
| 4 | | Timo Latvala,
Heikki Tauriainen:
Improved On-the-fly Verification with Testers.
Nord. J. Comput. 11(2): 148-164 (2004) |
| 2003 |
|---|
| 3 | EE | Timo Latvala:
Efficient Model Checking of Safety Properties.
SPIN 2003: 74-88 |
| 2001 |
|---|
| 2 | EE | Timo Latvala:
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.
ICATPN 2001: 242-262 |
| 2000 |
|---|
| 1 | | Timo Latvala,
Keijo Heljanko:
Coping With Strong Fairness.
Fundam. Inform. 43(1-4): 175-193 (2000) |
