Ada-Europe 2009: Brest, France

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

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/ZoviV09
- ask others
Alessandro Zovi, Tullio Vardanega: Requirements on the Target Programming Language for High-Integrity MDE. 1-15
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/UruenaZP09
- ask others
Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente: A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. 16-29
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/DelangePF09
- ask others
Julien Delange, Laurent Pautet, Peter H. Feiler: Validating Safety and Security Requirements for Partitioned Architectures. 30-43
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/LauY09
- ask others
Man Fai Lau, Yuen-Tak Yu: On Comparing Testing Criteria for Logical Decisions. 44-58
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/BuchsLC09
- ask others
Didier Buchs, Levi Lucio, Ang Chen: Model Checking Techniques for Test Generation from Business Process Models. 59-74
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/Montoya-DatoAG09
- ask others
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
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/KaiserP09
- ask others
Claude Kaiser, Jean-François Pradat-Peyre: Weak Fairness Semantic Drawbacks in Java Multithreading. 90-104
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/RivasHR09
- ask others
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
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/BurnsWZ09
- ask others
Alan Burns, Andy J. Wellings, Fengxiang Zhang: Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. 119-133
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/MarrefB09
- ask others
Amine Marref, Guillem Bernat: Predicated Worst-Case Execution-Time Analysis. 134-148
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/SaezTGC09
- ask others
Sergio Saez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo: Implementing Reactive Systems with UML State Machines and Ada 2005. 149-163
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/Fernandez-SanchezA09
- ask others
José L. Fernández-Sánchez, Gloria Mármol Acitores: Modelling and Evaluating Real-Time Software Architectures. 164-176
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/Favre09
- ask others
Liliana Favre: A Formal Foundation for Metamodeling. 177-191
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/PiBF09
- ask others
Lei Pi, Jean-Paul Bodeveix, Mamoun Filali: Modeling AADL Data Communication with BIP. 192-206
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/BerthomieuBCDFV09
- ask others
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
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/SokolskyLC09
- ask others
Oleg Sokolsky, Insup Lee, Duncan Clarke: Process-Algebraic Interpretation of AADL Models. 222-236
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/LasnierZPH09
- ask others
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
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/PorsG09
- ask others
Eric Le Pors, Olivier Grisvard: Conceptual Modeling for System Requirements Enhancement. 251-265
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adaEurope/ChoppyBC09
- ask others
Christine Choppy, Olivier Bertrand, Patrice Carle: Coloured Petri Nets for Chronicle Recognition. 266-281