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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319390826, 9783319390833

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Addressing the Regression Test Problem with Change Impact Analysis for Ada

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

10.1007/978-3-319-39083-3_5 ◽

2016 ◽

pp. 61-77 ◽

Cited By ~ 1

Author(s):

Andrew V. Jones

Keyword(s):

Test Problem ◽

Impact Analysis ◽

Change Impact Analysis ◽

Regression Test ◽

Change Impact

Download Full-text

Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance

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

10.1007/978-3-319-39083-3_9 ◽

2016 ◽

pp. 129-144

Author(s):

Wafa Gabsi ◽

Bechir Zalila ◽

Mohamed Jmaiel

Keyword(s):

Fault Tolerance

Download Full-text

Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems

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

10.1007/978-3-319-39083-3_1 ◽

2016 ◽

pp. 3-11 ◽

Cited By ~ 1

Author(s):

Alan Burns

Keyword(s):

Programming Languages ◽

Expressive Power ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Combining Time-Triggered Plans with Priority Scheduled Task Sets

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

10.1007/978-3-319-39083-3_13 ◽

2016 ◽

pp. 195-212 ◽

Cited By ~ 3

Author(s):

Jorge Real ◽

Sergio Sáez ◽

Alfons Crespo

Keyword(s):

Task Sets

Download Full-text

Kronecker Algebra for Static Analysis of Barriers in Ada

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

10.1007/978-3-319-39083-3_10 ◽

2016 ◽

pp. 145-159 ◽

Cited By ~ 3

Author(s):

Robert Mittermayr ◽

Johann Blieberger

Keyword(s):

Static Analysis ◽

Kronecker Algebra

Download Full-text

An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine

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

10.1007/978-3-319-39083-3_7 ◽

2016 ◽

pp. 94-109 ◽

Cited By ~ 2

Author(s):

Franco Mazzanti

Keyword(s):

Model Checking ◽

Multicore Programming

Download Full-text

The Polling Effect on the Schedulability of Distributed Real-Time Systems

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

10.1007/978-3-319-39083-3_12 ◽

2016 ◽

pp. 179-194

Author(s):

Héctor Pérez ◽

J. Javier Gutiérrez ◽

Michael González Harbour ◽

J. Carlos Palencia

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development

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

10.1007/978-3-319-39083-3_8 ◽

2016 ◽

pp. 113-128 ◽

Cited By ~ 1

Author(s):

Laura Baracchi ◽

Silvia Mazzini ◽

Stefano Puri ◽

Tullio Vardanega

Keyword(s):

Lessons Learned ◽

Model Based ◽

Construction Model

Download Full-text

Eliminating Data Race Warnings Using CSP

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

10.1007/978-3-319-39083-3_3 ◽

2016 ◽

pp. 30-43

Author(s):

Martin Wittiger

Keyword(s):

Data Race

Download Full-text

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model

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

10.1007/978-3-319-39083-3_2 ◽

2016 ◽

pp. 15-29 ◽

Cited By ~ 4

Author(s):

Morteza Mohaqeqi ◽

Jakaria Abdullah ◽

Wang Yi

Keyword(s):

Real Time ◽

Data Flow ◽

Modeling And Analysis ◽

Time Task ◽

Task Model ◽

Data Flow Graphs ◽

Flow Graphs

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Addressing the Regression Test Problem with Change Impact Analysis for Ada

Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance

Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems

Combining Time-Triggered Plans with Priority Scheduled Task Sets

Kronecker Algebra for Static Analysis of Barriers in Ada

An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine

The Polling Effect on the Schedulability of Distributed Real-Time Systems

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development

Eliminating Data Race Warnings Using CSP

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model

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