dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Attila Jurecska Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2000
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTullio Cuatto, Claudio Passerone, Claudio Sansoè, Francesco Gregoretti, Attila Jurecska, Alberto L. Sangiovanni-Vincentelli: A Case Study in Embedded Systems Design: An Engine Control Unit. Design Autom. for Emb. Sys. 6(1): 71-88 (2000)
1999
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTullio 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli: Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. Design Autom. for Emb. Sys. 3(2-3): 149-161 (1998)
1997
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFelice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli: Formal Verification of Embedded Systems based on CFSM Networks. DAC 1996: 568-571
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimiliano Chiodo, Daniel Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli: A case study in computer-aided co-design of embedded controllers. Design Autom. for Emb. Sys. 1(1-2): 51-67 (1996)
1995
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimiliano 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuciano 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

Coauthor Index

1Felice Balarin [4] [5] [8]
2Stefano Cardelli [6]
3Massimiliano Chiodo [1] [2] [3] [5] [6] [8]
4Tullio Cuatto [7] [9]
5Antonino Damiano [7]
6Daniel Engels [3]
7Paolo Giusto [1] [2] [3] [6] [8]
8Francesco Gregoretti [9]
9Harry Hsieh [1] [2] [3] [4] [8]
10Luciano Lavagno [1] [2] [3] [4] [5] [6] [7] [8]
11Claudio Passerone [7] [9]
12Alberto L. Sangiovanni-Vincentelli [1] [2] [3] [4] [5] [6] [7] [8] [9]
13Claudio Sansoè [6] [7] [9]
14Ellen Sentovich (Ellen M. Sentovich) [2] [8]
15Kei Suzuki [1] [2] [3] [8]
16Bassam Tabbara [5]
17S. Yee [1]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page