ALBERTO L. SANGIOVANNI-VINCENTELLI
Professor
Electrical Engineering and Computer Sciences
University of California, Berkeley

PUBLICATIONS

BOOKS

  1. Robert K. Brayton, Gary Hachtel, Curtis McMullen, and Alberto Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic Publishers, Boston/Dordrecht/London, 1984.
  2.  Jacob White and Alberto Sangiovanni-Vincentelli, Relaxation Techniques for the Simulation of VLSI Circuits, Kluwer Academic Publishers, Boston/Dordrecht/London, October 1986.
  3.  Kenneth Kundert, Jacob White, and Alberto Sangiovanni-Vincentelli, Steady-State Methods for Simulating Analog and Microwave Circuits, Kluwer Academic Publishers, Boston/Dordrecht/London, 1990.
  4.  Luciano Lavagno and Alberto Sangiovanni-Vincentelli, Algorithms for Synthesis and Testing of Asynchronous Circuits, Kluwer Academic Publishers, Boston/Dordrecht/London, 1993.
  5.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Logic Synthesis For Field-Programmable Gate Arrays, Kluwer Academic Publishers, Boston/Dordrecht/London, 1995.
  6.  Timothy Kam, Tiziano Villa, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Synthesis of FSMs: Functional Optimization, Kluwer Academic Publishers, Boston/Dordrecht/London, 1997.
  7.  Henry Chang, Edoardo Charbon, Umakanta Choudhuri, Alper Demir, Eric Felt, Edward Liu, Enrico Malavasi, Alberto Sangiovanni-Vincentelli, and Iasson Vassiliou, A Top-Down Constraint-Driven Methodology for Analog Integrated Circuits, Kluwer Academic Publishers, Boston/Dordrecht/London, 1997.
  8.  Tiziano Villa, Timothy Kam, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Synthesis of FSMs: Logic Optimization, Kluwer Academic Publishers, Boston/Dordrecht/London, 1997.
  9.  Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki, and Bassam Tabbara, Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, Kluwer Academic Publishers, Boston/Dordrecht/London, 1997.
  10. Alper Demir and Alberto Sangiovanni-Vincentelli, Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems, Kluwer Academic Publishers, Boston/Dordrecht/London, 1998.
  11. Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli, Function/Architecture Optimization and Co-Design of Embedded Systems, Kluwer Academic Publishers, MA, USA, Hardbound, ISBN0-7923-7985-3, September 2000.
  12. Harry Hsieh, Felice Balarin and Alberto Sangiovanni-Vincentelli, Synchronous Equivalence: Formal Methods for Embedded Systems, Kluwer Academic Publishers, MA, USA, Hardbound, ISBN 0-7923-7262-X, January 2001.
  13. E.Charbon, R.Gharpurey, P.Miliozzi, R.G.Meyer, A.L.Sangiovanni-Vincentelli, Substrate Noise Analysis and Optimization for IC Design, Kluwer Academic Publishers, MA, USA, Hardbound, March 2001.
  14. M. D. DiBenedetto, A. L. Sangiovanni-Vincentelli, Hybrid Systems: Computation and Control vol. 2034 of Lecture Notes in Computer Science, Heidelberg, Germany, Springer-Verlag, March 2001
  15. S. Khatri, R. K. Brayton, A. L. Sangiovanni-Vincentelli, Cross-talk Immune VLSI Design using Regular Layout Fabrics, Kluwer Academic Publishers, MA, USA, Hardbound, June 2001.
  16. Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli, Noise Analysis of Radio Frequency Circuits, Kluwer Academic Publishers, MA, USA, Hardbound, November 2003.

PAPERS IN ARCHIVAL JOURNALS

  1. V. Amoia and Alberto Sangiovanni-Vincentelli, Electrical Circuits and Game Theory, [In Italian.] Note, Recensioni e Notizie, Vol. XXII, No. 6, 1973.
  2.  Alberto Sangiovanni-Vincentelli and Mauro Santomauro, Sparse Matrices and Their Applications to Large Scale Network Analysis and Design: I, [In Italian] Alta Frequenza, No. 8, pp. 476-481, 1974.
  3.  Alberto Sangiovanni-Vincentelli and Mauro Santomauro, Sparse Matrices and Their Applications to Large Scale Network Analysis and Design: II, [In Italian] Alta Frequenza, No. 11, pp. 957-975, 1974.
  4.  Alberto Sangiovanni-Vincentelli and Mauro Santomauro, Sparse Matrices and Their Applications to Large Scale Network Analysis and Design: III, [In Italian] Alta Frequenza, Vol. 44, No. 1. pp. 39-50, January 1975.
  5.  Alberto Sangiovanni-Vincentelli and Mauro Somalvico, Theoretical Formulation of State Space Method for Automatic Problem Solving [In Italian], Alta Frequenza, Vol. 44, No. 3, pp. 148-164, March 1975.
  6.  Alberto Sangiovanni-Vincentelli, An Optimal Bordered Triangular Form of a Sparse Matrix, [In English] Alta Frequenza, pp. 696-706, November 1975.
  7.  Alberto Sangiovanni-Vincentelli, A Note on Bipartite Graphs and Pivot Selection in Sparse Matrices, Presented at SIAM-Signum Annual Meeting, San Francisco CA, 1975. And IEEE Transactions on Circuits and Systems, Vol. CAS23, No. 12, pp. 817-821, December 1976.
  8.  Guido Guardabassi and Alberto Sangiovanni-Vincentelli, A Two Levels Algorithm for Tearing, IEEE Transactions on Circuits and Systems, Vol. CAS23, No. 12, pp. 783-791, December 1976.
  9.  Alberto Sangiovanni-Vincentelli, A Graph Theoretical Interpretation of Non-symmetric Permutation on Sparse Matrices, International Journal of Circuit Theory and Application, Vol. 5, No. 2, pp. 139-147, April 1977.
  10.  Alberto Sangiovanni-Vincentelli, Li-Kuan Chen, and Leon O. Chua, An Efficient Heuristic Cluster Algorithm for Tearing Large Scale Networks, IEEE Transactions on Circuits and Systems, Vol. CAS24, No. 12, pp. 709-717, December 1977.
  11.  Alberto Sangiovanni-Vincentelli and Y.T. Wang, On Equivalent Dynamic Networks: Elimination of Capacitor Loops and Inductor Cutsets, IEEE Transactions on Circuits and Systems, Vol CAS-25, No. 3, pp. 174-78, March 1978.
  12.  S. Goto and Alberto Sangiovanni-Vincentelli, A New Shortest Path Updating Algorithm, Networks, Vol. 8, No. 4, pp. 341-372, Winter 1978.
  13.  Li-Kuan Chen, Benjamin Ting, and Alberto Sangiovanni-Vincentelli, An Edge-Oriented Adjacency List for Undirected Graphs, International Journal on Circuit Theory and Applications, Vol. 7, No. 1, pp. 55-63, January 1979.
  14.  Alberto Sangiovanni-Vincentelli and Mauro Santomauro, Optimal Printed Circuit Board Ordering via Hart-Nilsson-Raphael-Algorithm, International Journal on Circuit Theory and Applications, Vol. 7, No. 2, pp. 247-256, April 1979.
  15.  Benjamin Ting, Ernest Kuh, and Alberto Sangiovanni-Vincentelli, Via Assignment Problem in Multi-Layer Printed Circuit Board, IEEE Transactions on Circuits and Systems, Vol. CAS-26, No. 4, pp. 261-272, April 1979.
  16.  Guy Rabbat, Alberto Sangiovanni-Vincentelli, and Hsueh Y. Hsieh, A Multilevel Newton Algorithm with MacroModeling and Latency for the Analysis of Large-Scale Nonlinear Circuits in the Time Domain, (LSI Circuit Analysis), IEEE Transactions on Circuits and Systems, Vol. CAS-26, No. 9, pp. 733-741, September 1979.
  17.  Elijah Polak and Alberto Sangiovanni-Vincentelli, Theoretical and Computational Aspects of the Optimal Design Centering, Tolerancing and Tuning Problems (Circuit CAD), IEEE Transactions on Circuits and Systems, Vol. CAS-26, No. 9, pp. 795-814, September 1979.
  18.  Alberto Sangiovanni-Vincentelli and Theodore Bickart, Bipartite Graphs and an Optimal Bordered Triangular Form of a Matrix, IEEE Transactions on Circuits and Systems, Vol. CAS-26, No. 10, pp. 880-890, October 1979.
  19.  Alberto Sangiovanni-Vincentelli and Guy Rabbat, Techniques for the Time-Domain Analysis of LSI Circuits, Proceedings of the IEEE, Vol. 127, No. 6, pp. 292-301, December 1980.
  20.  Alberto Sangiovanni-Vincentelli, Editorial, IEEE Transactions of Circuits and Systems, July 1981.
  21.  Richard Newton, Donald O. Pederson, Alberto Sangiovanni-Vincentelli, and Carlo Sequin, Design Aids for VLSI: The Berkeley Perspective, IEEE Transactions on Circuits and Systems, Vol. CAS-28, No. 7, pp. 660-680, July 1981.
  22.  Gary Hachtel and Alberto Sangiovanni-Vincentelli, A Survey of Third Generation Simulation Techniques, Proceedings of the IEEE, Vol 69, No. 10, pp. 1264-1281, October 1981.
  23.  Robert K. Brayton, Gary Hachtel, and Alberto Sangiovanni-Vincentelli, A Survey of Optimization Techniques for Integrated Circuit Design, Proceedings of the IEEE, Vol. 69, No. 10, pp. 1336-1361, October 1981.
  24.  V. Visvanathan and Alberto Sangiovanni-Vincentelli, Diagnosability of Nonlinear Circuits and Systems-Part I: The DC Case, Special Joint Issue of IEEE Transactions on Computers and IEEE Transactions on Computer-Aided Design on Design for Testability, pp.889-898, November 1981.
  25.  Richard Saeks, Alberto Sangiovanni-Vincentelli, and V. Visvanathan, Diagnosability of Nonlinear Circuits and Systems-Part II: Dynamical Systems, Special Joint Issue of IEEE Transactions on Computers and IEEE Transactions on Computer-Aided Design on Design for Testability, pp. 899-906, November 1981.
  26.  D.Q. Mayne, Elijah Polak, and Alberto Sangiovanni-Vincentelli, Computer-Aided Design via Optimization: A Review, Automatica, Vol. 18, No. 2, pp. 147-154, 1982.
  27.  Time Analysis of Large-Scale Circuits Containing One-way Macro-Models, IEEE Transactions on Circuits and Systems, pp. 185-191, March 1982.
  28.  Gary Hachtel, Richard Newton, and Alberto Sangiovanni-Vincentelli, An Algorithm for Optimal PLA Folding, IEEE Transactions on Computer Aided Design for IC, pp. 63-77, April 1982.
  29.  Ekachai Lelarasmee, Albert Ruehli, and Alberto Sangiovanni-Vincentelli, The Waveform Relaxation Method for the Time Domain Analysis of Large Scale Integrated Circuits, IEEE Transactions on Computer-Aided Design for IC, pp. 131-145, July 1982.
  30.  Giovanni De Micheli and Alberto Sangiovanni-Vincentelli, Characterization of Integration Algorithms for the Timing Analysis of MOS VLSI Circuits, International Journal on Circuit Theory and Applications, pp. 299-309, October 1982.
  31.  V. Visvanathan and Alberto Sangiovanni-Vincentelli, A Computational Approach for the Diagnosability of Dynamical Circuits, [Invited Paper] Proceedings of the 1983 International Symposium on Circuits and Systems, Newport Beach CA, May 1983. Also IEEE Transactions on CAD of ICAS, Vol. 3, No. 3, pp. 165-172, July 1984.
  32.  Giovanni De Micheli and Alberto Sangiovanni-Vincentelli, Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications, IEEE Transactions on Computer-Aided Design of IC and Systems, Vol. CAD-2, No. 3, pp. 151-167, July 1983.
  33.  Giovanni De Micheli, Richard Newton, and Alberto Sangiovanni-Vincentelli, Symmetric Displacement Algorithms for the Timing Analysis of Large Scale Circuits, IEEE Transactions on Computer-Aided Design of IC and Systems, Vol. CAD-2, No. 3, pp. 167-180, July 1983.
  34.  Richard Newton and Alberto Sangiovanni-Vincentelli, Relaxation-Based Electrical Simulation, IEEE Transactions on Engineering Design, Vol. ED-30, No. 9, pp. 1184-1207, September 1983, and SIAM Journal on Scientific and Statistical Computing, Vol. 4, No. 3, September 1983 and IEEE Transactions on Computer-Aided Design of IC and Systems.
  35.  V. Visvanathan and Alberto Sangiovanni-Vincentelli, A Computational Approach for the Diagnosability of Dynamical Circuits, IEEE Transactions on Computer-Aided Design, Vol. CAD-3, No. 3, July 1984.
  36.  Carl Sechen and Alberto Sangiovanni-Vincentelli The Timberwolf Placement and Routing Package, IEEE Journal of Solid-State Circuits, Vol. SC-20, No. 2, pp. 510-522, April 1985.
  37.  James Reed, Alberto Sangiovanni-Vincentelli, and Mauro Santomauro, A New Symbolic Channel Router: YACR2, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, July 1985.
  38.  Giovanni De Micheli, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Optimal State Assignment for Finite State Machines, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, July 1985.
  39.  Richard Newton and Alberto Sangiovanni-Vincentelli, Computer-Aided Design of VLSI Circuits, IEEE Computer, Vol. 19, No.4 pp. 38-64, April 1986. and Selected Papers on Computer-Aided Design of Very Large Scale Integrated Circuits Advances in Circuits and Systems, IEEE Press, New York NY, pp. 3-24, 1987
  40.  Kenneth Kundert and Alberto Sangiovanni-Vincentelli, Simulation of Nonlinear Circuits in the Frequency Domain, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-5, No. 4, pp. 521-536, October 1986.
  41.  Alberto Sangiovanni-Vincentelli, Foreword, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-5, No. 4, pp. 449, October 1986.
  42.  Ruey-Sing Wei and Alberto Sangiovanni-Vincentelli, PLATYPUS: A PLA Test Pattern Generation Tool, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-5, No. 4, pp.633-645, October 1986.
  43.  Andre Tits, William Nye, and Alberto Sangiovanni-Vincentelli, Enhanced Methods of Feasible Directions for Engineering Design Problems, Journal of Optimization Theory and Applications, Vol. 51, No. 3, pp. 475-504, December 1986.
  44.  Marcello DeCecco and Alberto Sangiovanni-Vincentelli, Guerre Stellari, Affare Relativo [In Italian], Il Sole- 24 Ore, March 3, 1987.
  45.  Marcello DeCecco and Alberto Sangiovanni-Vincentelli, L'appeal dello Scudo [In Italian], Il Sole- 24 Ore, April 8, 1987.
  46.  Richard Newton and Alberto Sangiovanni-Vincentelli, CAD Tools for ASIC Design [Invited paper], Proceedings of the IEEE, pp. 765-777, June 1987.
  47.  Alberto Sangiovanni-Vincentelli, Editorial, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-6, No. 5, pp. 693, September 1987.
  48.  Richard Rudell and Alberto Sangiovanni-Vincentelli, Multiple-Valued Minimization for PLA Optimization, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-6, No. 5, pp. 727-751, September 1987.
  49.  Andrea Casotto, Fabio Romeo, and Alberto Sangiovanni-Vincentelli, A Parallel Simulated Annealing Algorithm for the Placement of Macro-Cells, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-6, No. 5, pp. 727-751, September 1987.
  50.  Alberto Sangiovanni-Vincentelli, Editorial, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-6, No. 6, pp. 913, November 1987.
  51.  Hyunchul Shin and Alberto Sangiovanni-Vincentelli, A Detailed Router Based on Incremental Routing Modifications: MIGHTY, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-6, No. 6, pp. 942-956, November 1987.
  52.  Robert K. Brayton, Richard Rudell, Alberto Sangiovanni-Vincentelli, and Albert Wang, MIS: A Multiple-level Logic Optimization System, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-6, No. 6, pp. 1062-1082, November 1987.
  53.  Kenneth Kundert, Gregory Sorkin, and Alberto Sangiovanni-Vincentelli, Applying Harmonic Balance to Almost-Periodic Circuits, IEEE Transactions on Microwave Theory and Techniques, Vol. 36, No. 2, pp. 366-379, February 1988.
  54.  Jyao-Min Shyu, Alberto Sangiovanni-Vincentelli, John Fishburn, and Alfred Dunlop, Optimization-Based Transistor Sizing, IEEE Journal of Solid State Circuits, Vol. 23, No. 2, pp. 400-410, April 1988.
  55. F. Balarin, L. Lavagno, P. Murthy, and A. Sangiovanni-Vincentelli, Scheduling for Embedded Real-time Systems, IEEE Design & Test of Computers, 1998.
  56.  Carl Sechen, Douglas Braun, and Alberto Sangiovanni-Vincentelli, ThunderBird: A Complete Standard Cell Layout Package, IEEE Journal of Solid State Circuits, Vol. 23, No. 2, April 1988.
  57.  Willaim Nye, David Riley, Alberto Sangiovanni-Vincentelli, and Andre Tits, DELIGHT-SPICE: An Optimization-based System for the Design of Integrated Circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, pp. 501-520, Vol. 7, No. 4, April 1988.
  58.  Douglas Braun, Jeffrey Burns, Fabio Romeo, Alberto Sangiovanni-Vincentelli, Kartikeya Mayaram, Srivivas Devadas, and Hi Keung T. Ma, Techniques for Multilayer Channel Routing, IEEE Transactions on Computer-Aided Design, Vol. 7, No. 6, June 1988.
  59.  Karen Bartlett, Robert K. Brayton, Gary Hachtel, Reily Jacoby, Christopher Morrison, Richard Rudell, Alberto Sangiovanni-Vincentelli, and Albert Wang, Multilevel Logic Minimization Using Implicit Don't-Cares, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, June 1988.
  60.  Giorgio Casinovi and Alberto Sangiovanni-Vincentelli, A New Aggregation Technique for the Solution of Large Systems of Algebraic Equations, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 7, No. 9, pp. 976-986, September 1988.
  61.  Hi Keung T. Ma, Srivivas Devadas, Richard Newton, and Alberto Sangiovanni-Vincentelli, Test Generation for Sequential Circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 7, No. 10, pp. 1081-1092, October 1988.
  62. C. Passerone, L. Lavagno, C. Sansoe', J. Martin, R. Passerone, R. McGeer, and A. Sangiovanni-Vincentelli. Modeling reactive systems in java. ACM Transactions on Design Automation of Electronic Systems, 3(4), October 1998.
  63.  Roberto Guerrieri and Alberto Sangiovanni-Vincentelli, Three Dimensional Capacitance Evaluation on a Connection Machine, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 7, No. 11, pp. 1125-1133, November 1988.
  64.  Hi Keung T. Ma, Srivivas Devadas, Ruey-Sing Wei, and Alberto Sangiovanni-Vincentelli, Logic Verification Algorithms and Their Parallel Implementation, IEEE Transactions on Computer-Aided Design, Vol. 8, No. 2, February 1989.
  65.  Kenneth Kundert, Jacob White, and Alberto Sangiovanni-Vincentelli, A Mixed Frequency-Time Approach for Distortion Analysis of Switching, Filter Circuits, IEEE Journal of Solid State Circuits, Vol. 24, No. 2, pp. 443-452, April 1989.
  66.  Srivivas Devadas, Albert Wang, Richard Newton, and Alberto Sangiovanni-Vincentelli, Boolean Decomposition in Multilevel Logic Optimization, IEEE Journal of Solid State Circuits, Vol. 24, No. 2, pp. 399-409, April 1989
  67.  Srivivas Devadas, Hi Keung T. Ma, Richard Newton, and Alberto Sangiovanni-Vincentelli, A Synthesis and Optimization Procedure for Fully and Easily Testable Sequential Machines, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 8, No. 10, pp. 1100-1108, October 1989.
  68.  Srivivas Devadas, Hi Keung T. Ma, Richard Newton, and Alberto Sangiovanni-Vincentelli, Irredundant Sequential Machines via Optimal Logic Synthesis, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 9, No. 1, pp. 8-18, January 1990 and Proceedings of the 23rd Annual Hawaii International Conference on Systems, Sciences, Minitrack on Synthesis, pp. 417-426, January 1990.
  69.  Robert K. Brayton, Gary Hachtel, and Alberto Sangiovanni-Vincentelli, Multilevel Logic Synthesis [Invited paper], Proceedings of the IEEE, Vol. 78, No. 2, pp. 264-300, February 1990.
  70.  Hyunchul Shin, Alberto Sangiovanni-Vincentelli, and Carlo Sequin, "Zone-Refining" Techniques for IC Layout Compaction, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 9, No. 2, pp. 167-180, February 1990.
  71.  Tiziano Villa and Alberto Sangiovanni-Vincentelli, NOVA: State Assignment Of Finite State Machines for Optimal Two-Level Logic Implementation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 9, No. 9, pp. 905-924, September 1990.
  72.  Gaetano Borriello and Alberto Sangiovanni-Vincentelli, Foreword, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 10, No. 1, pp. 2, January 1991.
  73.  Sharad Malik, Ellen Sentovich, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Retiming and Resynthesis: Optimizing Sequential Networks with Combinational Techniques, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 10, No. 1, pp. 74-84, January 1991.
  74.  Giorgio Casinovi and Alberto Sangiovanni-Vincentelli, A Macromodeling Algorithm for Analog Circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 10, No. 2, pp. 150-160, February 1991.
  75.  Abdul Malik, Robert K. Brayton, Richard Newton, and Alberto Sangiovanni-Vincentelli, Reduced Offset for Minimization of Binary-Valued Functions, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 10, No. 4, pp. 413-426, April 1991.
  76.  Alberto Sangiovanni-Vincentelli, Foreword Algorithmica, Algorithmica, Special Issue on Simulated Annealing, No. 6, pp. 302, 1991.
  77.  Fabio Romeo and Alberto Sangiovanni-Vincentelli, A Theoretical Framework for Simulated Annealing, Algorithmica, Special Issue on Simulated Annealing, No. 6, pp. 302-345, 1991.
  78.  Donald Webber, Eric Tomacruz, Roberto Guerrieri, T. Toyabe, and Alberto Sangiovanni-Vincentelli, A Massively Parallel Algorithm for Three-Dimensional Device Simulation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 10, No. 9, pp. 1201-1210, September 1991.
  79.  C. K. Sin, Alan Kramer, V. Hu, R. Chu, P. Ko, and Alberto Sangiovanni-Vincentelli, EEPROM as an Analog Storage Device with Particular Application in Neural Networks, IEEE Transactions on Electron Devices, Vol. 39, No. 6, pp. 1410-1419, June 1992.
  80.  Sharad Malik, Luciano Lavagno, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Symbolic Minimization of Multilevel Logic and the Input Encoding Problem, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 11, No. 7, pp. 825-843, July 1992.
  81.  Umakanta Choudhury and Alberto Sangiovanni-Vincentelli, Automatic Generation of Parasitic Constraints for Performance-Constrained Physical Design of Analog Circuits, IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, pp. 208-224, February 1993.
  82.  P.M. Xiao, Edoardo Charbon, Alberto Sangiovanni-Vincentelli, and Theodore Van Duzer, INDEX: An Inductance Extractor for Superconducting Circuits. IEEE Transactions on Applied Superconductivity, Vol. 3, No. 1, Pt. 4, pp. 2629-2632, March 1993.
  83.  Luciano Lavagno and Alberto Sangiovanni-Vincentelli, Automated Synthesis of Asynchronous Interface Circuits. Working Conference on Asynchronous Design Methodologies, Manchester UK, IFIP Transaction A: Computer Science and Technology, Vol. A-28, pp. 107-121, March-April 1993.
  84.  Umakanta Choudhury and Alberto Sangiovanni-Vincentelli, Constraint-Based Channel Routing for Analog and Mixed Analog/Digital Circuits, IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, pp. 497-510, April 1993.
  85.  Luciano Lavagno and Alberto Sangiovanni-Vincentelli, Automated Synthesis of Asynchronous Interface Circuits, Microprocessors and Microsystems, Vol. 17, No. 4, pp. 232-242, May 1993.
  86.  Sharad Malik, Kanwar Jit Singh, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Performance Optimization of Pipelined Logic Circuits Using Peripheral Retiming and Resynthesis, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 12, No. 5, May 1993.
  87.  Jonathan Rose, Abbas El Gamal, and Alberto Sangiovanni-Vincentelli, Architecture of Field-Programmable Gate Arrays, Proceedings of the IEEE, Vol. 81, No. 7, pp. 1013-1029, July 1993.
  88.  Alberto Sangiovanni-Vincentelli, Abbas El Gamal, and Jonathan Rose, Synthesis Methods for Field Programmable Gate Arrays, Proceedings of the IEEE, Vol. 81, No. 7, pp. 1057-1083, July 1993.
  89.  Enrico Malavasi and Alberto Sangiovanni-Vincentelli, Area Routing for Analog Layout, IEEE Transactions on Computer Aided Design, Vol. 12, No. 8, August 1993.
  90.  Andrea Casotto and Alberto Sangiovanni-Vincentelli, Automated Design Management Using Traces, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 12, No. 8, pp. 1077-1095, August 1993.
  91.  Luciano Lavagno and Alberto Sangiovanni-Vincentelli, Linear Programming for Hazard Elimination in Asynchronous Circuits, Journal of VLSI Signal Processing, October 1993.
  92.  Abdul Malik, Robert K. Brayton, Richard Newton, and Alberto Sangiovanni-Vincentelli, Two-Level Minimization of Multivalued Functions with Large Offsets, IEEE Transactions on Computers, Vol. 42, No. 11, pp. 1325-1342, November 1993.
  93.  Felice Balarin and Alberto Sangiovanni-Vincentelli, An Iterative Approach to Verification of Real-Time Systems, Formal Methods in System Design: An International Journal, Kluwer Academic Publishers, Boston/Dordrecht/London, January 1994.
  94.  Eric Tomacruz, Jagesh Sanghavi, and Alberto Sangiovanni-Vincentelli, Algorithms for Drift-Diffusion Device Simulation Using Massively Parallel Processors, IEICE Journal (Japan), February 1994.
  95.  Patrick McGeer, Jagesh Sanghavi, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, ESPRESSO-Signature: A New Exact Minimizer for Logic Functions, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 1, No. 4, pp. 432-440, December 1993.
  96.  Alex Saldanha, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Circuit Structure Relations to Redundancy and Delay, IEEE Transactions on Computer-Aided Design, 1994.
  97.  Alex Saldanha, Tiziano Villa, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Satisfaction of Input and Output Encoding Constraints, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 13, No. 5, pp. 589-602, May 1994.
  98.  Linda Milor and Alberto Sangiovanni-Vincentelli, Minimizing Production Test Time to Detect Faults in Analog Circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 13, No. 6, pp. 796-813, June 1994.
  99.  Massimiliano Chiodo, Paolo Giusto, Atilla Jurecska, Harry C. Hsieh, Alberto Sangiovanni-Vincentelli, and Luciano Lavagno, Hardware-Software Codesign of Embedded Systems, IEEE Micro Chips, Systems, Software, and Applications, pp. 26-36, August 1994.
  100.  William K. Lam, Alex Saldanha, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Delay Fault Coverage, Test Set Size, and Performance Tradeoffs, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 14, No. 1, pp. 32-44, January 1995.
  101.  Luciano Lavagno, Cho W. Moon, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, An Efficient Heuristic Procedure for Solving the State Assignment Problem for Event-Based Specifications, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 14, No. 1, pp. 45-60, January 1995.
  102.  Luciano Lavagno, Kurt Keutzer, and Alberto Sangiovanni-Vincentelli, Synthesis of Hazard-Free Asynchronous Circuits with Bounded Wire Delays, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 14, No. 1, pp. 61-86, January 1995.
  103.  Umakanta Choudhury and Alberto Sangiovanni-Vincentelli, Automatic Generation of Analytical Models for Interconnect Capacitances, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 14, No. 4, pp. 470-480, April 1995.
  104.  Edward Liu and Alberto Sangiovanni-Vincentelli, Verification of Nyquist Data Converters Using Behavioral Simulation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 14, No. 4, pp. 493-502, April 1995.
  105.  Enrico Malavasi, Eric Felt, Edoardo Charbon, and Alberto L. Sangiovanni-Vincentelli, Performance-Driven Compaction of Analog IC's, International Journal of Circuit Theory and Applications, Vol. 23, No. 4, pp. 433-452, July-August 1995.
  106.  Kurt Keutzer, Luciano Lavagno, and Alberto Sangiovanni-Vincentelli, Synthesis for Testability Techniques for Asynchronous Circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 14, No. 12, pp. 1569-1577, December 1995.
  107.  Massimiliano Chiodo, Daniel Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, and Alberto Sangiovanni-Vincentelli, A Case Study in Computer-Aided Co-Design of Embedded Controllers, Design Automation for Embedded Systems (Journal), pp. 51-67, January 1996.
  108.  Robert Neff, Paul Gray, and Alberto Sangiovanni-Vincentelli, A Module Generator for High-Speed CMOS Current Output Digital/Analog Converters, IEEE Journal of Solid-State Circuits, Vol. 31, No.3, pp. 448-451, March 1996.
  109.  Alper Demir, Edward Liu, and Alberto Sangiovanni-Vincentelli, Time-Domain Non-Monte Carlo Noise Simulation for Nonlinear Dynamic Circuits with Arbitrary Excitations, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, No. 5, pp. 493-505, May 1996.
  110.  William Lam, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Valid Clock Frequencies and Their Computation in Wavepipelined Circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, No. 7, pp. 791-807, July 1996.
  111.  Kei Suzuki and Alberto Sangiovanni-Vincentelli, Efficient Software Performance Estimation Methods for Hardware/Software Codesign, IEICE Journal (Japan), VLD96-27, pp. 9-16, July 1996.
  112.  Enrico Malavasi, Edoardo Charbon, Eric Felt, Alberto Sangiovanni-Vincentelli, Automation of IC Layout with Analog Constraints, IEEE Transactions on Computer-Aided Design, Vol. 15, No. 8, pp. 923-942, August 1996.
  113.  P. Stephan, Robert K. Brayton, A. Sangiovanni-Vincentelli, Combinational Test Generation Using Satisfiability, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, No. 9, pp. 1167-1175, September 1996.
  114.  Alexander Yakovlev, Luciano Lavagno, and Alberto Sangiovanni-Vincentelli, A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis, Formal Methods in System Design (Kluwer), Vol. 9, No. 3, pp. 139-188, November 1996.
  115. S. Edwards, L. Lavagno, E.A. Lee, and A. Sangiovanni-Vincentelli. Design of embedded systems: formal models, validation, and synthesis. Proceedings of the IEEE, 85(3):366-390, March 1997.
  116.  Timothy Kam, Tiziano Villa, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli, Implicit Computation of Compatibles Sets for State Minimization of ISFSMs, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, July 1997.
  117.  Tiziano Villa, Timothy Kam, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli, Explicit and Implicit Algorithms for Binate Covering Problems, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, July, 1997.
  118.  Tiziano Villa, Alexander Saldanha, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli, Symbolic Two-Level Minimization IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, July, 1997.
  119.  Edoardo Charbon, Enrico Malavasi, Paolo Miliozzi and Alberto L. Sangiovanni-Vincentelli, Non-Deterministic Constraint Generation for Analog and Mixed-Signal Layout, IEICE, Vol. E80, N. 10,pp. 1032-1043, October 1997.
  120.  Timothy Kam, Tiziano Villa, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli, Multi-Valued Decision Diagrams for Logic Synthesis and Verification, International Journal on Multiple-Valued Logic, October 1997.
  121.  Timothy Kam, Tiziano Villa, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli, Theory and Algorithms for State Minimization of Nondeterministic FSM's, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 16, No. 11, pp. 1311-1322, November 1997.
  122.  C. M. Melliar-Smith, M.G. Borrus, D. Haggan, T. Lowrey, A. Sangiovanni-Vincentelli and W. Troutman, The Transistor: An Invention Becomes a Big Business Proceedings of the IEEE, vol. 86, n. 1, pp. 1-25, January 1998
  123. E. Goldberg, T. Villa, R. Brayton, A. Sangiovanni-Vincentelli,Theory and Algorithms for Face Hypercube Embedding,IEEE Trans. on CAD, June 1998, vol.17, (no.6):472-88.
  124. A. Sangiovanni-Vincentelli, J. Rowson, What you need to know about hardware/software co-design, Computer Design, August 1998, vol.37, (no.8):63-69.
  125.  T. Kam, T. Villa, R. Brayton, A. Sangiovanni-Vincentelli, Multi-valued decision diagrams: theory and applications, International Journal on Multiple-Valued Logic, Volume 4, Numbers 1-2 (1998), pages 9-62.
  126. A. Oliveira, L. Carloni, T. Villa, A. Sangiovanni-Vincentelli, Exact Minimization of Binary Decision Diagrams Using Implicit Techniques, IEEE Trans. on Computers,  vol.47, (no.11):1282-96, November 1998.
  127. E. Lee and A. Sangiovanni-Vincentelli, A Unified Framework for Comparing Models of Computation, IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems, Vol. 17, N. 12, pp. 1217-1229, December 1998.
  128. Edoardo Charbon, R. Gharpurey, R.G. Meyer and Alberto L. Sangiovanni-Vincentelli, Analysis and Optimization of Substrate Noise in VLSI ICs,  IEEE Transactions on Computer Aided Design for IC, Vol. CAD-18, no.2, pages 172-190, February 1999.
  129.  Edoardo Charbon, Paolo Miliozzi, Luca Carloni and Alberto L. Sangiovanni-Vincentelli, Modeling Digital Substrate Noise Injection in Mixed-Signal ICs,  IEEE Transactions on Computer Aided Design for IC, Vol. CAD-18, no.3, pages 301-310, March 1999.
  130.  A. Balluchi, M.D. Di Benedetto, C.Pinello, C. Rossi and A. Sangiovanni-Vincentelli, Hybrid Control in Automotive Applications: the Cut-Off Control,  Automatica: a Journal of IFAC, Vol. 35, no. 3, pages 519-535, March 1999.
  131.  F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L.Lavagno, A. Sangiovanni-Vincentelli, E. M. Sentovich, Synthesis of Software Programs for Embedded Control Applications,  IEEE Transactions on Computer Aided Design for IC, Vol. 18, no. 6, pages 834-849, June 1999.
  132. M. Lajolo, L. Lavagno, and A. Sangiovanni-Vincentelli, Fast Instruction Cache Simulation for Hardware/Software Co-Design, in IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E82-A, No. 11 November 1999, pp. 2475 - 2483.
  133. E.I. Goldberg, L.P. Carloni, T. Villa, R. K. Brayton and A.L. Sangiovanni-Vincentelli, Negative Thinking in Branch-and-Bound: the Case of Unate Covering, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 19, No. 3, March 2000 
  134. M. Sgroi, L. Lavagno, A. Sangiovanni-Vincentelli, Formal Models for Embedded System Design, IEEE Design & Test Magazine. Special Issue on System Design. June 2000.
  135. M. D. Di Benedetto, P. Lucibello, A. L. Sangiovanni-Vincentelli, and K. Yamaguchi, A New Procedure for Exact Ring Closure,  J. Computational Chemistry, Vol. 21, No. 10, July 30, 2000, pp. 870-881.
  136. A. Balluchi, L. Benvenuti, M. Di Benedetto, C. Pinello and A. Sangiovanni-Vincentelli, Automotive Engine Control and Hybrid Systems: Challenges and Opportunities, Proceedings of the IEEE, Special issue on Hybrid Systems(invited paper), pp. 888-912, July 2000.
  137. C. Passerone, T. Cuatto, A. Jurecska, F. Gregoretti, C. Sansoe', A. Sangiovanni-Vincentelli, A Case Study in Embedded System Design: an Engine Control Unit, in Kluwer Journal on Design Automation for Embedded Systems,Volume 6, Number 1, September 2000, pp. 71-88.
  138. K. Keutzer, S. Malik, A. R. Newton, J. M. Rabaey,  and A. Sangiovanni-Vincentelli, System Level Design: Orthogonalization of Concerns and Platform-Based Design,  invited paper, IEEE Transactions on Computer-Aided Design, Vol. 19, No. 12, December 2000.
  139. R. Bryant, K-T. Cheng, A. Kahng, K. Keutzer, W. Maly, R.Newton, L. Pileggi, J. Rabaey, A. Sangiovanni-Vincentelli, Limitations and challenges of computer-aided design technology for CMOS VLSI, Proceedings of the IEEE, vol. 89, issue 3, March 2001, pages 341-365
  140. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. L. Sangiovanni-Vincentelli, Hybrid control of force transients for multi-point injection engines, International Journal of Robust and Nonlinear Control, vol. 11, Special Issue on Hybrid Systems (invited paper), pp.515-539, April 2001.
  141. H. Hsieh, F. Balarin, L. Lavagno and A. Sangiovanni-Vincentelli, Synchronous approach to the functional equivalence of embedded system implementations, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 20, (no. 8), IEEE, Aug. 2001. p. 1016-33.
  142. L.P. Carloni, K.L. McMillan and A.L. Sangiovanni-Vincentelli, The Theory of Latency Insensitive Design, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 20, No. 9, September 2001.
  143. M. Di Benedetto, A. Sangiovanni-Vincentelli, T. Villa, Model Matching for Finite State Machines, IEEE Trans. on AC, November 2001 vol.46, (no.11):1726-43
  144. M. Broucke, S. Di Gennaro, M. Di Benedetto, and A. Sangiovanni-Vincentelli, Efficient solution of optimal control problems using hybrid systems, SIAM Journal on Control and Optimization, submitted December 2000.
  145. Alberto Sangiovanni-Vincentelli and Grant Martin, A Vision for Embedded Systems: Platform-Based Design and Software Methodology, IEEE Design and Test of Computers, Volume 18, Number 6, November-December, 2001, pp. 23-33.
  146. L. P. Carloni, and A. L. Sangiovanni-Vincentelli, Coping with Latency in SoC Design, IEEE Micro, Special Issue on Platform-Based Systems on Chip, Vol. 20, No. 5, September/October 2002.
  147. B. Horowitz, J. Liebman, C. Ma, T. J. Koo, A. L. Sangiovanni-Vincentelli, S. S. Sastry, Platform-based Embedded Software Design and System Integration for Autonomous Vehicles, Proceedings of the IEEE, Vol. 91, No. 1, pp.198-211, January 2003.
  148. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Paserone, A. L. Sangiovanni-Vincentelli, Metropolis: an Integrated Electronic System Design Environment, IEEE Computer, Vol. 36, No. 4, April, 2003.
  149. A. L. Sangiovanni-Vincentelli, and Luciano Lavagno, Trends and Directions in Microelectronics, IEEE Micro, Vol. 21, No. 3, May/June, 2003.
  150. A. L. Sangiovanni-Vincentelli, Electronic-System Design in the Automobile Industry, IEEE Micro, Vol. 21, No. 3, May/June, 2003.
  151. L. Benvenuti, M. D. Di Benedetto, S. Di Gennaro, and A. L. Sangiovanni-Vincentelli, Individual Cylinder Characteristic Estimation for a Spark Injection Engine, Automatica, Vol. 39, No. 7, pp.1157-1169, July 2003.
  152. A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli, Controller Synthesis for Hybrid Systems with a Lower Bound on Event Separation, International Journal of Control, Vol. 76, No. 12, pp.1171-1200, August 2003.
  153. F. Koushanfar, M. Potkonjak, A. L. Sangiovanni-Vincentelli, On-line Fault Detection of Sensor Measurements, IEEE Sensors, pp.974-980, October 2003.
  154. A. L. Sangiovanni-Vincentelli, The Tides of EDA, IEEE Design and Test, Vol. 20, No. 6, pp.59-75, November/December 2003.
  155. A. Nardi and A. L. Sangiovanni-Vincentelli, Logic Synthesis for Manufacturability, IEEE Design and Test of Computers, pp.192-199, May/June 2004.
  156. S. P. Khatri, S. Sinha, R. K. Brayton, and A. L. Sangiovanni-Vincentelli, SPFD-Based Wire Removal in Standard-Cell and Network-of-PLA Circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 23, No. 7, pp.1020-1030, July 2004.
  157. A. Amir, L. Zimet, A. Sangiovanni-Vincentelli, S. Kao, An Embedded System for an Eye Detection Sensor , CVIU Special Issue on Eye Detection and Gaze Tracking, 4Q, 2004
  158. A. Burns and A. Sangiovanni-Vincentelli, Editorial, ACM Trans. on Embedded Computing Systems, Vol. 4, n. 3, pp. 469-471, Aug. 2005.
  159. A. Sangiovanni-Vincentelli and A. Pinto, An Overview of Embedded System Design Education at Berkeley, ACM Trans. on Embedded Computing Systems, Vol. 4, n. 3, pp. 472-499, Aug. 2005.
  160. P. Caspi and A. Sangiovanni-Vincentelli, Guidelines for a Graduate Curriculum on Embedded Software and Systems, ACM Trans. on Embedded Computing Systems, Vol. 4, n. 3, pp. 587-611, Aug. 2005.
  161. L. Palopoli, C. Pinello, A. Bicchi and A. Sangiovanni-Vincentelli, Maximizing the Stability Radius of a Set of Systems Under Real-Time Scheduling Constraints, IEEE Trans. on Automatic Control, Vol. 50, N. 11, pp. 1790-1795, Nov. 2005.
  162. L.P. Carloni and A.L. Sangiovanni-Vincentelli, A Framework for Modeling the Distributed Deployment of Synchronous Designs, Formal Methods in Systems Design - An International Journal, Springer-Verlag, Vol. 28, No. 2, March 2006.
  163. L.P. Carloni, R. Passerone, A. Pinto and A.L. Sangiovanni-Vincentelli, Languages and Tools for Hybrid Systems Design, Foundations and Trends. in Electronic Design Automation, 2006.
  164. A. Balluchi, L. Benvenuti, S. Engell, T. Geyer, K. Johansson, F. Lamnabhi-Lagarrigue, J. Lygeros, M. Morari, G. Papafotiou, A. Sangiovanni-Vincentelli, F. Santucci, and O. Stursberg, Hybrid Control of Networked Embedded Systems, European Journal of Control, vol. 11, no. 4-5, pp. 478-508, 2006. Special issue "Fundamental Issues in Control".
  165. A. Balluchi, L. Benvenuti, A. Ferrari, and A. Sangiovanni-Vincentelli, Hybrid Systems in Automotive Electronics Design, International Journal of Control, vol. 79, pp. 375-394, May 2006. Special issue on "Advanced design methodologies in automotive control".
  166. C. Umans, T. Villa and A. Sangiovanni-Vincentelli, The Complexity of Two-Level Logic Minimization, IEEE Transactions on CAD, 1230-1246, July 2006.
  167. Douglas Densmore, Roberto Passerone and Alberto Sangiovanni-Vincentelli, A Platform-Based Taxonomy for ESL Design, IEEE Design and Test of Computers, vol. 23, no. 5, pp. 359-374, 2006.
  168. A. Bonivento, L. Carloni and A. Sangiovanni-Vincentelli, Platform-Based Design for Wireless Sensor Networks, Mobile Netw. Appl., N. 11, pp. 469-485, Nov. 2006.
  169. W. Gosti, T. Villa, A. Saldanha and A. Sangiovanni-Vincentelli, FSM Encoding for BDD Representations, International Journal of Applied Mathematics and Computer Science, Vol. 17, N. 1, pp. 113-128, 2007.

