SIGAda 2005
Authors and Papers

Author/Co-Author	Title of Paper
Lars Asplund	Temporal Skeletons for Verifying Time
Lars Asplund	SafetyChip: A Time Monitoring and Police Device
Howard Ausden	Using ASIS to Generate C++ Bindings
Leemon C. Baird III	Optimizing the SPARK Program Slicer
Andrew Berns	A Comparison of CORBA and Ada's Distributed Systems Annex
Greg Bowers	Orchestrating Shots for the National Ignition Facility (NIF)
Robert Carey	Orchestrating Shots for the National Ignition Facility (NIF)
Constantinos Constantinides	AspectAda — Aspect Oriented Programming for Ada95
James F. Davis	The Affordable Application of Formal Methods to Software Engineering
J. Furunäs	SafetyChip: A Time Monitoring and Police Device
Hristian Kirtchev	The Implementation of Ada 2005: Synchronized Interfaces in the GNAT Compiler
Dmitry Korochkin	Experimental Performance Analysis of Ada Programs in Cluster System
Alexandr Korochkin	Experimental Performance Analysis of Ada Programs in Cluster System
Jerome Krammen	Orchestrating Shots for the National Ignition Facility (NIF)
J. Legrand	Scheduling and Memory Requirements Analysis with AADL
Kristina Lundqvist	Temporal Skeletons for Verifying Time
L. Marcé	Scheduling and Memory Requirements Analysis with AADL
Matt Mark	Data Sharing Between Ada and C/C++
David Mathisen	Orchestrating Shots for the National Ignition Facility (NIF)
Javier Miranda	The Implementation of Ada 2005: Synchronized Interfaces in the GNAT Compiler
Jim Moore	Avoiding Vulnerabilities in Programming Languages
Gustaf Naeser	SafetyChip: A Time Monitoring and Police Device
Gustaf Naeser	Temporal Skeletons for Verifying Time
L. Nana	Scheduling and Memory Requirements Analysis with AADL
Karl Nyberg	Using ASIS to Generate C++ Bindings
Knut Pedersen	AspectAda — Aspect Oriented Programming for Ada95
Anthony S. Ruocco	Experiences Using SPARK in an Undergraduate CS Course
Imad Salah	Experimental Performance Analysis of Ada Programs in Cluster System
Randy Sanchez	Orchestrating Shots for the National Ignition Facility (NIF)
Xavier Sautejeau	Modeling SPARK Systems with UML
Edmond Schonberg	The Implementation of Ada 2005: Synchronized Interfaces in the GNAT Compiler
Frank Singhoff	Scheduling and Memory Requirements Analysis with AADL
Eric Stout	Orchestrating Shots for the National Ignition Facility (NIF)
Ricky E. Sward	Optimizing the SPARK Program Slicer

---

Created on 7 March 2006.  Comments & suggestions to ClydeRoby at ACM.Org