dblp.uni-trier.dewww.uni-trier.de

Timo Latvala

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
13EERajesh K. Karmani, Timo Latvala, Gul Agha: On Scaling Multi-Agent Task Reallocation Using Market-Based Approach. SASO 2007: 173-182
2006
12EEKeijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala: Bounded Model Checking for Weak Alternating Büchi Automata. CAV 2006: 95-108
11EEYaniv Eytani, Timo Latvala: Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise. Haifa Verification Conference 2006: 183-197
10EEArmin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking CoRR abs/cs/0611029: (2006)
9EEArmin 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
8EEKeijo Heljanko, Tommi A. Junttila, Timo Latvala: Incremental and Complete Bounded Model Checking for Full PLTL. CAV 2005: 98-111
7EETimo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila: Simple Is Better: Efficient Bounded Model Checking for Past LTL. VMCAI 2005: 380-395
2004
6EETimo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila: Simple Bounded LTL Model Checking. FMCAD 2004: 186-200
5EETimo 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
3EETimo Latvala: Efficient Model Checking of Safety Properties. SPIN 2003: 74-88
2001
2EETimo 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)

Coauthor Index

1Gul A. Agha (Gul Agha) [13]
2Armin Biere [6] [7] [9] [10]
3Yaniv Eytani [11]
4Keijo Heljanko [1] [6] [7] [8] [9] [10] [12]
5Tommi A. Junttila [6] [7] [8] [9] [10] [12]
6Rajesh K. Karmani [13]
7Misa Keinänen [12]
8Martin Lange [12]
9Marko Mäkelä [5]
10Viktor Schuppan [9] [10]
11Heikki Tauriainen [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)