 | 2009 |
|---|
| 9 |       | Davor Slutej,
John Håkansson,
Jagadish Suryadevara,
Cristina Cerschi Seceleanu,
Paul Pettersson:
Analyzing a Pattern-Based Model of a Real-Time Turntable System.
Electr. Notes Theor. Comput. Sci. 253(1): 161-178 (2009) |
| 2008 |
|---|
| 8 | | Séverine Sentilles,
Paul Pettersson,
Ivica Crnkovic,
John Håkansson:
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems.
ASE 2008: 493-494 |
| 7 | | John Håkansson,
Jan Carlson,
Aurelien Monot,
Paul Pettersson,
Davor Slutej:
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.
ATVA 2008: 252-257 |
| 2007 |
|---|
| 6 | | John Håkansson,
Paul Pettersson:
Partial Order Reduction for Verification of Real-Time Components.
FORMATS 2007: 211-226 |
| 5 | | Mikael Åkerholm,
Jan Carlson,
Johan Fredriksson,
Hans Hansson,
John Håkansson,
Anders Möller,
Paul Pettersson,
Massimo Tivoli:
The SAVE approach to component-based development of vehicular systems.
Journal of Systems and Software 80(5): 655-667 (2007) |
| 2006 |
|---|
| 4 | | Alexandre David,
John Håkansson,
Kim Guldstrand Larsen,
Paul Pettersson:
Model Checking Timed Automata with Priorities Using DBM Subtraction.
FORMATS 2006: 128-142 |
| 3 | | Gerd Behrmann,
Alexandre David,
Kim Guldstrand Larsen,
John Håkansson,
Paul Pettersson,
Wang Yi,
Martijn Hendriks:
UPPAAL 4.0.
QEST 2006: 125-126 |
| 2 | | Jan Carlson,
John Håkansson,
Paul Pettersson:
SaveCCM: An Analysable Component Model for Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 160: 127-140 (2006) |
| 2003 |
|---|
| 1 | | John Håkansson,
Bengt Jonsson,
Ola Lundqvist:
Generating online test oracles from temporal logic specifications.
STTT 4(4): 456-471 (2003) |
