Search the dblp DataBase

Publications of Author

1. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
   Interface Input/Output Automata. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:82-97 [Conf]
   
2. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
   On Modal Refinement and Consistency. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2007, pp:105-119 [Conf]
   
3. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
   Modal I/O Automata for Interface and Product Line Theories. [Citation Graph (0, 0)][DBLP]
   ESOP, 2007, pp:64-79 [Conf]
   
4. 
   ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. [Citation Graph (, )][DBLP]
   
   
5. 
   Complexity of Decision Problems for Mixed and Modal Specifications. [Citation Graph (, )][DBLP]
   
   
6. 
   Timed I/O automata: a complete specification theory for real-time systems. [Citation Graph (, )][DBLP]
   
   
7. 
   EXPTIME-complete Decision Problems for Modal and Mixed Specifications. [Citation Graph (, )][DBLP]