170.                      Bonivento, C. Fischione, L. Necchi, F. Pianegiani, A. Sangiovanni-Vincentelli, System Level Design for Clustered Wireless Sensor Networks, IEEE Transactions on Industrial Informatics, Vol. 3, No. 3, pp. 202--214, August 2007.

  1. A. Sangiovanni-Vincentelli, Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design, Proceedings of the IEEE, Vol. 95, N. 3, pp. 467-506, March 2007.
  2. A. Sangiovanni-Vincentelli, Remembering Richard, IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, Vol. 26, N. 8, pp. 1357-1366, August 2007.
  3. L. Mangeruca, M. Baleani, A. Ferrari and A. Sangiovanni-Vincentelli, Semantics Preserving Design of Embedded Control Software from Synchronous Models, IEEE Transactions on Software Engineering, Vol. 33, N. 8, pp. 497-509, August 2007.
  4. A. Balluchi, A. Bicchi, E. Mazzi, A. Sangiovanni-Vincentelli and G. Serra, Hybrid Modeling and Control of the Common-Rail Injection System, International Journal of Control, Vol. 80, N. 11, pp. 1780-1795, November 2007.
  5. L. Albertoni, A. Balluchi, A. Casavola, C. Gambelli, E. Mosca and A. Sangiovanni-Vincentelli, Idle Speed Control of Port-injection Engines via the Polynomial Equation Approach, International Journal of Robust and Nonlinear Control, Vol. 17, N. 8, pp. 720-731, 2007.
  6. N. Yevtushenko, T. Villa, R. Brayton, A. Petrenko and A. Sangiovanni-Vincentelli, Compositionally Progressive Solutions of Synchronous FSM Equations, Discrete Event Dynamic Systems, Vol. 18, N. 1, pp. 51-89, March 2008.
  7. C. Pinello, Luca P. Carloni and Alberto Sangiovanni-Vincentelli, Fault-Tolerant Distributed Deployment of Embedded Control Software, IEEE Transactions on CAD, Vol. 27, N. 5, pp. 906-919, May 2008.
  8. A. Speranzon, C. Fischione, K. H. Johansson and Alberto L. Sangiovanni-Vincentelli, A Distributed Minimum Variance Estimator for Wireless Sensor Networks, IEEE Journal on Selected Areas of Communications, VOl. 26, N. 4, pp. 609-622, May 2008.
  9. A. Sangiovanni-Vincentelli, Is a Unified Methodology for System-Level Design Possible?, IEEE Design and Test of Computers, Special Issue on Design in the Late and Post-Silicon Eras, Vol. 25, N. 4, pp. 346-358, July-August 2008.
  10. Lin Yuan, Gang Qu, Tiziano Villa and Alberto L. Sangiovanni-Vincentelli, An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 27, N. 6, pp. 1159-1164, June 2008.
  11. S. Tripakis, C. Pinello, A. Benveniste, Alberto Sangiovanni-Vincentelli, P. Caspi and M. Di Natale, Fault-Tolerant Distributed Deployment of Embedded Control Software, IEEE Transactions on COMPUTERS, Vol. 57, N. 10, pp. 1300-1314, October 2008.

