Travelled to:
2 × Germany
Collaborated with:
A.Ferrari A.L.Sangiovanni-Vincentelli A.Pierantoni M.Pennese M.Baleani U.Freund E.Schlenker H.Wolff
Talks about:
design (2) embed (2) transform (1) construct (1) softwar (1) environ (1) develop (1) correct (1) control (1) automot (1)
Person: Leonardo Mangeruca
DBLP: Mangeruca:Leonardo
Contributed to:
Wrote 2 papers:
- DATE-2005-BaleaniFMSFSW #design #development #embedded #modelling
- Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development (MB, AF, LM, ALSV, UF, ES, HJW), pp. 1044–1049.
- DATE-2003-MangerucaFSPP #case study #design #detection #embedded
- System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain (LM, AF, ALSV, AP, MP), pp. 20232–20237.