Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-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
a service of 
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.
last updated on 2024-06-28 23:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
