Relevant Publications

General Reference

1. G. De Micheli, editor
   Special Issue on Hardware/Software Co-design
   Proceedings of IEEE, Vol 85, No. 3, March 1997.
   
   

   ---

   Design of Embedded Systems

2. S. Edwards, L. Lavagno, E. Lee, A. Sangiovanni-Vincentelli
   Design of Embedded Systems: Formal Methods, Validation and Synthesis
   Proceedings of the IEEE, vol. 85 (n.3) - March 1997, p366-290
   
   
3. R. B. Ortega L. Lavagno, G. Borriello
   Models and Methods for HW/SW Intellectual Property Interfacing
   1998 NATO ASI Proceedings on System Synthesis, Il Ciocco (Italy) 1998
   
   
4. J. Young, J. MacDonald, M. Shilman, A. Tabbara, P. Hilfinger and R. Newton
   Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement
   Proceedings of Design Automation Conference 1998, pag. 70-75
   
   

   ---

   Models of Computation

5. L. Lavagno, A. Sangiovanni-Vincentelli and E. Sentovich
   Models of Computation for Embedded System Design
   1998 NATO ASI Proceedings on System Synthesis, Il Ciocco (Italy) 1998
   
   

   Finite State Machines

6. D. Harel
   Statecharts: A Visual Formalism for Complex Systems
   Sci. Comput. Programs, 8:231-274, 1987.
   
   
7. D. Harel, H, Lachover, A. Namad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, M. Trakhtenbrot
   STATEMATE: A Working Enviroment for the Development of Complex Reactive Systems
   IEEE Transaction on Software Engineering, vol. 16, No. 4, 1990
   
   
8. D. Harel, A. Namad
   The STATEMATE Semantics of Statecharts
   ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 4, 1996
   
   

   SpecCharts

9. F. Vahid, S. Narayan, D. D. GAjski
   SpecCharts: a VHDL front-end for embedded systems
   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 14, (no.6), June 1995, p. 694-706
   
   

   Dataflow

10. E. A. Lee and D. G. Messerschmitt
    Synchronous Data Flow
    Proc. of the IEEE, September, 1987.
    
    
11. E. A. Lee and T. M. Parks
    Dataflow Process Networks
    Proceedings of the IEEE, vol. 83, no. 5, pp. 773-801, May, 1995.
    
    

    Synchronous Languages

12. Gerard Berry
    The Foundation of Esterel
    To appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, G. Plotkin, C. Stirling and M. Tofte, editors, MIT Press, 1998.
    
    
13. Gerard Berry
    The Esterel v5 Language Primer, Version 5.10, release 1.0
    Ecole des Mines and INRIA.
    
    

    Petri Nets

14. Tadao Murata
    Petri Nets: Properties, Analysis and Applications
    Proceedings of IEEE, vol. 77, No. 4, April 1989, pp541-580.
    
    
15. J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev
    Synthesizing Petri nets from state-based models
    Proceedings of the International Conference on Computer-Aided Design, November 1995
    
    

    Tagged-Signal Model

16. E. Lee, A. Sangiovanni-Vincentelli
    A Denotational Framework for Comparing Models of Computation
    Technical Memorandum UCB/ERL M97/11.
    
    

    ---

    Software Estimation and Software Synthesis

17. K. Suzuki and A. Sangiovanni-Vincentelli
    Efficient Software Performance Estimation Methods for Hardware-Software Codesign
    Proceedings of Design Automotion Conference 1996, p266-290
    
    
18. P. K. Murthy, S. S. Bhattacharyya, and E. A. Lee,
    Joint Minimization of Code and Data for Synchronous Dataflow Programs
    Journal of Formal Methods in System Design, Vol. 11, No. 1, pp41-70, July 1997.
    
    
19. Y.-T. S. Li, S. Malik
    Performance analysis of embedded software using implicit path enumeration
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Dec. 1997, vol. 16, (no.12):1477-87
    
    
20. P. G. Paulin, C. Liem, M. Cornero, F. Nacabal, G. Goossens
    Embedded software in real-time signal processing systems: application and architecture trends
    Proceedings of the IEEE, vol. 85, (no.3), IEEE, March 1997, p. 419-35
    
    
21. G. Goossens, J. Van Praet, D. Lanneer, W. Geurts, A. Kifli, C. Liem, P. G. Paulin
    Embedded software in real-time signal processing systems: design technologies
    Proceedings of the IEEE, vol. 85, (no.3), IEEE, March 1997, p. 436-54
    
    

    ---

    Scheduling

22. F. Balarin, L. Lavagno, P. Murthy, and A. Sangiovanni-Vincentelli
    Scheduling for Embedded Real-Time Systems
    IEEE Design and Test of Computers 1998
    
    

    ---

    Interface-Based Design

23. J. Rowson and A. Sangiovanni-Vincentelli
    Interface-based Design
    Proceedings of Design Automation Conference 1997, pag. 178-183.
    
    
24. R. Passerone, J. Rowson and A. Sangiovanni-Vincentelli
    Automatic Synthesis of Interfaces between Incompatible Protocols
    Proceedings of Design Automation Conference 1998, pag. 8-13
    
    
25. P. Chou, K. Hines, R. Ortega, K. Partridge, G. Borriello.
    ipChinook: An Integrated IP-based Design Framework for Distributed Embedded Systems
    Proceedings of the 36th ACM/IEEE Design Automation Conference, New Orleans, LA, June 1999.
    
    
26. L. P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli.
    A Methodology for Correct-by-Construction Latency Insensitive Design
    Proceedings of the Internaltional Conference on Computer-Aided Design, 1999.
    
    
27. L. P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli.
    Latency Insensitive Protocols
    Proceedings of the 11th International Conference on Computer-Aided Verification, Trento, Italy, July 1999.
    
    

    ---

    Design Methodologies and Tools

    Polis

28. F. Balarin, M. Chiodo, A. Jurecska, H. Hsieh, A. 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. (THIS IS A BOOK)
    
    

    Ptolemy

29. J. T. Buck, S. Ha, E. A. Lee and D. Messerschmitt
    Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems
    Int. Journal of Computer Simulation, special issue on ``Simulation Software Development,'' vol. 4, pp. 155-182, April, 1994.
    
    

    Scenic

30. S. Liao, S. Tjiang, R. Gupta
    An efficient implementation of reactivity for modeling hardware in the Scenic design environment
    Proceeding of the 34th Design Automation Conference, Anaheim, CA, usa, 9-13 June 1997
    
    
31. R. K. Gupta, S. V. Liao
    Using a programming language for digital system design
    IEEE Design and Test of Computers, April-June 1997, vol. 14, (no. 2):72-80
    
    

    CoWare

32. D. Verkest, K. Van Rompaey, I. Bolsens, H. De Man
    CoWare - a design environment for heterogeneous hardware/software systems
    Design Automation for Embedded Systems, Oct. 1996, vol. 1, (no.4):357-86.
    
    
33. I. Bolsens, H. J. De Man, B. Lin, K. Van Rompaey, and others
    Hardware/software co-design of digital telecommunication systems
    Proceedings of the IEEE, March 1997, vol. 85, (no. 3):391-418.
    
    

    LabView

34. J. Kodosky, J. MacCrisken, G. Rymar.
    Visual Programming Using Structured Data Flow
    Proceedings of the IEEE Workshop on Visual Languages, Kobe, Japan, October 8-11, 1991, pp. 34-39
    
    
35. H. A. Andrade, S. Kovner.
    Software Synthesis from Dataflow Models for G and LabVIEW
    Proceedings of the 32nd annual Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, USA, November 1998