default search action

combined dblp search
author search
venue search
publication search

ask others

Ada-Europe 2013: Berlin, Germany

> Home > Conferences and Workshops > Ada-Europe

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/2013
Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk:
Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings. Lecture Notes in Computer Science 7896, Springer 2013, ISBN 978-3-642-38600-8

Session: Multicore and Distributed Systems

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PerezG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PerezG13
Héctor Pérez, J. Javier Gutiérrez:
Experience with the Integration of Distribution Middleware into Partitioned Systems. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MichellMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MichellMP13
Stephen Michell, Brad Moore, Luís Miguel Pinho:
Tasklettes - A Fine Grained Parallelism for Ada on Multicores. 17-34
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/KampenhoutH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/KampenhoutH13
J. Reinier van Kampenhout, Robert Hilbrich:
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors. 35-50

Session: Ada and Spark

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BrandonC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BrandonC13
Carl Brandon, Peter Chapin:
A SPARK/Ada CubeSat Control Program. 51-64
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/QuinotB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/QuinotB13
Thomas Quinot, Eric Botcazou:
Lady Ada Mediates Peace Treaty in Endianness War. 65-80

Session: Dependability

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/FaginC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/FaginC13
Barry S. Fagin, Martin C. Carlisle:
Provably Secure DNS: A Case Study in Reliable Software. 81-93
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BicchieraiBNV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BicchieraiBNV13
Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario:
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems. 95-108
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/XueN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/XueN13
Xiaozhen Xue, Akbar Siami Namin:
Measuring the Odds of Statements Being Faulty. 109-126

Session: Real-Time Systems

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/SalazarAMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/SalazarAMP13
Emilio Salazar, Alejandro Alonso, Miguel A. de Miguel, Juan Antonio de la Puente:
A Model-Based Framework for Developing Real-Time Safety Ada Systems. 127-142
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BaldovinMV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BaldovinMV13
Andrea Baldovin, Enrico Mezzetti, Tullio Vardanega:
Towards a Time-Composable Operating System. 143-160
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/AsensioLCN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/AsensioLCN13
Esteban Asensio, Ismael Lafoz, Andrew Coombes, Julian Navas:
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software. 161-176

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.