Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642386008, 9783642386015

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tasklettes – A Fine Grained Parallelism for Ada on Multicores

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38601-5_2 ◽

2013 ◽

pp. 17-34 ◽

Cited By ~ 9

Author(s):

Stephen Michell ◽

Brad Moore ◽

Luís Miguel Pinho

Keyword(s):

Fine Grained ◽

Fine Grained Parallelism

Download Full-text

Towards a Time-Composable Operating System

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38601-5_10 ◽

2013 ◽

pp. 143-160 ◽

Cited By ~ 2

Author(s):

Andrea Baldovin ◽

Enrico Mezzetti ◽

Tullio Vardanega

Keyword(s):

Operating System

Download Full-text

Lady Ada Mediates Peace Treaty in Endianness War

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38601-5_5 ◽

2013 ◽

pp. 65-80

Author(s):

Thomas Quinot ◽

Eric Botcazou

Keyword(s):

Peace Treaty

Download Full-text

Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38601-5_3 ◽

2013 ◽

pp. 35-50 ◽

Cited By ~ 1

Author(s):

J. Reinier van Kampenhout ◽

Robert Hilbrich

Keyword(s):

Multicore Processors ◽

Model Based ◽

Mission Critical

Download Full-text

A SPARK/Ada CubeSat Control Program

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38601-5_4 ◽

2013 ◽

pp. 51-64 ◽

Cited By ~ 2

Author(s):

Carl Brandon ◽

Peter Chapin

Keyword(s):

Control Program

Download Full-text

Worst–Case Execution Time Analysis Approach for Safety–Critical Airborne Software

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38601-5_11 ◽

2013 ◽

pp. 161-176 ◽

Cited By ~ 1

Author(s):

Esteban Asensio ◽

Ismael Lafoz ◽

Andrew Coombes ◽

Julian Navas

Keyword(s):

Execution Time ◽

Analysis Approach ◽

Time Analysis ◽

Worst Case ◽

Safety Critical ◽

Worst Case Execution Time

Download Full-text

Measuring the Odds of Statements Being Faulty

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38601-5_8 ◽

2013 ◽

pp. 109-126 ◽

Cited By ~ 4

Author(s):

Xiaozhen Xue ◽

Akbar Siami Namin

Download Full-text

Experience with the Integration of Distribution Middleware into Partitioned Systems

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38601-5_1 ◽

2013 ◽

pp. 1-16 ◽

Cited By ~ 3

Author(s):

Héctor Pérez ◽

J. Javier Gutiérrez

Download Full-text

Provably Secure DNS: A Case Study in Reliable Software

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38601-5_6 ◽

2013 ◽

pp. 81-93 ◽

Cited By ~ 2

Author(s):

Barry Fagin ◽

Martin Carlisle

Keyword(s):

Reliable Software ◽

Provably Secure

Download Full-text

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38601-5_7 ◽

2013 ◽

pp. 95-108 ◽

Cited By ~ 3

Author(s):

Irene Bicchierai ◽

Giacomo Bucci ◽

Carlo Nocentini ◽

Enrico Vicario

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Tasklettes – A Fine Grained Parallelism for Ada on Multicores

Towards a Time-Composable Operating System

Lady Ada Mediates Peace Treaty in Endianness War

Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors

A SPARK/Ada CubeSat Control Program

Worst–Case Execution Time Analysis Approach for Safety–Critical Airborne Software

Measuring the Odds of Statements Being Faulty

Experience with the Integration of Distribution Middleware into Partitioned Systems

Provably Secure DNS: A Case Study in Reliable Software

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems

Reliable Software Technologies – Ada-Europe 2013 - Lecture Notes in Computer Science
Latest Publications