![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Ada-Europe 2017: Vienna, Austria
- 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
- Jorge Garrido
, Juan Zamorano, Alejandro Alonso, Juan Antonio de la Puente
:
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile. 3-17 - Paolo Carletto, Tullio Vardanega
:
Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime. 18-33
Safety and Security
- Roderick Chapman
:
Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...). 37-52 - António Casimiro
, Inês Pinto Gouveia
, José Rufino:
Enforcing Timeliness and Safety in Mission-Critical Systems. 53-69
Timing Verification
- Jorge Garrido
, Shuai Zhao, Alan Burns, Andy J. Wellings:
Supporting Nested Resources in MrsP. 73-86 - Xiaotian Dai
, Alan Burns:
Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems. 87-101 - 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
- Seongho Jeong, Shinhyung Yang
, Bernd Burgstaller:
Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions. 121-136 - Morteza Mohaqeqi, Jakaria Abdullah
, Wang Yi:
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. 137-152 - Alejandro R. Mosteo
:
RxAda: An Ada implementation of the ReactiveX API. 153-166
Panel: The Future of Safety-Minded Languages
- Patrick Rogers, José F. Ruiz, Tristan Gingold, Patrick Bernardi:
A New Ravenscar-Based Profile. 169-183 - Sara Royuela
, Xavier Martorell
, Eduardo Quiñones, Luís Miguel Pinho
:
OpenMP Tasking Model for Ada: Safety and Correctness. 184-200
Mixed Criticality
- Alan Burns, Sanjoy K. Baruah:
Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework. 203-216 - Roberto Medina, Etienne Borde, Laurent Pautet:
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems. 217-232 - 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.