Search the dblp DataBase

Publications of Author

1. Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson
   Model Checking Timed Automata with Priorities Using DBM Subtraction. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2006, pp:128-142 [Conf]
   
2. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
   UPPAAL 4.0. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:125-126 [Conf]
   
3. Jan Carlson, John Håkansson, Paul Pettersson
   SaveCCM: An Analysable Component Model for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:127-140 [Journal]
   
4. John Håkansson, Bengt Jonsson, Ola Lundqvist
   Generating online test oracles from temporal logic specifications. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:4, n:4, pp:456-471 [Journal]
   
5. John Håkansson, Paul Pettersson
   Partial Order Reduction for Verification of Real-Time Components. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2007, pp:211-226 [Conf]
   
6. Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli
   The SAVE approach to component-based development of vehicular systems. [Citation Graph (0, 0)][DBLP]
   Journal of Systems and Software, 2007, v:80, n:5, pp:655-667 [Journal]
   
7. 
   Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. [Citation Graph (, )][DBLP]
   
   
8. 
   Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Analyzing a Pattern-Based Model of a Real-Time Turntable System. [Citation Graph (, )][DBLP]