default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2011: Edinburgh, UK
- Alexander B. Romanovsky, Tullio Vardanega
:
Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science 6652, Springer 2011, ISBN 978-3-642-21337-3
Keynote Talk
- Jeffrey O'Leary:
Assuring Software Reliability While Using Web Services and Commercial Products. 1-16
Multicore
- Syed Aoun Raza, Stefan Franke, Erhard Ploedereder:
Detecting High-Level Synchronization Errors in Parallel Programs. 17-30 - Fabien Chouteau, José F. Ruiz:
Design and Implementation of a Ravenscar Extension for Multiprocessors. 31-45 - Sergio Sáez, Silvia Terrasa, Alfons Crespo:
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012. 46-60
Verification
- Thierry Coq, Jean-Pierre Rosen:
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code. 61-74 - Dan Eilers, Tero Koskinen:
Adapting ACATS to the Ahven Testing Framework. 75-88 - Julio L. Medina, Álvaro Garcia Cuesta:
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE. 89-102
Architecture and Modelling
- Andreas Johnsen, Kristina Lundqvist:
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL. 103-117 - Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario:
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. 118-131 - Iago Rodríguez-López, Marisol García-Valls:
Architecting a Common Bridge Abstraction over Different Middleware Paradigms. 132-146
Education and Mixed Criticality
- Rigoberto Chil, Diego Alonso, Francisco J. Ortiz, Juan Angel Pastor:
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot. 147-159 - Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo:
ORK+/XtratuM: An Open Partitioning Platform for Ada. 160-173 - Sanjoy K. Baruah, Alan Burns:
Implementing Mixed Criticality Systems in Ada. 174-188
Panel: Language Paradigms for Multicore Programming
- Erhard Ploedereder:
Programming Languages Meet Multicore. 189-192 - Alan Burns:
Programming Languages for Real-Time Applications Executing on Parallel Hardware. 193-195 - S. Tucker Taft:
Multicore Programming in ParaSail - Parallel Specification and Implementation Language. 196-200 - Kevin Hammond:
Why Parallel Functional Programming Matters: Panel Statement. 201-205
Panel: DO178C and Object-Orientation for Critical Systems
- Roderick Chapman, Trevor Jennings:
OOT, DO-178C and SPARK. 206-210 - Dewi Daniels:
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems. 211-213 - Jean-Pierre Rosen:
Object Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems Panel. 214-218
Signet Library Talk
- Les Hatton:
On the Evolution of Unnatural Language. 219-225
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-28 22:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
