Massimiliano Chiodo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1992–1999
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | ICCD | Software Synthesis for Complex Reactive Embedded Systems. | Felice Balarin, Massimiliano Chiodo |
| 1997 | ASPDAC | Trade-off evaluation in embedded system design via co-simulation. | Claudio Passerone, Luciano Lavagno, Claudio Sanso, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli |
| 1997 | DAC | Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. | Claudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli |
| 1996 | RSP | Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. | Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1995 | DAC | 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 |
| 1992 | CAV | Automatic Reduction in CTL Compositional Model Checking. | Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
| 1992 | ICCAD | Automatic compositional minimization in CTL model checking. | Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |