Travelled to:3 × USA
Collaborated with:L.Lavagno A.L.Sangiovanni-Vincentelli H.Hsieh F.Balarin T.Cuatto C.Passerone A.Damiano C.Sansoè M.Chiodo P.Giusto K.Suzuki E.Sentovich
Talks about:embed (3) control (2) system (2) synthesi (1) softwar (1) program (1) network (1) formal (1) design (1) applic (1)
Person: Attila Jurecska
DBLP: Jurecska:Attila
Contributed to:
199819961995Wrote 3 papers:
- DAC-1998-CuattoPLJDSS #case study #design #embedded
- A Case Study in Embedded System Design: An Engine Control Unit (TC, CP, LL, AJ, AD, CS, ALSV), pp. 804–807.
- DAC-1996-BalarinHJLS #embedded #network #verification
- Formal Verification of Embedded Systems based on CFSM Networks (FB, HH, AJ, LL, ALSV), pp. 568–571.
- 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.