|
Search the dblp DataBase
Gustaf Naeser:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Gustaf Naeser, Kristina Lundqvist
Component-Based Approach to Run-Time Kernel Specification and Verification. [Citation Graph (0, 0)][DBLP] ECRTS, 2005, pp:68-76 [Conf]
- Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
Incremental Requirement Specification for Evolving Systems. [Citation Graph (0, 0)][DBLP] FIW, 2000, pp:145-162 [Conf]
- Gustaf Naeser, Johan Furunäs
Extended abstract: evaluation of delay queues for a Ravenscar HW kernel. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2005, pp:247-248 [Conf]
- Gustaf Naeser, Lars Asplund, Johan Furunäs
SafetyChip: a time monitoring and policing device. [Citation Graph (0, 0)][DBLP] SIGAda, 2005, pp:63-68 [Conf]
- Gustaf Naeser, Kristina Lundqvist, Lars Asplund
Temporal skeletons for verifying time. [Citation Graph (0, 0)][DBLP] SIGAda, 2005, pp:49-56 [Conf]
- Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
Incremental Requirement Specification for Evolving Systems. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 2001, v:8, n:1, pp:65-87 [Journal]
Search in 0.001secs, Finished in 0.001secs
|