SIGAda 2007 Final Program
SIGAda 2007
Authors and Papers

Author/Co-Author

Title of Paper

Leemon C. Baird III Timing Neural Networks in C and Ada
Denise S. Beidleman Assessment of String Tests Strategy for an En-Route Air Traffic Control System
Martin C. Carlisle Timing Neural Networks in C and Ada
Robert Dewar The Ada Compiler as a Static Analysis Tool
Michael B. Feldman SIGAda 2008 Conference Announcement
Tyler B. Hallmark Parallel Evolution of Game Evaluation Functions in Ada
Wilson Ifill Towards a Demonstrably Correct Ada Compiler
Kung-Kiu Lau Verified Component-based Software in SPARK: Experimental Results for a Missile Guidance System
Kung-Kiu Lau Using SPARK for a Beginner's Course on Reasoning about Imperative Programs
Luke Ludwig Generic Discrete Event Simulations Using DEGAS: Application to Logic Design and Digital Signal Processing
Colin Marsh Towards a Demonstrably Correct Ada Compiler
W. Douglas Maurer Using Mathematics To Improve Ada Compiled Code, Part 2: The Proof
Chris Nettleton Towards a Demonstrably Correct Ada Compiler
Karl A. Nyberg Multi-Core + Multi-Tasking = Multi-Opportunity
Jeff O'Leary Assessment of String Tests Strategy for an En-Route Air Traffic Control System
Alain Plantec AADL Modeling and Analysis of Hierarchical Schedulers
Paul Pukite Generic Discrete Event Simulations Using DEGAS: Application to Logic Design and Digital Signal Processing
Eugene K. Ressler Parallel Evolution of Game Evaluation Functions in Ada
Frank Singhoff AADL Modeling and Analysis of Hierarchical Schedulers
Alok Srivastava Assessment of String Tests Strategy for an En-Route Air Traffic Control System
Ricky E. Sward Using Ada in a Service-Oriented Architecture
Tullio Vardanega Ada-Europe'2008 Conference Announcement
Zheng Wang Verified Component-based Software in SPARK: Experimental Results for a Missile Guidance System
Fred Woodard Assessment of String Tests Strategy for an En-Route Air Traffic Control System

Back to Main Page Back to Main Page
last updated 3 November 2007 - cgr