default search action

combined dblp search
author search
venue search
publication search

ask others

Ada-Europe 2016: Pisa, Italy

> Home > Conferences and Workshops > Ada-Europe

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/2016
Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones:
Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings. Lecture Notes in Computer Science 9695, Springer 2016, ISBN 978-3-319-39082-6

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Burns16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Burns16
Alan Burns:
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems. 3-11

Concurrency and Parallelism

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MohaqeqiAY16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MohaqeqiAY16
Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi:
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. 15-29
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Wittiger16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Wittiger16
Martin Wittiger:
Eliminating Data Race Warnings Using CSP. 30-43
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MeiGW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MeiGW16
HaiTao Mei, Ian Gray, Andy J. Wellings:
Real-Time Stream Processing in Java. 44-57

Testing and Verification

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Jones16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Jones16
Andrew V. Jones:
Addressing the Regression Test Problem with Change Impact Analysis for Ada. 61-77
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/LaaliLHSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/LaaliLHSS16
Mohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt:
Test Case Prioritization Using Online Fault Detection Information. 78-93
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Mazzanti16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Mazzanti16
Franco Mazzanti:
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine. 94-109

Program Correctness and Robustness

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BaracchiMPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BaracchiMPV16
Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega:
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development. 113-128
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/GabsiZJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/GabsiZJ16
Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel:
Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. 129-144
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MittermayrB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MittermayrB16
Robert Mittermayr, Johann Blieberger:
Kronecker Algebra for Static Analysis of Barriers in Ada. 145-159

Real-Time Systems

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/ThekkilakattilZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/ThekkilakattilZ16
Abhilash Thekkilakattil, Kaiqian Zhu, Yonggao Nie, Radu Dobrin, Sasikumar Punnekkat:
An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling. 163-178
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/PerezGHP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/PerezGHP16
Héctor Pérez, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia:
The Polling Effect on the Schedulability of Distributed Real-Time Systems. 179-194
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/RealSC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/RealSC16
Jorge Real, Sergio Sáez, Alfons Crespo:
Combining Time-Triggered Plans with Priority Scheduled Task Sets. 195-212

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.