Massimiliano Chiodo

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