Proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Johann Blieberger, Markus Bader
Proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2017.

Full names Links ISxN
	doi           = "10.1007/978-3-319-60588-3",
	editor        = "Johann Blieberger and Markus Bader",
	isbn          = "['978-3-319-60587-6', '978-3-319-60588-3']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 10300,
	year          = 2017,

Contents (15 items)

AdaEurope-2017-GarridoZ0P #multi
Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile (JG, JZ, AA0, JAdlP), pp. 3–17.
AdaEurope-2017-CarlettoV #benchmark #comparative #metric #named #runtime
Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime (PC, TV), pp. 18–33.
AdaEurope-2017-Chapman #how
Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...) (RC), pp. 37–52.
AdaEurope-2017-CasimiroGR #safety
Enforcing Timeliness and Safety in Mission-Critical Systems (AC, IG, JR), pp. 53–69.
Supporting Nested Resources in MrsP (JG, SZ0, AB, AJW), pp. 73–86.
AdaEurope-2017-DaiB #execution #predict #realtime #roadmap #worst-case
Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems (XD, AB), pp. 87–101.
AdaEurope-2017-DiazFKMHAC #analysis #bound #manycore #named #probability
MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding (ED, MF, LK, EM, CH, JA, FJC), pp. 102–118.
AdaEurope-2017-JeongYB #transaction #using
Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions (SJ, SY, BB), pp. 121–136.
AdaEurope-2017-MohaqeqiA0 #ada #execution #graph #semantics
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada (MM, JA, WY0), pp. 137–152.
AdaEurope-2017-Mosteo #ada #api #implementation #named
RxAda: An Ada implementation of the ReactiveX API (ARM), pp. 153–166.
A New Ravenscar-Based Profile (PR, JR, TG, PB), pp. 169–183.
AdaEurope-2017-RoyuelaMQP #ada #correctness #safety
OpenMP Tasking Model for Ada: Safety and Correctness (SR, XM, EQ, LMP), pp. 184–200.
AdaEurope-2017-BurnsB #framework #migration
Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework (AB, SB), pp. 203–216.
AdaEurope-2017-MedinaBP #graph #scheduling
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems (RM0, EB, LP), pp. 217–232.
AdaEurope-2017-MilutinovicAAAM #reliability
Software Time Reliability in the Presence of Cache Memories (SM, JA, IA, MAa, EM, TV, FJC), pp. 233–249.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.