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

@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.