1999 |
6 | 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) |
1998 |
5 | EE | Tullio Cuatto,
Claudio Passerone,
Luciano Lavagno,
Attila Jurecska,
Antonino Damiano,
Claudio Sansoè,
Alberto L. Sangiovanni-Vincentelli:
A Case Study in Embedded System Design: An Engine Control Unit.
DAC 1998: 804-807 |
1997 |
4 | 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 |
1996 |
3 | EE | Felice Balarin,
Harry Hsieh,
Attila Jurecska,
Luciano Lavagno,
Alberto L. Sangiovanni-Vincentelli:
Formal Verification of Embedded Systems based on CFSM Networks.
DAC 1996: 568-571 |
1995 |
2 | 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 |
1 | 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 |