Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ada-Europe 2017: Vienna, Austria

> 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/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/2017
Johann Blieberger, Markus Bader:
Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings. Lecture Notes in Computer Science 10300, Springer 2017, ISBN 978-3-319-60587-6

Runtimes

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/GarridoZ0P17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/GarridoZ0P17
Jorge Garrido, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente:
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile. 3-17
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/CarlettoV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/CarlettoV17
Paolo Carletto, Tullio Vardanega:
Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime. 18-33

Safety and Security

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Chapman17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Chapman17
Roderick Chapman:
Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...). 37-52
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/CasimiroGR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/CasimiroGR17
António Casimiro, Inês Pinto Gouveia, José Rufino:
Enforcing Timeliness and Safety in Mission-Critical Systems. 53-69

Timing Verification

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/GarridoZBW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/GarridoZBW17
Jorge Garrido, Shuai Zhao, Alan Burns, Andy J. Wellings:
Supporting Nested Resources in MrsP. 73-86
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/DaiB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/DaiB17
Xiaotian Dai, Alan Burns:
Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems. 87-101
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/DiazFKMHAC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/DiazFKMHAC17
Enrique Díaz, Mikel Fernández, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernández, Jaume Abella, Francisco J. Cazorla:
MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding. 102-118

Programming Models

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/JeongYB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/JeongYB17
Seongho Jeong, Shinhyung Yang, Bernd Burgstaller:
Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions. 121-136
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MohaqeqiA017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MohaqeqiA017
Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi:
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. 137-152
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/Mosteo17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/Mosteo17
Alejandro R. Mosteo:
RxAda: An Ada implementation of the ReactiveX API. 153-166

Panel: The Future of Safety-Minded Languages

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/RogersRGB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/RogersRGB17
Patrick Rogers, José F. Ruiz, Tristan Gingold, Patrick Bernardi:
A New Ravenscar-Based Profile. 169-183
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/RoyuelaMQP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/RoyuelaMQP17
Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho:
OpenMP Tasking Model for Ada: Safety and Correctness. 184-200

Mixed Criticality

- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/BurnsB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/BurnsB17
Alan Burns, Sanjoy K. Baruah:
Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework. 203-216
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MedinaBP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MedinaBP17
Roberto Medina, Etienne Borde, Laurent Pautet:
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. 217-232
- view
  authority control:
- export record
  dblp key:
  - conf/adaEurope/MilutinovicAAAM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adaEurope/MilutinovicAAAM17
Suzana Milutinovic, Jaume Abella, Irune Agirre, Mikel Azkarate-askasua, Enrico Mezzetti, Tullio Vardanega, Francisco J. Cazorla:
Software Time Reliability in the Presence of Cache Memories. 233-249

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.