CHAPTERS OF BOOKS: INVITED AND REFEREED

  1. Alberto Sangiovanni-Vincentelli and Mauro Somalvico, State Space Approach in Problem Solving Optimization, Optimization Techniques, P. Conti and E. Ruberti, Editors, Springer-Verlag , New York NY, 1973.
  2.  Alberto Sangiovanni-Vincentelli and Mauro Santomauro, Sparse Matrices and Large Scale Systems, [In Italian] Guido Guardabassi, Editor, CLUP, pp. 1-100, 1974.
  3.  Alberto Sangiovanni-Vincentelli, D. Mandrioli, and Mauro Somalvico, A General Approach to Learning in Problem Solving, Computer Learning Processes, J. C. Simon, Editor, Nordhoff Co., Publisher pp. 471-501, 1976.
  4.  Alberto Sangiovanni-Vincentelli, An Optimization Problem Arising from Tearing Methods, Sparse Matrix Computations, J. Bunch and D. Rose, Editors, Academic Press, CA FL NY MA, pp. 97-110, 1976.
  5.  D. Mandrioli, Alberto Sangiovanni-Vincentelli, and Mauro Somalvico, Toward a Theory of Problem Solving, Topics in Artificial Intelligence [Invited Paper], A. Marzollo, Editor, Springer-Verlag, New York NY, Publisher
  6.  P. Antognetti, Donald O. Pederson, H. De Man, and Alberto Sangiovanni-Vincentelli, Circuit Simulation [Invited Paper], Computer Design Aids for VLSI Circuits, Sjthoff and Noordhoff, Alphen aan den Rijin, pp. 19-113, 1981. and Proceedings of the NATO Advanced Study Institute, Urbano, Italy, July 1980.
  7.  Alberto Sangiovanni-Vincentelli, The Impact of CAD on Competitiveness throughout the Economy, Testimony presented to the Hearings of the Subcommittee on Economic Stabilization of the Committee on Banking, Finance, and Urban Affairs of the U.S. House of Representatives, given at Berkeley CA, August 19, 1983.
  8.  Giovanni De Micheli, M. Hofmann, Richard Newton, and Alberto Sangiovanni-Vincentelli, A Design System for PLA-Based Digital Circuits, Advances in Computer-Aided Engineering Design, Vol. 1, Alberto Sangiovanni-Vincentelli, Editor, JAI Press, Greenwich CT, 1985.
  9.  Fabio Romeo and Alberto Sangiovanni-Vincentelli, Probabilistic Hill Climbing Algorithms: Properties and Applications, 1985 Chapel Hill Conference on Very Large Scale Integration, H. Fuchs, Editor, Computer Science Press, Rockville MD, May 1985.
  10.  Alberto Sangiovanni-Vincentelli, Synthesis of LSI Circuits, Synthesis Systems for VLSI Circuits, Kluwer Academic Publisher, Boston/Dordrecht/London, 1987.
  11.  Alberto Sangiovanni-Vincentelli, Automatic Layout of Integrated Circuits, Synthesis Systems for VLSI Circuits, Kluwer Academic Publisher, Boston/Dordrecht/London, 1987.
  12.  Jeffery Burns, Andrea Casotto, G. Cheng, W. Clai, Mitsuru Igusa, M. Kubota, U. Lauther, F. Marron, Richard Newton, Fabio Romeo, Carl Sechen, Hyunchul Shin, G. Srinath, Alberto Sangiovanni-Vincentelli, and Hormoz Yaghutiel, MOSAICO: An Integrated Macro Cell Layout System, Carlo Sequin, Editor, VLSI 87, IFIP, pp. 133-149, August 1987.
  13.  Srivivas Devadas, Hi Keung T. Ma, and Alberto Sangiovanni-Vincentelli, Logic Verification, Testing and Their Relationship to Logic Synthesis, Testing and Diagnosis of VLSI and ULSI, Kluwer Academic Publishers, Boston/Dordrecht/London, pp. 181-245, 1988.
  14.  Alberto Sangiovanni-Vincentelli, Massively Parallel Computing for Integrated Circuit Design in the 1990s, VLSC 21st Century, SIAM Publishing Company, pp. 155-177, 1991.
  15.  Patrick McGeer, Alex Saldanha, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Delay Models and Exact Timing Analysis, Book chapter: New Trends in Logic Synthesis and Optimization, Edited by T. Sasao, Kluwer Academic Publishers, Boston/Dordrecht/London, September 1992.
  16.  Robert K. Brayton, Patrick McGeer, Jagesh Sanghavi, and Alberto Sangiovanni-Vincentelli, A New Exact Minimizer for Two-Level Logic Synthesis, Book chapter: New Trends in Logic Synthesis and Optimization, Edited by T. Sasao, Kluwer Academic Publishers, Boston/Dordrecht/London, September 1992.
  17.  Alberto Sangiovanni-Vincentelli, Some Considerations on Field Programmable Gate arrays and Their Impact on System Design, Book chapter: System Design, Field Programmable Logic and Applications [Invited paper], Springer Verlag, New York NY, 1993. Also presented at the 2nd International Workshop on Field Programmable Logic and Applications, Vienna, Austria, September 1992.
  18.  Luciano Lavagno, Alberto Sangiovanni-Vincentelli, and Harry Hsieh, Embedded System Co-Design: Synthesis and Validation, Book chapter: NATO Advanced Study Institute on Hardware/Software Co-Design, Edited by Giovanni De Micheli and M. Sami, Kluwer Academic Publichers, Boston/Dordrecht/London, NATO ASI Series, Series E, Applied Sciences; No. 310, pp. 213-242, 1996.
  19.  Alberto L. Sangiovanni-Vincentelli, Embedded System Design and Hybrid Systems, Book chapter: Control Using Logic-Based Switching (Control Using Logic-Based SwitchingControl Using Logic-Based Switching, Block Island, RI, USA, Fall 1995). Edited by: Morse, A.S. London, UK: Springer-Verlag, pp. 17-38, 1997.
  20.  A. Balluchi, M. Di Benedetto, C. Pinello, C. Rossi, A. Sangiovanni-Vincentelli, Hybrid Control for Automotive Engine Management: The Cut-Off Case, Proceedings of the First International Workshop "Hybrid Systems: Computation an Control'', HSCC'98, University of California at Berkeley, Berkeley, California, April 10-12 1997, Lecture Notes in Computer Science, vol. 1386, pp. 13-32, Springer-Verlag.
  21. J.Y Brunel, A. Sangiovanni-Vincentelli and R. Kress, COSY: a methodology for system design based on reusable hardware & software IP's, in: J-Y. Roger (ed.), Technologies for the Information Society, IOS Press, 709-716, 1998.
  22. J.Y Brunel, A. Sangiovanni-Vincentelli, Y. Watanabe, L. Lavagno, W. Kruijtzer and F. Petrot, COSY: Levels of Interfaces for Modules Used to Create a Video System on Chip, in: J-Y. Roger (ed.), Business and Work for the Information Society, IOS Press, pp. 772-778, June 1999.
  23. L. Lavagno, A. Sangiovanni-Vincentelli and E. Sentovich, Models of Computation for System Design, in: Egon Boerger (ed.), Architecture Design and Validation Methods, Springer-Verlag, January 2000, pp. 243-296.
  24. A. Balluchi, M. D. Di Benedetto, C. Pinello, and A. L. Sangiovanni-Vincentelli, Hybrid control in automotive applications, in Dynamical Systems, Control, Coding, Computer Vision (D. S. G. G. Picci, ed.), vol. 25 of Progress in Systems and Control Theory, pp. 449-479, Basel, Boston, Berlin: Birkh"auser, 1999.
  25. L.P. Carloni, E.I. Goldberg, T. Villa, R.K. Brayton and A.L. Sangiovanni-Vincentelli, Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems, In "VLSI: Systems on a Chip" (L.M. Silveira, R. Reis, S. Devadas editors), Kluwer 1999.
  26. L. Lavagno, T. Villa, A. Sangiovanni-Vincentelli, Advances in encoding for logic synthesis, in VLSI Design Environments, G.W. Zobrist ed., Gordon and Breach Science Publishers, 2000 (invited chapter) pages 186-216.
  27. A.Balluchi, L. Benvenuti, M. D. Di Benedetto, G. M. Miconi, U. Pozzi, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli, Maximal safe set computation for idle speed control of an automotive engine, in Hybrid Systems: Computation and Control (N. Lynch and B. H. Krogh, eds.), vol. 1790 of  Lecture Notes in Computer Science, pp. 32-44, New York, U.S.A.: Springer-Verlag, March 2000.
  28. M. Broucke, M. Di Benedetto and A. Sangiovanni-Vincentelli, Theory of Optimal Control Using Bisimulations, in Hybrid Systems: Computation and Control (N. Lynch and B. H. Krogh, eds.), vol. 1790 of  Lecture Notes in Computer Science, pp. 89-102, New York, U.S.A.: Springer-Verlag, March 2000.
  29. M. Broucke, M. Di Benedetto, S. DiGennaro and A. Sangiovanni-Vincentelli, Optimal Control Using Bi-simulations: Implementation, Hybrid Systems: Computation and Control (M. Di Benedetto and A. Sangiovanni-Vincentelli, eds.) vol. 2034 of Lecture Notes in Computer Science, pp. 175-188, Heidelberg, Germany, Springer-Verlag, March 2001
  30. L. Palopoli, C. Pinello, A. Sangiovanni-Vincentelli, L. Elgaoui, A. Bicchi, Synthesis of Robust Control Systems under Resource Constraints, in Hybrid Systems: Computation and Control (Tomlin and Greenstreet, eds.), vol. 2289 of Lecture Notes in Computer Science, pp. 337-350, Springer-Verlag, March 2002. 
  31. A. Balluchi, L. Benvenuti, M. Di Benedetto, A. Sangiovanni-Vincentelli, Design of Observers for Hybrid Systems, in Hybrid Systems: Computation and Control (Tomlin and Greenstreet, eds.), vol. 2289 of Lecture Notes in Computer Science, pp. 76-89, Springer-Verlag, March 2002.
  32. A. Balluchi, L. Benvenuti, M. Di Benedetto, A. Sangiovanni-Vincentelli, Idle Speed Controller Synthesis Using an Assume--Guarantee Approach, in Nonlinear and Hybrid Control in Automotive Applications, pp. 229-243, Springer-Verlag, 2002.
  33. F. Balarin, L. Lavagno, C. Passerone, A. L. Sangiovanni-Vincentelli, Marco Sgroi, and Yosinori Watanabe, Modeling and Designing Heterogeneous Systems (in Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg eds.), Lecture Notes in Computer Science 2549: Concurrency and Hardware Design, Springer-Verlag, pp. 228-273, 2002.
  34. J. Burch, R. Passerone, A. L. Sangiovanni-Vincentelli, Modeling Techniques in Design-by-Refinement Methodologies, in "System Specification and Design Languages" (Eugenio Villar and Jean Mermet, eds.), CHDL Series, Kluwer, 2003.
  35. R. Chen, M. Sgroi, G. Martin, L. Lavagno, A. L. Sangiovanni-Vincentelli, J. Rabaey, Embedded System Design Using UML and Platforms, in "System Specification and Design Languages" (Eugenio Villar and Jean Mermet, eds.), CHDL Series, Kluwer, 2003.
  36. L.P. Carloni, K.L. McMillan, A. Saldanha, and A. L. Sangiovanni-Vincentelli, A Methodology for Correct-by-Construction Latency-Insensitive Design, in "The Best of ICCAD - 20 Years of Excellence in Computer-Aided Design", Edited by A. Kuehlmann, pp. 143-158, Kluwer Academic Publishers, 2003.
  37. R. Chen, M. Sgroi, G. Martin, L. Lavagno, A. L. Sangiovanni-Vincentelli, J. Rabaey, UML and Platform-based Design, in "UML for Real", Edited by B. Selic, L. Lavagno, G. Martin, pp. 107-126, Kluwer Academic Publishers, May 2003.
  38. F. Koushanfar, S. Slijepcevic, M. Potkonjak, A. L. Sangiovanni-Vincentelli, Location Discovery in Ad-hoc Wireless Sensor Networks, in "Ad Hoc Wireless Networking", Edited by X. Cheng, X. Huang, and D. Z. Du, Kluwer Academic Publishers, 2003.
  39. A. Benveniste, B. Caillaud, L.P. Carloni, P. Caspi, and A.L. Sangiovanni-Vincentelli
    Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
    Proceedings of the Second International Symposium (FMCO'03), LNCS 3188, © Springer-Verlag, 2004
  40. L. P. Carloni, F. De Bernardinis, A. L. Sangiovanni-Vincentelli, and M. Sgroi, Platform-Based and Derivative Design, in "The Industrial Information Technology Handbook", Edited by R. Zurawski, CRC Press, 2004.
  41. A. Balluchi, F. Di Natale, A. L. Sangiovanni-Vincentelli and J. H. van Schuppen, Synthesis for Idle Speed Control of an Automotive Engine, in Hybrid Systems: Computation and Control (R. Alur and G. J. Pappas, eds.), vol. 2993 of Lecture Notes in Computer Science, pp. 80-94, Berlin Heidelberg New York: Springer-Verlag, 2004.
  42. L.P. Carloni, F. De Bernardinis, C. Pinello, A. L. Sangiovanni-Vincentelli, and M. Sgroi, Platform-Based Design for Embedded Systems, In R. Zurawski (Ed.), "The Embedded Systems Handbook", CRC Press, 2005.
  43. A. Balluchi, P. Murrieri, and A. Sangiovanni-Vincentelli, Controller synthesis on non-uniform and uncertain discrete-time domains, in Hybrid Systems: Computation and Control, HSCC2005 (M. Morari and L. Thiele, eds.), vol. 3414 of Lecture Notes in Computer Science, pp. 118-133, Berlin Heidelberg New York: Springer-Verlag, March 2005.
  44. A. Balluchi, A. Bicchi, E. Mazzi, A. Sangiovanni-Vincentelli, and G. Serra, Hybrid modelling and control of the common rail injection system, in Hybrid Systems: Computation and Control, HSCC2006 (J. Hespanha and A. Tiwari, eds.), vol. 3927 of Lecture Notes in Computer Science, pp. 79-92, Berlin Heidelberg: Springer-Verlag, March 2006.

PAPERS IN REFEREED CONFERENCE PROCEEDINGS

  1. Alberto Sangiovanni-Vincentelli and Mauro Somalvico, Problem Solving Methods in Computer Aided Medical Diagnosis, in Proceedings of the 20th International Electrical Congress on Electronics, Rome, Italy, pp. 28-31, March 1973.
  2. Alberto Sangiovanni-Vincentelli and Mauro Somalvico, Theoretical Aspects of State Space Approach to Problem Solving, Proceedings of the 7th International Congress on Cybernetics, Namur, Belgium, September 1973.
  3.  Alberto Sangiovanni-Vincentelli and Mauro Santomauro, Graph Interpretation of Ordering Strategies in Gaussian Elimination, Proceedings of the 1974 European Conference on Circuit Theory and Design, London, England 1974.
  4.  Alberto Sangiovanni-Vincentelli, Nonsymmetrical Permutations and the Optimal Bordered Triangular Form of a Sparse Matrix, Proceedings of the 12th Annual Allerton Conference on Circuits and Systems, Urbana IL, 1974.
  5.  Alberto Sangiovanni-Vincentelli, Bipartite Graphs and Nonsymmetrical Permutations in Sparse Matrices, Proceedings of the 3rd International Symposium on Network Theory, Split, Croatia, 1975.
  6.  Alberto Sangiovanni-Vincentelli, Bipartite Graphs and Optimal Tearing of Sparse Matrix, Proceedings of the 1975 Midwest Symposium on Circuits and Systems, 1975.
  7.  Alberto Sangiovanni-Vincentelli, A Graph Algorithm for the Optimal Tearing of Sparse Matrix, Proceedings of the 13th Annual Allerton Conference on Circuits and Systems, Urbana IL, 1975.
  8.  Alberto Sangiovanni-Vincentelli and Mauro Santomauro, A Heuristic Guided Algorithm for the Optimal Backboard Ordering, Proceedings of the 13th Annual Allerton Conference on Circuit and System Theory, Urbana IL, 1975.
  9.  Alberto Sangiovanni-Vincentelli, Leon O. Chua, and Li-Kuan Chen, A New Tearing Approach: Node-Tearing Nodal Analysis, Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS-75), Phoenix AZ, pp. 143-147, April 1975.
  10.  Alberto Sangiovanni-Vincentelli The Complexity of an Optimization Problem Arising from Tearing Methods, European Conference on Circuits and Systems, 1976.
  11.  Alberto Sangiovanni-Vincentelli and Mauro Santomauro, Computational Aspects of Optimal Backboard Ordering, International Conference on Electronic Circuits, Prague, Czechoslovakia, 1976.
  12.  Alberto Sangiovanni-Vincentelli and Theodore Bickart, On the Reductioeduction of a Matrix to an Optimal Bordered Triangular Form, Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS-78), New York NY, pp. 76-81, May 1978.
  13.  Alberto Sangiovanni-Vincentelli, Li-Kuan Chen, and Leon O. Chua, Three Decomposition-Based Methods for Solving a Large System of Linear Equations, Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS'78), New York NY, pp. 582-587, May 1978.
  14.  Elijah Polak and Alberto Sangiovanni-Vincentelli, An Algorithm for Design Centering, Tolerancing and Tuning (DCTT), Proceedings of the 1978 European Conference on Circuit Theory and Design, Lausanne, Switzerland, pp. 582-587, September 1978.
  15.  Elijah Polak and Alberto Sangiovanni-Vincentelli, On Optimization Algorithms for Engineering Design Problems with Distributed Constraints, Tolerances, and Tuning [Invited Paper], Proceedings of the 1978 Joint Automatic Control Conference, Philadelphia PA, pp. 345-353, October 1978.
  16.  Alberto Sangiovanni-Vincentelli, On the Decomposition of Large-Scale Systems of Linear Algebraic Equations, Proceedings of the 1979 Joint Automatic Control Conference, Denver CO, pp. 117-124, June 1979.
  17.  M. Venturini, Alberto Sangiovanni-Vincentelli, and P. Wood, Models for Thyristors and Diode in Digital Simulations, Proceedings of the 1979 Power Electronics Specialists Conference (PESC-79), San Diego CA, pp. 411-419, June 1979.
  18.  D. Q. Mayne, Elijah Polak, and Alberto Sangiovanni-Vincentelli, Computer-Aided Design via Optimization, Proceedings 1979 IFAC Workshop on Control Applications of Mathematical Programming, June 1979.
  19.  Alberto Sangiovanni-Vincentelli and Ekachai Lelarasmee, An Inner Approximation Algorithm for Computer-Aided Design of Electrical Networks [Invited Paper], Proceedings of the 4th Symposium on Mathematical Theory of Networks and Systems, Delft, Netherlands, July 1979.
  20.  Elijah Polak and Alberto Sangiovanni-Vincentelli, Theoretical Aspects of the Optimal Design Centering, Tolerancing, and Tuning Problem [Invited Paper], Proceedings of the 4th Symposium on Mathematical Theory of Networks and Systems, Delft, Netherlands, July 1979.
  21.  S. Goto and Alberto Sangiovanni-Vincentelli, A New Decomposition Algorithm for the Shortest Path Problem, Proceedings of the 1979 IEEE Symposium on Circuits and Systems, Tokyo, Japan, pp. 653-656, July 1979.
  22.  M. Bhati, T. Essebo, William Nye, Kris Pister, Elijah Polak, Alberto Sangiovanni-Vincentelli, and Andre Tits, A Software System for Optimization-Based Interactive Computer-Aided Design [Invited Paper], Proceedings of the International Symposium on Circuits and Systems, Houston TX, April, 1980.
  23.  Albert Ruehli, Alberto Sangiovanni-Vincentelli, and Guy Rabbat, Time Analysis of Large Scale Circuits Containing One-Way Macromodels [Invited paper], Proceedings of the 1980 IEEE Symposium on Circuits and Systems, Houston TX, pp. 766-770, April 1980.
  24.  V. Visvanathan and Alberto Sangiovanni-Vincentelli, Fault Diagnosis of Nonlinear Memory-Less Systems, Proceedings of the 1980 IEEE Symposium on Circuits and Systems, Houston TX, Vol. 3, pp. 1087-1091, April 1980.
  25.  Giovanni De Micheli, Alberto Sangiovanni-Vincentelli, and Richard Newton, New Algorithms for Timing Analysis of Large Circuits, Proceedings of the 1980 IEEE Symposium on Circuits and Systems, Houston TX, Vol. 1, pp. 439-443, April 1980.
  26.  Gary Hachtel, Alberto Sangiovanni-Vincentelli, and Richard Newton, Some Results in Optimal PLA Folding [Invited Paper], Proceedings of the 1980 International Conference on Circuits and Computers (ICCC 80), Port Chester NY, pp. 1023-1027, October 1980.
  27.  C. Wu, Alberto Sangiovanni-Vincentelli, and Richard Saeks, A Differential Interpolative-Approach to Analog Fault Simulation, Proceedings of the IEEE 1981 Symposium on Circuits and Systems, Chicago IL, pp. 266-270, April 1981.
  28.  William Nye, Elijah Polak, Alberto Sangiovanni-Vincentelli, and Andre Tits, DELIGHT: An Optimization-Based Computer-Aided Design System [Invited Paper], Proceedings of the IEEE 1981 Symposium on Circuits and Systems, Chicago IL, pp. 851-856, April 1981.
  29.  V. Visvanathan, Alberto Sangiovanni-Vincentelli, and Gary Hachtel, An Optimization-Based Approach to Model Simplification [Invited paper], Proceedings of the IEEE 1981 Symposium on Circuits and Systems, Chicago IL, pp. 995-1001, April 1981.
  30.  Robert Brayton, Gary Hachtel, and Alberto Sangiovanni-Vincentelli, A Taxonomy of CAD for VLSI [State-of-the-Art Review Lecture and Invited Paper], Proceedings of 1981 European Conference on Circuit Theory and Design (ECCTD), The Hague, Netherlands, pp. 34-57, August 1981
  31.  Giovanni De Micheli and Alberto Sangiovanni-Vincentelli, Numerical Properties of Algorithms for the Timing Analysis of MOS VLSI Circuits [Invited Paper], Proceedings of 1981 European Conference on Circuit Theory and Design (ECCTD), The Hague, Netherlands, pp. 387-392, August 1981.
  32.  Robert K. Brayton, Gary Hachtel, L. H. Hemachandra, Richard Newton, and Alberto Sangiovanni-Vincentelli, A Comparison of Logic Minimization Strategies Using ESPRESSO: An APL Program Package for Partitioned Logic Minimization, Proceedings of 1982 International Symposium on Circuits and Systems (ISCAS-82), Rome, Italy, pp. 42-48, May 1982.
  33.  S. Ellis, K. H. Keller, Richard Newton, Donald O. Pederson, Alberto Sangiovanni-Vincentelli, and Carlo Sequin, A Symbolic Layout Design System, Proceedings of 1982 International Symposium on Circuits and Systems (ISCAS-82), Rome, Italy, pp. 670-676, May 1982.
  34.  Ekachai Lelarasmee, Alberto Sangiovanni-Vincentelli, and Albert Ruehli, New Relaxation Technique for Simulating MOS Digital Integrated Circuits, Proceedings of 1982, International Symposium on Circuits and Systems (ISCAS-82), Rome, Italy, pp. 1202-1205, May 1982.
  35.  Gary Hachtel, Richard Newton, and Alberto Sanggiovanni-Vincentelli, Techniques for Programmable Logic Array Folding, Proceedings of the 1982 Design Automation Conference (DAC-82), Las Vegas NV, pp. 147-155, June 1982.
  36.  Ekachai Lelarasmee and Alberto Sangiovanni-Vincentelli, RELAX: A New Circuit Simulator for Large Scale MOS Integrated Circuits, Proceedings of the 1982 Design Automation Conference (DAC-82), Las Vegas NV, pp. 682-690, June 1982.
  37.  John Kaye and Alberto Sangiovanni-Vincentelli, Solution of Piecewise Linear Ordinary Differential Equations Using Waveform Relaxation and Laplace Transforms, Proceedings of the 1982 International Conference on Circuit Computers, New York NY, pp. 180-183, October 1982.
  38.  M. Luby, Umesh Vazirani, V. Vazirani, and Alberto Sangiovanni-Vincentelli, Some Theoretical Results on the Optimal PLA Folding Problem, Proceedings of the 1982 International Conference on Circuit Computers, New York NY, pp. 165-171, October 1982.
  39.  Ekachai Lelarasmee and Alberto Sangiovanni-Vincentelli, Some New Results on Waveform Relaxation Algorithms for the Simulation of Integrated Circuits, Proceedings of the 1982 IEEE International Large Scale System Symposium, Virginia Beach VA, pp. 371-376, October 1982.
  40.  I. Ratiu, Alberto Sangiovanni-Vincentelli, and Donald O. Pederson, VICTOR: A Fast VLSI Testability Analysis Program, Proceedings of the 1982 International Test Conference, Philadelphia PA, pp.397-404, November 1982.
  41.  V. Visvanathan and Alberto Sangiovanni-Vincentelli, A Computational Approach for the Diagnosability of Dynamical Circuits [Invited Paper], Proceedings of the 1983 International Symposium on Circuits and Systems, Newport Beach CA, May 1983. Also, IEEE Transactions on CAD of ICAS, Vol. 3, No. 3, pp. 165-172, July 1984.
  42.  Jacob White and Alberto Sangiovanni-Vincentelli, RELAX II: A Modified Waveform Relaxation Approach to the Simulation of MOS Digital Circuits [Invited Paper], Proceedings of the 1983 International Symposium on Circuits and Systems, Newport Beach CA, May 1983.
  43.  Giovanni De Micheli and Alberto Sangiovanni-Vincentelli, Multiple Folding of Programmable Logic Arrays [Invited Paper], Proceedings of the 1983 International Symposium on Circuits and Systems, Newport Beach CA, May 1983.
  44.  Alberto Sangiovanni-Vincentelli and Mauro Santomauro, YACR: Yet Another Channel Router, Proceedings of the 1983 Custom International Circuit Conference (CICC-83), Rochester NY, May 1983.
  45.  William Nye, Alberto Sangiovanni-Vincentelli, James Spoto, and Andre Tits, DELIGHT.SPICE: An Optimization-Based System for the Design of Integrated Circuits, Proceedings of the 1983 Custom International Circuit Conference (CICC-83), Rochester NY, pp. 233-238, May 1983.
  46.  Giovanni De Micheli and Alberto Sangiovanni-Vincentelli, PLEASURE: A Computer Program for Simple/Multiple Constrained/Unconstrained Folding of Programmable Logic Arrays, Proceedings of the 1983 Design Automation Conference (DAC-83), Miami Beach FL, pp. 530-537, June 1983.
  47.  Giovanni De Micheli, Alberto Sangiovanni-Vincentelli, and Tiziano Villa, Computer-Aided Synthesis of PLA-based Finite State Machines, Proceedings of IEEE International Conference on Computer-Aided Design (ICCAD-83), Santa Clara CA, pp. 154-156, September 1983.
  48.  Howard Fu-Huoa Ko and Alberto Sangiovanni-Vincentelli, BLOSSOM: An Algorithm and Architecture for the Solution of Large-Scale Linear Systems [Invited Paper], Proceedings of the International Conference on Computer Design (ICCD-83), New York NY, October 1983.
  49.  Jacob White and Alberto Sangiovanni-Vincentelli, RELAX2.1: A Waveform Relaxation Based Circuit Simulation Program, Proceedings of the 1984 Custom International Circuit Conference (CICC-84), Rochester NY, pp 232-236, May 1984.
  50.  Robert K. Brayton, Gary Hachtel, Curtis McMullen, and Alberto Sangiovanni-Vincentelli, ESPRESSO-II: A New Logic Minimizer for Programmable Logic Arrays, Proceedings of the 1984 Custom International Circuit Conference (CICC-84), Rochester NY, pp. 370-376, May 1984.
  51.  Carl Sechen and Alberto Sangiovanni-Vincentelli, The TimberWolf Placement and Routing Package, Proceedings of the 1984 Custom International Circuit Conference (CICC-84), Rochester NY, pp. 522-527, May 1984.
  52.  Fabio Romeo, Alberto Sangiovanni-Vincentelli, and Carl Sechen, Research on Simulated Annealing at Berkeley, Proceedings of the 1984 International Conference on Computer Design (ICCD-84), Port Chester NY, pp. 652-657, October 1984.
  53.  Alberto Sangiovanni-Vincentelli, Mauro Santomauro, and James Reed, A New Gridless Channel Router: Yet Another Channel Router the Second YACR-II, Proceedings 1984 International Conference on Computer-Aided Design (ICCAD-84), Santa Clara CA, pp. 72-75, November 1984.
  54.  Giovanni De Micheli, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, KISS: A Program for Optimal State Assignment of Finite State Machines, Proceedings 1984 International Conference on Computer-Aided Design (ICCAD-84), Santa Clara CA, pp. 209-211, November 1984.
  55.  Ruey-Sing Wei and Alberto Sangiovanni-Vincentelli, Victor-II: Global Redundancy Identification, Test Generation, and Testability Analysis for VLSI Combinational Circuits, Proceedings of the Second International Symposium on VLSI Technology, Systems and Applications, Taipei, Taiwan, May 1985.
  56.  Alberto Sangiovanni-Vincentelli An Overview of Synthesis Systems, Proceedings of the 1985 Custom International Circuit Conference (CICC-85), Portland OR, pp. 221-225, May 1985.
  57.  Richard Rudell and Alberto Sangiovanni-Vincentelli, ESPRESSO-MV: Algorithms for Multiple-Valued Logic Minimization, Proceedings of the 1985 Custom International Circuit Conference (CICC-85), Portland OR pp. 230-234, May 1985.
  58.  Giorgio Casinovi and Alberto Sangiovanni-Vincentelli, Aggregation Methods for the Solution of Large Scale Systems of Linear Algebraic Equations, Proceedings 1985 International Symposium on Circuits and Systems (ISCAS-85), Kyoto, Japan, June 1985.
  59.  Richard Rudell, Alberto Sangiovanni-Vincentelli, and Govanni De Micheli, A Finite-State Machine Synthesis System, Proceedings 1985 International Symposium on Circuits and Systems (ISCAS-85), Kyoto, Japan, June 1985.
  60.  Jacob White and Alberto Sangiovanni-Vincentelli, Partitioning Algorithms and Parallel Implementation of Waveform Relaxation Algorithms for Circuit Simulation, Proceedings 1985 International Symposium on Circuits and Systems (ISCAS-85), Kyoto, Japan, pp. 121-125, June 1985.
  61.  Guy Marong and Alberto Sangiovanni-Vincentelli, Waveform Relaxation and Dynamic Partitioning for the Transient Simulation of Large Scale Bipolar Circuits, Proceedings IEEE International Conference on Computer-Aided Design (ICCAD-85), Santa Clara CA, 1985.
  62.  Jacob White, Reave Saleh, Alberto Sangiovanni-Vincentelli, and Richard Newton, Accelerating Relaxation Algorithms for Circuit Simulation Using Waveform Newton, Iterative Step-Size Refinement, and Parallel Techniques, Proceedings IEEE International Conference on Computer-Aided Design (ICCAD-85), Santa Clara, CA 1985.
  63.  Kenneth Kundert and Alberto Sangiovanni-Vincentelli, Nonlinear Circuit Simulation in the Frequency Domain, Proceedings IEEE International Conference on Computer-Aided Design (ICCAD-85), Santa Clara CA, 1985.
  64.  Debasis Mitra, Fabio Romeo, and Alberto Sangiovanni-Vincentelli, Convergence and Finite-Time Behavior of Simulated Annealing, Proceedings of the 1985 Computer Designers Conference (CDC-85), pp. 747-771, December 1985.
  65.  Alberto Sangiovanni-Vincentelli and Jacob White Waveform Relaxation Techniques and Their Parallel Implementation, Proceedings of the 1985 Computer Designers Conference, (CDC-85), December 1985.
  66.  Donald Webber and Alberto Sangiovanni-Vincentelli, Computer Architecture Issues in Circuit Simulation, Proceedings of the Workshop on Super-Computer Applications, National Center for Supercomputing Applications, University of Illinois, Urbana-Champaign IL, April 1986.
  67.  Douglas Braun, Carl Sechen, and Alberto Sangiovanni-Vincentelli, ThunderBird: A Complete Standard Layout System, Proceedings of the 1986 Custom International Circuit Conference (CICC-86), Rochester NY, pp.276-280, 1986.
  68.  Hyunchul Shin, Alberto Sangiovanni-Vincentelli, and Carlo Sequin, Two-Dimensional Compaction by 'Ozone-Refining,' Proceedings of the 23rd Design Automation Conference (DAC-86), Las Vegas NV, pp. 115-122, 1986.
  69.  Carl Sechen and Alberto Sangiovanni-Vincentelli, TimberWolf3.2: A New Standard Cell Placement and Global Routing Package, Proceedings of the 23rd Design Automation Conference (DAC-86), Las Vegas NV, pp. 432-439, 1986.
  70.  Douglas Braun, Jeffrey Burns, Srivivas Devadas, Hi Keung T. Ma, Kartikeya Mayaram, Fabio Romeo, and Alberto Sangiovanni-Vincentelli, Chameleon: A New Multi-Layer Channel Router, Proceedings of the 23rd Design Automation Conference (DAC-86), Las Vegas NV, pp. 495-502, 1986.
  71.  Hi Keung T. Ma and Alberto Sangiovanni-Vincentelli, Mixed-Level Fault Coverage Estimation, Proceedings of the 23rd Design Automation Conference (DAC-86), Las Vegas NV, pp. 553-559, 1986.
  72.  Ruey-Sing Wei and Alberto Sangiovanni-Vincentelli, PROTEUS: A Logic Verification System for Combinational Circuits, Proceedings of the 1986 International Test Conference, Washington DC, September 1986.
  73.  Ruey-Sing Wei and Alberto Sangiovanni-Vincentelli, New Front-End and Line Justification Algorithm for Automatic Test Generation, Proceedings of the 1986 International Test Conference, Washington DC, September 1986.
  74.  Karen Bartlett, Robert K. Brayton, Gary Hachtel, Reily Jacoby, Rchard Rudell, Alberto Sangiovanni-Vincentelli, and Albert Wang, Multi-level Logic Minimization Using Implicit Don't Cares, Proceedings of the 1986 International Conference on Computer Design (ICCD-86), Port Chester NY, October 1986.
  75.  Andrea Casotto, Fabio Romeo, and Alberto Sangiovanni-Vincentelli, A Parallel Simulated Annealing Algorithm for the Placement of Macro-Cells, International Conference on Computer-Aided Design (ICCAD-86), Santa Clara CA, October 1986.
  76.  Hyunchul Shin and Alberto Sangiovanni-Vincentelli, Mighty: A `Rip-up and Reroute' Detailed Router, International Conference on Computer-Aided Design (ICCAD-86), Santa Clara CA, October 1986.
  77.  M.D. Huang, Fabio Romeo and Alberto Sangiovanni-Vincentelli, An Efficient General Cooling Schedule for Simulated Annealing, International Conference on Computer-Aided Design (ICCAD-86), Santa Clara CA, October 1986.
  78.  Robert K. Brayton, Ewald Detjens, S. Krishna, Hi Keung T. Ma, Patrick McGeer, L. Pei, N. Phillips, Richard Rudell, R. Segal, Albert Wang, R. Yung, and Alberto Sangiovanni-Vincentelli, Multiple-Level Logic Optimization System, International Conference on Computer-Aided Design (ICCAD-86), Santa Clara CA, October 1986.
  79.  Hormoz Yaghutiel, Alberto Sangiovanni-Vincentelli, and Paul R. Gray, A Methodology for Automated Layout of Switched-Capacitor Filters, International Conference on Computer-Aided Design (ICCAD-86), Santa Clara CA, October 1986.
  80.  David Riley and Alberto Sangiovanni-Vincentelli, Models for a New, Profit-Based Methodology for Statistical Design of Integrated Circuits, International Conference on Computer-Aided Design (ICCAD-86), Santa Clara CA, October 1986.
  81.  Richard Rudell and Alberto Sangiovanni-Vincentelli, Exact Minimization of Multiple-Valued Functions for PLA Optimization, International Conference on Computer-Aided Design (ICCAD-86), Santa Clara CA, October 1986.
  82.  Carlo Sequin, Richard Newton, and Alberto Sangiovanni-Vincentelli, Highlights of VLSI Research at Berkeley, Proceedings of the 1986 FJCC, Dallas TX, November 1986.
  83.  Howard Fu-Hwa Ko and Alberto Sangiovanni-Vincentelli, Segmented Partial Pivoting and Parallel Sparse-Matrix Solution on Multiprocessors, Proceedings of the 1987 IEEE International Circuits and Systems Symposium, pp. 1060-1063, May 1987.
  84.  Jyao-Min Shyu, John Fishburn, Alfred Dunlop, and Alberto Sangiovanni-Vincentelli, Optimization-Based Transistor Sizing, Proceedings of the 1987 Custom International Circuit Conference (CICC'87), Portland OR, May 1987.
  85.  Kenneth Kundert, Gregory Sorkin, and Alberto Sangiovanni-Vincentelli, An Almost-Periodic Fourier Transform for Use in Harmonic Balance, Proceedings of the 1987 IEEE Conference on Microwave Theory and Techniques, June 1987.
  86.  Donald Webber and Alberto Sangiovanni Vincentelli, Circuit Simulation on the Connection Machine, Proceedings of the 1987 Design Automation Conference (DAC-87), Miami Beach FL, pp. 108-113, July 1987.
  87.  Alberto Sangiovanni-Vincentelli, Application-Specifice Integrated Circuits:Economics and Technical Aspects, Proceedings Journee D'Electronic 1987, Lausanne, Switzerland pp 91-120, October 1987.
  88.  Srivivas Devadas, Hi Keung T. Ma, Richard Newton, and Alberto Sangiovanni-Vincentelli, MUSTANG: State Assignment of Finite State Machine for Multi-level Logic Implementation, Proceedings of 1987 International Conference on Computer-Aided Design (ICCAD-87), Santa Clara CA, pp. 16-19, November 1987.
  89.  Robert K. Brayton, Richard Rudell, Alberto Sangiovanni-Vincentelli, and Albert Wang, Multi-Level Logic Optimization and the Rectangle Covering Problem, Proceedings of 1987 International Conference on Computer-Aided Design (ICCAD-87), Santa Clara CA, pp. 66-69, November 1987.
  90.  Ewald Detjens, Gary Gannott, Richard Rudell, Alberto Sangiovanni-Vincentelli, and Albert Wang, Technology Mapping in MIS, Proceedings of 1987 International Conference on Computer-Aided Design (ICCAD-87), Santa Clara CA, pp. 116-119, November 1987.
  91.  Hi Keung T. Ma, Srivivas Devadas, Richard Newton, and Alberto Sangiovanni-Vincentelli, it\ Test Generation for Sequential Finite State Machines, Proceedings of 1987 International Conference on Computer-Aided Design (ICCAD-87), Santa Clara CA, pp. 288-291, November 1987.
  92.  Andrea Casotto and Alberto Sangiovanni-Vincentelli, Placement of Standard Cells Using Simulated Annealing on the Connection Machine, Proceedings of 1987 International Conference on Computer-Aided Design (ICCAD-87), Santa Clara CA, pp. 350-353, November 1987.
  93.  Roberto Guerrieri and Alberto Sangiovanni-Vincentelli, Three-Dimensional Capacitance Evaluation on a Connection Machine, Proceedings of 1987 International Conference on Computer-Aided Design (ICCAD-87), i
  94.  Hormoz Yaghutiel, S. Shen, Paul Gray, and Alberto Sangiovanni-Vincentelli, Automatic Layout of Switched-Capacitor Filters for Custom Applications, 1988 IEEE International Solid-State Circuits Conference Digest of Technical Papers, pp. 170-171, 353-354, February 1988.
  95.  Srivivas Devadas, Albert Wang, Richard Newton, and Alberto Sangiovanni-Vincentelli, Boolean Decomposition of Programmable Logic Arrays, Proceedings of the IEEE Custom International Circuit Conference (CICC-88), Rochester NY, pp. 251-255, May 1988.
  96.  Ken Kundert and Alberto Sangiovanni-Vincentelli, Finding the Steady-State Response of Analog and Micro-wave Circuits, Proceedings of the IEEE Custom International Circuit Conference (CICC-88), Rochester NY, pp. 611-617, May 1988.
  97.  Ken Kundert, Jacob White, and Alberto Sangiovanni-Vincentelli, A Mixed Frequency-Time Approach for Finding the Steady-State Solution of Clocked Analog Circuits, Proceedings of the IEEE Custom International Circuit Conference (CICC-88), Rochester NY, pp. 621-625, May 1988.
  98.  Sharad Malik, Albert Wang, Robert Brayton, and Alberto Sangiovanni-Vincentelli, Logic Verification Using Binary Decision Diagrams in a Logic Synthesis Environment, Proceedings of 1988 International Conference on Computer-Aided Design (ICCAD-88), Santa Clara CA, pp. 6-9, November 1988.
  99.  Ronald Greenberg, Alexander Ishii, and Alberto Sangiovanni-Vincentelli, MULCH: A Multi-Layer Channel Router Using One, Two and Three Layer Partitions, Proceedings 1988 International Conference on Computer-Aided Design (ICCAD-88), Santa Clara CA, pp. 88-91, November 1988.
  100.  Abdul Malik, Robert K. Brayton, Richard Newton, and Alberto Sangiovanni-Vincentelli, A Modified Approach to Two-Level Logic Minimization, Proceedings 1988 International Conference on Computer-Aided Design (ICCAD-88), Santa Clara CA, pp. 106-109, November 1988.
  101.  Kanwar Jit Singh, Albert Wang, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Timing Optimization of Combinational Logic, Proceedings 1988 International Conference on Computer-Aided Design (ICCAD-88), Santa Clara CA, pp. 282-285, November 1988.
  102.  Srivivas Devadas, Albert Wang, Richard Newton, and Alberto Sangiovanni-Vincentelli, Boolean Decomposition in Multi-Level Logic Optimization, Proceedings 1988 International Conference on Computer-Aided Design (ICCAD-88), Santa Clara CA, pp. 290-293, November 1988.
  103.  A. Lumsdaine, Jacob White, Donald Webber, and Alberto Sangiovanni-Vincentelli, A Band Relaxation Algorithm for Reliable and Parallelizable Circuit Simulation, Proceedings 1988 International Conference on Computer-Aided Design (ICCAD-88), Santa Clara CA, pp. 308-311, November 1988.
  104.  Ken Kundert, Jacob White, and Alberto Sangiovanni-Vincentelli, An Envelope-Following Method for the Efficient Transient Simulation of Switching Power and Filter Circuits, Proceedings 1988 International Conference on Computer-Aided Design (ICCAD-88), Santa Clara CA, pp. 446-449, November 1988.
  105.  Jyao-Min Shyu and Alberto Sangiovanni-Vincentelli, ECSTASY: A New Environment for IC Design Optimization, Proceedings 1988 International Conference on Computer-Aided Design (ICCAD-88), Santa Clara CA, pp. 484-487, November 1988.
  106.  Mitsuru Igusa, Mark Beardslee, and Alberto Sangiovanni-Vincentelli, ORCA: A Sea-of-Gates Place and Route System, Proceedings of the International Workshop on Placement and Routing (MCNC), May 1988. and Proceedings of the 26th ACM/IEEE Design Automation Conference (DAC-89), Las Vegas NV, pp. 122-127, June 1989.
  107.  Alan Kramer and Alberto Sangiovanni-Vincentelli, Efficient Parallel Learning Algorithms for Neural Networks, Proceedings of the IEEE Conference on Neural Information Processing, Denver CO, 1989.
  108.  Alex Saldanha, Albert Wang, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Multi-level Logic Simplification Using Don't-Cares and Filters, Proceedings of the 1989 Design Automation Conference (DAC-89), Las Vegas NV, pp. 277-282, June 1989.
  109.  Tiziano Villa and Alberto Sangiovanni-Vincentelli, NOVA: State Assignment of Finite State Machines for Optimal, Two-level Logic Implementation, Proceedings of the 1989 Design Automation Conference (DAC-89), Las Vegas NV, pp. 327-332, June 1989.
  110.  Nicholas Weiner and Alberto Sangiovanni-Vincentelli, Timing Analysis in a Logic Synthesis Environment, Proceedings of the 1989 Design Automation Conference (DAC-89), Las Vegas NV, pp. 655-661, June 1989.
  111.  Srivivas Devadas, Hi Keung T. Ma, Richard Newton, and Alberto Sangiovanni-Vincentelli, The Relationship Between Logic Synthesis and Test [Invited Paper], Proceedings of the VLSI 1989 IFIP Conference, Munich, Germany pp. 175-186, August 1989.
  112.  Sharad Malik, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Encoding Symbolic Inputs for Multi-level Logic Implementation, Proceedings of the VLSI 89 IFIP Conference, Munich, Germany, pp. 221-230, August 1989.
  113.  Yoshihito Nishizaki, Mitsuru Igusa, and Alberto Sangiovanni-Vincentelli, Mercury: A New Approach to Macro-cell Global Routing, Proceedings of the VLSI 89 IFIP Conference, Munich, Germany, pp. 401-410, August 1989.
  114.  Abdul Malik, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Logic Minimization for Factored Forms, Proceedings of the 1989 International Conference on Computer Design, Boston MA, pp. 396-399, October 1989.
  115.  Alberto Sangiovanni-Vincentelli, Logic Synthesis of Integrated Circuits: An Introduction, Proceedings of the 23rd Annual Hawaii International Conference on Systems Sciences, Minitrack on Synthesis, Hawaii, Opp. 347, January 1990.
  116.  Patrick McGeer, Robert K. Brayton, Richard Rudell, and Alberto Sangiovanni-Vincentelli, Extended Stuck-Fault Testability for Combinational Networks, Advanced Research in VLSI, Proceedings of the 6th MIT Conference, Cambridge MA, pp. 139-159, April 1990.
  117.  Umakanta Choudhury and Alberto Sangiovanni-Vincentelli, Use of Performance Sensitivities in Routing of Analog Circuits, Proceedings of the 1990 International Symposium on Circuits and Systems, pp. 348-351, May 1990.
  118.  Andrea Casotto, Richard Newton and Alberto Sangiovanni-Vincentelli, Design Management Based on Design Traces, Proceedings of the 1990 27th ACM/IEEE Design Automation Conference (DAC-90), Orlando FL, pp. 136-141, June 1990.
  119.  Abdul Malik, Robert K. Brayton, Richard Newton, and Alberto Sangiovanni-Vincentelli, Reduced Offsets for Two-Level Multi-Valued Logic Minimization, Proceedings of the 1990 27th ACM/IEEE Design Automation Conference (DAC-90), Orlando FL, pp. 290-296, June 1990.
  120.  Kanwar Jit Singh and Alberto Sangiovanni-Vincentelli, A Heuristic Algorithm for the Fanout Problem, Proceedings of the 1990 27th ACM/IEEE Design Automation Conference (DAC-90), Orlando FL, pp. 357-360, June 1990.
  121.  Umakanta Choudhury and Alberto Sangiovanni-Vincentelli, Constraint Generation for Routing Analog Circuits, Proceedings of the 27th ACM/IEEE Design Automation Conference (DAC-90), Orlando FL, pp. 561-566, June 1990.
  122.  Rajeev Murgai, Yoshihito Nishizaki, Narenda Shenoy, Robert K. Brayton, and Alberto Sangiovanni- Vincentelli, Logic Synthesis for Programmable Gate Arrays, Proceedings of the 1990 27th ACM/IEEE Design Automation Conference (DAC-90), Orlando FL, pp. 620-625, June 1990.
  123.  Alex Saldanha, Robert K. Brayton, and Alexandra Sangiovanni-Vincentelli, Redundancy and Delay in Logic Optimization, Proceedings of TECHCON 90, San Jose CA, pp. 43-46, October 1990.
  124.  Gani Jusuf, Paul Gray, and Alberto Sangiovanni-Vincentelli, A Compiler for CMOS Analog To Digital Converters, Proceedings of TECHCON 90, San Jose CA, pp. 347-350, October 1990.
  125.  Linda Milor and Alberto Sangiovanni-Vincentelli, Computing Parametric Yield Accurately and Efficiently, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-90), Santa Clara CA, pp. 116-119, November 1990.
  126.  Herve Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, and Alberto Sangiovanni- Vincentelli, Implicit State Enumeration of Finite State Machines using BDD's, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-90), Santa Clara CA, pp. 130-133, November 1990.
  127.  Umakanta Choudhury and Alberto Sangiovanni-Vincentelli, Constraint-Based Channel Routing for Analog and Mixed Analog/Digital Circuits, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-90), Santa Clara CA, pp. 198-201, November 1990.
  128.  Enrico Malavasi, Umakanta Choudhury, and Alberto Sangiovanni-Vincentelli, A Routing Methodology for Analog Integrated Circuits, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-90), Santa Clara CA, pp. 202-205, November 1990.
  129.  Gani Jusuf, Paul Gray, and Alberto Sangiovanni-Vincentelli, CADICS - Cyclic Analog-To-Digital Converter Synthesis, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-90), Santa Clara CA, pp. 286-289, November 1990.
  130.  Linda Milor and Alberto Sangiovanni-Vincentelli, Optimal Test Set Design for Analog Circuits, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-90), Santa Clara CA, pp. 294-297, November 1990.
  131.  Sharad Malik, Kanwar Jit Singh, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Performance Optimization of Pipelined Circuits, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-90), Santa Clara CA, pp. 410-413, November 1990.
  132.  Alex Saldanha, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Timing Optimization with Testability Considerations, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-90), Santa Clara CA, pp. 460-463, November 1990.
  133.  Luciano Lavagno, Sharad Malik, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued Inputs, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-90), Santa Clara CA, pp. 560-563, November 1990.
  134.  Arlindo Oliveira and Alberto Sangiovanni-Vincentelli, Learning Concepts by Synthesizing Minimal Threshold Gate Networks, Proceedings of the Eighth International Workshop in Machine Learning, Chicago IL, pp. 193-197, 1991.
  135.  F. Corsi, S. Martino, and Alberto Sangiovanni-Vincentelli, Testing Finite State Machines Implemented by Programmable Logic Devices, Proceedings of the 2nd European Test Conference, Munich, Germany, pp. 217-226, April 10-12, 1991.
  136.  Alan Kramer, P. Ko, and Alberto Sangiovanni-Vincentelli, Massively Parallel Analog Geometric Computation Using EEPROMS, Neural Networks for Computing Conference (abstracts), Snowbird UT, April, 1991.
  137.  Umakanta Chodhury and Alberto Sangiovanni-Vincentelli, An Analytical Model Generator for Interconnect Capacitances, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC-91), pp. 861-864, May 1991.
  138.  Alberto Sangiovanni-Vincentelli, Towards Automatic Synthesis and Verification of Complex Electronic Systems, Proceedings of the 5th Annual European Computer Conference, Bologna, Italy, pp. 888-893, May 13-16, 1991.
  139.  Alex Saldanha, Tiziano Villa, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, A Framework for Satisfying Input and Output Encoding Constraints, Proceedings of the 28th ACM/IEEE Design Automation Conference (DAC-91), San Francisco CA, pp. 170-175, June 1991.
  140.  Luciano Lavagno, Kurt Keutzer, and Alberto Sangiovanni-Vincentelli, Algorithms for Synthesis of Hazard-free Asynchronous Circuits, Proceedings of the 28th ACM/IEEE Design Automation Conference (DAC-91), San Francisco CA, pp. 302-308, June 1991.
  141.  Enrico Malavasi, Edoardo Charbon, Gani Jusuf, Roberto Totaro and Alberto Sangiovanni-Vincentelli, Virtual Symmetry Axes for the Layout of Analog IC's, Proceedings of the ICVS, Seoul, Korea, pp. 195-198, October 1991.
  142.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, On Clustering for Minimum Delay/Area, Proceedings IEEE International Conference on Computer Aided Design (ICCAD-91), Santa Clara CA, pp. 6-9, November 1991.
  143.  Arlindo Oliveira and Alberto Sangiovanni-Vincentelli, LSAT - An Algorithm for the Synthesis of Two Level Threshold Gate Networks, Proceedings IEEE International Conference on Computer Aided Design (ICCAD-91), Santa Clara CA, pp. 130-133, November 1991.
  144.  Patrick McGeer, Alexander Saldanha, Paul Stephan, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Timing Analysis and Delay-Fault Test Generation Using Path Recursive Functions, Proceedings IEEE International Conference on Computer Aided Design (ICCAD-91), Santa Clara CA, pp. 180-183, November 1991.
  145.  Patrick McGeer, Robert K. 1Brayton, Alberto Sangiovanni-Vincentelli, and Sartaj Sahni, Performance Enhancement through the Generalized Bypass Transform, Proceedings IEEE International Conference on Computer Aided Design (ICCAD-91), Santa Clara CA, pp. 184-187, November 1991.
  146.  Kurt Keutzer, Luciano Lavagno, and Alberto Sangiovanni-Vincentelli, Synthesis for Testability Techniques for Asynchronous Circuits, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-91), Santa Clara CA, pp. 326-329, November 1991.
  147.  Edward Liu, Alberto Sangiovanni-Vincentelli, Georges Gielen, and Paul Gray, A Behavioral Representation for Nyquist Rate A/D Converters, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-91), Santa Clara CA, pp. 386-389, Santa Clara, November 1991.
  148.  Rajeev Murgai, Narenda Shenoy, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Improved Logic Synthesis Algorithms for Table Look-Up Architectures, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-91), Santa Clara CA, pp. 564-567, November 1991.
  149.  Rajeev Murgai, Narenda Shenoy, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Performance Directed Synthesis for Table Look-Up Programmable Gate Arrays, Proceedings IEEE International Conference on Computer Aided Design (ICCAD-91), Santa Clara CA, pp. 572-575, November 1991.
  150.  Herve Touati, Narenda Shenoy, and Alberto Sangiovanni-Vincentelli, Retiming for Table Look-Up Field-Programmable Gate Arrays, Proceedings of the 1992 Symposium on Field-Programmable Gate Arrays (FPGA-92), pp. 89-94, February 1992.
  151.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, An Improved Synthesis Algorithm for Multiplexor-Based PGA's, Proceedings of the 1992 Symposium on Field-Programmable Gate Arrays (FPGA-92), pp. 97-102, February 1992. and Proceedings of the 29th IEEE/ACM Design Automation Conference (DAC-92), Anaheim CA, pp.380-387, June 1992.
  152.  Arlindo Oliveira and Alberto Sangiovanni-Vincentelli, Synthesis of Minimal Multi-Level Networks, Neural Networks for Computing Conference (abstracts), Snowbird UT, April 1992.
  153.  Henry Chang, Alberto Sangiovanni-Vincentelli, Felice Balarin, Edoardo Charbon, Umakanta Choudhury, Gani Jusuf, Edward Liu, Enrico Malavasi, Robert Neff, Paul Gray, A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits, Proceedings of the Workshop on Advances in Analog Circuit Design, Schevenngen, Netherlands, pp. 301-325, April 1992 and Proceedings of the IEEE Custom Integrated Circuits Conference (CICC-92), Boston MA, pp. 841-846, May 1992.
  154.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Sequential Synthesis for Table Look-Up PGAs, Euro-Asic, Paris, France, May 1992.
  155.  Georges Gielen, Edward Liu, Alberto Sangiovanni-Vincentelli, and Paul Gray, Analog Behavioral Models for Simulation and Synthesis of Mixed-Signal System, Proceedings of the IEEE International Symposium on Circuits and Systems, San Diego CA, May 1992. and Proceedings of the European Design Automation Conference (EURODAC-92), Brussels, Belgium, pp. 464-468, March 1992.
  156.  Henry Chang, Alberto Sangiovanni-Vincentelli, Felice Balarin, Edoardo Charbon, Umakanta Choudhury, Gani Jusuf, Edward Liu, Enrico Malevasi, Robert Neff, and Paul Gray, Top-Down, Constraint-Driven Design Methodology for Analog ICs, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC'92), San Diego CA, pp. 841-846, May 1992.
  157.  Edward Liu and Alberto Sangiovanni-Vincentelli, Behavioral Representation for VCO and Detectors in Phase-Lock Systems, Proceedings of the 1992 IEEE Custom Integrated Circuits Conference (CICC-92), Boston MA, pp. 1231-1234, May 1992.
  158.  Edoardo Charbon, Enrico Malavasi, Umakanta Choudhury, Andrea Casotto, and Alberto Sangiovanni-Vincentelli, A Constraint-Driven Placement Methodology for Analog Integrated Circuits, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC-92), Boston MA, pp. 2821-2824, May 1992.
  159.  Edward Liu, Georges Gielen, Henry Chang, and Alberto Sangiovanni-Vincentelli, Behavioral Modeling and Simulation of Data Concerters, Proceedings 1992 IEEE International Symposium on Circuits and Systems (ISCAS-92), San Diego CA, Vol. 5, pp. 2144-2147, May 1992.
  160.  Gani Jusuf, Paul Gray, and Alberto Sangiovanni-Vincentelli, A Performance-Driven Analog-to-Digital Converter Module Generator, Proceedings 1992 IEEE International Symmposium on Circuits and Systems (ISCAS-92), San Diego CA, Vol. 5, pp. 2160-2163, May 1992.
  161.  Alexander Saldanha, Robert K. Brayton, and Alberto. Sangiovanni-Vincentelli, Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation, Proceedings of the 29th IEEE/ACM Design Automation Conference (DAC-92), Anaheim CA, pp. 173-176, June 1992.
  162.  Alexander Saldanha, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited, Proceedings of the 29th IEEE/ACM Design Automation Conference (DAC-92), Anaheim CA, pp. 245-246, June 1992.
  163.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, An Improved Synthesis Algorithm for Multiplexor-Based PGAs, Proceedings of the 29th IEEE/ACM Design Automation Conference (DAC-92), Anaheim CA, pp. 380-386, June 1992.
  164.  Narenda Shenoy, Kanwar Jit Singh, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, On the Temporal Equivalence of Sequential Circuits, Proceedings of the 29th IEEE/ACM Design Automation Conference (DAC-92), Anaheim CA, pp. 405-409, June 1992.
  165.  Luciano Lavagno, Cho W. Moon, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Solving the State Assignment Problem for Signal Transition Graphs, Proceedings of the 29th IEEE/ACM Design Automation Conference (DAC-92), Anaheim CA, pp. 568-572, June 1992.
  166.  Felice Balarin and Alberto Sangiovanni-Vincentelli, A Verification Strategy for Timing Constrained Systems, Proceedings of the 4th International Workshop on Computer Aided Verification (CAV-92), Montreal, Canada, pp. 151-163, June 1992.
  167.  Massimiliano Chiodo, Thomas Shiple, Alberto Sangiovanni-Vincentelli, and Robert K. Brayton, Automatic Compositional Minimization in CTL Model Checking, Proceedings of the 4th International Workshop on Computer Aided Verification (CAV-92), Montreal, Canada, pp. 225-238, June 1992. And Proceedings of the IEEE International Conference on Computer-Aided Design, Santa Clara CA, pp. 172-178, November 1992.
  168.  Arlindo Oliveira and Alberto Sangiovanni-Vincentelli, Constructive Induction Using a Non-Greedy Strategy for Feature Selection, Proceedings of the Ninth International Conference in Machine Learning, Scotland UK, pp. 355-360, July 1992.
  169.  Patrick McGeer, Alexander Saldanha, P. Stephan, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Delay Models and Sensitization Criteria in the False Path Problem, Proceedings of the International Symposium on Logic Synthesis and Microprocessor Architecture, Izuka, Japan, pp.76-83, July 1992.
  170.  Arlindo Oliveira and Alberto Sangiovanni-Vincentelli, What Can Boolean Networks Learn?, Proceedings of the 3rd International Workshop on Computational Learning Theory and Natural Learning Systems, Madison WI, August 1992.
  171.  Mark Beardslee, Bill Lin, and Alberto Sangiovanni-Vincentelli, Communication Based Logic Partitioning, Proceedings of the European Design Automation Conference (EURODAC-92), Hamburg, Germany, pp. 32-37, September 1992.
  172.  Hamid Savoj, J. J. Silva, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Boolean Matching in Logic Synthesis, Proceedings of the European Design Automation Conference (EURODAC-92), Hamburg, Germany, pp. 168-174, September 1992.
  173.  Eric Felt, Edoardo Charbon, Enrico Malavasi, and Alberto Sangiovanni-Vincentelli, An Efficient Methodology for Symbolic Compaction of Analog IC's with Multiple Symmetry Constraints, Proceedings of the European Design Automation Conference (EURODAC-92), Hamburg, Germany, September 1992.
  174.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, On the Complexity of Boolean Functions for Table Look-Up Architectures, 2nd International Workshop on Field Programmable Logic and Applications, Vienna, Austria, September 1992.
  175.  Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Sequential Circuit Design Using Synthesis and Optimization, Proceedings of the International Conference on Computer Design (ICCD-92), Boston MA, pp. 328-333, October 1992.
  176.  Luciano Lavagno and Alberto Sangiovanni-Vincentelli, Linear Programming for Optimal Hazard Elimination in Asynchronous Circuits, Proceedings of the International Conference on Computer Design (ICCD-92), Boston MA, October 1992.
  177.  Alexander Yakovlev, Luciano Lavagno, and Alberto Sangiovanni-Vincentelli, A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis, Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD-92), Santa Clara CA, pp. 104-111, November 1992.
  178.  Narendra Shenoy, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Graph Algorithms for Clock Schedule Optimization, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-92), Santa Clara CA, pp. 132-136, November 1992.
  179.  Massimiliano Chiodo, Thomas Shiple, Alberto Sangiovanni-Vincentelli, and Robert K. Brayton, Automatic Compositional Minimization in CTL Model Checking, Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD-92), Santa Clara CA, pp. 172-178, November 1992.
  180.  Edward Liu and Alberto Sangiovanni-Vincentelli, Behavioral Simulation for Noise in Mixed-Mode Samples-Data Systems, Proceedings of IEEE/ACM InternationalConference on Computer-Aided Design (ICCAD-92), Santa Clara CA, pp. 322-326, November 1992.
  181.  William Lam, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Valid Clocking in Wavepipelined Circuits, Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD-92), Santa Clara CA, pp. 518-525, November 1992.
  182.  Patrick McGeer, Jagesh Sanghavi, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Minimization of Logic Functions Using Essential Signature Sets /bf [Best Paper Award], Proceedings of VLSI Design Conference, India, January 1993.
  183.  Wlliam Lam, Alex Saldanha, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Delay Fault Testing: Trading Fault Coverage, Test Set Size, and Performance, Research on Integrated Systems: Proceedings of the Symposium on Integrated Systems, Edited by Gaetano Borriello and Carl Ebeling, Seattle WA, pp. 68-87, March 1993.
  184.  Mark Beardslee and Alberto Sangiovanni-Vincentelli, Heuristic Methods for Communication-Based Logic Partitioning, Proceedings SIGDA Physical Design Workshop, Layout Synthesis for the New Generation of VLSI ASIC Technologies, Lake Arrowhead CA, pp. 199-210, April 1993.
  185.  Eric Tomacruz, Jagesh Sanghavi, and Alberto Sangiovanni-Vincentelli, Algorithms for Drift-Diffusion Device Simulation Using Massively Parallel Processors, Proceedings of the Workshop on VLSI Process and Device Modeling, Tokyo, Japan, pp. 20-21, May 1993.
  186.  Eric Felt, Enrico Malavasi, Edoardo Charbon, Roberto Totaro, and Alberto Sangiovanni-Vincentelli, Performance-Driven Compaction for Analog Integrated Circuits, Proceedings of the IEEE Custom Integrated Circuit Conference (CICC'93), San Diego CA, pp. 1731-1735, May 1993.
  187.  Luciano Lavagno and Alberto Sangiovanni-Vincentelli, Synthesis of Asynchronous Circuits with Bounded Delays: An Example, Proceedings of the Working Conference on Asynchronous Design Methodologies, London, England, March 1993.
  188.  Patrick McGeer, Jagesh Sanghavi, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, An Algorithm for Verifying the Equality of Signature Cubes, Proceedings of the International Workshop on Logic Synthesis, Lake Tahoe CA, May 1993.
  189.  Felice Balarin and Alberto Sangiovanni-Vincentelli, An Iterative Approach to Language Containment, Proceedings of the Computer Aided Verification: 5th International Conference (CAV-93), Heraklion, Greece, pp. 29-40, June 1993. Also Lecture Notes in Computer Science (LNCS), Vol. 697, Springer-Verlag, New York NY, June 1993.
  190.  Masamichi Kawarabayashi, Narendra Shenoy, and Alberto Sangiovanni-Vincentelli, A Verification Technique for Gated Clock, Proceedings of the 30th ACM/IEEE Design Automation Conference (DAC-93), Dallas TX, pp. 123-127, June 1993.
  191.  William Lam, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions, Proceedings of the 30th ACM/IEEE Design Automation Conference (DAC-93), Dallas TX, pp. 128-134, June 1993.
  192.  Edward Liu, Henry Chang, and Alberto Sangiovanni-Vincentelli, Analog System Verification in the Presence of Parasitics Using Behavioral Simulation, Proceedings of the 30th ACM/IEEE Design Automation Conference (DAC-93), Dallas TX, pp. 159-163, June 1993.
  193.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Sequential Synthesis for Table Look-Up Programmable Gate Arrays, Proceedings of the 30th ACM/IEEE Design Automation Conference (DAC-93), Dallas TX, pp. 224-229, June 1993.
  194.  William Lam, Alexander Saldanha, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Delay Fault Coverage and Performance Tradeoffs, Proceedings of the 30th ACM/IEEE Design Automation Conference (DAC-93), Dallas TX, pp. 446-452, June 1993.
  195.  Narenda Shenoy, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Resynthesis of Multi-Phase Pipelines, Proceedings of the 30th ACM/IEEE Design Automation Conference (DAC-93), Dallas TX, pp. 490-496, June 1993.
  196.  Patrick McGeer, Jagesh Sanghavi, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, ESPRESSO-Signature: A New Exact Minimizer for Logic Functions, Proceedings of the 30th ACM/IEEE Design Automation Conference (DAC-93), Dallas TX, pp. 618-624, June 1993.
  197.  Eric Felt, Gary York, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Dynamic Variable Reordering for BDD Minimization, Proceedings of the European Design Automation Conference (EURODAC-93), Euro-VHDL'93, Hamburg, Germany, pp. 130-135, September 1993.
  198.  William Lam, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Exact Minimum Cycle Times for Finite State Machine, ACM Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Malente, Germany, September 1993.
  199.  William Lam, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Serial and Interleaving Pipelining for General Sequential Machines, ACM Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Malente, Germany, September 1993, And SRC TECHCON'93, Atlanta GA, September 1993.
  200.  Eric Tomacruz, Marco Zuniga, Roberto Guerrieri, Andy Neureuther, and Alberto Sangiovanni-Vincentelli, 3-D Diffusion Models for Chemically-Amplified Resists Using Massively Parallel Processors, Proceedings of the Conference on Simulation of Semiconductor Devices and Processes, Vol. 5, pp. 109-112, September 1993.
  201.  Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, and Alberto Sangiovanni-Vincentelli, A Formal Specification Model for Hardware/Software Codesign, Proceedings of the International Workshop on Hardware-Software Codesign, Cambridge MA, October 1993.
  202.  Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Lucian Lavagno, Harry Hsieh, and Alberto Sangiovanni-Vincentelli, Synthesis of Mixed Software-Hardware Implementations from CFSM Specification, Proceedings of the International Workshop on Hardware-Software Codesign, Cambridge MA, October 1993.
  203.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Some Results on the Complexity of Boolean Functions for Table Lookr-Up Architectures, Proceedings of the International Conference on Computer Design, Boston MA, October 1993.
  204.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Cube-Packing and Two-Level Minimization, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-93), Santa Clara CA, pp. 115-122, November 1993.
  205.  Narenda Shenoy, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Minimum Padding to Satisfy Short Path Constraints, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-93), Santa Clara CA, pp. 156-161, November 1993.
  206.  Edward Liu and Alberto L. Sangiovanni-Vincentelli, Nyquist Data Converter Testing and Yield Analysis Using Behavioral Simulation, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-93), Santa Clara CA, pp. 341-342, November 1993.
  207.  Mark Beardslee and Alberto Sangiovanni-Vincentelli, An Algorithm For Improving partitions of Pin-Limited Multi-Chip Systems, Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD-93), Santa Clara CA, pp. 378-385, November 1993.
  208.  Edoardo Charbon, Enrico Malavasi, and Alberto Sangiovanni-Vincentelli, Generalized Constraint Generation for Analog Circuit Design, Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD-93), Santa Clara CA, pp. 408-415, November 1993.
  209.  Arlindo Oliveira and Alberto Sangiovanni-Vincentelli, Learning Complex Boolean Functions: Algorithms and Applications, Proceedings of Neural Information Processing Systems Conference, Denver CO, December 1993.
  210.  Henry Chang, Edward Liu, Robert Neff, Eric Felt, Alberto Sangiovanni-Vincentelli, and Paul Gray, Top-Down, Constraint-Driven Design Methodology Based Generation of N-Bit Interpolative Current Source D/A Converters, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC'94), San Diego CA, pp. 369-372, May 1994.
  211.  Edward Liu, William Kao, Eric Felt, and Alberto Sangiovanni-Vincentelli, Analog Testability Analysis and Fault Diagnosis Using Behavioral Modeling, Proceedings of IEEE Custom Integrated Circuits Conference (CICC'94), San Diego CA, pp. 413-416, May 1994.
  212.  Alpir Demir, Edward Liu, Alberto Sangiovanni-Vincentelli, and Iasson Vassiliou, Behavioral Simulation Techniques for Phase/Delay-Locked Systems, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC'94), San Diego CA, pp. 453-456, May 1994.
  213.  Edoardo Charbon, Enrico Malavasi, Davide Pandini, and Alberto Sangiovanni-Vincentelli, Imposing Tight Specifications on Analog IC's Through Simultaneous Placement and Module Optimization, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC'94), San Diego CA, pp. 525-528, May 1994.
  214.  Jagesh Sanghavi, Eric Tomacruz, and Alberto Sangiovanni-Vincentelli, Massively Parallel Device Simulation Using Irregular Grids, Proceedings of the International Workshop on Numerical Modeling of Processes and Devices for Integrated Circuits (NUPAD V), Honolulu HI, pp. 141-144, June 1994.
  215.  Felice Balarin and Alberto Sangiovanni-Vincentelli, On the Automatic Computation of Network Invariants, Proceedings of the 6th International Conference on Computer Aided Verification (CAV-94), Stanford CA, June 1994.
  216.  Adnan Aziz, Thomas Shiple, Vigyan Singhal and Alberto Sangiovanni-Vincentelli, Formula-Dependent Equivalence for Compositional CTL Model Checking Proceedings of the 6th International Conference on Computer Aided Verification (CAV-94), Stanford CA, June 1994.
  217.  Edoardo Charbon, Enrico Malavasi, Davide Pandini, and Alberto Sangiovanni-Vincentelli, Simultaneous Placement and Module Optimization of Analog IC's, Proceedings of the 31th ACM/IEEE Design Automation Conference (DAC-94), San Diego CA, pp. 31-35, June 1994.
  218.  William Lam, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Exact Minimum Cycle Times for Finite State Machines, Proceedings of the 31th ACM/IEEE Design Automation Conference (DAC-94), San Diego CA, pp. 100-105, June 1994.
  219.  Thomas R. Shiple, Ramin Johati, Alberto Sangiovanni-Vincentelli, and Robert K. Brayton, Heuristic Minimization of BDDs Using Don't Cares, Proceedings of the 31st ACM/IEEE Design Automation Conference (DAC-94), San Diego CA, pp. 225-231, June 1994.
  220.  Alberto Sangiovanni-Vincentelli, Panel: Complex System Verification: The Challenge Ahead, Proceedings of the 31st ACM/IEEE Design Automation Conference (DAC-94), San Diego CA, pp. 320, June 1994.
  221.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Optimum Functional Decomposition Using Encoding, Proceedings of the 31th ACM/IEEE Design Automation Conference (DAC-94), San Diego CA, pp. 408-414, June 1994.
  222.  Alexander Saldanha, Heather Harkness, Patrick McGeer, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Performance Optimization Using Exact Sensitization, Proceedings of the 31th ACM/IEEE Design Automation Conference (DAC-94), San Diego CA, pp. 425-429, June 1994.
  223.  Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Sriram Krishnan Rajeev Ranjan, Thomas Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, HSIS: A BDD-Based Environment for Formal Verification, Proceedings of the 31th ACM/IEEE Design Automation Conference (DAC-94), San Diego CA, pp. 454-459, June 1994.
  224.  Maria Di Benedetto, P. Lucibello, Alberto Sangiovanni-Vincentelli, and Ken Yamaguchi, Chain Closure: A Problem in Molecular CAD, Proceedings of the 31th ACM/IEEE Design Automation Conference (DAC-94), San Diego CA, pp. 497-502, June 1994.
  225.  Alberto Sangiovanni-Vincentelli, Panel: DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques?, Proceedings of the 31th ACM/IEEE Design Automation Conference (DAC-94), San Diego CA, pp. 503, June 1994.
  226.  Timothy Kam, Tiziano Villa, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, A Fully Implicit Algorithm for Exact State Minimization, Proceedings of the 31th ACM/IEEE Design Automation Conference (DAC-94), San Diego CA, pp. 684-690, June 1994.
  227.  Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Equivalences for Fair Kripke Structures, Proceedings of International Colloquium on Automata, Languages and Programming (ICALP), Jerusalem, Israel, July 1994.
  228.  Eric Tomacruz, Jagesh Sanghavi, and Alberto Sangiovanni-Vincentelli, A Parallel Iterative Linear Solver for Solving Irregular Grid Semiconductor Matrices Device, Proceedings of Supercomputing '94, Washington DC, pp. 24-33, November 1994.
  229.  Eric Felt, Amit Narayan, and Alberto Sangiovanni-Vincentelli, Measurement and Modeling of MOS Transistor Current Mismatch in Analog IC's, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-94), San Jose CA, pp. 272-277, November 1994.
  230.  Felice Balarin and Alberto Sangiovanni-Vincentelli, Iterative Algorithms for Formal Verification of Embedded Real-Time Systems, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-94), San Jose CA, pp. 450-457, November 1994.
  231.  Alper Demir, Edward Liu, and Alberto Sangiovanni-Vincentelli, Time-Domain Non-Monte Carlo Noise Simulation for Nonlinear Dynamic Circuits with Arbitrary Excitations, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-94), San Jose CA, pp. 598-603, November 1994.
  232.  Desmond Kirkpatrick and Alberto Sangiovanni-Vincentelli, Techniques for Crosstalk Avoidance in the Physical Design of High-Performance Digital Systems, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-94), San Jose CA, pp. 616-619, November 1994.
  233.  Eric Felt and Alberto Sangiovanni-Vincentelli, Testing of Analog Systems Using Behavioral Models and Optimal Experimental Design Techniques, Proceedings of IEEE/ACM International Conference on Computer Aided Design (ICCAD-94), San Jose CA, pp. 672-678, November 1994.
  234.  Maria Di Benedetto, Alexander Saldanha, and Alberto Sangiovanni-Vincentelli, Model Matching for Finite State Machines, Proceedings of the Computer Designers Conference (CDC-94), Lake Buena Vista FL, December 1994.
  235.  Felice Balarin, K. Petty, Alberto Sangiovanni-Vincentelli, and Pravin Varaiya, Formal Verification of the PATH Real-Time Operating Systems, Proceedings of the Computer Designers Conference (CDC-94), Lake Buena Vista FL, December 1994.
  236.  Alexander Saldanha, Narenda Shenoy, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Functional Clock Schedule Optimization /bf [Best Paper Award], The Proceedings of VLSI Design '95 Conference, New Delhi, India, January 1995.
  237. Amit Narayan, Sunil Khatri, Jawahar Jain, Masahiro Fujita, Alberto Sangiovanni-Vincentelli, and Robert K. Brayton, A Study of Composition Schemes for Mixed Apply/Compose Based Construction of ROBDDs, Proceedings of the 9th International Conference on VLSI Design, Bangalore, India, pp. 249-253, January 1995.
  238.  Premal Buch, Jagesh Sanghavi, and Alberto Sangiovanni-Vincentelli, A Parallel Graph Partitioner on a Distributed Memory Multiprocessor, Proceedings of the European Design and Test Conference (EDTC-95), Paris, France, pp. 360-365, February 1995.
  239.  Rajeev Murgai, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Decomposition of Logic Functions for Minimum Transition Activity. Proceedings the European Design and Test Conference (EDTC-95), Paris, France, pp. 404-410, March 1995.
  240.  Arlindo L. Oliveira and Alberto Sangiovanni-Vincentelli, Inferring Reduced Ordered Decision Diagrams of Minimal Description Length, Proceedings of the Twelfth International Conference in Machine Learning, Lake Tahoe CA, pp. 421-429, 1995.
  241.  Edoardo Charbon, Gary Holmlund, Bruce Donecker, and Alberto Sangiovanni-Vincentelli, A Performance-Driven Router for RF and Microwave Analog Circuit Design, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC-95), Santa Clara CA, pp. 383-386, May 1995.
  242.  Enrico Malavasi and Alberto Sangiovanni-Vincentelli, Dynamic Bound Generation for Constraint-Driven Routing, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC-95), Santa Clara CA, pp. 477-480, May 1995.
  243.  Robert Neff, Paul Gray, and Alberto Sangiovanni-Vincentelli, A Module Generator for High Speed CMOS Current Output Digital/Analog Converters, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC-95), Santa Clara CA, pp. 481-484, May 1995.
  244.  Henry Chang, Eric Felt, and Alberto Sangiovanni-Vincentelli, Top-Down, Constraint-Driven Design Methodology Based Generation of a Second Order Sigma - Delta A/D Converter, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC-95), Santa Clara CA, pp. 533-536, May 1995.
  245.  Alberto Sangiovanni-Vincentelli, Panel: University-Industry Ties: How Can They Be Improved?, Proceedings of the 32nd ACM/IEEE Design Automation Conference (DAC-95), San Francisco CA, pp. 241, June 1995.
  246.  Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, and Alberto Sangiovanni-Vincentelli, Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool, Proceedings of the 32nd ACM/IEEE Design Automation Conference (DAC-95), San Francisco CA, pp. 254-260, June 1995.
  247.  Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Ellen Sentovich, Harry Hsieh, and Alberto Sangiovanni-Vincentelli, Synthesis of Software Programs for Embedded Control Applications, Proceedings of the 32nd ACM/IEEE Design Automation Conference (DAC-95), San Francisco CA, pp. 587-596, June 1995.
  248.  Adnan Aziz, Felice Balarin, Maria Di Benedetto, Robert K. Brayton, Alexander Saldanha, and Alberto Sangiovanni-Vincentelli, Supervisory Control of Finite State Machines, Proceedings 7th International Conference on Computer-Aided Verification (CAV-95), Lecture Notes in Computer Science (LNCS), Leige, Belguim, Vol. 939, July 1995.
  249.  Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, It Usually Works: The Temporal Logic of Stochastic Systems, Proceedings 7th International Conference on Computer-Aided Verification (CAV-95), Lecture Notes in Computer Science (LNCS), Leige, Belgium, Vol. 939, July 1995.
  250.  Maria Di Benedetto, Alexander Saldanha, and Alberto Sangiovanni-Vincentelli, Strong Model Matching for Finite State Machines, Proceedings of the European Control Conference, Roma, Italia, September 1995.
  251.  Maria Di Benedetto, P. Lucibello, Alberto Sangiovanni-Vincentelli, and Ken Yamaguchi, A Closure Algorithm for a Class of Closed Kinematic Chains, Proceedings of the European Control Conference, Roma, Italia, September 1995.
  252.  Timothy Kam, Tiziano Villa, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Implicit State Minimization of Non-Deterministic FSMs, Proceedings of the International Conference on Computer Design (ICCD-95), VLSI in Computers and Processors, Austin TX, pp. 250-257, October 1995.
  253.  Adnan Aziz, Felice Balarin, Robert K Brayton, and Alberto Sangiovanni-Vincentelli, Sequential Synthesis Using S1S, Proceedings of the International Conference on Computer Aided Design (ICCAD-95), Santa Clara CA, November 1995.
  254.  Patrick McGeer, Kenneth McMillan, Alexander Saldanha, Alexander Sangiovanni-Vincentelli, and Patrick Scaglia, Fast Discrete Function Evaluation Using Decision Diagrams, Proceedings of The International Conference on Computer Aided Design (ICCAD-95), Santa Clara CA, pp. 402-407, November 1995.
  255.  Maria DiBenedetto, Alexander Saldanha, and Alberto Sangiovanni-Vincentelli, Strong Model Matching for Finite State Machines with Non-Deterministic Reference Model, Proceedings of the 34th IEEE Conference on Decision and Control, New Orleans LA, Vol. 1, pp. 422-426, December 1995.
  256.  Szu-Tsung Cheng, Patrick McGeer, Kennith McMillan, Alexander Saldanha, Alberto Sangiovanni-Vincentelli, and Patrick Scaglia, Cycle Simulatioin Semantics of Verilog and SMV: Cobra from Concept to Simulator, Proceedings of the Cadence Technical Conference, San Jose CA, 1996.
  257.  Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto Sangiovanni-Vincentelli, Analysis of Combinational Cycles in Sequential Circuits, Proceeding of the International Symposium on Circuits and Systems, Atlanta GA, May 1996.
  258.  Paolo Miliozzi, Luca Carloni, Edoardo Charbon, Alberto Sangiovanni-Vincentelli, SUBWAVE: A Methodology for Modeling Digital Substrate Noise Injection in Mixed-Signal ICs, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC'96), San Diego CA, pp. 385-388, May 1996.
  259.  Alper Demir and Alberto Sangiovanni-Vincentelli, Simulation and Modeling of Phase Noise in Open-Loop Oscillators, Proceedings of the IEEE Custom Integrated Circuits Conference (CICC'96), San Diego CA, pp. 453-456, May 1996.
  260.  Alberto L. Sangiovanni-Vincentelli, Trends in Electronic Systems, Proceedings of 8th Mediterranean Electrotechnical Conference on Industrial Applications in Power Systems, Computer Science and Telecommunications (MELECON 96), Bari, Italy, 13-16 May 1996. Edited by: de Sario, M.; Maione, B.; Pugliese, P.; Savino, M. New York, IEEE, pp. 26 vol.1, May 1996.
  261.  Alberto Sangiovanni-Vincentelli, Patrick McGeer, and Alexander Saldanha, Verification of Electronic Systems, Proceedings of the 33rd Design Automation Conference (DAC-96), Las Vegas NV, pp. 106-111, June 1996.
  262.  Paolo Miliozzi, Iasson Vassiliou, Edoardo Charbon, Enrico Malavasi, Alberto Sangiovanni-Vincentelli, Use of Sensitivities and Generalized Substrate Models in Mixed-Signal IC Design, Proceedings of the 33rd Design Automation Conference (DAC-96), Las Vegas NV, pp. 227-232, June 1996.
  263.  Sunil Khatri, Amit Narayan, Sriram Krishnan, Kenneth McMillan, Alberto Sangiovanni-Vincentelli, and Robert K. Brayton, Engineering Changes in a Non-Deterministic FSM Setting, Proceedings of the 33rd Design Automation Conference (DAC-96), Las Vegas NV, pp. 451-456, June 1996.
  264.  Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto Sangiovanni-Vincentelli,Formal Verification of Enbedded Systems Based on CFSM Networks, Proceedings of the 33rd Design Automation Conference (DAC-96), Las Vegas NV, pp. 568-571, June 1996.
  265.  Kei Suzuki and Alberto Sangiovanni-Vincentelli, Efficient Software Performance Estimation Methods for Hardware/Software Codesign, Proceedings of the 33rd Design Automation Conference (DAC-96), Las Vegas NV, pp. 605-610, June 1996.
  266.  L. Carloni, T. Villa, T. Kam, R.K. Brayton, A.L. Sangiovanni-Vincentelli, Generation of a Minimal STG from an Implicit Cover, UC Berkeley Technical Report, June 1996.
  267.  Jagesh Sanghavi, Rajeev Ranjan, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, High Performance BDD Package by Exploiting Memory Hierarchy, Proceedings of the 33rd Design Automation Conference (DAC-96), Las Vegas NV, pp. 635-640, June 1996.
  268.  Stefano Cardelli, Massimiliano Chiodo, Paulo Giusto, Attila Jurecska, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Rapid-Prototyping of Embedded Systems via Reprogrammable Devices, Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping, Porto Carras, Greece, June 1996.
  269.  Robert K. Brayton, Gary Hachtel, Alberto Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas Shiple, Gitanjali Swamy, and Tiziano Villa, VIS: A System for Verification and Synthesis, Proceedings of the Conference on Computer Aided Verification, New Brunswich NJ, July 1996.
  270.  R.K. Ranjan, J.V. Sanghavi, R.K. Brayton, A. Sangiovanni-Vincentelli, Binary Decisions on Network of Workstations, in Proceedings of the International Conference on Computer Design pp. 358-364, 1996.
  271.  Edoardo Charbon, Paolo Miliozzi, Enrico Malavasi and Alberto L. Sangiovanni-Vincentelli. Generalized Constraint Generation in the Presence of Non-Deternimistic Parasitics, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-96), San Jose, CA, pp. 187-192, November 1996.
  272.  Edward A. Lee and Alberto L. Sangiovanni-Vincentelli, Comparing Models of Computation, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-96), San Jose, CA, pp. 234-241, November 1996.
  273.  Edoardo Charbon, R. Gharpurey, R. Meyer and Alberto L. Sangiovanni-Vincentelli, Semi-Analytical Techniques for Substrate Characterication in the Design of Mixed-Signal ICs, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-96), San Jose, CA, pp. 455-462 November 1996.
  274.  Iason Vassiliou, Henry Chang, Alper Demir, Edoardo Charbon, Paolo Miliozzi and Alberto Sangiovanni-Vincentelli, A Video Driver System Designed Using a Top-Down, Constraint-Driven Methodology, Proceedings IEEE/ACM International Conference on Computer-Aided Design (ICCAD-96), San Jose, CA, pp. 463-468, November 1996.
  275.  Edoardo Charbon, Enrico Malavasi, Paolo Miliozzi and Alberto L. Sangiovanni-Vincentelli, Generation and Handling of Non-Deterministic Parastic Constraints in Analog and Mixed-Signal IC Layout Synthesis, Proceedings Sixth Workshop on Synthesis and System Integration of Mixed Technologies, Fukuoka, Japan, pp.221-227 November 1996
  276.  J. Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K, Brayton, M. Fujita Decomposition Techniques for Efficient ROBDD Construction, Formal MEthods in Computer-Aided Design, pp. 419-434, Palo Alto, CA November 1996.
  277.  Robert K. Brayton, Gary Hachtel, Alberto Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen Edwards, Sunil Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev Ranjan, Shaker Sarwary, Thomas Shiple, Gitanjali Swamy, and Tiziano Villa, VIS, Formal Methods in CAD'96.
  278.  Amit Narayan, Jawahar Jain, Masahiro Fujita and Alberto L. Sangiovanni-Vincentelli, Formal Verification of Combinational Circuits, Proceedings of the 10th International Conference on VLSI Design, Hyderabab, India, pp. 218-225, January 1997.
  279. C. Passerone, L. Lavagno, C. Sansoè, M. Chiodo, and A. Sangiovanni-Vincentelli. Trade-off evaluation in embedded system design via co-simulation. In Proceedings of the Asian and South Pacific Design Automation Conference, January 1997.
  280.  Harry Hsieh, Luciano Lavagno, Claudio Passerone, C. Sansoe, Alberto L. Sangiovanni-Vincentelli, and others, Modeling micro-controller peripherals for high-level co-simulation and synthesis, Proceedings of the Fifth International Workshop on Hardware/Software Codesign, Codes/CASHE '97, Braunschweig, Germany, pp. 127-30, March 1997.
  281.  Felice Balarin, Massimiliano Chiodo, Luciano Lavagno, Attila Jurecska, Bassam Tabbara, Alberto Sangiovanni-Vincentelli, Automatic Generation of a Real-Time Operating System for Embedded Systems, Proceedings 5th International Workshop on Hardware/Software Co-Design Codes/CASHE '97, Braunschweig, Germany, March 1997.
  282.  Bassam Tabbara, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Synthesis of Externally Synchronous Internally Asynchronous Circuits, Proceedings of the IEEE/ACM International Workshop on Logic Synthesis (IWLS), Lake Tahoe, CA, May 1997.
  283.  M. Prasad, D. Kirkpatrick, R.K. Brayton, A. Sangiovanni-Vincentelli, Domino Logic Synthesis and Technology Mapping, Proceedings of the IEEE/ACM International Workshop on Logic Synthesis (IWLS), Lake Tahoe, CA, May 1997.
  284.  Amit Narayan, Premal Buch, A. Richard Newton and Alberto L. Sangiovanni-Vincentelli, On Synthesizing Pass Transistor Networks, Proceedings of the IEEE/ACM International Workshop on Logic Synthesis (IWLS), Lake Tahoe, CA, May 1997.
  285. Felice Balarin and Alberto L. Sangiovanni-Vincentelli, Schedule Validation for Embedded Reactive Real-Time Systems, Proceedings of the 34th Design Automation Conference (DAC-97), pp.52-57, Las Vegas, June 1997.
  286. Jim Rowson and Alberto L. Sangiovanni-Vincentelli, Interface-based Design, Proceedings of the 34th Design Automation Conference (DAC-97). pp. 178-183, Las Vegas, June 1997.
  287. Claudio Passerone, Luciano Lavagno, Massimiliano Chiodo, and Alberto L. Sangiovanni-Vincentelli, Fast Hardwar-Software Co-simulation for Virtual Prototyping and Trade-off Analaysis, Proceedings of the 34th Design Automation Conference (DAC-97), pp.389-394. Las Vegas, June 1997.
  288. A. L. Oliveira, L. P. Carloni, T. Villa, and Alberto L. Sangiovanni-Vincentelli, An Implicit Formulation for Exact BDD Minimization of Incompletely Specified Functions, Proceedings of VLSI'97, Gramado, Brazil, pp.315-326, August 1997.
  289.  Rajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli, Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions, Proceedings of the IEEE International Conference on Computer Design, Austin, Texas, October 1997.
  290.  Amit Narayan, Jawahar Jain, Masahiro Fujita and Alberto L. Sangiovanni-Vincentelli, A Survey of Combinational Verification Techniques, Proceedings of the IEEE International Conference on Computer Design, Austin, Texas, October 1997.
  291.  Roberto Passerone, Alberto L. Sangiovanni Vincentelli, Luciano Lavagno, Claudio Passerone and C. Sansoe Modeling Reactive Systems in Java, IEEE International High Level Design Validation and Test Workshop, Oakland, CA, November 1997.
  292.  Bassam Tabbara, Luciano Lavagno, and Alberto L. Sangiovanni-Vincentelli, Fast Hardware-Software Co-Simulation Using Software Synthesis and Estimation, IEEE International High Level Design Validation and Test Workshop, Oakland, CA, November 1997.
  293.  Eugene I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangivanni-Vincentelli, and others, Negative Thinking by Incremental Problem Solving: Application to Unate Coverting, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), San Jose, CA, pp. 91-99, November 1997.
  294.  Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli, Sequential optimisation without state space exploration, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), San Jose, CA, pp 208-215, November 1997.
  295.  Eugene I. Goldberg, Tiziano Villa, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli, A Fast and Robust Exact Algorithm for Face Embedding, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), San Jose, CA, pp. 296-303, November 1997.
  296.  Amit Narayan, Adrian J. Isles, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli, Reachability analysis using partitioned-ROBDDs, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), San Jose, CA, pp. 388-393, November 1997.
  297.  Amit Narayan, Jawahar Jain, Masahiro Fujita and Alberto L. Sangiovanni-Vincentelli, Partioned-ROBDDs-A Compact Canonical and Efficiently Manipulable Representation for Boolean Functions, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), San Jose, CA, pp. 547-554, November 1997.
  298.  Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha and Alberto Sangiovanni-Vincentelli, Trace Driven Logic Synthesis Application to Power Minimization, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), San Jose, CA, pp.581-588, Nobember 1997.
  299.  Premal Buch, Amit Narayan, A. Richard Newton, and Alberto Sangiovanni-Vincentelli, Logic Synthesis for Large Pass Transistor Circuits, Proceedings of IEEE International Conference on Computer Aided Design (ICCAD), San Jose, CA, pp. 663-670, November 1997.
  300.  A. Balluchi, M. Di Benedetto, C. Pinello, C. Rossi and A. Sangiovanni-Vincentelli, Cut-off in Engine Control: a Hybrid System Approach, in Proc. 36th IEEE Conference on Decision and Control, San Diego, California, USA, pp. 4720-4725, December 1997.
  301.  Wilsin Gosti, Tiziano Villa, Alexander Saldanha, and Alberto L. Sangiovanni-Vincentelli, An Exact Input Encoding Algorithm for BDDs Representing FSMs, Proceedings of the Eighth Great Lakes Symposium on VLSI, Lafayette, LA, pp. 294-300, February 1998.
  302. F. Bellifemine, A. Bonomo, P. Civera, G. Ghigo, M. Lajolo, C. Passerone and A. Sangiovanni-Vincentelli, Hardware/Software Co-Design for Image Processing, International Conference on Signal Processing and Communication, Canary Islands, February 1998.
  303. S-T Cheng, P. McGeer, M. Meyer, A. Sangiovanni-Vincentelli, P. Scaglia, and T. Truman, The V++ System Design Language, Design Automation and Test in Europe, February 1998.
  304. L. Lavagno and A. Sangiovanni-Vincentelli, System-level Design Models and Implementation Techniques, IEEE International Conference on Application of Concurrency to System Design, March 1998.
  305.  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 the International Workshop on Hardware-Software Codesign, March 1998.
  306.  J. Liu, M. Lajolo, A. Sangiovanni-Vincentelli, Software Timing Analysis Using HW/SW Cosimulation and Instruction Set Simulator, in Proceedings of the International Workshop on Hardware-Software Codesign, March 1998.
  307. J. Martin, R. McGeer, C. Passerone, R. Passerone, A. Sangiovanni-Vincentelli, and C.Sansoe, Modeling Reactive Systems in Java, Proceedings of the International Workshop on Hardware-Software Codesign, CODES/CASHE, March 1998
  308. M. Antoniotti, A.Balluchi, L.Benvenuti, A.Ferrari, R. Flora, W. Nesci, C.Pinello, C. Rossi, A.Sangiovanni-Vincentelli, G. Serra and M. Tabaro, A Top-Down Constraint-Driven Design Methodology for Power-train Control Systems, in Proc. GPC98, Global Powertrain Congress, vol. Emissions, Testing and Controls, Detroit, Michigan, USA, pp. 74-84, October 1998.
  309.  A. Balluchi, L. Benvenuti, M. Di Benedetto, A. Ferrari, C. Pinello, A. Sangiovanni-Vincentelli, The Design of Embedded Controllers for Automotive Engine Management: the Cut-Off Case, Cadence Technical Conference 1998, May 1998. (Confidential Note)
  310. R. K. Brayton, S-T. Cheng, P. C. McGeer, A. Sangiovanni-Vincentelli, P. Scaglia, and T. Truman, Finite State Machine Communication in V++, Cadence Technical Conference 1998, May 1998. (Confidential Note)
  311.  Amit Narayan, Wilsin Gosti, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli, Wire Planning in Logic Synthesis, Proceedings of the IEEE/ACM International Workshop on Logic Synthesis (IWLS), Lake Tahoe, CA, pp. 520-529, May 1998.
  312. Roberto Passerone, James A. Rowson and Alberto L. Sangiovanni-Vincentelli, Automatic Synthesis of Interfaces Between Incompatible Protocols, Proceedings of the 31st ACM/IEEE Design Automation Conference (DAC-98), San Francisco, CA, pp. 8-13, June 1998.
  313.  Tullio Cuatto, Claudio Passerone, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sansoe and Alberto L. Sangiovanni-Vincentelli, A Casa Study in Embedded System Design: An Engine Control Unit, Proceedings of the 31st ACM/IEEE Design Automation Conference (DAC-98), San Francisco, CA, pp. 804-808, June 1998.
  314. Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli and Ellen Sentovich, Models of Computation for Embedded System Design, 1998 NATO ASI Proceedings on System Synthesis, Il Ciocco (Italy), Aug. 1998.
  315. S. Khatri, R.K. Brayton, A.L. Sangiovanni-Vincentelli, Multi-valued Network Simplification using Redundancy Removal, SRC Techcon, Las Vegas, Sept 1998.
  316. A. Balluchi, A. Bicchi, G. Padroni, C. Rossi, and A.L. Sangiovanni-Vincentelli, Hybrid Optimization Problems in Automotive Applications, Proceedings of IFAC International Workshop on Motion Control, Grenoble, France, pp.273-78, Sept 1998.
  317. W. Gosti, A. Narayan, R.K. Brayton and A. Sangiovanni-Vincentelli, Wireplanning in Logic Synthesis, Proc. of the 1998 International Conf. on CAD, ICCAD 98, pp. 26-33, November 1998.
  318. S. Tasiran, S. Khatri, S. Yovine, R.K. Brayton, A. Sangiovanni-Vincentelli, A Timed Automaton-based Method for Accurate Circuit Delay Computation in the Presence of Cross-talk, Proc. of the International Conf. on Formal Methods in CAD, FMCAD 98, Palo Alto, CA, November 1998.
  319. A. Balluchi, M. Di Benedetto, C. Pinello and A. Sangiovanni-Vincentelli, A Hybrid Approach to the Fast Positive Force Transient Tracking Problem in Automotive Engine Control, in Proc. 37th IEEE Conference on Decision and Control, Tampa, Florida, USA, pp. 3226-3231, December 1998.
  320.  A. Balluchi, L. Benvenuti, M. Di Benedetto, A. Ferrari, C. Pinello and A. Sangiovanni-Vincentelli, Hybrid Systems and the Design of Embedded Controllers for Automotive Engine Management, in Proc. 37th IEEE Conference on Decision and Control, Tampa, Florida, USA, pp. 2656-2661, December 1998.
  321. L. Benvenuti, M.D. Di Benedetto, C. Rossi and A. Sangiovanni-Vincentelli, Injector Characteristics Estimation for Spark Ignition Engines, 37th Conference on Decision and Control, December 1998.
  322. T. Villa, H. Wong-Toi, A. Balluchi, G. Preussig, A. Sangiovanni-Vincentelli and Y. Watanabe, Formal Verification of an Automotive Engine Controller in Cutoff Mode, in Proc. 37th IEEE Conference on Decision and Control, Tampa, Florida, USA, pp. 4271-4276, December 1998.
  323. E. Filippi, L. Lavagno, L. Licciardi, A. Montanaro, M. Paolini, R. Passerone, A. Sangiovanni-Vincentelli and M. Sgroi, Intellectual Property Re-Use in Embedded System Co-Design: an Industrial Case Study, 11th International Symposium on System Synthesis, Hsinchu, Taiwan, Dec. 1998.
  324. M. Lajolo, L. Lavagno, A. Sangiovanni-Vincentelli, Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment, ASP-DAC '99, Hong Kong, Jan. 1999.
  325. S. Khatri, R.K. Brayton, A. Sangiovanni-Vincentelli, Sequential Multi-valued Network Simplification using Redundancy Removal, in Proceedings of the International Conference on VLSI Design, pp. 206-211, Goa, India, Jan 1999.
  326. M. Lajolo, A. Raghunathan, S. Dey, L. Lavagno and A. Sangiovanni-Vincentelli, Efficient Power Estimation Techniques for HW/SW Systems, In Proceedings of the IEEE VOLTA'99 International Workshop on Low Power Design, pp. 191-199, Como, Italy, March 4-5, 1999.
  327. B. Tabbara, E. Filippi, L. Lavagno, M. Sgroi, A. Sangiovanni-Vincentelli, Fast Hardware-Software Co-simulation Using VHDL Models, DATE '99, Munich, Germany, Mar. 1999.
  328. A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, and A. Sangiovanni-Vincentelli, A case study of hybrid controller synthesis of a heating system, in Hybrid Systems and AI: Modeling Analysis and Control of Discrete Plus Continuous Systems, Proceedings of 1999 Spring Symposium Series, Stanford, CA, USA, pp. 7-12, March 1999. Papers from the 1999 AAAI Symposium.
  329. H. Kenter, C. Passerone, W. Smits Y. Watanabe, A. Sangiovanni-Vincentelli, Designing Digital Video Systems: Modeling and Scheduling, CODES '99 Rome, Italy, May 1999.
  330. M. Lajolo, M. Lazarescu and A. Sangiovanni-Vincentelli, A Compilation-based Software Estimation Scheme for Hardware/Software Co-Simulation, in Proceedings of the 7th IEEE International Workshop on Hardware/Software Codesign, pp. 85-89, Roma, Italy, May 3-5, 1999.
  331.  S. Khatri, S. Sinha, A. Kuehlmann, R.K. Brayton, A. Sangiovanni-Vincentelli, SPFD-based wire removal in a network of PLAs, in Proceedings of the IEEE/ACM International Workshop on Logic Synthesis (IWLS), Lake Tahoe, CA, May 1999.
  332. I. Vassiliou, A. Sangiovanni-Vincentelli, A frequency-domain, Volterra series-based behavioral simulation tool for systems, in Proceedings of the Custom Integrated Circuits Conference, CICC '99, S.Diego, CA, May 1999.
  333. A. La Rosa, C. Passerone, L. Lavagno, F. Gregoretti, A. Sangiovanni-Vincentelli, Finite State Machine Composition for Embedded Hardware/Software Trade-offs, in Proceedings of the 2nd IEEE International Workshop on Design, Test and Applications (WDTA'99) Dubrovnik, Croatia, June 14-16, 1999, pp. 21-24.
  334. M. Lajolo, L. Lavagno, C. Passerone and A. Sangiovanni-Vincentelli, A Parameter-based Mapping Scheme for Behavior/Architecture Co-Design, in IEEE Workshop on Design, Test and Applications (WDTA'99), pp. 37-40, Dubrovnik, Croatia, June 14-16, 1999.
  335. A. Sangiovanni-Vincentelli, Embedded Systems Panel: HW and SW in Embedded System Design: Loveboat, Shipwreck, or Ships Passing in the Night, Proceedings of the 36th Design Automation Conference (DAC-99), pp. 76-77, New Orleans, LA, June 1999.
  336. S. Khatri, A. Mehrotra, R. K. Brayton, A. Sangiovanni-Vincentelli, and R. H. J. M. Otten, A Novel VLSI Layout Fabric for Deep Sub-Micron Applications, Proceedings of the 36th Design Automation Conference (DAC-99), pp. 491-496, New Orleans, LA, June 1999.
  337. M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli, Synthesis of Embedded Software Using Free-Choice Petri Nets, Proceedings of the 36th Design Automation Conference (DAC-99), pp. 805-810, New Orleans, LA, June 1999.
  338. M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli, Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets, Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN '99, Williamsburg, Virginia,  June 1999.
  339. K. Banerjee, A. Mehrotra, A. Sangiovanni-Vincentelli, and C. Hu, On Thermal Effects in Deep Sub-Micron VLSI Interconnects, Proceedings of the 36th Design Automation Conference (DAC-99), pp. 885-891, New Orleans, LA, June 1999.
  340. L. P. Carloni, K. L. McMillan and A. L. Sangiovanni-Vincentelli, Latency Insensitive Protocols, In N. Halbwachs and D. Peled, editors, Proc. of the 11th Intl. Conf. On Computer-Aided Verification, Trento, ITALY, LNCS 1633, July 1999.
  341. B.Tabbara, A. L. Sangiovanni-Vincentelli, Data Flow and Control Optimizations for Hardware and Software Co-synthesis in Embedded Systems, SRC Graduate Fellowship Conference, Sept. 1999.
  342.  A. Balluchi, L. Benvenuti, H. Wong-Toi, T. Villa, and A. L. Sangiovanni-Vincentelli, A case study of hybrid controller synthesis of a heating system, in  Proc. 5th European Control Conference, Karlsruhe, Germany, September 1999.
  343. A. Ferrari, A. Sangiovanni-Vincentelli, System Design: Traditional Concepts and New Paradigms, The Proceedings of the International Conference on Computer Design, ICCD '99, Austin, TX, USA, pp 1-12, Oct. 1999. (Key note address)
  344. L. P. Carloni, K. L. McMillan, A. Saldanha and A. L. Sangiovanni-Vincentelli, A Methodology for Correct-by-Construction Latency Insensitive Design, The Proceedings of the International Conference on Computer-Aided Design, Nov. 1999.
  345. H. Hsieh, F. Balarin, L. Lavagno, A. L. Sangiovanni-Vincentelli, Synchronous Equivalence for Embedded Systems: a Tool for Design Exploration, The Proceedings of the International Conference on Computer-Aided Design, Nov. 1999.
  346. A. Balluchi, L. Benvenuti, H. Wong-Toi, T. Villa, and A. L. Sangiovanni-Vincentelli, Controller synthesis for hybrid systems with lower bounds on event separation, in Proc. 38th IEEE Conference on Decision and Control, Phoenix, Arizona, USA, pp. 3984-3989, December 1999.
  347. A. Balluchi, L. Benvenuti, C. Rossi, M. D. Di Benedetto, C. Cardellino, and A. L. Sangiovanni-Vincentelli, Hybrid control of the air-fuel ratio in force transients for multi-point injection engines, in  Proc. 38th IEEE Conference on Decision and Control, Phoenix, Arizona, USA, pp. 316-321, December 1999
  348. M. Broucke, M.D. Di Benedetto, S. Di Gennaro and A. Sangiovanni-Vincentelli, Theory of optimal control using bisimulations, Hybrid Systems: Computation and Control (HSCC'00), Springer-Verlag, LNCS 1790, pp. 89-102, 2000.
  349. M. Baleani, A.Ferrari, A. Sangiovanni-Vincentelli and C. Turchetti, Hardware-Software Co-design of an Engine Management System, Proceedings of Design, Automation and Test in Europe (DATE), Paris, France, March 27-30 2000
  350. B. Tabbara, A. Tabbara, A. Sangiovanni-Vincentelli, Task Response Time Optimization Using Cost-Based Operation Motion, CODES '00 S.Diego, USA, May 2000.
  351. J. L. da Silva jr., M. Sgroi, F. De Bernardinis, S.F. Li, A. Sangiovanni-Vincentelli, J. Rabaey, Wireless Protocols Design: Challenges and Opportunities, CODES '00 S.Diego, USA, May 2000.
  352. M. Sgroi, J.L. da Silva jr., F. De Bernardinis, F. Burghardt, A. Sangiovanni-Vincentelli, J. Rabaey, Designing Wireless Protocols: Methodology and Applications, ICASSP '00 Istanbul, Turkey, June 2000.
  353. A. Balluchi, L. Benvenuti, M. Di Benedetto, T. Villa, H. Wong-Toi, A. Sangiovanni-Vincentelli, Hybrid Controller Synthesis for Idle Speed Management of an Automotive Engine.,  Proceedings of ACC00 (invited paper), Chicago, ILL, USA, pp. 1181-1185, June 2000.
  354. L.P. Carloni, A. Sangiovanni-Vincentelli, Performance Analysis and Optimization of Latency Insensitive Protocols, in Proceedings of the Design Automation Conference, DAC '00, Los Angeles, USA, June 2000.
  355. J. Cortadella, A. Kondratyev, L. Lavagno, M. Massot, S. Moral, C. Passerone, Y. Watanabe and A. Sangiovanni-Vincentelli, Task Generation and Compile-time Scheduling for Mixed Data-Control Embedded Software, Proc. Of the Design Automation Conf., June 2000, pp. 489-494.
  356. H. Hsieh, F. Balarin, L. Lavagno, A. Sangiovanni-Vincentelli, Efficient Methods for Embedded System Design Space Exploration, in Proceedings of the Design Automation Conference, DAC '00, Los Angeles, USA, June 2000, pp. 607-612.
  357. M. Di Natale, A. Sangiovanni-Vincentelli and F. Balarin, Task Scheduling with RT Constraints, Proc. of the Design Automation Conf., June 2000, pp. 483-488
  358. N. Yevtushenko, T. Villa, R. Brayton, A. Petrenko, A. Sangiovanni-Vincentelli, Synthesis by Language Equation Solving, International Workshop on Logic Synthesis, June 2000
  359. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, C. Pinello, and A. L. Sangiovanni-Vincentelli, Automotive engine and power-train control: a comprehensive hybrid model, Proc. of 8th Mediterranean Conference on Control and Automation - MED2000, Patras, Greece, July 2000. (invited paper).
  360. A. Sangiovanni-Vincentelli, M. Sgroi and L. Lavagno, Formal Models for Communication-based Design , Proceedings of the 11-th International Conference on Concurrency Theory, Concur '00, 22-25 August 2000.
  361. S. Sinha, S. Khatri, R. Brayton, A. Sangiovanni-Vincentelli, Binary and Multi-valued SPFD-based wire removal in PLA networks,  Proc. ICCD, Oct. 2000.
  362.   Luca Daniel, Alberto Sangiovanni-Vincentelli and Jacob White, Interconnect Electromagnetic Modeling using Conduction Modes as Global Basis Functions,  IEEE 9th Topical Meeting on Electrical Performance of Electronic Packages, pages 203-206, Scottsdale, AZ, 23-25 Oct. 2000.
  363.   Alberto Sangiovanni-Vincentelli, Automotive Electronics: Trends and Challenges,   in Convergence 2000, Detroit, MI, Oct. 2000.
  364. S. Khatri, R. Brayton, A. Sangiovanni-Vincentelli, Cross-Talk Immune VLSI Design using a Network of PLAs Embedded in a Regular Layout Fabric, Proc. ICCAD, Nov. 2000
  365. H. Hsieh, F. Balarin, L. Lavagno,  A. Sangiovanni-Vincentelli, Refining Abstract Equivalence Analysis for Embedded System Design, Proc. ICCAD, Nov. 2000.
  366.   A. Balluchi, A. Bicchi, C. Caterini, C. Rossi, and A. L. Sangiovanni-Vincentelli, Hybrid tracking control for spark-ignition engines, in Proc. 39th IEEE Conference on Decision and Control, vol. 4, Sydney, NSW, Australia, pp. 3126-31, December 2000.
  367. M. Broucke, M.D. Di Benedetto, S. Di Gennaro and A. Sangiovanni-Vincentelli, Optimal control using bisimulations: Implementation,  Hybrid Systems: Computation and Control (HSCC'01), March 2001.
  368. S. Zanella, A. Neviani, E. Zanoni, E. Charbon, P. Miliozzi, C. Guardiani, L. Carloni, and A. Sangiovanni-Vincentelli, Modeling of Substrate Noise Injected by Digital Libraries,  in Proc. Int. Symp. Quality Electronic Design, San Jose, CA, March 2001.
  369. M. Sgroi, M. Sheets, A. Mihal, K. Keutzer, S. Malik, J. Rabaey, A. Sangiovanni-Vincentelli, Addressing System-on-a-Chip Interconnect Woes Through Communication-Based Design,  Proceedings of the 38th Design Automation Conference, Las Vegas, 18-22 June 2001.
  370. Luca Daniel, Alberto Sangiovanni-Vincentelli and Jacob White, Using Conduction Modes Basis Functions for Efficient Electromagnetic Analysis of On-Chip and Off-Chip Interconnect,  Proceedings of the 38th Design Automation Conference, Las Vegas, 18-22 June 2001.
  371.  J. Burch, R. Passerone, A. L. Sangiovanni-Vincentelli, Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems,  Proceedings of the Second International Conference on Application of Concurrency to System Design, Newcastle upon Tyne, UK, June 25-29, 2001.
  372. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. L. Sangiovanni-Vincentelli, A hybrid observer for the driveline dynamics,  in Proc. 6th European Control Conference, ECC2001, Porto, Portugal, pp. 618-623, September 2001.
  373. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, G. Girasole, and A. L. Sangiovanni-Vincentelli, Idle speed control design and verification for an automotive engine.,  Proc. International Workshop on "Modeling, Emissions and Control in Automotive Engines", MECA'01, Salerno, Italy, September 2001.
  374. Jerry Burch, Roberto Passerone, A. Sangiovanni-Vincentelli, Using multiple levels of abstractions in embedded software design in T.A. Henzinger, C.M. Kirsch (Eds.):Embedded Software, First International Workshop, EMSOFT 2001, Springer Verlag, LNCS 2211, Tahoe City, CA, USA, October 8-10, 2001, 
  375.  N. Yevtushenko, T. Villa, R. Brayton, A. Petrenko, A. Sangiovanni-Vincentelli, Solution of Parallel Language Equations for Logic Synthesis.,  Proceedings of the International Conference on Computer Aided Design, November 4-8, 2001, San Jose, CA.
  376.  Luca Daniel, Alberto Sangiovanni-Vincentelli and Jacob White, Techniques for Including Dielectrics when Extracting Low-Order Models of High Speed Interconnect,  Proceedings of the International Conference on Computer Aided Design, November 4-8, 2001, San Jose, CA.
  377. Amit Nandi, Radu Marculescu, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, System-Level Power/Performance Analysis of Portable Multimedia Systems Communicating over Wireless Channels, Proceedings of the International Conference on Computer Aided Design, November 4-8, 2001, San Jose, CA
  378. Wilsin Gosti, Sunil Khatri, Alberto Sangiovanni-Vincentelli, Addressing the Timing Closure Problem by Integrating Logic Optimization and Placement, Proceedings of the International Conference on Computer Aided Design, November 4-8, 2001, San Jose, CA. 
  379. Felice Balarin, Jerry Burch, Luciano Lavagno, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Yosinori Watanabe, Constraints Specification at Higher Levels of Abstraction , Proceedings of the IEEE International High Level Design Validation and Test Workshop 2001, November 7-9, 2001, Monterey,, CA. 
  380. Alberto Sangiovanni-Vincentelli and Grant Martin, A Vision for Embedded Software, CASES 2001, Atlanta Georgia November 2001, pp. 1-7
  381. A. Balluchi, M. D. Di Benedetto, C. Pinello, and A. L. Sangiovanni-Vincentelli, Mixed models of computation in the design of automotive engine control.,  in Proc. 40th IEEE Conference on Decision and Control, vol. 4, Orlando, FL, USA, pp. 3308-13, December 2001. (invited paper).
  382. Marco Antoniotti, Alberto Ferrari, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Ellen Sentovich Embedded System Design Specification: Merging Reactive Control and Data Computation , Proc. 40th IEEE Conference on Decision and Control, (Orlando, Florida), December 2001. (invited paper). .
  383. M. Baleani, M. Conti, A. Ferrari, A. Sangiovanni-Vincentelli, HW/SW Co-design of a Multiple Injection Driver Automotive Subsystem Using a Configurable System on Chip, Proc. of DATE 02, Paris, March 4-8, 2002.
  384. Luigi Palopoli, Claudio Pinello, Alberto Sangiovanni Vincentelli, Laurent Elghaoui, Antonio Bicchi, Synthesis of robust control systems under resource constraints, Lecture Notes in Computer Science, Proceedings of the Hybrid Systems: Computation and Control, Stanford, USA, March 2002.
  385. M. Baleani, F. Gennari, Y. Jiang, Y. Patel, R.K. Brayton, A. Sangiovanni-Vincentelli, HW/SW Partitioning and Code Generation of Embedded Control Applications on a Reconfigurable Architecture Platform, Proceedings of the 10th International Symposium on Hardware/Software Codesign (CODES), Estes Park, Colorado, USA May 6-8, 2002
  386. Farinaz Koushanfar, Miodrag Potkonjak, Alberto Sangiovanni-Vincentelli, Fault tolerance in wireless ad-hoc sensor networks, IEEE Sensors 2002,  June 2002.
  387. A. Pinto, L.P. Carloni and A.L. Sangiovanni-Vincentelli, Constraint-Driven Communication Synthesis, Proceedings of the Design Automation Conference, June 2002.
  388. J. Burch, R. Passerone, A.L. Sangiovanni-Vincentelli, Modeling Techniques in Design-by-Refinement Methodologies , Proceedings of Integrated Design and Process Technology, June 2002.
  389. A. Balluchi, L. Benvenuti and A.L. Sangiovanni-Vincentelli, Observers for Hybrid Systems with Continuous State Resets , Proceedings of the 10th Mediterranean Conference on Control and Automation (MED2002), Lisbon, Portugal, July 2002.
  390. A. Balluchi, L. Benvenuti, L. Berardi, E. De Santis, M. D. Di Benedetto, G. Girasole, and G. Pola, Engine idle speed control via maximal safe set computation in the crank-angle domain , in Proc. 2002 IEEE International Symposium on Industrial Electronics, vol. 2, L'Aquila, Italy, pp. 618-622, July 2002.
  391. N. Yevtushenko, T. Villa, R. Brayton, A. Petrenko, Alberto Sangiovanni-Vincentelli, Solution of Synchronous Language Equations for Logic Synthesis , Proceedings of The Biannual 4th Russian Conference with Foreign Participation on Computer-Aided Technologies in Applied Mathematics, Tomsk (Russia), September 2002.
  392. L. P. Carloni, F. De Bernardinis, Alberto Sangiovanni-Vincentelli, M. Sgroi, The Art and Science of Integrated Systems Design , Proceedings of the 28th European Solid-State Circuits Conference, September 2002.
  393. M. Baleani, M. Conti, A. Ferrari, V. Frascolla, and Alberto L. Sangiovanni-Vincentelli, An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms , Proceedings of International Conference on Field Programmable Logic and Applications, FPL'02, La Grande-Motte (Montpellier), France, September 2002.
  394. R. Chen, M. Sgroi, G. Martin, L. Lavagno, A. Sangiovanni-Vincentelli, J. Rabaey, Embedded System Design Using UML and Platforms , Proceedings of Forum on Specification & Design Languages 2002 (FDL'02), Marseille, France, September 24-27, 2002.
  395. F. Koushanfar, S. Slijepcevic, M. Potkonjak, A. Sangiovanni-Vincentelli, Error-Tolerant Multimodal Sensor Fusion, Proceedings of IEEE CAS Workshop on Wireless Communications and Networking, September, 2002.
  396. Gregor Goessler, Alberto Sangiovanni-Vincentelli, Compositional Modeling in Metropolis , Proceedings of EMSOFT'02. Grenoble, France, October 7-9, 2002.
  397. L. Daniel, A. Sangiovanni-Vincentelli, J. White, Proximity Templates for Modeling of Skin and Proximity Effects on Packages and High Frequency Interconnect , Proceedings of International Conference on Computer Aided Design, San Jose, CA. Nov 10-14, 2002.
  398. Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto Sangiovanni-Vincentelli, Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin , Proceedings of International Conference on Computer Aided Design, San Jose, CA. Nov 10-14, 2002.
  399. Luigi Palopoli, Antonio Bicchi, Alberto Sangiovanni-Vincentelli, Numerically Efficient Control of Systems with Communication Constraints , Proceedings of the 41st IEEE Conference on Decision and Control (CDC02), Las Vegas, USA, December 2002.
  400. A. Balluchi, L. Berardi, M. D. Di Benedetto, A. Ferrari, G. Girasole and Alberto Sangiovanni-Vincentelli, Integrated control-implementation design , in Proc. 41st IEEE Conference on Decision and Control vol.2, Las Vegas, NV, USA, pp.1337-1342,December 2002.
  401. A. Balluchi, A. Ferrari, Alberto Sangiovanni-Vincentelli, R. Flora, G. Gaviani, W. Nesci, G. Serra, Functional and Architectural Specification for Power-train Control System Design, Proceedings of the 2nd IFAC Conference on Mechatronic Systems, Berkeley, CA, USA, December 2002.
  402. L. Mangeruca, A. Ferrari, Alberto Sangiovanni-Vincentelli, A. Pierantoni, M. Pennese, System Level Design of Embedded Controllers: Knock Detection, a Case Study in the Automotive Domain, Proceedings of Design, Automation and Test in Europe 2003 (DATE'03), Messe Munich, Germany, March 2003.
  403. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, A. L. Sangiovanni-Vincentelli, Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations, Proceedings of Design, Automation and Test in Europe 2003 (DATE'03), Messe Munich, Germany, March 2003.
  404. P. Giusto, A. Ferrari, L. Luciano, A. L. Sangiovanni-Vincentelli, J. Y. Brunel, and E. Fourgeau, Virtual Integration Platforms for Automotive Safety Critical Distributed Applications, RTS Embedded Systems, April 2003.
  405. L. Albertoni, A. Balluchi, A. Casavola, C. Gambelli, E. Mosca, A. L. Sangiovanni-Vincentelli, Idle Speed Control for GDI Engines using Robust Multirate Hybrid Command Governors, in Proc. CCA2003, 2003 IEEE Conference on Control Applications, vol. 1, Istanbul, Turkey, pp. 140-145, June 2003.
  406. L. Albertoni, A. Balluchi, A. Casavola, C. Gambelli, E. Mosca, A. L. Sangiovanni-Vincentelli, Hybrid Command Governors for Idle Speed Control in Gasoline Direct Injection Engines, in Proc. 2003 IEEE American Control Conference, vol. 1, Denver, Colorado, USA, pp. 773-778, June 2003.
  407. G. Wang, A. Kuehlmann, A. L. Sangiovanni-Vincentelli, Structural Detection of Symmetries in Boolean Functions, Proceedings of 12th International Workshop on Logic and Synthesis (IWLS'03), Laguna Beach, California, USA, May 2003.
  408. F. De Bernardinis, M.I. Jordan, A. L. Sangiovanni-Vincentelli, Support Vector Machines for Analog Circuit Performance Representation, Proceedings of the Design Automation Conference (DAC'03), Anaheim, California, USA, June 2003.
  409. T. Meyerowitz, C. Pinello, A. L. Sangiovanni-Vincentelli, A Tool for Describing and Evaluating Hierarchical RealTime Bus Scheduling Policies, Proceedings of the Design Automation Conference (DAC'03), Anaheim, California, USA, June 2003.
  410. F. Koushanfar, A. Davare, D. Nguyen, M. PotKonjak, A. L. Sangiovanni-Vincentelli, Low Power Coordination in Wireless Ad-hoc Networks, Proceedings of International Symposium on Low Power Electronics and Design (ISLPED03), August 2003.
  411. L. P. Carloni, A. L. Sangiovanni-Vincentelli, Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits, Proceedings of the 16th Symposium on Integrated Circuits and System Design (SBCCI03), San Paulo, Brazil, September 2003.
  412. L. P. Carloni, A. L. Sangiovanni-Vincentelli, A Formal Modeling Framework for Deploying Synchronous Designs on Distributed Architectures, Proceedings of the 1st International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Architectures (FMGALS03), Pisa, Italy, September 2003.
  413. L. P. Carloni, A. L. Sangiovanni-Vincentelli, On-Chip Communication Design: Roadblocks and Avenues, (Invited Talk - Extended Abstract), Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES-ISSS03), Newport Beach, CA, USA, October 2003.
  414. A. Benveniste, L. P. Carloni, P. Caspi, A. L. Sangiovanni-Vincentelli, Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment, Proceedings of the 3rd International Conference on Embedded Software (EMSOFT03), Philadelphia, PA, USA, October 2003.
  415. M. Baleani, F. Ferrari, L. Mangeruca, A. L. Sangiovanni-Vincentelli, M. Peri, S. Pezzini, Fault-tolerant Platforms for Automotive Safety-critical Applications, Proceedings of International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES'03), San Jose, California, USA, October 2003.
  416. J. R. Burch, R. Passerone, A. L. Sangiovanni-Vincentelli, Notes on Agent Algebras, ERL Technical Report, Memorandum No. UCB/ERL M03/38, Berkeley, CA, USA, November 2003.
  417. M. Sgroi, A. Wolisz, A. L. Sangiovanni-Vincentelli, J. Rabaey, A Service-Based Universal Application Interface for Ad-hoc Wireless Sensor Networks, White Paper, Berkeley Wireless Research Center, Berkeley, California, USA, November 2003.
  418. A. Balluchi, L. Benvenuti, M. D. Di Benedetto and Alberto Sangiovanni-Vincentelli, Observability for Hybrid Systems, in Proc. 42nd IEEE Conference on Decision and Control, Maui, Hawaii, USA, pp. 1159-1164, December 2003.
  419. M. Zoncu, A. Balluchi, Alberto Sangiovanni-Vincentelli, A. Bicchi, On the Stabilization of Linear Discrete-time Hybrid Automata, in Proc. 42nd IEEE Conference on Decision and Control, Maui, Hawaii, USA, pp. 1147-1152, December 2003.
  420. Alessandra Nardi, Haibo Zeng, Joshua L. Garrett, Luca Daniel and Alberto L. Sangiovanni-Vincentelli, A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity, Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design (ICCAD'03), November, 2003.
  421. A. Nardi, A. L. Sangiovanni-Vincentelli, Synthesis for Manufacturability: A Sanity Check, Proceedings of Design, Automation and Test in Europe 2004 (DATE'04), Paris, France, February 2004.
  422. C. Pinello, L. Carloni, A. L. Sangiovanni-Vincentelli, Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications, Proceedings of Design, Automation and Test in Europe 2004 (DATE'04), Paris, France, February 2004.
  423. D. Densmore, S. Rekhi, A. L. Sangiovanni-Vincentelli, Microarchitecture Development via Metropolis Successive Platform Refinement, Proceedings of Design, Automation and Test in Europe 2004 (DATE'04), Paris, France, February 2004.
  424. F. De Bernardinis and A. L. Sangiovanni-Vincentelli, A Methodology for System Level Analog Design Space Exploration, Proceedings of Design, Automation and Test in Europe 2004 (DATE'04), Paris, France, February 2004.
  425. A. Balluchi, M. D. Di Benedetto, A. Ferrari, G. Gaviani, G. Sirasole, C. Grossi, W. Nesci, M. Pennese, and A. L. Sangiovanni-Vincentelli, Design of a Motorcycle Engine Control Unit Using an Integrated Control-Implementation Approach, in Proc. 1st IFAC Workshop on "Advances in Automatic Control", Salerno, Italy, pp. 218-225, April 2004.
  426. J. Y. Brunel, W. Damm, A. Ferrari, U. Freund, B. Josko, S. Kowalewski, A. L. Sangiovanni-Vincentelli, T. Thurner, M. Torngren, and H. von Hasseln, The Future Design Scenario and The SEA Initiative, Proceedings of the 1st IFAC Symposium on Advances in Automotive Control (IFAC-AAC'04), Salerno, Italy, April 2004.
  427. A. L. Sangiovanni-Vincentelli, L. Carloni, F. De Bernardinis and M. Sgroi, Benefits and Challenges for Platform-Based Design, Proceedings of the Design Automation Conference (DAC'04), San Diego, CA, USA, June 2004.
  428. A. Davare, K. Lwin, A. Kondratyev, A. L. Sangiovanni-Vincentelli, The Best of Both Worlds: The Efficient Asynchronous Implementation of Synchronous Specifications, Proceedings of the Design Automation Conference (DAC'04), San Diego, CA, USA, June 2004.
  429. A. Balluchi, L. Benvenuti, and A. L. Sangiovanni-Vincentelli, Discrete and Continuous Structural Properties for Observability, in Proc. 16th International Symposium on Mathematical Theory of Networks and Systems (MTNS2004), Leuven, Belgium, July 2004. (invited section).
  430. A. L. Sangiovanni-Vincentelli, Integrated Electronics in the Car and the Design Chain: Revolution or Evolution, (Key Note Address) Proceedings of Electronics Systems for Vehicles, Baden, Germany, September 2004.
  431. Guang Yang, Yosinori Watanabe, Felice Balarin, Alberto Sangiovanni-Vincentelli, Separation of Concerns: Overhead in Modeling and Efficient Simulation Techniques, Fourth ACM International Conference on Embedded Software (EMSOFT'04), September 27-29, 2004, Pisa, Italy.
  432. Alberto Casagrande, Andrea Balluchi, Luca Benvenuti, Alberto Policriti, Tiziano Villa and Alberto Sangiovanni-Vincentelli, Improving Reachability Analysis of Hybrid Automata for Engine Control, in Proc. 43rd IEEE Conference on Decision and Control, vol. 3, Atlantis, Paradise Island, Bahamas, pp. 2322-2327, December 2004.
  433. A. Benveniste, B. Caillaud, L.P. Carloni, P. Caspi, and A.L. Sangiovanni-Vincentelli
    Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA)     Proceedings of the Fourth International Conference on Embedded Software (EMSOFT), 2004
  434. F. De Bernardinis, S. Gambini, F. Vincis, F. Svelto, R. Castello, A. Sangiovanni Vincentelli, Design Space Exploration for a UMTS frontend exploiting Analog Platforms, in Proc. of ICCAD 2004, pp. 923-930.
  435. Lin Yuan, Gang Qu, Tiziano Villa, and Alberto Sangiovanni-Vincentelli, FSM Re-Engineering and Its Application in Low Power State Encoding, Proceedings of ASP-DAC 2005, January 2005, Shanghai, China.
  436. M. Baleani, A. Ferrari, L. Mangeruca, A.L. Sangiovanni-Vincentelli, U. Freund, E. Schlenker, H.-J. Wolff, Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development, Proceedings of Design, Automation and Test in Europe 2005 (DATE'05), Munich, Germany, March 2005.
  437. W. Zheng, J. Chong, C. Pinello, S. Kanajan, A. Sangiovanni-Vincentelli, Extensible and Scalable Time Triggered Scheduling, In proceedings of International Conference on Application of Concurrency to System Design (ACSD05)
  438. M. McKelvin, J. Sprinkle, C. Pinello, and A. Sangiovanni-Vincentelli, Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment, 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), April 2005, Greenbelt, Maryland, USA.
  439. A. Pinto, A. Sangiovanni-Vincentelli, L. P. Carloni, and R. Passerone, Interchange Formats for Hybrid Systems: Review and Proposal, Proceedings of the Eighth International Workshop on Hybrid Systems : Computation and Control (HSCC05), 2005.
  440. C. Umans, T. Villa, and A. Sangiovanni-Vicentelli, How Hard is Two-Level Logic Minimization: an Addendum to Garey & Johnson, Proceedings of International Workshop on Logic and Synthesis, Lake Arrowhead, California, June 2005.
  441. Xi Chen, Abhijit Davare, Harry Hsieh, Alberto Sangiovanni-Vincentelli and Yosinori Watanabe, Simulation based deadlock analysis for system level designs, in Proceedings of Design Automation Conference (DAC'05), June, 2005.
  442. F. De Bernardinis, P. Nuzzo and A. Sangiovanni Vincentelli, Mixed Signal Design Space Exploration through Analog Platforms, in Proceedings of Design Automation Conference (DAC'05), pp. 875-880, June, 2005.
  443. A. Balluchi, L. Benvenuti, C. Lemma, A. Sangiovanni-Vincentelli, and G. Serra, Actual engaged gear identification: a hybrid observer approach , in Proc. of the 16th IFAC World Congress, Prague, CZ, July 2005. Best Applications Paper Prize.
  444. L. Albertoni, A. Balluchi, A. Casavola, C. Gambelli, E. Mosca, and A. Sangiovanni-Vincentelli, Idle speed control of port-injection engines via the polynomial equation approach , in Proc. of the 16th IFAC World Congress, Prague, CZ, July 2005.
  445. C. Liu, A. Kondratyev, Y. Watanabe, and A. Sangiovanni-Vicentelli, A Structural Approach to Quasi-Static Schedulability Analysis of Communicating Concurrent Programs, Proceedings of the ACM International Conference on Embedded Software (EMSOFT'05), Jersey City, NJ, USA, September 2005.
  446. A. Benveniste, B. Caillaud, L.P. Carloni, and A. L. Sangiovanni-Vincentelli, Tag Machines, Proceedings of the ACM International Conference on Embedded Software (EMSOFT'05), Jersey City, NJ, USA, September 2005.
  447. A. Bonivento, L.P. Carloni, and A.L. Sangiovanni-Vincentelli, Rialto: a Bridge between Description and Implementation of Control Algorithms for Wireless Sensor Networks, Proceedings of the ACM International Conference on Embedded Software (EMSOFT'05), Jersey City, NJ, USA, September 2005.
  448. Mark L. McKelvin, Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, and Alberto Sangiovanni-Vincentelli, A Formal Approach to Fault Tree Synthesis for the Analysis of Distributed Fault Tolerant Systems, Proceedings of the ACM International Conference on Embedded Software (EMSOFT'05), Jersey City, NJ, USA, September 2005.
  449. Abhijit Davare, Qi Zhu, John Moondanos and Alberto Sangiovanni-Vincentelli, JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study, IEEE 2005 3rd Workshop on Embedded Systems for Real-time Multimedia, September, 2005.
  450. P. Nuzzo, F. De Bernardinis, P. Terreni, and A. Sangiovanni Vincentelli, Enriching an Analog Platform for Analog-to-Digital Converter Design, in Proceedings of ISCAS 2005, pp. 1286-1289.
  451. A. Balluchi, A. Casagrande, P. Collins, P. Murrieri, T. Villa, and A. Sangiovanni-Vincentelli, Ariadne: a library for computing with hybrid automata , in Atti del XLIII Congresso Annuale AICA, vol. 1, Udine, Italy, pp. 475-484, October 2005.
  452. A. Bonivento, C. Fischione, A.L. Sangiovanni-VIncentelli, F. Graziosi and F. Santucci, SERAN: A Semi Random Protocol Solution for Clustered Wireless Sensor Networks, in Proceedings of MASS, Washington D.C., November, 2005.
  453. A. Agostini, A. Balluchi, A. Bicchi, B. Piccoli, A. Sangiovanni-Vincentelli, and K. Zadarnowska, Randomized algorithms for platform-based design , in Proc. of the 44th IEEE Conference on Decision and Control, and the 2005 European Control Conference, Seville, Spain, pp. 6638-6643, December 2005.
  454. A. Balluchi, L. Benvenuti, and A. Sangiovanni-Vincentelli, Hybrid systems in automotive electronics design , in Proc. of the 44th IEEE Conference on Decision and Control, and the 2005 European Control Conference, Seville, Spain, pp. 5618-5623, December 2005.
  455. Y. Li, F. De Bernardinis, B. Otis, J. M. Rabaey, and A. Sangiovanni-Vincentelli, A Low-Power Mixed-Signal Baseband System Design for Wireless Sensor Networks, in Proceedings of CICC 2005.
  456. A. Bonivento, C. Fischione and A.L. Sangiovanni-Vincentelli, Randomized Protocol Stack for Ubiquitous Networks in Indoor Environment, in Proceedings of Consumer Communication and Network Conference (CCNC), Las Vegas., January, 2006.
  457. 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 Proceedings of Consumer Communication and Network Conference (CCNC), Las Vegas., January, 2006.
  458. Guang Yang, Xi Chen, Felice Balarin, Harry Hsieh and Alberto Sangiovanni-Vincentelli, Communication and Co-Simulation Infrastructure for Heterogeneous System Integration, in Proceedings of Design Automation and Test in Europe (DATE'06), March, 2006.
  459. Douglas Densmore, Adam Donlin and Alberto Sangiovanni-Vincentelli, FPGA Architecture Characterization for System Level Performance Analysis, in Proceedings of Design Automation and Test in Europe (DATE'06), March, 2006.
  460. Sri Kanajan, Haibo Zeng, Claudio Pinello and Alberto Sangiovanni-Vincentelli, Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment, in Proceedings of Design Automation and Test in Europe (DATE'06), March, 2006.
  461. A. Bonivento, L.P. Carloni and A.L. Sangiovanni-VIncentelli, Platform Based Design of Wireless Sensor Networks for Industrial Applications, in Proceedings of Design Automation and Test in Europe (DATE'06), March, 2006.
  462. Haibo Zeng, Abhijit Davare, Alberto Sangiovanni-Vincentelli, Sampada Sonalkar, Sri Kanajan and Claudio Pinello, Design Space Exploration of Automotive Platforms in Metropolis, Society of Automotive Engineers Congress, April, 2006.
  463. 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 Proceedings of Vehicular Technology Conference, April, 2006.
  464. A. Balluchi, L. Benvenuti, M. D. Benedetto, T. Villa, and A. Sangiovanni-Vincentelli, Idle speed control - a benchmark for hybrid system research , in Proc. 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS06), Alghero, Italy, June, 2006.
  465. A. Balluchi, A. Casagrande, P. Collins, A. Ferrari, T. Villa, and A. Sangiovanni-Vincentelli, Ariadne: a framework for reachability analysis of hybrid automata , in Proc. 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS2006), Kyoto, Japan, July, 2006.
  466. Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare and Alberto Sangiovanni-Vincentelli, Functional Model Exploration for Multimedia Applications via Algebraic Operators , in Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD06), Turku, Finland, June, 2006.
  467. Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jorg Desel and Alberto Sangiovanni-Vincentelli, Schedulability Analysis of Petri Nets Based on Structural Properties , in Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD06), Turku, Finland, June, 2006.
  468. Qi Zhu, Nathan Kitchen, Andreas Kuehlmann and Alberto Sangiovanni-Vincentelli, SAT Sweeping with Local Observability Don't Cares , in Proceedings of the 43rd Design Automation Conference (DAC-06), San Francisco, California, July, 2006.
  469. Mark L. McKelvin, Jr., Claudio Pinello, Sri Kanajan, Joseph Wysocki, and Alberto Sangiovanni-Vincentelli, Model-Based Design of Heterogeneous Systems for Fault Tree Analysis , in Proceedings of the 24th International System Safety Conference, Rodney J. Simmons, Ph. D., CSP and Norman J. Gauthier, System Safety Society, 400-409, August, 2006.
  470. 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 Proceedings of the Sixth International Conference on Embedded Software (EMSOFT), Seoul, Korea, October, 2006.
  471. Arkadeb Ghosal, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch and Alberto Sangiovanni-Vincentelli, A Hierarchical Coordination Language for Interacting Real-Time Tasks , in Proceedings of the Sixth International Conference on Embedded Software (EMSOFT), Seoul, Korea, October, 2006.
  472. L. Mangeruca, M. Baleani, A. Ferrari and A. L. Sangiovanni-Vincentelli, Uniprocessor Scheduling Under Precedence Constraints , in Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), Washington, DC, 2006.
  473. G. Yang, H. Hsieh, X. Chen, F. Balarin and A. L. Sangiovanni-Vincentelli, Constraints Assisted Modeling and Validation in Metropolis Framework, in Proceedings of The 40th Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, California, November, 2006.
  474. Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng and Qi Zhu, A Next-Generation Framework for Platform-Based Design, in Proceedings of Design and Verification Conference (DVCon'07), San Jose, CA, February, 2007.
  475. T. Villa, S. Zharikova, N. Yevtushenko, R. Brayton and A. Sangiovanni-Vincentelli, A New Algorithm for the Largest Compositionally Progressive Solution of Synchronous Language Equations, in Proceedings of the 17th Great Lakes Symposium on VLSI, Stresa (Italy), March, 2007.
  476. Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto and Alberto Sangiovanni-Vincentelli, Optimizing End-to-end Latencies by Adaptation of the Activation Events in Distributed Automotive Systems, best paper at the 13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'07), Bellevue, WA, April, 2007.
  477. Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto and Alberto Sangiovanni-Vincentelli, Synthesis of Task and Message Activation Models in Real-time Distributed Automotive Systems, in Proceedings of Design Automation and Test in Europe (DATE'07), Nice, France, April, 2007.
  478. Arkadeb Ghosal, Sri Kanajan, Randall Urbance and Alberto Sangiovanni-Vincentelli, An Initial Study on Monetary Cost Evaluation for the Design of Automotive Electronic Architectures, Society of Automotive Engineers Congress, April, 2007. Also in SAE 2007 Transactions Journal of Passenger Cars: Electronic and Electrical Systems.
  479. Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan and Alberto Sangiovanni-Vincentelli, Period Optimization for Hard Real-time Distributed Automotive Systems, best paper at the 44th Design Automation Conference (DAC'07), San Diego, California, June, 2007.
  480. A. Balluchi, A. Bicchi, E. Mazzi, A. Sangiovanni-Vincentelli and G. Serra, Hybrid Multi-rate Control of the Common-Rail, in Proceedings of the European Control Conference, pages 54-61, July, 2007.
  481. A. Balluchi, C. D'Apice, M. Gaeta, B. Piccoli and A. Sangiovanni-Vincentelli, Equilibria and Feedback for a Hybrid Model of Idle Speed Control, in Proceedings of the IEEE Africon 2007, Windhoek, Namibia, September, 2007.
  482. Alessandro Pinto, Luca P. Carloni and Alberto L. Sangiovanni-Vincentelli, A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and Its Application to Building Automation and Control, in Proceedings of the Embedded Systems Software Conference (EMSOFT'07), Salzburg, Austria, October, 2007.
  483. Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli and Stavros Tripakis, Loosely Time-Triggered Architectures based on Communication-by-Sampling: MoCC and Properties, in Proceedings of the Embedded Systems Software Conference (EMSOFT'07), Salzburg, Austria, October, 2007.
  484. Arkadeb Ghosal, Thomas A. Henzinger, Daniel Iercan, Christoph Kirsch and Alberto Sangiovanni-Vincentelli, Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code, in Proceedings of Automatic Program Generation for Embedded Systems (APGES), Salzburg, Austria, October, 2007.
  485. Yanmei Li, Jan Rabaey and Alberto Sangiovanni-Vincentelli, Analysis of Interference Effects in MB-OFDM UWB Systems, in Proceedings of the IEEE Wireless Communications & Networking Conference (WCNC), Las Vegas, March, 2008.
  486. Krishnendu Chatterjee, Arkadeb Ghosal, Daniel Iercan, Christoph Kirsch, Thomas A. Henzinger, Claudio Pinello and Alberto Sangiovanni-Vincentelli, Logical Reliability of Interacting Real-time Tasks, in Proceedings of Design, Automation and Test in Europe (DATE'08), Munich, Germany, March, 2008.
  487. Arkadeb Ghosal, Sri Kanajan, Randall Urbance and Alberto Sangiovanni-Vincentelli, A Study on Monetary Cost Evaluation for the Design of Electrical Architectures for Automotive Product Lines, Society of Automotive Engineers Congress, April, 2008. Also in SAE 2008 Transactions Journal of Passenger Cars: Electronic and Electrical Systems.
  488. L. Benvenuti, A. Ferrari, E. Mazzi and A. Sangiovanni-Vincentelli, Contract Based Design for Computation and Verification of a Closed-loop Hybrid System, in Proceedings of Hybrid Systems: Computation and Control (HSCC'08), April, 2008.
  489. Yanmei Li, Chang-Ching Wu, Alberto Sangiovanni-Vincentelli and Jan M. Rabaey, Design and Optimization of an MB-OFDM Ultra-Wideband Receiver Front-End, in Proceedings of the IEEE International Conference on Circuits & Systems for Communications, Shanghai, China, May, 2008.

490.                          P. G. Park, C. Fischione, A. Bonivento, K. H. Johansson, A. Sangiovanni-Vincentelli, Breath: a Self-Adapting Protocol for Wireless Sensor Networks in Control and Automation, to Appear in Proc. of Fifth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks  (SECON 08), San Francisco, CA, USA, June 2008.

491.                       A. Pinto, M. D'Angelo, C. Fischione, E. Scholte, A. Sangiovanni-Vincentelli, Synthesis of Embedded Networks for Building Automation and Control, Proc. of American Control Conference (ACC 08), Seattle, Washington, June 2008.

  1. L. Benvenuti, D. Bresolin, A. Casagrande, P. Collins, A. Ferrari, E. Mazzi, A. Sangiovanni-Vincentelli and T. Villa, Reachability Computation for Hybrid Systems with Ariadne, in Proceedings of the 17th IFAC World Congress (IFAC 2008), Seoul, South Korea, July, 2008.
  2. E. Mazzi, A. Sangiovanni-Vincentelli, A. Balluchi and A. Bicchi, Hybrid System Model Reduction, the 47th IEEE Conference on Decision and Control, Dec. 2008.
  3. L. Benvenuti, A. Ferrari, E.Mazzi and A. Sangiovanni-Vincentelli, Composing Hybrid Systems, the 47th IEEE Conference on Decision and Control, Dec. 2008.

  

ARTICLES IN TRADE MAGAZINES: REFEREED

  1. Massimiliano Chiodo, Antonino Damiano, Luciano Lavagno, and Alberto Sangiovanni-Vincentelli, Design Automation for Reactive Embedded Controller Co-Design, EE Times, 1996.
  2. J. Rowson and A. Sangiovanni-Vincentelli, What you need to know about hardware/software co-design, Computer Design, August 1998, pp. 63-69.
  3. J. Rowson and A. Sangiovanni-Vincentelli, Felix initiative pursues new co-design methodology, Electronic Engineering Times, June 15, 1998, p. 50,51,74. 
  4. A. Sangiovanni-Vincentelli, Defining Platform-based Design, EE Design, March 5, 2002.
  5. Douglas Densmore, Alberto Sangiovanni-Vincentelli and Adam Donlin, Leveraging Programmability in Electronic System-Level Designs, Xcell Journal, pp. 29-31, January 2006.

 

PATENTS

  1. Patrick C. McGeer, Alexander Saldanha and Alberto Sangiovanni-Vincentelli, System and Method for Simulating Discrete Functions Using Ordered Decision Arrays, United States Patent.
  2. R. Passerone, J. Rowson and Alberto Sangiovanni-Vincentelli, System and method for automatically synthesizing interfaces between incompatible protocols, United States Patent, n. 7,136,947, November 2006.

Copyright
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.