John Håkansson

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson
Analyzing a Pattern-Based Model of a Real-Time Turntable System. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. ASE (2008)
John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. ATVA (2008)
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. J. Syst. Softw. 80 (5) (2007)
John Håkansson, Paul Pettersson
Partial Order Reduction for Verification of Real-Time Components. FORMATS (2007)
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
UPPAAL 4.0. QEST (2006)
Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson
Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS (2006)
Jan Carlson, John Håkansson, Paul Pettersson
SaveCCM: An Analysable Component Model for Real-Time Systems. Electron. Notes Theor. Comput. Sci. 160 (2006)
John Håkansson, Bengt Jonsson, Ola Lundqvist
Generating online test oracles from temporal logic specifications. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)