John Håkansson

According to our database, John Håkansson authored at least 9 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Analyzing a Pattern-Based Model of a Real-Time Turntable System.

Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

2008

Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems.

Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.

John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

The SAVE approach to component-based development of vehicular systems.

Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli

J. Syst. Softw., 2007

Partial Order Reduction for Verification of Real-Time Components.

John Håkansson, Paul Pettersson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

UPPAAL 4.0.

Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Model Checking Timed Automata with Priorities Using DBM Subtraction.

Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2005

SaveCCM: An Analysable Component Model for Real-Time Systems.

Jan Carlson, John Håkansson, Paul Pettersson

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

2003

Generating online test oracles from temporal logic specifications.

John Håkansson, Bengt Jonsson, Ola Lundqvist

Int. J. Softw. Tools Technol. Transf., 2003