Recent Publications...


Most of these articles may be copyright of ACM or IEEE. Please understand their copyright policy before reproducing these articles.

2010: Note that a number of links below are broken. To find these papers, try searching the web.

bibliography file for Latex

1998

T. Cuatto, C. Passerone, L. Lavagno, A. Jurecska, A. Damiano, C. Sansoe, A. Sangiovanni-Vincentelli
A Case Study in Embedded System Design: an Engine Control Unit.
In Proceedings of Design Automation Conference, 1998. 
PostScript

F. Balarin, L. Lavagno, P. Murthy, A. Sangiovanni-Vincentelli
Scheduling for embedded real-time systems.
IEEE Design & Test of Computers, 1998. 
PDF

L. Lavagno, A. Sangiovanni-Vincentelli
System-level design models and implementation techniques.
In Proceedings of International Conference on Application of Concurrency to System Design, 1998. 

M. Lajolo, A. Raghunathan, S. Dey, L. Lavagno, A. Sangiovanni-Vincentelli
A Case Study on Modeling Shared Memory Access Effects during Performance Analysis of HW/SW Systems.
In Proceedings of International Workshop on Hardware-Software Codesign, March 1998. 
PostScript

J. Liu, M. Lajolo, A. Sangiovanni-Vincentelli
Software Timing Analysis Using HW/SW Cosimulation and Instruction Set Simulator.
In Proceedings of International Workshop on Hardware-Software Codesign, March 1998. 
PDF

C. Passerone, R. Passerone, C. Sansoe, J. Martin, A. Sangiovanni-Vincentelli, P. McGeer
Modeling Reactive Systems in Java.
In Proceedings of International Workshop on Hardware-Software Codesign, March 1998. 
PostScript

M. Lajolo, C. Passerone, F. Bellifemine, A. Bonomo, P. Civera, G. Ghigo, A. Sangiovanni-Vincentelli
Hardware/Software Co-Design for Image Processing.
In Proceedings of International Conference on Signal Processing and Communications, February 1998. 
PostScript

M. Sgroi, L. Lavagno, A. Sangiovanni-Vincentelli
Quasi-Static Scheduling of Free-Choice Petri Nets
Technical Report UCB/ERL M98/9


1997

B. Tabbara, L. Lavagno, A. Sangiovanni-Vincentelli
Fast Hardware-Software Co-Simulation using Software Synthesis and Estimation
In Proceedings of IEEE International High Level Design Validation and Test Workshop, November, 1997. 
PostScript

R. Passerone, C. Passerone, L. Lavagno, C. Sansoe, A. Sangiovanni-Vincentelli
Modeling reactive Systems in Java
In Proceedings of IEEE International High Level Design Validation and Test Workshop, November, 1997. 
PostScript

F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A, Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, B. Tabbara
Hardware-Software Co-Design of Embedded Systems: The Polis Approach.
Kluwer Academic Press , June 1997.
Gzipped Postscript of Table of content and Preface

C. Passerone, L. Lavagno, M. Chiodo, A. Sangiovanni-Vincentelli
Fast hardware/software co-simulation for virtual prototyping and trade-off analysis
In Proceedings of Design Automation Conference, June, 1997. 
PostScript

F. Balarin, A. Sangiovanni-Vincentelli
Schedule Validation for Embedded Reactive Real-Time Systems.
In Proceedings of the Design Automation Conference, June 1997.

S. Edwards, L. Lavagno, E. Lee, A. Sangiovanni-Vincentelli
Design of Embedded Systems: Formal Model, Validation, and Synthesis.
In Proceedings of the IEEE, vol. 85, (no.3), March 1997. p.366-90. 
PDF

H. Hsieh, L. Lavagno, C. Passerone, C. Sansoe, A. Sangiovanni-Vincentelli
Modeling Micro-controller Peripherals for High-Level Co-simulation and Synthesis.
In Proceedings of International Workshop on Hardware-Software Codesign, March 1997. 
Gzipped PostScript

F. Balarin, M. Chiodo, A. Jurecska, L. Lavagno, B. Tabbara, A. Sangiovanni-Vincentelli
Automatic Generation of a Real-Time Operating System for Embedded Systems.
In Proceedings of International Workshop on Hardware-Software Codesign, March 1997.
Gzipped Postscript

L. Lavagno, J. Cortadella, A. Sangiovanni-Vincentelli
Embedded Code Optimization Via Common Control Structure Detection
Technical Report UPC-DAC-1997-9, February 1997. 
Compressed PostScript Technical Report

C. Passerone, L. Lavagno, C. Sansoe, M. Chiodo, A. Sangiovanni-Vincentelli
Trade-off Evaluation in Embedded System Design via Co-simulation.
In Proceedings of the ASP-DAC'97. Chiba, Japan. January, 1997, p291-7. 
Gzipped Postscript Technical Report Version (UCB/ERL M96/12)

