Massimiliano Chiodo

According to our database, Massimiliano Chiodo authored at least 14 papers between 1992 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Optimization and synthesis for complex reactive embedded systems by incremental collapsing.

Massimiliano Chiodo

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

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

Software Synthesis for Complex Reactive Embedded Systems.

Felice Balarin, Massimiliano Chiodo

Proceedings of the IEEE International Conference On Computer Design, 1999

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

1997

Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis.

Claudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 34st Conference on Design Automation, 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

Proceedings of the Fifth International Workshop on Hardware/Software Codesign, 1997

Trade-off evaluation in embedded system design via co-simulation.

Claudio Passerone, Luciano Lavagno, Claudio Sansoè, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli

Proceedings of the ASP-DAC '97 Asia and South Pacific Design Automation Conference, 1997

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

Rapid-Prototyping of Embedded Systems via Reprogrammable Devices.

Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Seventh IEEE International Workshop on Rapid System Prototyping (RSP '96), 1996

1995

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

Proceedings of the 32st Conference on Design Automation, 1995

1994

Hardware-software codesign of embedded systems.

Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno

IEEE Micro, 1994

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

Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1992

Automatic compositional minimization in CTL model checking.

Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton

Proceedings of the 1992 IEEE/ACM International Conference on Computer-Aided Design, 1992

Automatic Reduction in CTL Compositional Model Checking.

Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992