![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Ada-Europe 2016: Pisa, Italy
- 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
- Alan Burns:
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems. 3-11
Concurrency and Parallelism
- Morteza Mohaqeqi, Jakaria Abdullah
, Wang Yi:
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. 15-29 - Martin Wittiger
:
Eliminating Data Race Warnings Using CSP. 30-43 - HaiTao Mei, Ian Gray, Andy J. Wellings:
Real-Time Stream Processing in Java. 44-57
Testing and Verification
- Andrew V. Jones:
Addressing the Regression Test Problem with Change Impact Analysis for Ada. 61-77 - Mohsen Laali, Huai Liu, Margaret Hamilton
, Maria Spichkova, Heinz W. Schmidt:
Test Case Prioritization Using Online Fault Detection Information. 78-93 - Franco Mazzanti:
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine. 94-109
Program Correctness and Robustness
- Laura Baracchi
, Silvia Mazzini, Stefano Puri, Tullio Vardanega
:
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development. 113-128 - Wafa Gabsi
, Bechir Zalila
, Mohamed Jmaiel:
Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. 129-144 - Robert Mittermayr, Johann Blieberger
:
Kronecker Algebra for Static Analysis of Barriers in Ada. 145-159
Real-Time Systems
- 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 - 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 - Jorge Real
, Sergio Sáez
, Alfons Crespo
:
Combining Time-Triggered Plans with Priority Scheduled Task Sets. 195-212
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.