BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Portugal
Collaborated with:
E.Mezzetti T.Vardanega A.Zovi G.Nelissen S.Puri A.Graziano F.Wartel L.Kosmidis A.Gogonel Z.R.Stephenson B.Triquet E.Quiñones C.Lo I.Broster J.Abella L.Cucu-Grosjean F.J.Cazorla
Talks about:
avion (3) time (3) softwar (2) compos (2) methodolog (1) platform (1) concerto (1) hardwar (1) develop (1) complex (1)

Person: Andrea Baldovin

DBLP DBLP: Baldovin:Andrea

Contributed to:

Ada-Europe 20152015
DATE 20152015
Ada-Europe 20132013
SAC 20132013

Wrote 4 papers:

AdaEurope-2015-BaldovinZNP #development #modelling
The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.
DATE-2015-WartelKGBSTQLMB #analysis #case study #hardware #platform
Timing analysis of an avionics case study on complex hardware/software platforms (FW, LK, AG, AB, ZRS, BT, EQ, CL, EM, IB, JA, LCG, TV, FJC), pp. 397–402.
AdaEurope-2013-BaldovinMV #operating system #towards
Towards a Time-Composable Operating System (AB, EM, TV), pp. 143–160.
SAC-2013-BaldovinGMV #kernel
Kernel-level time composability for avionics applications (AB, AG, EM, TV), pp. 1552–1554.

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.