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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540346630, 9783540346647

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Adaptive Random Testing Through Iterative Partitioning

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

10.1007/11767077_13 ◽

2006 ◽

pp. 155-166 ◽

Cited By ~ 10

Author(s):

T. Y. Chen ◽

De Hao Huang ◽

Zhi Quan Zhou

Keyword(s):

Random Testing ◽

Adaptive Random Testing ◽

Iterative Partitioning

Download Full-text

Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

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

10.1007/11767077_14 ◽

2006 ◽

pp. 167-178 ◽

Cited By ~ 2

Author(s):

Jingde Cheng

Keyword(s):

Real Time ◽

Real Time Systems ◽

Run Time ◽

Ada 95 ◽

Time Systems

Download Full-text

Using Mathematics to Improve Ada Compiled Code

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

10.1007/11767077_16 ◽

2006 ◽

pp. 191-202 ◽

Cited By ~ 1

Author(s):

Ward Douglas Maurer

Keyword(s):

Compiled Code

Download Full-text

Hierarchical Scheduling with Ada 2005

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

10.1007/11767077_1 ◽

2006 ◽

pp. 1-12 ◽

Cited By ~ 5

Author(s):

José A. Pulido ◽

Santiago Urueña ◽

Juan Zamorano ◽

Tullio Vardanega ◽

Juan A. de la Puente

Keyword(s):

Hierarchical Scheduling

Download Full-text

Interchangeable Scheduling Policies in Real-Time Middleware for Distribution

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

10.1007/11767077_19 ◽

2006 ◽

pp. 227-240 ◽

Cited By ~ 5

Author(s):

Juan López Campos ◽

J. Javier Gutiérrez ◽

Michael González Harbour

Keyword(s):

Real Time ◽

Scheduling Policies

Download Full-text

The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems

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

10.1007/11767077_18 ◽

2006 ◽

pp. 215-226

Author(s):

Santiago Urueña ◽

Juan Zamorano ◽

Daniel Berjón ◽

José A. Pulido ◽

Juan A. de la Puente

Keyword(s):

Distributed Systems ◽

Real Time ◽

Communication Protocol ◽

High Integrity

Download Full-text

Replication-Aware Transactions: How to Roll a Transaction over Failures

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

10.1007/11767077_17 ◽

2006 ◽

pp. 203-214 ◽

Cited By ~ 3

Author(s):

Mohsen Sharifi ◽

Hadi Salimi

Download Full-text

Towards Developing Multi-agent Systems in Ada

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

10.1007/11767077_11 ◽

2006 ◽

pp. 131-142

Author(s):

G. Aranda ◽

J. Palanca ◽

A. Espinosa ◽

A. Terrasa ◽

A. García-Fornes

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Multi Agent

Download Full-text

A Software Reliability Model Based on a Geometric Sequence of Failure Rates

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

10.1007/11767077_12 ◽

2006 ◽

pp. 143-154 ◽

Cited By ~ 4

Author(s):

Stefan Wagner ◽

Helmut Fischer

Keyword(s):

Software Reliability ◽

Reliability Model ◽

Failure Rates ◽

Model Based ◽

Software Reliability Model ◽

Geometric Sequence

Download Full-text

POSIX Trace Based Behavioural Reflection

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

10.1007/11767077_3 ◽

2006 ◽

pp. 27-39

Author(s):

Filipe Valpereiro ◽

Luís Miguel Pinho

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Adaptive Random Testing Through Iterative Partitioning

Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems

Using Mathematics to Improve Ada Compiled Code

Hierarchical Scheduling with Ada 2005

Interchangeable Scheduling Policies in Real-Time Middleware for Distribution

The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems

Replication-Aware Transactions: How to Roll a Transaction over Failures

Towards Developing Multi-agent Systems in Ada

A Software Reliability Model Based on a Geometric Sequence of Failure Rates

POSIX Trace Based Behavioural Reflection

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