Gustaf Naeser

According to our database, Gustaf Naeser authored at least 6 papers between 1997 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Temporal skeletons for verifying time.

Gustaf Naeser, Kristina Lundqvist, Lars Asplund

Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, 2005

SafetyChip: a time monitoring and policing device.

Gustaf Naeser, Lars Asplund, Johan Furunäs

Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, 2005

Extended abstract: evaluation of delay queues for a Ravenscar HW kernel.

Gustaf Naeser, Johan Furunäs

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Component-Based Approach to Run-Time Kernel Specification and Verification.

Gustaf Naeser, Kristina Lundqvist

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

2001

Incremental Requirement Specification for Evolving Systems.

Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nyström, Bernhard Steffen

Nord. J. Comput., 2001

1997

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

Proceedings of the Second International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1997