Ada-Europe 2008: Venice, Italy

• Santiago Urueña, José Antonio Pulido, Jorge López, Juan Zamorano, Juan Antonio de la Puente:
  A New Approach to Memory Partitioning in On-Board Spacecraft Software. 1-14
  Electronic Edition (link) BibTeX
• Marco Di Natale:
  Design and Development of Component-Based Embedded Systems for Automotive Applications. 15-29
  Electronic Edition (link) BibTeX
• Iulian Ober, Nicolas Halbwachs:
  On the Timed Automata-Based Verification of Ravenscar Systems. 30-43
  Electronic Edition (link) BibTeX
• Irfan Hamid, Elie Najm:
  Operational Semantics of Ada Ravenscar. 44-58
  Electronic Edition (link) BibTeX
• Claude Evéquoz:
  Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives. 59-72
  Electronic Edition (link) BibTeX
• Christine Choppy, Laure Petrucci, Gianna Reggio:
  A Modelling Approach with Coloured Petri Nets. 73-86
  Electronic Edition (link) BibTeX
• Laura Carnevali, Leonardo Grassi, Enrico Vicario:
  A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. 87-100
  Electronic Edition (link) BibTeX
• Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre:
  Concurrent Program Metrics Drawn by Quasar. 101-114
  Electronic Edition (link) BibTeX
• Benjamin M. Brosgol:
  A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM. 115-129
  Electronic Edition (link) BibTeX
• Raul Fechete, Georg Kienesberger, Johann Blieberger:
  A Framework for CFG-Based Static Program Analysis of Ada Programs. 130-143
  Electronic Edition (link) BibTeX
• Florian Villoing, Emmanuel Briot:
  A Type-Safe Database Interface. 144-157
  Electronic Edition (link) BibTeX
• Diego Alonso, Cristina Vicente-Chicote, Juan A. Pastor, Bárbara Álvarez:
  StateML^+s: From Graphical State Machine Models to Thread-Safe Ada Code. 158-170
  Electronic Edition (link) BibTeX
• Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin:
  Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems. 171-184
  Electronic Edition (link) BibTeX
• Sri Hari Krishna Narayanan, Mahmut T. Kandemir:
  A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions. 185-198
  Electronic Edition (link) BibTeX
• Robert G. Pettit IV:
  Increasing Confidence in Concurrent Software through Architectural Analysis. 199-210
  Electronic Edition (link) BibTeX
• Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen:
  Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness. 211-225
  Electronic Edition (link) BibTeX
• Aoun Raza, Gunther Vogel:
  RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. 226-239
  Electronic Edition (link) BibTeX
• Frank Singhoff, Alain Plantec, Pierre Dissaux:
  Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project. 240-253
  Electronic Edition (link) BibTeX
• Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina:
  An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications. 254-267
  Electronic Edition (link) BibTeX
• Héctor Pérez, J. Javier Gutiérrez, Daniel Sangorrín, Michael González Harbour:
  Real-Time Distribution Middleware from the Ada Perspective. 268-281
  Electronic Edition (link) BibTeX