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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540732297, 9783540732303

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Static Detection of Livelocks in Ada Multitasking Programs

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

10.1007/978-3-540-73230-3_6 ◽

2007 ◽

pp. 69-83 ◽

Cited By ~ 3

Author(s):

Johann Blieberger ◽

Bernd Burgstaller ◽

Robert Mittermayr

Keyword(s):

Static Detection

Download Full-text

An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers

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

10.1007/978-3-540-73230-3_8 ◽

2007 ◽

pp. 100-113 ◽

Cited By ~ 3

Author(s):

Gyun Woo ◽

Heung Seok Chae ◽

Hanil Jang

Keyword(s):

Intermediate Representation ◽

Test Suites

Download Full-text

ArchMDE Approach for the Development of Embedded Real Time Systems

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

10.1007/978-3-540-73230-3_11 ◽

2007 ◽

pp. 142-154 ◽

Cited By ~ 1

Author(s):

Nourchène Elleuch ◽

Adel Khalfallah ◽

Samir Ben Ahmed

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Real-Time Utilities for Ada 2005

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

10.1007/978-3-540-73230-3_1 ◽

2007 ◽

pp. 1-14 ◽

Cited By ~ 7

Author(s):

Andy Wellings ◽

Alan Burns

Keyword(s):

Real Time

Download Full-text

Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research

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

10.1007/978-3-540-73230-3_17 ◽

2007 ◽

pp. 221-234 ◽

Cited By ~ 2

Author(s):

Alejandro R. Mosteo ◽

Luis Montano

Keyword(s):

Mobile Robotics ◽

General Purpose

Download Full-text

Design and Performance of a Generic Consensus Component for Critical Distributed Applications

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

10.1007/978-3-540-73230-3_16 ◽

2007 ◽

pp. 208-220

Author(s):

Khaled Barbaria ◽

Jerome Hugues ◽

Laurent Pautet

Keyword(s):

Distributed Applications ◽

And Performance

Download Full-text

A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis

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

10.1007/978-3-540-73230-3_10 ◽

2007 ◽

pp. 128-141 ◽

Cited By ~ 9

Author(s):

Marco Panunzio ◽

Tullio Vardanega

Keyword(s):

Timing Analysis ◽

Model Based ◽

Advanced Model

Download Full-text

Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks

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

10.1007/978-3-540-73230-3_7 ◽

2007 ◽

pp. 84-99 ◽

Cited By ~ 9

Author(s):

W. K. Chan ◽

Tsong Y. Chen ◽

S. C. Cheung ◽

T. H. Tse ◽

Zhenyu Zhang

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor ◽

Software Applications

Download Full-text

Handling Temporal Faults in Ada 2005

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

10.1007/978-3-540-73230-3_2 ◽

2007 ◽

pp. 15-28 ◽

Cited By ~ 1

Author(s):

José A. Pulido ◽

Santiago Urueña ◽

Juan Zamorano ◽

Juan A. de la Puente

Download Full-text

Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT

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

10.1007/978-3-540-73230-3_3 ◽

2007 ◽

pp. 29-40 ◽

Cited By ~ 1

Author(s):

Mario Aldea Rivas ◽

José F. Ruiz

Keyword(s):

Real Time

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Static Detection of Livelocks in Ada Multitasking Programs

An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers

ArchMDE Approach for the Development of Embedded Real Time Systems

Real-Time Utilities for Ada 2005

Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research

Design and Performance of a Generic Consensus Component for Critical Distributed Applications

A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis

Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks

Handling Temporal Faults in Ada 2005

Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT

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