Faculty Publications - Alberto L. Sangiovanni-Vincentelli

Books

  • L. P. Carloni, R. Passerone, A. Pinto, and A. L. Sangiovanni-Vincentelli, Languages and Tools for Hybrid Systems Design, S. Malik, Ed., Foundations and Trends in Electronic Design Automation, Vol. 1, Hanover, MA: Now Publishers, 2006.
  • A. Mehrotra and A. L. Sangiovanni-Vincentelli, Noise Analysis of Radio Frequency Circuits, Boston: Kluwer Academic, 2004.
  • H. Hsieh, F. Balarin, and A. L. Sangiovanni-Vincentelli, Synchronous Equivalence: Formal Methods for Embedded Systems, Boston: Kluwer Academic Publishers, 2001.
  • S. P. Khatri, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, Cross-Talk Noise Immune VLSI Design using Regular Layout Fabrics, Boston: Kluwer Academic, 2001.
  • E. Charbon, R. Gharpurey, P. Miliozzi, R. G. Meyer, and A. L. Sangiovanni-Vincentelli, Substrate Noise: Analysis and Optimization for IC Design, Boston: Kluwer Academic Publishers, 2001.
  • B. Tabbara, A. Tabbara, and A. L. Sangiovanni-Vincentelli, Function/Architecture Optimization and Co-Design of Embedded Systems, Kluwer International Series in Engineering and ComputerScience; SECS 585, Boston: Kluwer Academic Publishers, 2000.
  • A. Demir and A. L. Sangiovanni-Vincentelli, Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems, Kluwer International Series in Engineering and Computer Science; v. 425, Boston: Kluwer Academic, 1998.
  • F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. L. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, The Kluwer International Series in Engineering and Computer Science; SECS 404., Boston: Kluwer Academic Publishers, 1997.
  • T. Kam, T. Villa, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, Synthesis of Finite State Machines: Functional Optimization, Boston, MA: Kluwer Academic Publishers, 1997.
  • T. Villa, T. Kam, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, Synthesis of Finite State Machines: Logic Optimization, Boston: Kluwer Academic, 1997.
  • H. Chang, E. Charbon, U. Choudhury, A. Demir, E. Felt, E. Liu, E. Malavasi, A. L. Sangiovanni-Vincentelli, and I. Vassiliou, A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits, Boston: Kluwer Academic, 1997.
  • F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. L. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, The Kluwer International Series In Engineering And Computer Science, Vol. 404, Boston, MA: Kluwer Academic Publishers, 1997.
  • H. Chang, E. Charbon, U. Choudhury, A. Demir, E. Felt, E. Liu, E. Malavasi, A. L. Sangiovanni-Vincentelli, and I. Vassiliou, A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits, Boston, MA: Kluwer Academic Publishers, 1997.
  • R. Murgai, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, Logic Synthesis for Field-Programmable Gate Arrays, The Kluwer International Series in Engineering and Computer Science; SECS 324, Boston: Kluwer Academic Publishers, 1995.
  • L. Lavagno and A. L. Sangiovanni-Vincentelli, Algorithms for Synthesis and Testing of Asynchronous Circuits, The Kluwer International Series in Engineering and Computer Science; SECS 0232., Boston: Kluwer Academic, 1993.
  • K. S. Kundert, J. K. White, and A. L. Sangiovanni-Vincentelli, Steady-State Methods for Simulating Analog and Microwave Circuits, The Kluwer International Series in Engineering and Computer Science; SECS94. VLSI, Computer Architecture and Digital Signal Processing, Boston: Kluwer Academic Publishers, 1990.
  • K. S. Kundert, J. K. White, and A. L. Sangiovanni-Vincentelli, Steady-State Methods for Simulating Analog and Microwave Circuits, Kluwer International Series in Engineering and Computer Science, Vol. 94, Boston, MA: Kluwer Academic Publishers, 1990.
  • J. K. White and A. L. Sangiovanni-Vincentelli, Relaxation Techniques for the Simulation of VLSI Circuits, The Kluwer International Series in Engineering and Computer Science; SECS 20, Boston: Kluwer Academic Publishers, 1987.
  • G. De Micheli, A. L. Sangiovanni-Vincentelli, and P. Antognetti, Eds., Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation, NATO Advanced Science Institute series. Series E, Applied Sciences, Vol. 136, Dordrecht, The Netherlands: Martinus Nijhoff Publishers, 1987.
  • A. L. Sangiovanni-Vincentelli, Ed., Selected Papers on Computer-Aided Design of Very Large Scale Integrated Circuits, Advances in Circuits and Systems, New York: IEEE Press, 1987.
  • J. K. White and A. L. Sangiovanni-Vincentelli, Relaxation Techniques for the Simulation of VLSI Circuits, Kluwer International Series in Engineering and Computer Science, Vol. 20, Boston, MA: Kluwer Academic Publishers, 1986.
  • A. L. Sangiovanni-Vincentelli, Ed., Computer-Aided Design of VLSI Circuits and Systems, Advances in Computer-Aided Engineering Design, Vol. 1, Greenwich, CN: JAI Press, 1985.
  • R. K. Brayton, G. D. Hachtel, C. T. McMullen, and A. L. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, The Kluwer International Series in Engineering and Computer Science, Vol. 2, Boston, MA: Kluwer Academic Publishers, 1984.

