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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540686217, 9783540686248

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Concurrent Program Metrics Drawn by Quasar

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

10.1007/978-3-540-68624-8_8 ◽

2008 ◽

pp. 101-114

Author(s):

Claude Kaiser ◽

Christophe Pajault ◽

Jean-François Pradat-Peyre

Keyword(s):

Concurrent Program

Download Full-text

A Modelling Approach with Coloured Petri Nets

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

10.1007/978-3-540-68624-8_6 ◽

2008 ◽

pp. 73-86 ◽

Cited By ~ 6

Author(s):

Christine Choppy ◽

Laure Petrucci ◽

Gianna Reggio

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Modelling Approach

Download Full-text

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets

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

10.1007/978-3-540-68624-8_7 ◽

2008 ◽

pp. 87-100 ◽

Cited By ~ 5

Author(s):

Laura Carnevali ◽

Leonardo Grassi ◽

Enrico Vicario

Keyword(s):

Petri Nets ◽

Time Petri Nets

Download Full-text

On the Timed Automata-Based Verification of Ravenscar Systems

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

10.1007/978-3-540-68624-8_3 ◽

2008 ◽

pp. 30-43 ◽

Cited By ~ 2

Author(s):

Iulian Ober ◽

Nicolas Halbwachs

Keyword(s):

Timed Automata

Download Full-text

Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness

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

10.1007/978-3-540-68624-8_16 ◽

2008 ◽

pp. 211-225 ◽

Cited By ~ 2

Author(s):

Sherif F. Fahmy ◽

Binoy Ravindran ◽

E. D. Jensen

Keyword(s):

Real Time ◽

End To End

Download Full-text

A Type-Safe Database Interface

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

10.1007/978-3-540-68624-8_11 ◽

2008 ◽

pp. 144-157

Author(s):

Florian Villoing ◽

Emmanuel Briot

Keyword(s):

Database Interface

Download Full-text

Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives

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

10.1007/978-3-540-68624-8_5 ◽

2008 ◽

pp. 59-72

Author(s):

Claude Evéquoz

Keyword(s):

Single Word ◽

Synchronization Primitives

Download Full-text

RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs

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

10.1007/978-3-540-68624-8_17 ◽

2008 ◽

pp. 226-239 ◽

Cited By ~ 2

Author(s):

Aoun Raza ◽

Gunther Vogel

Keyword(s):

Parallel Programs ◽

Flexible Framework ◽

Data Races

Download Full-text

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions

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

10.1007/978-3-540-68624-8_14 ◽

2008 ◽

pp. 185-198

Author(s):

Sri Hari Krishna Narayanan ◽

Mahmut Kandemir

Keyword(s):

Systematic Approach ◽

Equivalent Program

Download Full-text

Real-Time Distribution Middleware from the Ada Perspective

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

10.1007/978-3-540-68624-8_20 ◽

2008 ◽

pp. 268-281 ◽

Cited By ~ 7

Author(s):

Héctor Pérez ◽

J. Javier Gutiérrez ◽

Daniel Sangorrín ◽

Michael González Harbour

Keyword(s):

Real Time ◽

Time Distribution

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Concurrent Program Metrics Drawn by Quasar

A Modelling Approach with Coloured Petri Nets

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets

On the Timed Automata-Based Verification of Ravenscar Systems

Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness

A Type-Safe Database Interface

Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives

RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions

Real-Time Distribution Middleware from the Ada Perspective

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