| 2005 |
|---|
| 6 | EE | Gustaf Naeser,
Kristina Lundqvist:
Component-Based Approach to Run-Time Kernel Specification and Verification.
ECRTS 2005: 68-76 |
| 5 | EE | Gustaf Naeser,
Johan Furunäs:
Extended abstract: evaluation of delay queues for a Ravenscar HW kernel.
MEMOCODE 2005: 247-248 |
| 4 | EE | Gustaf Naeser,
Kristina Lundqvist,
Lars Asplund:
Temporal skeletons for verifying time.
SIGAda 2005: 49-56 |
| 3 | EE | Gustaf Naeser,
Lars Asplund,
Johan Furunäs:
SafetyChip: a time monitoring and policing device.
SIGAda 2005: 63-68 |
| 2001 |
|---|
| 2 | | Bengt Jonsson,
Tiziana Margaria,
Gustaf Naeser,
Jan Nyström,
Bernhard Steffen:
Incremental Requirement Specification for Evolving Systems.
Nord. J. Comput. 8(1): 65-87 (2001) |
| 2000 |
|---|
| 1 | | Bengt Jonsson,
Tiziana Margaria,
Gustaf Naeser,
Jan Nyström,
Bernhard Steffen:
Incremental Requirement Specification for Evolving Systems.
FIW 2000: 145-162 |
