Uppsala universitet
John Håkansson

External links
MIC campus map
Rullan menu

John Håkansson,
Ph.D. student

Picture of me! I am a Ph.D. student at the Uppaal research group within the Department of Information Technology at Uppsala University in Sweden. My supervisor is Paul Pettersson. I completed my M.Sc. in 2000, after that I worked for two years as a developer at IAR Systems AB, a local Uppsala company making C compilers for embedded systems. Before I started studying for my M.Sc. I worked as a robot programmer at Transman AB, a company in the picturesque costal town Trosa. I am currently working within the SAVE++ project.

Picture of Kvarnfallet I am a member of UPK, a club for whitewater kayaking. We train in Fyrishov during the off-season. See also:
Current waterflow of Kvarnfallet (picture)

I finished at position 577 (out of 4267) in the 2005 swim race in Vansbro.


John Håkansson
Department of Information Technology
Box 325
S-751 05 Uppsala

e-mail: johnh@it.uu.se
phone (work): +46 18 471 7341
phone (mobile): +46 70 305 1792
ICQ: 24422695

PS. My office is in room 1237 on floor 2 of house 1, located at the MIC-campus, which is about 3 km from downtown Uppsala. Come by and visit me!

Öring Paddling


My publications.
  • Jan Carlsson, John Håkansson , Aurelien Monot, Paul Pettersson, and Davor Slutej. Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. In Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008. LNCS volume 5311, pages 252-257 (Springer-Verlag).

  • Séverine Sentilles and John Håkansson and Paul Pettersson and Ivica Crnkovic. Save-IDE: An Integrated development environment for building predictable component-based embedded systems. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), pages 493-494 (IEEE Conference Proceedings).

  • John Håkansson and Paul Pettersson. Partial Order Reduction for Verification of Real-Time Components. In Proceedings of the 5th International Conference on Formal Modelling and Analysis of Timed Systems 2007 (FORMATS'07). LNCS volume 4763, pages 211-226 (Springer-Verlag).

  • Gerd Behrmann, Alexandre David, John Håkansson, Martijn Hendriks, Kim G. Larsen, Paul Pettersson, and Wang Yi. UPPAAL 4.0. 3rd International Conference on Quantitative Evaluation of Systems (QEST'06), 2006.

  • Alexandre David, John Håkansson, Kim G. Larsen, and Paul Pettersson. Model Checking Timed Automata with Priorities using DBM Subtraction. Proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems 2006 (FORMATS'06). [PDF]

  • Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, and Massimo Tivoli. The SAVE Approach to Component-Based Development of Vehicular Systems. Journal of Systems and Software, Elsevier, 2006. [doi:10.1016/j.jss.2006.08.016]

  • Jan Carlson, John Håkansson, and Paul Pettersson. SaveCCM: An Analysable Component Model for Real-Time Systems. Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'05). Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [Abstract] [Bibtex] [doi:10.1016/j.entcs.2006.05.019]

  • John Håkansson, Leonid Mokrushin, Paul Pettersson, and Wang Yi. An Analysis Tool for UML Models with SPT Annotations. Presented at the SVERTS workshop of UML 2004.

  • Håkansson, J., Jonsson, B. and Lundqvist, O. 2003. Generating On-Line Test Oracles from Temporal Logic Specifications. International Journal on Software Tools for Technology Transfer vol: 4/4 pages: 456-471. [Postscript] [PDF]

  • My masters thesis: Automated Generation of Test Scripts from Temporal Logic Specifications. [Postscript] [PDF]


Spring 2008

Autumn 2007

Spring 2007

Autumn 2006

Spring 2006

Autumn 2005

Spring 2005

Autumn 2004

Spring 2004

Autumn 2003

© 2004. UPPSALA UNIVERSITET, Box 325, 751 05 Uppsala | Kontakt