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:
of Kvarnfallet (picture)
I finished at position 577 (out of 4267) in the 2005 swim race in
Department of Information Technology
S-751 05 Uppsala
phone (work): +46 18 471 7341
phone (mobile): +46 70 305 1792
PS. My office is in room 1237 on floor 2 of house 1, located at the
which is about 3 km from downtown Uppsala. Come by and visit me!
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
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.
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
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,
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
Electronic Notes in Theoretical Computer Science, Elsevier, 2005.
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.
My masters thesis: Automated Generation of Test Scripts from
Temporal Logic Specifications.