Abstract is missing.
- Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical SystemsAlan Burns. 3-11 [doi]
- Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task ModelMorteza Mohaqeqi, Jakaria Abdullah, Wang Yi 0001. 15-29 [doi]
- Eliminating Data Race Warnings Using CSPMartin Wittiger. 30-43 [doi]
- Real-Time Stream Processing in JavaHai Tao Mei, Ian Gray, Andy J. Wellings. 44-57 [doi]
- Addressing the Regression Test Problem with Change Impact Analysis for AdaAndrew V. Jones. 61-77 [doi]
- Test Case Prioritization Using Online Fault Detection InformationMohsen Laali, Huai Liu, Margaret Hamilton, Maria Spichkova, Heinz W. Schmidt. 78-93 [doi]
- An Experience in Ada Multicore Programming: Parallelisation of a Model Checking EngineFranco Mazzanti. 94-109 [doi]
- Lessons Learned in a Journey Toward Correct-by-Construction Model-Based DevelopmentLaura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega. 113-128 [doi]
- Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-ToleranceWafa Gabsi, Bechir Zalila, Mohamed Jmaiel. 129-144 [doi]
- Kronecker Algebra for Static Analysis of Barriers in AdaRobert Mittermayr, Johann Blieberger. 145-159 [doi]
- An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive SchedulingAbhilash Thekkilakattil, Kaiqian Zhu, Yonggao Nie, Radu Dobrin, Sasikumar Punnekkat. 163-178 [doi]
- The Polling Effect on the Schedulability of Distributed Real-Time SystemsHéctor Pérez, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia. 179-194 [doi]
- Combining Time-Triggered Plans with Priority Scheduled Task SetsJorge Real, Sergio Saez, Alfons Crespo. 195-212 [doi]