Proceedings of the 21st 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

Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones
Proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2016.

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{AdaEurope-2016,
	doi           = "10.1007/978-3-319-39083-3",
	editor        = "Marko Bertogna and Luís Miguel Pinho and Eduardo Quiñones",
	isbn          = "978-3-319-39082-6",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 9695,
	year          = 2016,
}

Contents (13 items)

AdaEurope-2016-Burns #ada #physics #power of #programming language #why
Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems (AB), pp. 3–11.
AdaEurope-2016-MohaqeqiAY #analysis #data flow #graph #modelling #realtime #using
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model (MM, JA, WY0), pp. 15–29.
AdaEurope-2016-Wittiger #csp #using
Eliminating Data Race Warnings Using CSP (MW), pp. 30–43.
AdaEurope-2016-MeiGW #java #realtime
Real-Time Stream Processing in Java (HM0, IG, AJW), pp. 44–57.
AdaEurope-2016-Jones #ada #impact analysis #problem #testing
Addressing the Regression Test Problem with Change Impact Analysis for Ada (AVJ), pp. 61–77.
AdaEurope-2016-LaaliLHSS #detection #fault #online #testing #using
Test Case Prioritization Using Online Fault Detection Information (ML, HL, MH, MS, HWS), pp. 78–93.
AdaEurope-2016-Mazzanti #ada #experience #manycore #model checking #parallel #programming
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine (FM), pp. 94–109.
AdaEurope-2016-BaracchiMPV #development #lessons learnt #modelling #towards
Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development (LB, SM, SP, TV), pp. 113–128.
AdaEurope-2016-GabsiZJ #fault tolerance #reliability
Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance (WG, BZ, MJ), pp. 129–144.
AdaEurope-2016-MittermayrB #ada #algebra #static analysis
Kronecker Algebra for Static Analysis of Barriers in Ada (RM, JB), pp. 145–159.
AdaEurope-2016-ThekkilakattilZ #empirical #lazy evaluation #scheduling
An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling (AT, KZ, YN, RD, SP), pp. 163–178.
AdaEurope-2016-PerezGHP #distributed #realtime #scheduling
The Polling Effect on the Schedulability of Distributed Real-Time Systems (HP0, JJG, MGH, JCP), pp. 179–194.
AdaEurope-2016-RealSC #set
Combining Time-Triggered Plans with Priority Scheduled Task Sets (JR, SS, AC), pp. 195–212.

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.