Ada-Europe

Keyphrases

Publications

2018

Stefano Munari, Sebastiano Valle, Tullio Vardanega
Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies. Ada-Europe (2018)
Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks. Ada-Europe (2018)
Omar Jaradat, Sasikumar Punnekkat
Using Safety Contracts to Verify Design Assumptions During Runtime. Ada-Europe (2018)
Jorge Real, Sergio Sáez, Alfons Crespo
Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar. Ada-Europe (2018)
Maroua Maalej, S. Tucker Taft, Yannick Moy
Safe Dynamic Memory Management in Ada and SPARK. Ada-Europe (2018)
Filip Markovic, Jan Carlson, Radu Dobrin
Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling. Ada-Europe (2018)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. Ada-Europe (2018)
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP. Ada-Europe (2018)
Johann Blieberger, Bernd Burgstaller
Safe Non-blocking Synchronization in Ada2x. Ada-Europe (2018)
J. Javier Gutiérrez, Héctor Pérez
Theory and Practice of EDF Scheduling in Distributed Real-Time Systems. Ada-Europe (2018)

volume 10873, 2018

Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings Ada-Europe 10873 (2018)

2017

volume 10300, 2017

Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings Ada-Europe 10300 (2017)

2016

volume 9695, 2016

Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings Ada-Europe 9695 (2016)

2015

volume 9111, 2015

Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings Ada-Europe 9111 (2015)