Automatic Reduction in CTL Compositional Model Checking. - Thomas R. Shiple; Massimiliano Chiodo; Alberto L. Sangiovanni-Vincentelli; Robert K. Brayton (CAV, 1992)

Automatic compositional minimization in CTL model checking. - Massimiliano Chiodo; Thomas R. Shiple; Alberto L. Sangiovanni-Vincentelli; Robert K. Brayton (ICCAD, 1992)

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)

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)

Trade-off evaluation in embedded system design via co-simulation. - Claudio Passerone; Luciano Lavagno; Claudio Sansoè; Massimiliano Chiodo; Alberto L. Sangiovanni-Vincentelli (ASP-DAC, 1997)

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)

Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. - Claudio Passerone; Luciano Lavagno; Massimiliano Chiodo; Alberto L. Sangiovanni-Vincentelli (DAC, 1997)

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)

Software Synthesis for Complex Reactive Embedded Systems. - Felice Balarin; Massimiliano Chiodo (ICCD, 1999)

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)

Optimization and synthesis for complex reactive embedded systems by incremental collapsing. - Massimiliano Chiodo (CODES, 2002)