Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ada-Europe 2018: Lisbon, Portugal

> 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/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/2018
António Casimiro, Pedro Miguel Ferreira:
Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. Lecture Notes in Computer Science 10873, Springer 2018, ISBN 978-3-319-92431-1

Safety and Security

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/JaradatP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/JaradatP18
Omar Jaradat, Sasikumar Punnekkat:
Using Safety Contracts to Verify Design Assumptions During Runtime. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/SljivoGCHP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/SljivoGCHP18
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri:
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation. 19-33

Ada 202X

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MaalejTM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MaalejTM18
Maroua Maalej, S. Tucker Taft, Yannick Moy:
Safe Dynamic Memory Management in Ada and SPARK. 37-52
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BliebergerB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BliebergerB18
Johann Blieberger, Bernd Burgstaller:
Safe Non-blocking Synchronization in Ada2x. 53-69

Handling Implicit Overhead

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/GarridoZAP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/GarridoZAP18
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. 73-86
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MarkovicCD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MarkovicCD18
Filip Markovic, Jan Carlson, Radu Dobrin:
Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling. 87-101

Real-Time Scheduling

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/RealSC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/RealSC18
Jorge Real, Sergio Sáez, Alfons Crespo:
Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar. 105-122
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/GutierrezP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/GutierrezP18
J. Javier Gutiérrez, Héctor Pérez:
Theory and Practice of EDF Scheduling in Distributed Real-Time Systems. 123-137

New Application Domains

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/RoyuelaMQP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/RoyuelaMQP18
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho:
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP. 141-157
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MunariVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MunariVV18
Stefano Munari, Sebastiano Valle, Tullio Vardanega:
Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies. 158-174

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.