| 2002 |
|---|
| 9 | EE | Massimiliano Chiodo:
Optimization and synthesis for complex reactive embedded systems by incremental collapsing.
CODES 2002: 115-120 |
| 1999 |
|---|
| 8 | EE | Felice Balarin,
Massimiliano Chiodo:
Software Synthesis for Complex Reactive Embedded Systems.
ICCD 1999: 634-639 |
| 7 | EE | 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. on CAD of Integrated Circuits and Systems 18(6): 834-849 (1999) |
| 1997 |
|---|
| 6 | EE | 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: 95-100 |
| 5 | EE | Claudio Passerone,
Luciano Lavagno,
Massimiliano Chiodo,
Alberto L. Sangiovanni-Vincentelli:
Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis.
DAC 1997: 389-394 |
| 1995 |
|---|
| 4 | EE | 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: 587-592 |
| 1994 |
|---|
| 3 | EE | 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: 220-224 |
| 1992 |
|---|
| 2 | | Thomas R. Shiple,
Massimiliano Chiodo,
Alberto L. Sangiovanni-Vincentelli,
Robert K. Brayton:
Automatic Reduction in CTL Compositional Model Checking.
CAV 1992: 234-247 |
| 1 | EE | Massimiliano Chiodo,
Thomas R. Shiple,
Alberto L. Sangiovanni-Vincentelli,
Robert K. Brayton:
Automatic compositional minimization in CTL model checking.
ICCAD 1992: 172-178 |
