Massimiliano Chiodo

Publication Activity (10 Years)

Years Active: 1992-2002
Publications (10 Years): 0

Publications

Massimiliano Chiodo
Optimization and synthesis for complex reactive embedded systems by incremental collapsing. CODES (2002)
Felice Balarin, Massimiliano Chiodo
Software Synthesis for Complex Reactive Embedded Systems. ICCD (1999)
Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki
Synthesis of software programs for embedded control applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (6) (1999)
Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli
Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. Des. Autom. Embed. Syst. 3 (2-3) (1998)
Claudio Passerone, Luciano Lavagno, Claudio Sansoè, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli
Trade-off evaluation in embedded system design via co-simulation. ASP-DAC (1997)
Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli
Automatic Generation of a Real-Time Operating System for Embedded Systems. CODES (1997)
Claudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli
Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. DAC (1997)
Massimiliano Chiodo, Daniel W. Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli
A case study in computer-aided co-design of embedded controllers. Des. Autom. Embed. Syst. 1 (1-2) (1996)
Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. RSP (1996)
Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
Synthesis of Software Programs for Embedded Control Applications. DAC (1995)
Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno
Hardware-software codesign of embedded systems. IEEE Micro 14 (4) (1994)
Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki
A case study in computer-aided codesign of embedded controllers. CODES (1994)
Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
Automatic compositional minimization in CTL model checking. ICCAD (1992)
Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
Automatic Reduction in CTL Compositional Model Checking. CAV (1992)