Concepedia
Statistics
Publications
6
Citations
496
H-Index
Active since
2003
Affiliations
Uppsala University(Current)
Mälardalen University
Informa (Sweden)
John Håkansson is an author at Uppsala University specializing in computer science, systems engineering, and engineering.
Publications per year
2003–2009
UPPAAL 4.0
Martijn Hendriks, P. Petterson, John Håkansson et al. · 2006 · 294 citations
Computing, Computer Science, Design Automation +6
The SAVE approach to component-based development of vehicular systems
Mikael Åkerholm, Jan Carlson, Johan Fredriksson et al. · Journal of Systems and Software · 2006 · 108 citations
Engineering, Automotive Engineering, Systems Engineering +14
SaveCCM: An Analysable Component Model for Real-Time Systems
Jan Carlson, John Håkansson, Paul Pettersson · Electronic Notes in Theoretical Computer Science · 2006 · 44 citations · Full text
Computing, Computer Science, Systems Engineering +17
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems
Séverine Sentilles, Paul Pettersson, Ivica Crnković et al. · 2008 · 21 citations
Engineering, Computer Science, Systems Engineering +17
Generating online test oracles from temporal logic specifications
John Håkansson, Bengt Jönsson, Ola Lundqvist · International Journal on Software Tools for Technology Transfer · 2003 · 16 citations
Computing, Computer Science, Formal Methods +11
1–5 of 6