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
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 DBLP: Stefanni:Francesco

Contributed to:

DATE 20152015
DATE 20142014
DATE 20122012

Wrote 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.

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.