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 × USA
2 × Germany
Collaborated with:
F.Fummi G.Pravadelli C.Pilato L.P.Carloni L.D.Guglielmo M.Becker W.Müller T.Xie
Talks about:
design (3) base (2) methodolog (1) synthesi (1) composit (1) communic (1) softwar (1) centric (1) driven (1) assert (1)

Person: Giuseppe Di Guglielmo

DBLP DBLP: Guglielmo:Giuseppe_Di

Contributed to:

DAC 20142014
DATE 20122012
DATE 20102010

Wrote 3 papers:

DAC-2014-GuglielmoPC #composition #design #synthesis
A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs (GDG, CP, LPC), p. 6.
DATE-2012-GuglielmoGFP #design #embedded #modelling #verification
Enabling dynamic assertion-based verification of embedded software through model-driven design (GDG, LDG, FF, GP), pp. 212–217.
DATE-2010-BeckerGF0PX #design #refinement
RTOS-aware refinement for TLM2.0-based HW/SW designs (MB, GDG, FF, WM, GP, TX), pp. 1053–1058.

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.