Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk
Proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2013.

@proceedings{AdaEurope-2013,
	address       = "Berlin, Germany",
	doi           = "10.1007/978-3-642-38601-5",
	editor        = "Hubert B. Keller and Erhard Plödereder and Peter Dencker and Herbert Klenk",
	isbn          = "['978-3-642-38600-8', '978-3-642-38601-5']",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 7896,
	year          = 2013,
}

Contents (11 items)

4 ×#ada
3 ×#safety
2 ×#integration
2 ×#modelling

AdaEurope-2013-PerezG #experience #integration #middleware

Experience with the Integration of Distribution Middleware into Partitioned Systems (HP, JJG), pp. 1–16.

AdaEurope-2013-MichellMP #ada #fine-grained #named #parallel

Tasklettes — A Fine Grained Parallelism for Ada on Multicores (SM, BM, LMP), pp. 17–34.

AdaEurope-2013-KampenhoutH #deployment #manycore #modelling

Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors (JRvK, RH), pp. 35–50.

AdaEurope-2013-BrandonC #ada

A SPARK/Ada CubeSat Control Program (CB, PC), pp. 51–64.

AdaEurope-2013-QuinotB #ada

Lady Ada Mediates Peace Treaty in Endianness War (TQ, EB), pp. 65–80.

AdaEurope-2013-FaginC #case study #reliability

Provably Secure DNS: A Case Study in Reliable Software (BSF, MCC), pp. 81–93.

AdaEurope-2013-BicchieraiBNV #development #functional #integration #ontology #process #safety #using

Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems (IB, GB, CN, EV), pp. 95–108.

AdaEurope-2013-XueN

Measuring the Odds of Statements Being Faulty (XX, ASN), pp. 109–126.

AdaEurope-2013-SalazarAMP #ada #framework #modelling #realtime #safety

A Model-Based Framework for Developing Real-Time Safety Ada Systems (ES, AA, MAdM, JAdlP), pp. 127–142.

AdaEurope-2013-BaldovinMV #operating system #towards

Towards a Time-Composable Operating System (AB, EM, TV), pp. 143–160.

AdaEurope-2013-AsensioLCN #analysis #approach #execution #safety #worst-case

Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software (EA, IL, AC, JN), pp. 161–176.