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
1 × Spain
Collaborated with:
T.Vardanega A.Baldovin J.Abella F.J.Cazorla M.Panunzio S.Catellani L.Bonato S.Huber A.Graziano A.Betts J.Ruiz L.Kosmidis Enrique Díaz Mikel Fernández C.Hernández S.Milutinovic Irune Agirre Mikel Azkarate-askasua F.Wartel A.Gogonel Z.R.Stephenson B.Triquet E.Quiñones C.Lo I.Broster L.Cucu-Grosjean
Talks about:
time (5) cach (3) softwar (2) analysi (2) system (2) compos (2) avion (2) probabilist (1) determinist (1) ravenscar (1)

Person: Enrico Mezzetti

DBLP DBLP: Mezzetti:Enrico

Contributed to:

Ada-Europe 20152015
DATE 20152015
Ada-Europe 20132013
SAC 20132013
Ada-Europe 20102010
Ada-Europe 20172017

Wrote 8 papers:

AdaEurope-2015-CatellaniBHM #challenge #implementation
Challenges in the Implementation of MrsP (SC, LB, SH, EM), pp. 179–195.
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.
AdaEurope-2010-MezzettiBRV #development
Cache-Aware Development of High-Integrity Systems (EM, AB, JR, TV), pp. 139–152.
AdaEurope-2010-MezzettiPV #ada
Preservation of Timing Properties with the Ada Ravenscar Profile (EM, MP, TV), pp. 153–166.
AdaEurope-2017-DiazFKMHAC #analysis #bound #manycore #named #probability
MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding (ED, MF, LK, EM, CH, JA, FJC), pp. 102–118.
AdaEurope-2017-MilutinovicAAAM #reliability
Software Time Reliability in the Presence of Cache Memories (SM, JA, IA, MAa, EM, TV, FJC), pp. 233–249.

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.