John Håkansson,
Ph.D. student

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.

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

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

Contact

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

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!

Publications

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]

Teaching

Spring 2008

• Teaching assistant for part 2 of the Computer Systems course.

Autumn 2007

• Teaching assistant for the Computer Systems DV1 course.

Spring 2007

• Teaching assistant for part 2 of the Computer Systems course.

Autumn 2006

• Teaching assistant for the Computer Systems DV1 course [schedule] | [course manager].

Spring 2006

• Teaching assistant for part 2 of the Computer Systems course.

Autumn 2005

• Teaching assistant for the Computer Systems DV1 course.

Spring 2005

• Teaching assistant for the Methods of Programming DV2 course.

Autumn 2004

• Teaching assistant for the Realtime systems/programming (EIP/TF) course.
  lab1 | lab2 | lab3
• Teaching assistant for the Realtime systems DV1 course.
  lab1 | lab2 | lab3 | lab4

Spring 2004

• Lots: group page, project page.
• Teaching assistant for the Methods of Programming DV2 course.

Autumn 2003

• Teaching assistant for the Computer Systems DV1 course.