A case study in computer-aided codesign of embedded controllers. - Luciano Lavagno; Massimiliano Chiodo; Paolo Giusto; Attila Jurecska; Harry Hsieh; S. Yee; Alberto L. Sangiovanni-Vincentelli; Kei Suzuki (CODES, 1994)

Hardware-software codesign of embedded systems. - Massimiliano Chiodo; Paolo Giusto; Attila Jurecska; Harry Hsieh; Alberto L. Sangiovanni-Vincentelli; Luciano Lavagno (IEEE Micro, 1994)

Synthesis of Software Programs for Embedded Control Applications. - Massimiliano Chiodo; Paolo Giusto; Attila Jurecska; Luciano Lavagno; Harry Hsieh; Kei Suzuki; Alberto L. Sangiovanni-Vincentelli; Ellen Sentovich (DAC, 1995)

Formal Verification of Embedded Systems based on CFSM Networks. - Felice Balarin; Harry Hsieh; Attila Jurecska; Luciano Lavagno; Alberto L. Sangiovanni-Vincentelli (DAC, 1996)

Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. - Stefano Cardelli; Massimiliano Chiodo; Paolo Giusto; Attila Jurecska; Luciano Lavagno; Alberto L. Sangiovanni-Vincentelli (RSP, 1996)

A case study in computer-aided co-design of embedded controllers. - Massimiliano Chiodo; Daniel W. Engels; Paolo Giusto; Harry Hsieh; Attila Jurecska; Luciano Lavagno; Kei Suzuki; Alberto L. Sangiovanni-Vincentelli (Des. Autom. Embed. Syst., 1996)

Automatic Generation of a Real-Time Operating System for Embedded Systems. - Felice Balarin; Massimiliano Chiodo; Attila Jurecska; Luciano Lavagno; Bassam Tabbara; Alberto L. Sangiovanni-Vincentelli (CODES, 1997)

A Case Study in Embedded System Design: An Engine Control Unit. - Tullio Cuatto; Claudio Passerone; Luciano Lavagno; Attila Jurecska; Antonino Damiano; Claudio Sansoè; Alberto L. Sangiovanni-Vincentelli (DAC, 1998)

Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. - Stefano Cardelli; Massimiliano Chiodo; Paolo Giusto; Attila Jurecska; Luciano Lavagno; Claudio Sansoè; Alberto L. Sangiovanni-Vincentelli (Des. Autom. Embed. Syst., 1998)

Synthesis of software programs for embedded control applications. - Felice Balarin; Massimiliano Chiodo; Paolo Giusto; Harry Hsieh; Attila Jurecska; Luciano Lavagno; Alberto L. Sangiovanni-Vincentelli; Ellen Sentovich; Kei Suzuki (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

A Case Study in Embedded Systems Design: An Engine Control Unit. - Tullio Cuatto; Claudio Passerone; Claudio Sansoè; Francesco Gregoretti; Attila Jurecska; Alberto L. Sangiovanni-Vincentelli (Des. Autom. Embed. Syst., 2000)