| 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 |
