Gustaf Naeser

Publication Activity (10 Years)

Years Active: 1997-2005
Publications (10 Years): 0

Publications

Gustaf Naeser, Kristina Lundqvist, Lars Asplund
Temporal skeletons for verifying time. SIGAda (2005)
Gustaf Naeser, Kristina Lundqvist
Component-Based Approach to Run-Time Kernel Specification and Verification. ECRTS (2005)
Gustaf Naeser, Johan Furunäs
Extended abstract: evaluation of delay queues for a Ravenscar HW kernel. MEMOCODE (2005)
Gustaf Naeser, Lars Asplund, Johan Furunäs
SafetyChip: a time monitoring and policing device. SIGAda (2005)
Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
Incremental Requirement Specification for Evolving Systems. Nord. J. Comput. 8 (1) (2001)
Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen
Incremental Requirement Specification for Evolving Systems. FIW (2000)
Johan Arthursson, Jakob Engblom, Ing-Marie Jonsson, Rehan Mirza, Gustaf Naeser, Mikael Olsson, Robert Ottenhag, Dan Sahlin, Maria Schmid, Bertil Spolander, Elham Zolfonoon
A Platform for Secure Mobile Agents. PAAM (1997)