Travelled to:1 × France
2 × Germany
Collaborated with:F.Fummi N.Bombieri R.Filippozzi G.Pravadelli E.S.M.Ebeid D.Quaglia M.Lora D.Trachanis J.Vanhese S.Vinco
Talks about:system (2) design (2) simul (2) properti (1) abstract (1) network (1) effect (1) assert (1) verif (1) smart (1)
Person: Francesco Stefanni
DBLP: Stefanni:Francesco
Contributed to:
201520142012Wrote 3 papers:
- DATE-2015-BombieriFPS #abstraction #verification
- RTL property abstraction for TLM assertion-based verification (NB, RF, GP, FS), pp. 85–90.
- DATE-2014-FummiLSTVV #design #effectiveness #simulation
- Moving from co-simulation to simulation for effective smart systems design (FF, ML, FS, DT, JV, SV), pp. 1–4.
- DATE-2012-EbeidFQS #design #embedded #modelling #refinement #uml
- Refinement of UML/MARTE models for the design of networked embedded systems (ESME, FF, DQ, FS), pp. 1072–1077.