A. Sangiovanni-Vincentelli
Embedded System Design and Hybrid Systems.
Control Using Logic-based Switching, 1997. 

R. v. Hanxleden, L. Lavagno, A. Sangiovanni-Vincentelli
Co-Design of a Fault-Tolerant Communication Protocol-A Case Study 
Technical Report Version (UCB/ERL M97/13)


1996

E. Lee, A. Sangiovanni-Vincentelli
Comparing Models of Computation
In Proceeding of International Conference on Computer Aided Design, November 1996. 
PDF

R. v. Hanxleden, L. Lavagno, J. Bohne, A. Sangiovanni-Vincentelli
Hardware/Software Co-Design of a Fault-Tolerant Communication Protocol
Digest of Abstracts at the IEEE International Workshop on Embedded Fault-Tolerant Systems, September 1996. PostScript

K. Suzuki, A. Sangiovanni-Vincentelli
Efficient Software Performance Estimation Methods for Hardware/Software Codesign
In Proceeding of Design Automation Conference, June 1996. 
PDF
PostScript

F. Balarin, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli
Formal Verification of Embedded Systems based on CFSM Networks
In Proceeding of Design Automation Conference, June 1996. 
PDF
PostScript

A. Sangiovanni-Vincentelli, P. McGeer, A. Saldanha
Verification of Electronic Systems
In Proceeding of Design Automation Conference, June 1996.
PDF

S. Cardelli, M. Chiodo, P. Giusto, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli
Rapid-Prototyping of Embedded Systems via Reprogrammable Devices
In Proceeding of International Workshop on Rapid Systems Prototyping, June 1996. 
Web Page

A. Sangiovanni-Vincentelli
Trends in Electronic Systems
In Proceedings of Mediterranean Electrotechnical Conference on Industrial Applications in Power Systems, Computer Science, and Telecommunications, May 1996. 
PDF

M. Chiodo, D. Engels, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, K. Suzuki, A. Sangiovanni-Vincentelli.
A Case Study in Computer-Aided Co-design of Embedded Controllers
In Design Automation of Embedded Systems. January 1996. 
PostScript

M. Chiodo, A. Damiano, L. Lavagno, A. Sangiovanni-Vincentelli
Design Automation for Reactive Embedded Controller Co-design
In Electronic Engineering Times, 1996.
PostScript


1995

P. McGeer, K. McMillan, A. Saldanha, A. Sangiovanni-Vincentelli.
Fast Discrete Function Evaluation using Decision Diagrams
In Proceedings ofIEEE International Conference on Computer-Aided Design, November 1995. pp 402-7.

M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki.
Synthesis of Software Programs for Embedded Control Applications
In Proceeding of Design Automation Conference, June 1995. 
PostScript
Gzipped PostScript Technical Report Version (UCB/ERL M94/87)

L. Lavagno, A. Sangiovanni-Vincentelli, H. Hsieh.
Models and Algorithms for Embedded System Synthesis and Validation
In Proceeding of Nato Advance Study Institute, Tremezzo, Italy. 1995. 
PostScript

F. Balarin, A. Sangiovanni-Vincentelli.
An Iterative Approach to Verification of Real-time Systems
In Formal Methods in System Design, January 1995. vol.6, pp 67-95.

L. Lavagno, C. Moon, R. Brayton, A. Sangiovanni-Vincentelli.
An efficient Heuristic Procedure for Solving the State Assignment Problem for Event-based Specifications
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, January 1994. vol 14, pp 45-60.


1994

F. Balarin, A. Sangiovanni-Vincentelli.
Iterative Algorithm for Formal Verification of Embedded Real-time Systems
In Proceedings of International Conference on Computer-Aided Design, November 1994. pp 450-7.

L. Lavagno, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, K. Suzuki, S. Yee, A. Sangiovanni-Vincentelli.
A Case Study in Computer-Aided Co-design of Embedded Controllers
In Proceeding of International Workshop on Hardware-Software Codesign, September 1994. 
PDF
PostScript

M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli.
Hardware-Software Codesign of Embedded Systems
In IEEE Micro, August 1994, pp.26-36. 
PDF
PostScript


1993

M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli.
A Formal Specification Model for Hardware/Software Codesign
In Proceeding of International Workshop on Hardware-Software Codesign, October 1993. 
PostScript
Gzipped PostScript Technical Report Version (UCB/ERL M93/48)

M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli.
Synthesis of Mixed Software-Hardware Implementation from CFSM Specifications
In Proceeding of International Workshop on Hardware-Software Codesign, October 1993. 
PostScript
Gzipped PostScriptTechnical Report Version (UCB/ERL M93/49)


1992

M. Chiodo, A. Sangiovanni-Vincentelli.
Design Methods for Reactive Real-time System Co-Design
In Proceeding of International Workshop on Hardware-Software Codesign, September, 1992.



UCB Design Technology Warehouse Homepage
Contact 
©2002-2018 U.C. Regents