The SCEAS System
Navigation Menu

Search the dblp DataBase


John Håkansson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002