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 × Canada
2 × USA
Collaborated with:
A.L.Sangiovanni-Vincentelli L.Lavagno C.Passerone T.R.Shiple R.K.Brayton P.Giusto A.Jurecska H.Hsieh K.Suzuki E.Sentovich
Talks about:
softwar (2) synthesi (1) prototyp (1) composit (1) virtual (1) program (1) hardwar (1) control (1) automat (1) analysi (1)

Person: Massimiliano Chiodo

DBLP DBLP: Chiodo:Massimiliano

Contributed to:

DAC 19971997
DAC 19951995
CAV 19921992

Wrote 3 papers:

DAC-1997-PasseroneLCS #analysis #hardware #performance #prototype #trade-off
Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis (CP, LL, MC, ALSV), pp. 389–394.
DAC-1995-ChiodoGJLHSSS #embedded #source code #synthesis
Synthesis of Software Programs for Embedded Control Applications (MC, PG, AJ, LL, HH, KS, ALSV, ES), pp. 587–592.
CAV-1992-ShipleCSB #automation #composition #model checking #reduction
Automatic Reduction in CTL Compositional Model Checking (TRS, MC, ALSV, RKB), pp. 234–247.

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.