A Platform for Secure Mobile Agents. - Johan Arthursson; Jakob Engblom; Ing-Marie Jonsson; Rehan Mirza; Gustaf Naeser; Mikael Olsson; Robert Ottenhag; Dan Sahlin; Maria Schmid; Bertil Spolander; Elham Zolfonoon (PAAM, 1997)

Incremental Requirement Specification for Evolving Systems. - Bengt Jonsson 001; Tiziana Margaria; Gustaf Naeser; Jan Nyström; Bernhard Steffen (Nord. J. Comput., 2001)

Component-Based Approach to Run-Time Kernel Specification and Verification. - Gustaf Naeser; Kristina Lundqvist (ECRTS, 2005)

Extended abstract: evaluation of delay queues for a Ravenscar HW kernel. - Gustaf Naeser; Johan Furunäs (MEMOCODE, 2005)

SafetyChip: a time monitoring and policing device. - Gustaf Naeser; Lars Asplund; Johan Furunäs (SIGAda, 2005)

Temporal skeletons for verifying time. - Gustaf Naeser; Kristina Lundqvist; Lars Asplund (SIGAda, 2005)