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: Mezzetti:Enrico
Contributed to:
2015
20152013
201320102017Wrote 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.