S. Edwards, L. Lavagno, E. Lee, A. Sangiovanni-Vincentelli, "Design of Embedded Systems: Formal Methods, Validation and Synthesis," Proceedings of the IEEE, vol. 85, no. 3, March 1997.
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.
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.
P. Lieverse, P. van der Wolf, E. Deprettere, K. Vissers, "A methodology for architecture exploration of heterogeneous signal processing systems," 1999 IEEE Workshop on Signal Processing Systems (SiPS), 1999.
J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler, K. Pister, "System architecture directions for network sensors," ASPLOS, 2000.
C. L. Liu, J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," Journal of the Association for Computing Machinery, vol.20, no.1, January 1973.
F. Balarin, L. Lavagno, P. Murthy, and A. Sangiovanni-Vincentelli, "Scheduling for Embedded Real-Time Systems," IEEE Design and Test of Computers, 1998.
Software Estimation and Synthesis
K. Suzuki and A. Sangiovanni-Vincentelli, "Efficient Software Performance Estimation Methods for Hardware-Software Codesign," Proceedings of Design Automotion Conference, 1996.
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, July 1997.
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, vol. 16, no.12, December 1997.
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, March 1997.
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, March 1997.
F. Balarin, 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," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.18, no.6, June 1999.
A. Sangiovanni-Vincentelli, A. Ferrari, "System Design - Traditional Concepts and New Paradigms," Proceedings of ICCD, Austin, TX, October 1999.
K. Keutzer, A. R. Newton, J. Rabaey, A. Sangiovanni-Vincentelli, "System-level design: orthogonalization of concerns and platform-based design," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 19, no. 12, December 2000.
A. Sangiovanni-Vincentelli, "Defining Platform-based Design," EEDesign, February 2002.
A. Sangiovanni-Vincentelli, M. Sgroi, L. Lavagno, "Formal Models for Communication-based Design," Proceedings of CONCUR, August 2000.
M. Sgroi, M. Sheets, A. Mihal, K. Keutzer, S. Malik, J. Rabaey, A. Sangiovanni-Vincentelli, "Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design," Proceedings of DAC, Las Vegas, NV, June 2001.
J. Burch, R. Passerone, A. Sangiovanni-Vincentelli, "Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems," Proceedings of Application of Concurrency to System Design, Newcastle, UK, 2001.
A. Pinto, L. Carloni, A. Sangiovanni-Vincentelli, "Constrait-Driven Communication Synthesis," Proceedings of DAC, New Orleans, LA, June 2002.
J. Rowson and A. Sangiovanni-Vincentelli, "Interface-based Design," Proceedings of Design Automation Conference, 1997.
R. Passerone, J. Rowson and A. Sangiovanni-Vincentelli, "Automatic Synthesis of Interfaces between Incompatible Protocols," Proceedings of Design Automation Conference 1998.
P. Chou, K. Hines, R. Ortega, K. Partridge, G. Borriello, "ipChinook: An Integrated IP-based Design Framework for Distributed Embedded Systems," Proceedings of the Design Automation Conference, New Orleans, LA, June 1999.
L. P. Carloni, K. L. McMillan, A. Saldanha, A. Sangiovanni-Vincentelli, "A Methodology for Correct-by-Construction Latency Insensitive Design," Proceedings of the Internaltional Conference on Computer-Aided Design, 1999.
L. P. Carloni, K. L. McMillan, A. Sangiovanni-Vincentelli, "Latency Insensitive Protocols," Proceedings of the International Conference on Computer-Aided Verification, Trento, Italy, July 1999.
R. Passerone, L. Alfaro, T. A. Henzinger, A. Sangiovanni-Vincentelli, "Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin," International Conference on Computer Aided Design, November 2002.
L. de Alfaro, T. A. Henzinger, "Interface Theories for Component-Based Design," Proceedings of First Workshop on Embedded Software (EMSOFT), Lake Tahoe, CA, October, 2001.
E. A. Lee, Y. Xiong, "System-Level Types for Component-Based Design," Proceedings of First Workshop on Embedded Software (EMSOFT),L ake Tahoe, CA, October 2001.
UML for Embedded System Design
G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide, Addison-Wesley, 1999.
G. Martin, L. Lavagno, J. Louis-Guerin, "Embedded UML: a merger of real-time UML and co-design," Proceedings of CODES, Copenhagen, April 2001.
R. Chen, M. Sgroi, G. Martin, L. Lavagno, A. Sangiovanni-Vincentelli, J. Rabaey, "Embedded System Design Using UML and Platforms," Proceedings of FDL, Marseille, France, September 2002.
Design Methodologies, Tools and Languages
T. Groetker, S. Liao, G. Martin, S. Swan, System Design with SystemC, Kluwer Academic Publishers, May 2002.
D. D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, S. Zhao, SpecC: Specification Language and Methodology, Kluwer Academic Publishers, March 2000.
R. K. Gupta, S. V. Liao, "Using a programming language for digital system design," IEEE Design and Test of Computers, vol. 14, no. 2, April-June 1997.
F. Balarin, H. Hsieh, L. Lavagno, C. Passerone, A. Pinto, A. Sangiovanni-Vincentelli, Y. Watanabe, G. Yang, "Metropolis: A Design Environment for Heterogeneous Systems," in W. Wolf and A. Jerraya (editors), Multiprocessor Systems-on-Chips, Morgan Kauffman, 2004.
D. Verkest, K. Van Rompaey, I. Bolsens, H. De Man, "CoWare - a design environment for heterogeneous hardware/software systems," Design Automation for Embedded Systems, vol. 1, no. 4, October 1996.
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.