Proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

António Casimiro, Pedro M. Ferreira
Proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2018.

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{AdaEurope-2018,
	doi           = "10.1007/978-3-319-92432-8",
	editor        = "António Casimiro and Pedro M. Ferreira",
	isbn          = "['978-3-319-92431-1', '978-3-319-92432-8']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 10873,
	year          = 2018,
}

Contents (10 items)

AdaEurope-2018-JaradatP #contract #design #runtime #safety #using #verification
Using Safety Contracts to Verify Design Assumptions During Runtime (OJ, SP), pp. 3–18.
AdaEurope-2018-SljivoGCHP #component #reuse #safety #specification
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation (IS, BG, JC, HH, SP), pp. 19–33.
AdaEurope-2018-MaalejTM #ada #memory management
Safe Dynamic Memory Management in Ada and SPARK (MM, STT, YM), pp. 37–52.
AdaEurope-2018-BliebergerB #ada
Safe Non-blocking Synchronization in Ada2x (JB, BB), pp. 53–69.
AdaEurope-2018-GarridoZAP #ada #on the #policy
On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks (JG, JZ, AA0, JAdlP), pp. 73–86.
AdaEurope-2018-MarkovicCD #estimation #scheduling
Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling (FM, JC, RD), pp. 87–101.
AdaEurope-2018-RealSC #scheduling #set
Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar (JR, SS, AC), pp. 105–122.
AdaEurope-2018-GutierrezP #distributed #realtime #scheduling #theory and practice
Theory and Practice of EDF Scheduling in Distributed Real-Time Systems (JJG, HP0), pp. 123–137.
AdaEurope-2018-RoyuelaMQP #ada #analysis #compilation #parallel
Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP (SR, XM, EQ, LMP), pp. 141–157.
AdaEurope-2018-MunariVV #agile #architecture
Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies (SM, SV, TV), pp. 158–174.

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.