Book chapters or sections

  • L. Benvenuti, A. Ferrari, E. Mazzi, and A. L. Sangiovanni-Vincentelli, "Contract-based design for computation and verification of a closed-loop hybrid system," in Hybrid Systems: Computation and Control. Proc. 11th Intl. Workshop (HSCC 2008), M. Egerstedt and B. Mishra, Eds., Lecture Notes in Computer Science, Vol. 4981, Berlin, Germany: Springer-Verlag, 2008, pp. 58-71.
  • A. D. Ames, A. L. Sangiovanni-Vincentelli, and S. S. Sastry, "Homogeneous semantics preserving deployments of heterogeneous networks of embedded systems," in Networked Embedded Sensing and Control: Workshop Proc. (NESC 2005), P. J. Antsaklis and P. Tabuada, Eds., Lecture Notes in Control and Information, Vol. 331, Berlin, Germany: Springer-Verlag, 2006, pp. 127-154.
  • A. Pinto, L. P. Carloni, R. Passerone, and A. L. Sangiovanni-Vincentelli, "Interchange format for hybrid systems: abstract semantics," in Hybrid Systems: Computation and Control. Proc. 9th Intl. Workshop (HSCC 2006), J. Hespanha and A. Tiwari, Eds., Lecture Notes in Computer Science, Vol. 3927, Berlin, Gemany: Springer-Verlag, 2006, pp. 491-506.
  • A. Balluchi, A. Bicchi, E. Mazzi, A. L. Sangiovanni-Vincentelli, and G. Serra, "Hybrid modelling and control of the common rail injection system," in Hybrid Systems: Computation and Control. Proc. 9th Intl. Workshop (HCSS 2006), J. Hespanha and A. Tiwari, Eds., Lecture Notes in Computer Science, Vol. 3927, Berlin, Germany: Springer-Verlag, 2006, pp. 79-92.
  • L. Carloni, F. De Bernardinis, C. Pinello, A. L. Sangiovanni-Vincentelli, and M. Sgroi, "Platform-based design for embedded systems," in The Embedded Systems Handbook, R. Zurawski, Ed., Boca Raton, FL: CRC Press, 2005, pp. 1-26.
  • A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, and A. L. Sangiovanni-Vincentelli, "Causality and scheduling constraints in heterogeneous reactive systems modeling," in Formal Methods for Components and Objects: Proc. 2nd Intl. Symp. (FMCO 2003), F. S. de Boer, M. M. Bonsangue, S. Graf, and W. P. de Roever, Eds., Lecture Notes in Computer Science, Vol. 3188, Berlin: Springer-Verlag, 2004, pp. 1-16.
  • T. J. Koo, J. Liebman, C. Ma, B. Horowitz, A. L. Sangiovanni-Vincentelli, and S. S. Sastry, "Platform-based embedded software design for multi-vehicle multi-modal systems," in Embedded Software: Proc. 2nd Intl. Conf. (EMSOFT 2002), A. L. Sangiovanni-Vincentelli and J. Sifakis, Eds., Lecture Notes in Computer Science, Vol. 2491, Berlin, Germany: Springer-Verlag, 2002, pp. 32-45.
  • R. Ghosh and C. Tomlin, "Lateral inhibition through Delta-Notch signaling: A piecewise affine hybrid model," in Hybrid Systems: Computation and Control. Proc. 4th Intl. Workshop (HSCC 2001), M. D. Di Benedetto and A. L. Sangiovanni-Vincentelli, Eds., Lecture Notes in Computer Science, Vol. 2034, Berlin, Germany: Springer-Verlag, 2001, pp. 232-246.
  • S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "The relationship between logic synthesis and test," in Very Large Scale Integration: Proc. IFIP TC10/WG10.5 Intl. Conf. on Very Large Scale Integration (VLSI '89), G. Musgrave and U. Lauther, Eds., Amsterdam, Netherlands: North-Holland, 1990, pp. 175-186.
  • A. R. Newton, "Symbolic layout and procedural design," in Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation, G. De Micheli, A. L. Sangiovanni-Vincentelli, and P. Antognetti, Eds., NATO Advanced Study Institute. Series E: Applied Sciences, Vol. 136, Dordrecht, Netherlands: Martinus Nijhoff Publishers, 1987, pp. 65-112.
  • G. De Micheli, M. Hofmann, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "A design system for PLA-based digital circuits," in Advances in Computer-Aided Engineering Design, A. L. Sangiovanni-Vincentelli, Ed., Vol. 1, Greenwich, CT: JAI Press, 1985, pp. 285-264.

Articles in journals or magazines

Articles in conference proceedings

  • X. Yue, Y. Zhang, S. Zhao, A. L. Sangiovanni-Vincentelli, K. Keutzer, and B. Gong, "Domain randomization and pyramid consistency: Simulation-to-real generalization without accessing target domain data," in Proceedings of the IEEE International Conference on Computer Vision, 2019, pp. 2100--2110.
  • Y. Yang, S. Tripakis, and A. L. Sangiovanni-Vincentelli, "Efficient Distribution of Triggered Synchronous Block Diagrams on Asynchronous Platforms," in International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation -- SAMOS XV, 2015.
  • P. Nuzzo, A. Iannopollo, S. Tripakis, and A. L. Sangiovanni-Vincentelli, "Are Interface Theories Equivalent to Contract Theories?," in 12th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2014.
  • H. Kim, L. Guo, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "A tool integration approach for architectural exploration of aircraft electric power systems," in Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013 IEEE 1st International Conference on, 2013, pp. 38--43.
  • H. Kim, L. Guo, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "A tool integration approach for architectural exploration of aircraft electric power systems," in Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013 IEEE 1st International Conference on, 2013, pp. 38-43.
  • P. Nuzzo, A. A. A. Puggelli, S. A. Seshia, and A. L. Sangiovanni-Vincentelli, "CalCS: SMT Solving for Non-linear Convex Constraints," in Formal Methods in Computer Aided Design, FMCAD 2010, 2010, pp. 71-79.
  • P. Nuzzo, A. Puggelli, S. A. Seshia, and A. L. Sangiovanni-Vincentelli, "{CalCS}: {SMT} Solving for Non-linear Convex Constraints," in Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2010, pp. 71--79.
  • Q. Zhu, Y. Yang, E. Scholte, M. D. Natale, and A. L. Sangiovanni-Vincentelli, "Optimizing Extensibility in Hard Real-Time Distributed Systems," in Proceedings of the 2009 15th IEEE Symposium on Real-Time and Embedded Technology and Applications, RTAS '09, Washington, DC, USA: IEEE Computer Society, 2009, pp. 275--284.
  • P. Nuzzo, C. Nani, C. Armiento, A. L. Sangiovanni-Vincentelli, J. Craninckx, and G. Van der Plas, "A 6-bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS," in Proc. VLSI Symposium on Circuits, 2009, pp. 238-239.
  • Q. Zhu, Y. Yang, E. Scholte, M. D. Natale, and A. L. Sangiovanni-Vincentelli, "Optimizing Extensibility in Hard Real-Time Distributed Systems," in RTAS '09: Proceedings of the 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, Washington, DC, USA: IEEE Computer Society, 2009, pp. 275--284.
  • A. Pinto, M. D'Angelo, C. Fischione, E. Scholte, and A. L. Sangiovanni-Vincentelli, "Synthesis of embedded networks for building automation and control," in Proc. 2008 American Control Conf. (ACC '08), Dayton, OH: American Automatic Control Council, 2008, pp. 920-925.
  • P. G. Park, C. Fischione, A. bonivento, K. H. Johansson, and A. L. Sangiovanni-Vincentelli, "Breath: A self-adapting protocol for wireless sensor networks in control and automation," in Proc. 5th Annual IEEE Communications Society Conf. on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2008), Piscataway, NJ: IEEE Press, 2008, pp. 323-331.
  • Y. Li, C. Wu, A. L. Sangiovanni-Vincentelli, and J. M. Rabaey, "Design and optimization of an MB-OFDM ultra-wideband receiver front-end," in Proc. 4th IEEE Intl. Conf. on Circuits and Systems for Communications (ICCSC 2008), Piscataway, NJ: IEEE Press, 2008, pp. 502-506.
  • A. Ghosal, A. L. Sangiovanni-Vincentelli, and S. Kanajan, "A study of monetary cost analysis for product-line architectures," in Proc. 2008 SAE World Congress & Exhibition (SAE '07), Warrendale, PA: SAE International, 2008.
  • Y. Li, J. M. Rabaey, and A. L. Sangiovanni-Vincentelli, "Analysis of interference effects in MB-OFDM UWB systems," in Proc. 2008 IEEE Wireless Communications and Networking Conf. (WCNC '08), Piscataway, NJ: IEEE Press, 2008, pp. 165-170.
  • T. Meyerowitz, A. L. Sangiovanni-Vincentelli, M. Sauermann, and D. Langen, "Source-level timing annotation and simulation for a heterogeneous multiprocessor," in Proc. 2008 Design, Automation and Test in Europe (DATE '08), Leuven, Belgium: European Design and Automation Association, 2008, pp. 276-279.
  • K. Chatterjee, A. Ghosal, T. A. Henzinger, D. Iercan, C. M. Kirsch, C. Pinello, and A. L. Sangiovanni-Vincentelli, "Logical reliability of interacting real-time tasks," in Proc. 2008 Design, Automation and Test in Europe (DATE '08), Leuven, Belgium: European Design and Automation Associaton, 2008, pp. 909-914.
  • R. Marculescu, B. Nikolic, and A. L. Sangiovanni-Vincentelli, ""Fresh air": The Emerging Landscape of Design for Networked Embedded Systems (Session Abstract)," in Proc. 5th IEEE/ACM Intl. Conf. on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 124-124.
  • A. Benveniste, P. Caspi, M. di Natale, C. Pinello, A. L. Sangiovanni-Vincentelli, and S. Tripakis, "Loosely time-triggered architectures based on communication-by-sampling," in Proc. 7th IEEE/ACM Intl. Conf. on Embedded Software (EMSOFT 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 231-239.
  • R. Ernst, G. Spiegelberg, T. Weber, H. Kopetz, A. L. Sangiovanni-Vincentelli, and M. Jersak, "Automotive Networks: Are New Busses and Gateways the Answer or Just Another Challenge? (Panel Session)," in Proc. 5th IEEE/ACM Intl. Conf. on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 263-263.
  • A. Pinto, L. P. Carloni, and A. L. Sangiovanni-Vincentelli, "A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control," in Proc. 7th IEEE/ACM Intl. Conf. on Embedded Software (EMSOFT 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 21-29.
  • N. Smith, A. Chien, C. Hegarty, W. C. Rhines, A. L. Sangiovanni-Vincentelli, and F. Winters, "Electronics: The New Differential in the Automotive Industry (Panel Discussion)," in Proc. 44th IEEE/ACM Design Automation Conf. (DAC 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 446-446.
  • A. Davare, Q. Zhu, M. Di Natale, C. Pinello, S. Kanajan, and A. L. Sangiovanni-Vincentelli, "Period optimization for hard real-time distributed automotive systems," in Proc. 44th ACM/IEEE Design Automation Conf. (DAC 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 278-283.
  • A. Ghosal, S. Kanajan, R. Urbance, and A. L. Sangiovanni-Vincentelli, "An initial study on monetary cost evaluation for the design of automotive electronic architectures," in Proc. 2007 SAE World Congress & Exhibition (SAE '07), Vol. 116, Warrendale, PA: SAE International, 2007, pp. 1273-1275.
  • T. Villa, S. Zharikova, N. Yevtushenko, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "A new algorithm for the largest compositionally progressive solution of synchronous language equations," in Proc. 17th ACM Great Lakes Symp. on VLSI (GLSVLSI 2007), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 441-444.
  • L. Necchi, A. Bonivento, L. Lavagno, A. L. Sangiovanni-Vincentelli, and L. Vanzago, "E2RINA: An energy efficient and reliable in-network aggregation for clustered wireless sensor networks," in Proc. 2007 IEEE Wireless Communications and Networking Conf. (WCNS '07), Piscataway, NJ: IEEE Press, 2007, pp. 3366-3371.
  • A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. L. Sangiovanni-Vincentelli, G. Yang, H. Zeng, and Q. Zhu, "A next-generation framework for platform-based design," in Proc. 2007 Design and Verification Conference (DVCon '07), 2007.
  • C. Fischione, A. Bonivento, K. H. Johansson, and A. L. Sangiovanni-Vincentelli, "Cooperative diversity with disconnection constraints and sleep discipline for power control in wireless sensor networks," in Proc. 63rd IEEE Vehicular Technology Conf. (VTC 2006-Spring), Piscataway, NJ: IEEE Press, 2006, pp. 578-582.
  • F. De Bernardinis, P. Nuzzo, and A. L. Sangiovanni-Vincentelli, "Robust system-level design with analog platforms," in Proc. 2006 IEEE/ACM Intl. Conf. on Computer-Aided Design (ICCAD '06), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 334-341.
  • A. Fazzi, L. Magagni, M. De Dominicis, P. Zoffoli, R. Canegallo, R. L. Rolandi, A. L. Sangiovanni-Vincentelli, and R. Guerrieri, "Yield prediction for 3D capacitive interconnections," in Proc. 2006 IEEE/ACM Intl. Conf. on Computer-Aided Design (ICCAD '06), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 809-814.
  • G. Yang, H. Hsieh, X. Chen, F. Balarin, and A. L. Sangiovanni-Vincentelli, "Constraints assisted modeling and validation in Metropolis framework," in 40th Asilomar Conf. on Signals, Systems and Computers (ACSSC 2006) Conference Record, M. B. Matthews, Ed., Piscataway, NJ: IEEE Press, 2006, pp. 1469-1474.
  • A. Benveniste, B. Caillaud, L. P. Carloni, P. Caspi, A. L. Sangiovanni-Vincentelli, and S. Tripakis, "Communication by sampling in time-sensitive distributed systems," in Proc. 6th IEEE/ACM Intl. Conf. on Embedded Software (EMSOFT 2006), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 152-160.
  • A. Ghosal, A. L. Sangiovanni-Vincentelli, C. M. Kirsch, T. A. Henzinger, and D. Iercan, "A hierarchical coordination language for interacting real-time tasks," in Proc. 6th IEEE/ACM Intl. Conf. on Embedded Systems (EMSOFT 2006), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 132-141.
  • M. L. McKelvin Jr., C. Pinello, S. Kanajan, J. Wysocki, and A. L. Sangiovanni-Vincentelli, "Model-based design of heterogeneous systems for fault tree analysis," in Proc. 24th Intl. System Safety Conf. (ISSC 2006), Unionville, VA: System Safety Society, Inc., 2006, pp. 400-409.
  • A. Balluchi, A. Casagrande, P. Collins, A. Ferrari, T. Villa, and A. L. Sangiovanni-Vincentelli, "Ariadne: A framework for reachability analysis of hybrid automata," in Proc. 17th Intl. Symp. on Mathematical Theory of Networks and Systems (MTNS 2006), 2006, pp. 1259-1267.
  • Q. Zhu, A. Davare, and A. L. Sangiovanni-Vincentelli, "A semantic-driven synthesis flow for platform-based design," in Proc. 4th ACM/IEEE Intl. Conf. on Formal Methods and Models for Co-Design (MEMOCODE 2006), Piscataway, NJ: IEEE Press, 2006, pp. 199-199.
  • Q. Zhu, N. Kitchen, A. Kuehlmann, and A. L. Sangiovanni-Vincentelli, "SAT sweeping with local observability don't-cares," in Proc. 43rd ACM/IEEE Design Automation Conf. (DAC 2006), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 229-234.
  • C. Liu, A. Kondratyev, Y. Watanabe, J. Desel, and A. L. Sangiovanni-Vincentelli, "Schedulability analysis of Petri nets based on structural properties," in Proc. 6th Intl. Conf. on Application of Concurrency to System Design (ACSD 2006), K. Goossens and L. Petrucci, Eds., Los Alamitos, CA: IEEE Computer Society, 2006, pp. 69-78.
  • S. Kakita, Y. Watanabe, D. Densmore, A. Davare, and A. L. Sangiovanni-Vincentelli, "Functional model exploration for multimedia applications via algebraic operators," in Proc. 6th Intl. Conf. on Application of Concurrency to System Design (ACSD 2006), K. Goossens and L. Petrucci, Eds., Los Alamitos, CA: IEEE Computer Society, 2006, pp. 229-238.
  • A. Balluchi, L. Benvenuti, M. D. Di Benedetto, T. Villa, and A. L. Sangiovanni-Vincentelli, "Idle speed control -- A benchmark for hybrid system research (Invited Paper)," in Proc. 2nd IFAC Conf. on Analysis and Design of Hybrid Systems (ADHS 2006), C. G. Cassandras, A. Giua, C. Seatzu, and J. Zaytoon, Eds., Laxenburg, Austria: International Federation of Automnatic Control, 2006, pp. 2.
  • L. Mangeruca, M. Baleani, A. Ferrari, and A. L. Sangiovanni-Vincentelli, "Uniprocessor scheduling under precedence constraints," in Proc. 12th IEEE Real-Time and Embedded Technology and Applications Symp. (RTAS 2006), S. Goddard and J. S. Liu, Eds., Los Alamitos, CA: IEEE Computer Society, 2006, pp. 157-166.
  • R. Marculescu, J. M. Rabaey, and A. L. Sangiovanni-Vincentelli, "Is "network" the next "big idea" in design?," in Proc. 2006 Design, Automation and Test in Europe (DATE '06), Leuven, Belgium: European Design and Automation Association, 2006, pp. 254-256.
  • G. Yang, X. Chen, F. Balarin, H. Hsieh, and A. L. Sangiovanni-Vincentelli, "Communication and co-simulation infrastructure for heterogeneous system integration," in Proc. 2006 Design, Automation and Test in Europe (DATE '06), Leuven, Belgium: European Design and Automation Association, 2006, pp. 462-467.
  • S. Kanajan, H. Zeng, C. Pinello, and A. L. Sangiovanni-Vincentelli, "Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment," in Proc. 2006 Design, Automation and Test in Europe (DATE '06), Leuven, Belgium: European Design and Automation Association, 2006, pp. 548-553.
  • D. Densmore, A. Donlin, and A. L. Sangiovanni-Vincentelli, "FPGA architecture characterization for system level performance analysis," in Proc. 2006 Design, Automation and Test in Europe (DATE '06), Leuven, Belgium: European Design and Automation Association, 2006, pp. 734-739.
  • A. Bonivento, L. P. Carloni, and A. L. Sangiovanni-Vincentelli, "Platform-based design of wireless sensor networks for industrial applications," in Proc. 2006 Design, Automation and Test in Europe (DATE '06), Leuven, Belgium: European Design and Automation Association, 2006, pp. 1103-1107.
  • A. L. Sangiovanni-Vincentelli, "Automotive Electronics: Steady Growth for Years to Come! (Keynote Address)," in Proc. 11th Asia and South Pacific Design Automation Conf. (ASP-DAC 2006), Piscataway, NJ: IEEE Press, 2006, pp. vii-ix.
  • A. Bonivento, C. Fischione, and A. L. Sangiovanni-Vincentelli, "Randomized protocol stack for ubiquitous networks in indoor environments," in Proc. 3rd IEEE Consumer Communications and Networking Conf. (CCNC 2006), Vol. 1, Piscataway, NJ: IEEE Press, 2006, pp. 152-156.
  • C. Fischione, A. Bonivento, A. L. Sangiovanni-Vincentelli, F. Santucci, and K. H. Johansson, "Performance analysis of collaborative spatio-temporal processing for wireless sensor networks," in Proc. 3rd IEEE Consumer Communications and Networking Conf. (CCNC 2006), Vol. 1, Piscataway, NJ: IEEE Press, 2006, pp. 325-329.
  • W. Zheng, J. Chong, C. Pinello, S. Kanajan, and A. L. Sangiovanni-Vincentelli, "Extensible and Scalable Time Triggered Scheduling," in Proceedings of the Fifth International Conference on Application of Concurrency to System Design, 2005.
  • J. van Greunen, D. Petrovic, A. Bonivento, J. M. Rabaey, K. Ramchandran, and A. L. Sangiovanni-Vincentelli, "Adaptive sleep discipline for energy conservation and robustness in dense sensor networks," in Proc. 2004 IEEE Intl. Conf. on Communications, Vol. 6, Piscataway, NJ: IEEE Press, 2004, pp. 3657-3662.
  • N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. L. Sangiovanni-Vincentelli, "Equisolvability of series vs. controller's topology in synchronous language equations," in Proc. 6th Design, Automation and Test in Europe Conf. and Exhibition (DATE 2003), N. Wehn and D. Verkest, Eds., Los Alamitos, CA: IEEE Computer Society, 2003, pp. 1154-1155.
  • M. Baleani, F. Gennari, Y. Jiang, Y. Patel, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "HW/SW Partitioning and Code Generation of Embedded Control Applications on a Reconfigurable Architecture Platform," in Proceedings of the tenth international symposium on Hardware/software codesign, 2002.
  • M. Baleani, F. Gennari, Y. Jiang, Y. Patel, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform," in Proc. 10th Intl. Symp. on Hardware/Software Codesign (CODES 2002), New York, NY: ACM Press, 2002, pp. 151-156.
  • P. Buch, A. Narayan, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Logic synthesis for large pass transistor circuits," in 1997 IEEE/ACM Intl. Conf. on Computer-Aided Design (ICCAD 1997). Digest of Techical Papers, Los Alamitos, CA: IEEE Computer Society Press, 1997, pp. 663-670.
  • R. K. Brayton, G. D. Hachtel, A. L. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R. K. Ranjan, S. Sarwary, T. R. Shiple, G. Swamy, and T. Villa, "VIS: A system for verification and synthesis," in Lecture Notes in Computer Science: Computer Aided Verification, R. Alur and T. A. Henzinger, Eds., Vol. 1102, London, UK: Springer-Verlag, 1996, pp. 428-432.
  • E. M. Sentovich, K. J. Singh, C. Moon, H. Savoj, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, "Sequential circuit design using synthesis and optimization," in Proc. IEEE 1992 Intl. Conf. on Computer Design: VLSI in Computers and Processors, Los Alamitos, CA: IEEE Computer Society Press, 1992, pp. 328-333.
  • A. A. Malik, R. K. Brayton, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Reduced offsets for two-level multi-valued logic minimization," in Proc. 275h ACM/IEEE Conf. on Design Automation (DAC '90), New York, NY: ACM, Inc., 1990, pp. 290-296.
  • A. Casotto, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Design management based on design traces," in Proc. 27th ACM/IEEE Conf. on Design Automation (DAC '90), New York, NY: ACM, Inc., 1990, pp. 136-141.
  • S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Irredundant sequential machines via optimal logic synthesis," in Proc. 23rd Annual Hawaii Intl. Conf. on System Sciences, Los Alamitos, CA: IEEE Computer Society Press, 1990, pp. 417-426.
  • A. A. Malik, R. K. Brayton, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "A modified approach to two-level logic minimization," in 1988 IEEE Intl. Conf. on Computer-Aided Design (ICCAD-88). Digest of Technical Papers, Los Alamitos, CA: IEEE Computer Society Press, 1988, pp. 106-109.
  • S. Devadas, A. R. Wang, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Boolean decomposition in multi-level logic optimization," in 1988 IEEE Intl. Conf. on Computer-Aided Design (ICCAD-88). Digest of Technical Papers, Los Alamitos, CA: IEEE Computer Society Press, 1988, pp. 290-293.
  • S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Optimal logic synthesis and testability: Two faces of the same coin," in Proc. Intl. Test Conf. (ITC 1988), Washington, DC: IEEE Computer Society Press, 1988, pp. 4-12.
  • H. K. T. Ma, S. Devadas, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "An incomplete scan design approach to test generation for sequential machines," in Proc. Intl. Test Conf. (ITC 1988), Los Alamitos, CA: IEEE Computer Society Press, 1988, pp. 730-734.
  • S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Synthesis and optimization procedures for fully and easily testable sequential machines," in Proc. Intl. Test Conf. (ITC 1988), Los Alamitos, CA: IEEE Computer Society, 1988, pp. 621-630.
  • S. Devadas, A. R. Wang, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Boolean decomposition of programmable logic arrays," in Proc. 10th Annual IEEE Custom Integrated Circuits Conf. (CICC-88), New York, NY: IEEE, 1988, pp. 2.5/1-5.
  • H. K. T. Ma, S. Devadas, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Test generation for sequential finite state machines," in IEEE Intl. Conf. on Computer-Aided Design (ICCAD-87). Digest of Technical Papers, Washington, DC: IEEE Computer Society Press, 1987, pp. 288-291.
  • S. Devadas, H. K. T. Ma, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "MUSTANG: State assignment of finite state machines for optimal multi-level logic implementations," in Proc. IEEE Intl. Conf. on Computer-Aided Design (ICCAD-87). Digest of Technical Papers, Washington, DC: IEEE Computer Society Press, 1987, pp. 16-19.
  • C. H. Séquin, A. L. Sangiovanni-Vincentelli, and A. R. Newton, "The Berkeley Synthesis Project [VLSI]," in 1987 Symp. on VLSI Circuits. Digest of Technical Papers, Piscataway, NJ: IEEE, 1987, pp. 1-4.
  • C. H. Séquin, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Highlights of VLSI research at Berkeley," in 1986 Proc. Fall Joint Computer Conf. (FJCC-86), H. S. Stone, Ed., Washington, DC: IEEE Computer Society Press, 1986, pp. 894-898.
  • J. K. White, R. A. Saleh, A. L. Sangiovanni-Vincentelli, and A. R. Newton, "Accelerating relaxation algorithm for circuit simulation using waveform Newton, iterative step size refinement, and parallel techniques," in IEEE Intl. Conf. on Computer-Aided Design (ICCAD-85). Digest of Technical Papers, Washington, DC: IEEE Computer Society Press, 1985, pp. 5-7.
  • G. D. Hachtel, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "Techniques for Programmable Logic Array folding," in Proc. 19th ACM/IEEE Design Automation Conf. (ICCAD-82), New York, NY: IEEE, 1982, pp. 147-155.
  • S. A. Ellis, K. H. Keller, A. R. Newton, D. O. Pederson, A. L. Sangiovanni-Vincentelli, and C. H. Séquin, "A symbolic layout design system," in Proc. 1982 IEEE Symp. on Circuits and Systems (ISCAS-82), New York, NY: IEEE, 1982, pp. 670-676.
  • R. K. Brayton, G. D. Hachtel, L. A. Hemachandra, A. R. Newton, and A. L. Sangiovanni-Vincentelli, "A comparison of logic minimization strategies using ESPRESSO: An APL program package for partitioned logic minimalization," in Proc. 1982 IEEE Intl. Symp. on Circuits and Systems (ISCAS-82), New York, NY: IEEE, 1982, pp. 42-48.
  • G. D. Hachtel, A. L. Sangiovanni-Vincentelli, and A. R. Newton, "Some results in optimal PLA folding (Invited Paper)," in Proc. IEEE Intl. Conf. on Circuits and Computers (ICCC '80), Vol. 2, New York, NY: IEEE, 1980, pp. 1023-1027.
  • G. De Micheli, A. L. Sangiovanni-Vincentelli, and A. R. Newton, "New algorithms for timing analysis of large circuits," in Proc. IEEE Intl. Symp. on Circuits and Systems (ISCAS-80), Vol. 2, New York, NY: IEEE, 1980, pp. 439-443.

Technical Reports

Patents

Talks or presentations

  • X. Lai, S. Srivastava, C. Bin, Z. Wang, C. Gu, S. Dabas, J. Roychowdhury, A. Pinto, A. L. Sangiovanni-Vincentelli, S. Gambini, and J. M. Rabaey, "MetroSPICE++ and CollabRadio: Synergistic Activities," presented at GSRC Joint Alternative/Core Workshop, June 2007.
  • S. Dabas, X. Lai, S. Srivastava, J. M. Rabaey, A. L. Sangiovanni-Vincentelli, J. Roychowdhury, G. B. Meil, M. LaBouff, A. Srivastava, A. Pinto, and T. Mei, "Hybrid System Simulation: MetroSPICE++ (and CollabRadio Design Driver)," presented at GSRC Quarterly Workshop, San Francisco, CA, July 2006.

Masters Reports