Fabrice Kordon, Yvon Kermarrec (Eds.):
Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings.
Lecture Notes in Computer Science 5570 Springer 2009, ISBN 978-3-642-01923-4 
- Alessandro Zovi, Tullio Vardanega:
Requirements on the Target Programming Language for High-Integrity MDE.
1-15
- Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente:
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.
16-29
- Julien Delange, Laurent Pautet, Peter H. Feiler:
Validating Safety and Security Requirements for Partitioned Architectures.
30-43
- Man Fai Lau, Yuen-Tak Yu:
On Comparing Testing Criteria for Logical Decisions.
44-58
- Didier Buchs, Levi Lucio, Ang Chen:
Model Checking Techniques for Test Generation from Business Process Models.
59-74
- Francisco J. Montoya-Dato, José Luis Fernández Alemán, Ginés García-Mateos:
An Experience on Ada Programming Using On-Line Judging.
75-89
- Claude Kaiser, Jean-François Pradat-Peyre:
Weak Fairness Semantic Drawbacks in Java Multithreading.
90-104
- Mario Aldea Rivas, Michael González Harbour, José F. Ruiz:
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.
105-118
- Alan Burns, Andy J. Wellings, Fengxiang Zhang:
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005.
119-133
- Amine Marref, Guillem Bernat:
Predicated Worst-Case Execution-Time Analysis.
134-148
- Sergio Saez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo:
Implementing Reactive Systems with UML State Machines and Ada 2005.
149-163
- José L. Fernández-Sánchez, Gloria Mármol Acitores:
Modelling and Evaluating Real-Time Software Architectures.
164-176
- Liliana Favre:
A Formal Foundation for Metamodeling.
177-191
- Lei Pi, Jean-Paul Bodeveix, Mamoun Filali:
Modeling AADL Data Communication with BIP.
192-206
- Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat:
Formal Verification of AADL Specifications in the Topcased Environment.
207-221
- Oleg Sokolsky, Insup Lee, Duncan Clarke:
Process-Algebraic Interpretation of AADL Models.
222-236
- Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérôme Hugues:
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.
237-250
- Eric Le Pors, Olivier Grisvard:
Conceptual Modeling for System Requirements Enhancement.
251-265
- Christine Choppy, Olivier Bertrand, Patrice Carle:
Coloured Petri Nets for Chronicle Recognition.
266-281
Last update Wed May 22 00:06:08 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
