Search the dblp DataBase

Publications of Author

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