| 2008 |
|---|
| 12 | EE | 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 |
| 11 | EE | Daniel Sundmark,
Jan Carlson,
Sasikumar Punnekkat,
Andreas Ermedahl:
Structural Testing of Component-Based Systems.
CBSE 2008: 180-195 |
| 10 | EE | Séverine Sentilles,
Aneta Vulgarakis,
Tomás Bures,
Jan Carlson,
Ivica Crnkovic:
A Component Model for Control-Intensive Distributed Embedded Systems.
CBSE 2008: 310-317 |
| 9 | EE | Markus Bohlin,
Kaj Hänninen,
Jukka Mäki-Turja,
Jan Carlson,
Mikael Nolin:
Bounding Shared-Stack Usage in Systems with Offsets and Precedences.
ECRTS 2008: 276-285 |
| 8 | EE | Tomás Bures,
Jan Carlson,
Séverine Sentilles,
Aneta Vulgarakis:
A Component Model Family for Vehicular Embedded Systems.
ICSEA 2008: 437-444 |
| 2007 |
|---|
| 7 | EE | 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 |
|---|
| 6 | EE | Kaj Hänninen,
Jukka Mäki-Turja,
Markus Bohlin,
Jan Carlson,
Mikael Nolin:
Determining Maximum Stack Usage in Preemptive Shared Stack Systems.
RTSS 2006: 445-453 |
| 5 | EE | 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) |
| 2005 |
|---|
| 4 | EE | Jan Carlson,
Mikael Åkerholm:
An Event Algebra Extension of the Triggering Mechanism in a Component Model for Embedded Systems.
Electr. Notes Theor. Comput. Sci. 141(3): 107-121 (2005) |
| 2004 |
|---|
| 3 | EE | Jan Carlson,
Björn Lisper:
An event detection algebra for reactive systems.
EMSOFT 2004: 147-154 |
| 2003 |
|---|
| 2 | EE | Jan Carlson,
Björn Lisper:
An Interval-Based Algebra for Restricted Event Detection.
FORMATS 2003: 121-133 |
| 1 | EE | Jan Carlson,
Tomas Lennvall,
Gerhard Fohler:
Enhancing Time Triggered Scheduling with Value Based Overload Handling and Task Migration.
ISORC 2003: 121-130 |
