Description: Description: Description: C:\Users\Vincentelli\Alberto\Personal\biographies\indexnew\images\campanile.jpg
Home
Biography[CV]
Publications[DBLP]
Teaching [EECS149]
Research
Students, Postdocs, and Associate Researchers
Campus Directions
Campus Map
Directions to Cory and Soda Halls
Schedule of Classes

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, Oct. 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, and Alberto Sangiovanni-Vincentelli, Function/Architecture Optimization and Co-Design of Embedded Systems, Kluwer Academic Publishers, MA, USA, Hardbound, ISBN0-7923-7985-3, Sep. 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, Jan. 2001.
  13. E. Charbon, R. Gharpurey, P. Miliozzi, R. G. Meyer, and A. Sangiovanni-Vincentelli, Substrate Noise Analysis and Optimization for IC Design, Kluwer Academic Publishers, MA, USA, Hardbound, Mar. 2001.
  14. M. D. DiBenedetto and A. Sangiovanni-Vincentelli, Hybrid Systems: Computation and Control, Vol. 2034 of Lecture Notes in Computer Science, Heidelberg, Germany, Springer-Verlag, Mar. 2001
  15. S. Khatri, R. K. Brayton, and A. Sangiovanni-Vincentelli, Cross-talk Immune VLSI Design using Regular Layout Fabrics, Kluwer Academic Publishers, MA, USA, Hardbound, Jun. 2001.
  16. A. Mehrotra and A. Sangiovanni-Vincentelli, Noise Analysis of Radio Frequency Circuits, Kluwer Academic Publishers, MA, USA, Hardbound, Nov. 2003.
  17. T. Villa, N. Yevtushenko, R. Brayton, A. Mishchenko, A. Petrenko, A. Sangiovanni-Vincentelli, The Unknown Component Problem: Theory and Applications, Springer, 2012.
  18. A. Sangiovanni-Vincentelli, H. Zeng, M. Di Natale, and P. Marwedel (eds.), Embedded Systems Development - From Functional Models to Implementations, Springer, Jul. 2013.
  19. Lin, Chung-Wei, and Alberto Sangiovanni-Vincentelli. Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach. Springer, 2017.

Book Chapters

  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, Jul. 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, Aug. 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, Aug. 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, Sep. 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, Sep. 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, Sep. 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, Apr. 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, Jun. 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, Jan. 2000, pp. 243-296.
  24. A. Balluchi, M. D. Di Benedetto, C. Pinello, and A. 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. 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. 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, Mar. 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, Mar. 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, Mar. 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, Mar. 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, Mar. 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. 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. 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. 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. 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. 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. 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. Sangiovanni-Vincentelli Causality and Scheduling Constraints in Heterogeneous Reactive Systems ModelingProceedings of the Second International Symposium (FMCO'03), LNCS 3188, © Springer-Verlag, 2004
  40. L. Carloni, F. De Bernardinis, A. 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. 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. 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, Mar. 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, Mar. 2006.
  45. D. Densmore, A. Donlin, A. Sangiovanni-Vincentelli, Programmable Platform Characterization for System Level Performance Analysis, Platform Based Design at the Electronic System Level: Industry Perspectives and Experiences; Mark Burton, Adam Morawiec (Eds.), Springer Books, ISBN 1402051379, pg. 13-30, 2006.
  46. R. Passerone and A. Sangiovanni-Vincentelli, Approximating Behaviors in Embedded System Design, in Concurrency, Graphs and Models, Pierpaolo Degano, Rocco De Nicola and Jose' Meseguer (editors), Lecture Notes in Computer Sciences, Vol. 5065, pp. 721--742, Springer-Verlag, Berlin, Heidelberg, 2008.
  47. R. Passerone and A. Sangiovanni-Vincentelli, "Approximating behaviors in embedded system design," Concurrency Graphs and Models. Essays Dedicated to Ugo Montanari on the Occasion of his 65th Birthday, Section: Software Verification, pp. 721-742, 2008.
  48. F. Balarin, M. D'Angelo, A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovanni-Vincentelli, A. Simalatsar, Y. Watanabe, G. Yang, Q. Zhu, "Platform-Based Design and Framework: Metropolis and Metro II," Model-Based Design of Heterogeneous Embedded Systems (Editors: G. Nicolescu, P. Mosterman), CRC Press, 2009.
  49. L. Benvenuti, A. Balluchi, A. Bemporad, S. Di Cairano, B. Johansson, R. Johansson, A. Sangiovanni-Vincentelli, and P. Tunestal, Automotive Control, in J. Lunze and F. Lamnabhi-Lagarrigue, editors, Handbook of Hybrid Systems Control: Theory, Tools, Applications, Cambridge University Press, pp. 439-470, 2009.
  50. T. Villa, R. K. Brayton, and A. Sangiovanni-Vincentelli, "Synthesis of multi-level Boolean networks In Boolean Models and Methods in Mathematics," Computer Science and Engineering, Peter L. Hammer and Yves Crama eds., Cambridge University Press, pp. 675-722, 2010.
  51. M. Maasoumy, P. Nuzzo, A. Sangiovanni-Vincentelli, "Smart buildings in the smart grid: contract-based design of an integrated energy management system," in Cyber Physical Systems Approach to Smart Electric Power Grid, Power Systems 2015, Springer Berlin Heidelberg, 2015.
  52. D. De Venuto and A. Sangiovanni-Vincentelli, "Linking the cyber and the biological world: the ensemble is the function," Handbook on Bioelectronics, Sandro Carrara and Krzysztof Iniewski eds., Cambridge University Press, 2015.
  53. De Venuto D, M. de Tommaso, E. Vecchio, Annese V, Sangiovanni Vincentelli A., "Combining EEG and EMG signals in a wireless system for preventing fall in neurodegenerative diseases" in Bruno Ando, Pietro Siciliano, Vincenzo Marletta, Andrea Monteriu; Ambient Assisted Living: Italian Forum 2014, p.317-328, Springer, 2015.
  54. M. Torngren, F. Asplund, S. Bensalem , J. McDermid, R. Passerone, H. Pfeifer, A. Sangiovanni-Vincentelli, B. Schatz, "Characterization, Analysis, and Recommendations For Exploiting the Opportunities of Cyber-physical Systems 1", in Cyber-Physical Systems Foundations, Principles and Applications, Edited by Houbing Song, Danda B. Rawat, Sabina Jeschke, Christian Brecher, Academic Press, Elsevier, August 2016.
  55. Iannopollo A., Tripakis S., Sangiovanni-Vincentelli A. (2017) Constrained Synthesis from Component Libraries. In: Kouchnarenko O., Khosravi R. (eds) Formal Aspects of Component Software. FACS 2016. Lecture Notes in Computer Science, vol 10231. Springer, Cham.
  56. P. Nuzzo, A. L. Sangiovanni-Vincentelli, "System Design in the Cyber-Physical Era," in Nanoelectronics: Materials, Devices, Applications, John Wiley & Sons, chap. 15, pp. 363-396, Mar. 2017.
  57. P. Nuzzo, A. L. Sangiovanni-Vincentelli, "Hierarchical System Design with Vertical Contracts", in Principles of Modeling, Lecture Notes in Computer Science, vol. 10760, Springer, pp. 360-382, Jul. 2018.

Journals

1973-1980, 1981-1990, 1991-2000, 2001-2010, 2011-Present

  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, Jan. 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, Mar. 1975.
  6. Alberto Sangiovanni-Vincentelli, An Optimal Bordered Triangular Form of a Sparse Matrix, [In English] Alta Frequenza, pp. 696-706, Nov. 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, Dec. 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, Dec. 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, Apr. 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, Dec. 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, Mar. 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, Jan. 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, Apr. 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, Apr. 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, Sep. 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, Sep. 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, Oct. 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, Dec. 1980.
  20. Alberto Sangiovanni-Vincentelli, Editorial, IEEE Transactions of Circuits and Systems, Jul. 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, Jul. 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, Oct. 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, Oct. 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, Nov. 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, Nov. 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, Mar. 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, Apr. 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, Jul. 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, Oct. 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, Jul. 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, Jul. 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, Jul. 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, Sep. 1983, and SIAM Journal on Scientific and Statistical Computing, Vol. 4, No. 3, Sep. 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, Jul. 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, Apr. 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, Jul. 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, Jul. 1985.
  39. Richard Newton and Alberto Sangiovanni-Vincentelli, Computer-Aided Design of VLSI Circuits, IEEE Computer, Vol. 19, No.4 pp. 38-64, Apr. 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, Oct. 1986.
  41. Alberto Sangiovanni-Vincentelli, Foreword, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-5, No. 4, pp. 449, Oct. 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, Oct. 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, Dec. 1986.
  44. Marcello DeCecco and Alberto Sangiovanni-Vincentelli, Guerre Stellari, Affare Relativo [In Italian], Il Sole- 24 Ore, Mar. 3, 1987.
  45. Marcello DeCecco and Alberto Sangiovanni-Vincentelli, L'appeal dello Scudo [In Italian], Il Sole- 24 Ore, Apr. 8, 1987.
  46. Richard Newton and Alberto Sangiovanni-Vincentelli, CAD Tools for ASIC Design [Invited paper], Proceedings of the IEEE, pp. 765-777, Jun. 1987.
  47. Alberto Sangiovanni-Vincentelli, Editorial, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-6, No. 5, pp. 693, Sep. 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, Sep. 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, Sep. 1987.
  50. Alberto Sangiovanni-Vincentelli, Editorial, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-6, No. 6, pp. 913, Nov. 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, Nov. 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, Nov. 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, Feb. 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, Apr. 1988.
  55. 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, Apr. 1988.
  56. 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, Apr. 1988.
  57. 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, Jun. 1988.
  58. 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, Jun. 1988.
  59. 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, Sep. 1988.
  60. 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, Oct. 1988.
  61. 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), Oct. 1998.
  62. 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, Nov. 1988.
  63. 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, Feb. 1989.
  64. 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, Apr. 1989.
  65. 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, Apr. 1989
  66. 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, Oct. 1989.
  67. 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, Jan. 1990 and Proceedings of the 23rd Annual Hawaii International Conference on Systems, Sciences, Minitrack on Synthesis, pp. 417-426, Jan. 1990.
  68. 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, Feb. 1990.
  69. 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, Feb. 1990.
  70. 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, Sep. 1990.
  71. Gaetano Borriello and Alberto Sangiovanni-Vincentelli, Foreword, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 10, No. 1, pp. 2, Jan. 1991.
  72. 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, Jan. 1991.
  73. 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, Feb. 1991.
  74. 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, Apr. 1991.
  75. Alberto Sangiovanni-Vincentelli, Foreword Algorithmica, Algorithmica, Special Issue on Simulated Annealing, No. 6, pp. 302, 1991.
  76. Fabio Romeo and Alberto Sangiovanni-Vincentelli, A Theoretical Framework for Simulated Annealing, Algorithmica, Special Issue on Simulated Annealing, No. 6, pp. 302-345, 1991.
  77. 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, Sep. 1991.
  78. 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, Jun. 1992.
  79. 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, Jul. 1992.
  80. 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, Feb. 1993.
  81. 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, Mar. 1993.
  82. 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, Mar.-Apr. 1993.
  83. 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, Apr. 1993.
  84. Luciano Lavagno and Alberto Sangiovanni-Vincentelli, Automated Synthesis of Asynchronous Interface Circuits, Microprocessors and Microsystems, Vol. 17, No. 4, pp. 232-242, May. 1993.
  85. 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.
  86. 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, Jul. 1993.
  87. 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, Jul. 1993.
  88. Enrico Malavasi and Alberto Sangiovanni-Vincentelli, Area Routing for Analog Layout, IEEE Transactions on Computer Aided Design, Vol. 12, No. 8, Aug. 1993.
  89. 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, Aug. 1993.
  90. Luciano Lavagno and Alberto Sangiovanni-Vincentelli, Linear Programming for Hazard Elimination in Asynchronous Circuits, Journal of VLSI Signal Processing, Oct. 1993.
  91. 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, Nov. 1993.
  92. 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, Jan. 1994.
  93. Eric Tomacruz, Jagesh Sanghavi, and Alberto Sangiovanni-Vincentelli, Algorithms for Drift-Diffusion Device Simulation Using Massively Parallel Processors, IEICE Journal (Japan), Feb. 1994.
  94. 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, Dec. 1993.
  95. Alex Saldanha, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Circuit Structure Relations to Redundancy and Delay, IEEE Transactions on Computer-Aided Design, 1994.
  96. 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.
  97. 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, Jun. 1994.
  98. 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, Aug. 1994.
  99. 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, Jan. 1995.
  100. 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, Jan. 1995.
  101. 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, Jan. 1995.
  102. 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, Apr. 1995.
  103. 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, Apr. 1995.
  104. 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, Jul.-Aug. 1995.
  105. 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, Dec. 1995.
  106. 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, Jan. 1996.
  107. 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, Mar. 1996.
  108. 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.
  109. 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, Jul. 1996.
  110. Kei Suzuki and Alberto Sangiovanni-Vincentelli, Efficient Software Performance Estimation Methods for Hardware/Software Codesign, IEICE Journal (Japan), VLD96-27, pp. 9-16, Jul. 1996.
  111. 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, Aug. 1996.
  112. 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, Sep. 1996.
  113. 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, Nov. 1996.
  114. 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, Mar. 1997.
  115. 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, Jul. 1997.
  116. 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, Jul. 1997.
  117. 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, Jul. 1997.
  118. Edoardo Charbon, Enrico Malavasi, Paolo Miliozzi and Alberto L. Sangiovanni-Vincentelli, Non-Deterministic Constraint Generation for Analog and Mixed-Signal Layout, IEICE, Vol. E80, No. 10,pp. 1032-1043, Oct. 1997.
  119. 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, Oct. 1997.
  120. 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, Nov. 1997.
  121. F. Balarin, L. Lavagno, P. Murthy, and A. Sangiovanni-Vincentelli, Scheduling for Embedded Real-time Systems, IEEE Design & Test of Computers, 1998.
  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, No. 1, pp. 1-25, Jan. 1998.
  123. E. Goldberg, T. Villa, R. K. Brayton, A. Sangiovanni-Vincentelli,Theory and Algorithms for Face Hypercube Embedding,IEEE Trans. on CAD, Vol. 17, No. 6, pp. 472-88, Jun. 1998.
  124. A. Sangiovanni-Vincentelli, J. Rowson, What you need to know about hardware/software co-design, Computer Design, Vol. 37, No. 8, pp. 63-69, Aug. 1998.
  125. T. Kam, T. Villa, R. K. Brayton, A. Sangiovanni-Vincentelli, Multi-valued decision diagrams: theory and applications, International Journal on Multiple-Valued Logic, Vol. 4, Numbers 1-2 (1998), pp. 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, pp. 1282-96, Nov. 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, No. 12, pp. 1217-1229, Dec. 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, pp. 172-190, Feb. 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, pp. 301-310, Mar. 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, pp. 519-535, Mar. 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, pp. 834-849, Jun. 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 Nov. 1999, pp. 2475 - 2483.
  133. E. I. Goldberg, L. P. Carloni, T. Villa, R. K. Brayton and A. 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, Mar. 2000
  134. M. Sgroi, L. Lavagno, A. Sangiovanni-Vincentelli, Formal Models for Embedded System Design, IEEE Design & Test Magazine. Special Issue on System Design. Jun. 2000.
  135. M. D. Di Benedetto, P. Lucibello, A. Sangiovanni-Vincentelli, and K. Yamaguchi, A New Procedure for Exact Ring Closure, J. Computational Chemistry, Vol. 21, No. 10, pp. 870-881, Jul. 2000.
  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, Jul. 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, Vol. 6, No. 1, Sep. 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, Dec. 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, No. 3, pp. 341-365, Mar. 2001,
  140. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. 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, Apr. 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, pp. 1016-1033, Aug. 2001.
  142. L. P. Carloni, K. L. McMillan, and A. Sangiovanni-Vincentelli, The Theory of Latency Insensitive Design, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 20, No. 9, Sep. 2001.
  143. M. Di Benedetto, A. Sangiovanni-Vincentelli, T. Villa, Model Matching for Finite State Machines, IEEE Trans. on AC, Vol. 46, No. 11, pp. 1726-43, Nov. 2001.
  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 43, no. 6 (2005): 1923-1952.
  145. A. Sangiovanni-Vincentelli and Grant Martin, A Vision for Embedded Systems: Platform-Based Design and Software Methodology, IEEE Design and Test of Computers, Vol. 18, Number 6, Nov.-Dec. 2001, pp. 23-33.
  146. L. P. Carloni, and A. Sangiovanni-Vincentelli, Coping with Latency in SoC Design, IEEE Micro, Special Issue on Platform-Based Systems on Chip, Vol. 20, No. 5, Sep./Oct. 2002.
  147. B. Horowitz, J. Liebman, C. Ma, T. J. Koo, A. 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, Jan. 2003.
  148. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, Metropolis: an Integrated Electronic System Design Environment, IEEE Computer, Vol. 36, No. 4, Apr. 2003.
  149. A. Sangiovanni-Vincentelli, and Luciano Lavagno, Trends and Directions in Microelectronics, IEEE Micro, Vol. 21, No. 3, May./Jun. 2003.
  150. A. Sangiovanni-Vincentelli, Electronic-System Design in the Automobile Industry, IEEE Micro, Vol. 21, No. 3, May./Jun. 2003.
  151. L. Benvenuti, M. D. Di Benedetto, S. Di Gennaro, and A. Sangiovanni-Vincentelli, Individual Cylinder Characteristic Estimation for a Spark Injection Engine, Automatica, Vol. 39, No. 7, pp.1157-1169, Jul. 2003.
  152. A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, and A. 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, Aug. 2003.
  153. F. Koushanfar, M. Potkonjak, A. Sangiovanni-Vincentelli, On-line Fault Detection of Sensor Measurements, IEEE Sensors, pp.974-980, Oct. 2003.
  154. A. Sangiovanni-Vincentelli, The Tides of EDA, IEEE Design and Test, Vol. 20, No. 6, pp.59-75, Nov./Dec. 2003.
  155. A. Nardi and A. Sangiovanni-Vincentelli, Logic Synthesis for Manufacturability, IEEE Design and Test of Computers, pp.192-199, May./Jun. 2004.
  156. S. P. Khatri, S. Sinha, R. K. Brayton, and A. 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, Jul. 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, No. 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, No. 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, No. 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, No. 11, pp. 1790-1795, Nov. 2005.
  162. L. P. Carloni and A. 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, Mar. 2006.
  163. L. P. Carloni, R. Passerone, A. Pinto and A. 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, Jul. 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., No. 11, pp. 469-485, Nov. 2006.
  169. P. Nuzzo, F. De Bernardinis, and A. Sangiovanni Vincentelli, Mixed-signal platform-based design: optimizing a high performance pipelined ADC, Analog Integrated Circuits and Signal Processing, pp. 343-358, Springer, Dec. 2006.
  170. 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, No. 1, pp. 113-128, 2007.
  171. Bonivento, C. Fischione, L. Necchi, F. Pianegiani, and A. Sangiovanni-Vincentelli, System Level Design for Clustered Wireless Sensor Networks, IEEE Transactions on Industrial Informatics, Vol. 3, No. 3, pp. 202--214, Aug. 2007.
  172. A. Sangiovanni-Vincentelli, Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design, Proceedings of the IEEE, Vol. 95, No. 3, pp. 467-506, Mar. 2007.
  173. F. Koushanfar, A. Davare, D. Nguyen, M. Potkonjak, and A. Sangiovanni-Vincentelli, Techniques for Maintaining Connectivity in Wireless Ad-hoc Networks Under Energy Constraints, ACM Transactions on Embedded Systems (TECS), Vol. 6, Issue 3, Jul. 2007.
  174. A. Sangiovanni-Vincentelli, Remembering Richard, IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, Vol. 26, No. 8, pp. 1357-1366, Aug. 2007.
  175. 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, No. 8, pp. 497-509, Aug. 2007.
  176. A. Sangiovanni-Vincentelli and M. Di Natale, "Embedded system design for automotive applications (Cover Feature)," Computer, Vol. 40, No. 10, pp. 42-51, Oct. 2007.
  177. A. Balluchi, A. Bicchi, E. Mazzi, and A. Sangiovanni-Vincentelli, and G. Serra, Hybrid Modeling and Control of the Common-Rail Injection System, International Journal of Control, Vol. 80, No. 11, pp. 1780-1795, Nov. 2007.
  178. 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, No. 8, pp. 720-731, 2007.
  179. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, and A. Sangiovanni-Vincentelli, Compositionally Progressive Solutions of Synchronous FSM Equations, Discrete Event Dynamic Systems, Vol. 18, No. 1, pp. 51-89, Mar. 2008.
  180. C. Pinello, Luca P. Carloni and Alberto Sangiovanni-Vincentelli, Fault-Tolerant Distributed Deployment of Embedded Control Software, IEEE Transactions on CAD, Vol. 27, No. 5, pp. 906-919, May. 2008.
  181. 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, No. 4, pp. 609-622, May. 2008.
  182. 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, No. 4, pp. 346-358, Jul.-Aug. 2008.
  183. 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, No. 6, pp. 1159-1164, Jun. 2008.
  184. S. Tripakis, C. Pinello, A. Benveniste, Alberto Sangiovanni-Vincentelli, P. Caspi and M. Di Natale, Implementing Synchronous Models on Loosely Time Triggered Architecture , IEEE Transactions on COMPUTERS, Vol. 57, No. 10, pp. 1300-1314, Oct. 2008.
  185. A. Pinto, L. Carloni and A. Sangiovanni Vincentelli, COSI: A Framework for the Design of Interconnection Networks, IEEE Design and Test of Computers, Vol. 25, No. 5, Sept-Oct. 2008, pp. 402-415.
  186. C. Liu, A Kondratyev, Y. Watanabe, J. Desel and A. Sangiovanni-Vincentelli, Schedulability Analysis of Petri nets based on Structural Properties, Fundamenta Informaticae, Vol. 86, No. 3, 2008, pp. 325-341.
  187. A. Ghosal, S. Kanajan and A. Sangiovanni Vincentelli, "A Study on Monetary Cost Analysis for Product-line Architectures", SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 1(1):111-121, 2008.
  188. A. Sangiovanni-Vincentelli, and M. Di Natale, Challenges and Solutions in the Development of Automotive Systems , Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 28, Issue 7, pp. 937-940, Jul. 2009.
  189. A. Pinto, L. P. Carloni, and A. Sangiovanni-Vincentelli, "A Methodology for Constraint-Driven Synthesis of On-Chip Communications," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 28, No. 3, Mar. 2009.
  190. A. Sangiovanni-Vincentelli, S. Shukla, J. Sztipanovits, G. Yang, D. Mathaikutty, "Metamodeling: An Emerging Representation Paradigm for System-Level Design", Special Section on Meta-Modeling, IEEE Design & Test, Vol. 26, No. 3, pp. 54-69, May./Jun. 2009.
  191. S. C. Ergen, A. Sangiovanni-Vincentelli, X. Sun, R. Tebano, S. Alalusi, G. Audisio, and M. Sabatini, "The Tire as an Intelligent Sensor" Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Vol. 28, Issue 7, Jul. 2009 Page(s):941 955.
  192. G. Wang, M. Di Natale, A. Sangiovanni-Vincentelli, "Improving the Size of Communication Buffers in Synchronous Models With Time Constraints," IEEE Transactions on Industrial Informatics, Vol. 5, No. 3, pp. 229-240, Aug. 2009.
  193. C. Fischione, K. H. Johansson, A. Sangiovanni-Vincentelli, and B. Z. Ares, "Minimum energy coding in CDMA wireless sensor networks," IEEE Transactions on Wireless Communications, Vol. 8, No. 2, pp. 985-994, 2009.
  194. R. Passerone, S. Graf, A. Benveniste, D. Cancila, A. Cuccuru, S. Gerard, F. Terrier, W. Damm, A. Ferrari, L. Mangeruca, B. Josko, T. Peikenkamp, and A. Sangiovanni-Vincentelli, "Metamodels in Europe: languages, tools, and applications," IEEE Design and Test of computers, Vol. 26, No. 3, pp. 38-52, 2009.
  195. H. Zeng, M. Di Natale, P. Giusto, and A. Sangiovanni-Vincentelli, "Stochastic analysis of CAN-based real-time automotive systems," IEEE Transactions on Industrial Informatics, Vol. 5. No. 4, pp. 388-401, Nov. 2009.
  196. E. Cheung, X. Chen, H. Hsieh, A. Davare, A. Sangiovanni-Vincentelli, and Y. Watanabe, Runtime Deadlock Analysis for System Level Design, Design Automation for Embedded Systems, Vol. 13, Issue 4, Dec. 2009.
  197. M. Di Natale and A. Sangiovanni Vincentelli, Moving from Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools, Proceedings of the IEEE, Vol. 98, No. 4, pp. 603-620, Apr. 2010, Invited Paper
  198. P. Nuzzo, X. Sun, C.-C. Wu, F. De Bernardinis, A. Sangiovanni-Vincentelli, "A platform-based methodology for system-level mixed-signal design," Eurasip Journal of Embedded Systems, Vol. 2010, Article ID 261583, 2010.
  199. A. Ghosal, D. Iercan, C. Kirsch, T. Henzinger, and A. Sangiovanni-Vincentelli, "Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code," Science of Computer Programming, 2010.
  200. M. Di Natale, A. Ghosal, P. Giusto, A. Sangiovanni-Vincentelli, H. Zeng, and S. Seshia, "Special issue on automotive embedded systems," Guest Editorial, IEEE Embedded Systems Letters, Vol. 2, No. 2, pp. 21-23, Jun. 2010.
  201. A. Sangiovanni-Vincentelli, "Corsi e Ricorsi: The EDA Story," IEEE Solid State Circuits Magazine, Vol. 2, No. 3, pp. 6-26, Summer 2010. [Invited Paper]
  202. H. Zeng, M. Di Natale, P. Giusto, and A. Sangiovanni-Vincentelli, "Using statistical methods to compute the probability distribution of message response time in Controller Area Netowrks," IEEE Transactions on Industrial Informatics (TII), Vol. 6, No. 4, pp. 678-691, Nov. 2010.
  203. M. Di Natale, L. Guo, H. Zeng, and A. Sangiovanni-Vincentelli, "Synthesis of multi-task implementations of simulink models with minimum delays," IEEE Transactions on Industrial Informatics (TII), Vol. 6, No. 4, pp. 637-651, Nov. 2010.
  204. Q. Zhu, Y. Yang, M. Di Natale, E. Scholte, and A. Sangiovanni-Vincentelli, "Optimizing the software architecture for extensibility in hard real-time distributed systems," IEEE Transactions on Industrial Informatics (TII) Vol. 6, No. 4, pp. 621-636, Nov. 2010, [Invited Paper]
  205. G. Wang, M. Di Natale, and A. Sangiovanni-Vincentelli, "Optimal synthesis of communication procedures in real-time synchronous reactive models," IEEE Transactions on Industrial Informatics (TII), Vol. 6, No. 4, pp. 729-743, Nov. 2010.
  206. H. Zeng, M. Di Natale, A. Ghosal, and A. Sangiovanni-Vincentelli, "Schedule optimization of time-triggered systems communicating over the FlexRay static segment," IEEE Transactions on Industrial Informatics (TII), Vol. 7, No. 1, pp. 1-17, Feb. 2011.
  207. P. Nuzzo, C. Nani, C. Armiento, A. Sangiovanni-Vincentelli, J. Craninckx, and G. Van der Plas, "A 6-Bit 50-MS/s threshold configuring SAR ADC in 90-nm digital CMOS," IEEE Transactions on Circuits and Systems-I, Vol. 59, No. 1, Jan. 2012.
  208. A. Sangiovanni-Vincentelli, W. Damm, and R. Passerone, "Taming Dr. Frankenstein: contract-based design for cyber-physical systems," European Journal of Control, Vol. 18, No. 3, 2012.
  209. L. Guo, A. Ghosal, H. Zeng, P. Giusto, and A. Sangiovanni-Vincentelli, "Methods and tools for calculating the flexibility of automotive HW/SW architectures," SAE International Journal of Passenger Cars - Electronic and Electrical Systems, Vol. 5, No. 1, pp. 17-26, 2012.
  210. M. Maasoumy and A. Sangiovanni-Vincentelli, "total and peak energy consumption minimization of building HVAC systems using model predictive control," IEEE Design and Test of Computers, Vol. 29, No. 4, pp. 26-35, Aug. 2012.
  211. Y. Yang, Q. Zhu, M. Maasoumy, and A. Sangiovanni-Vincentelli, "development of building automation and control systems," IEEE Design and Test of Computers, Vol. 29, No. 4, pp. 45-55, Aug. 2012.
  212. P. Nuzzo, A. Sangiovanni-Vincentelli, X. Sun, and A. Puggelli, "Methodology for the design of analog integrated interfaces using contracts," IEEE Sensors Journal, Vol. 12, No. 12, pp. 3329-3345, Dec. 2012.
  213. C.-W. Lin and A. Sangiovanni-Vincentelli, "Cyber-security for the Controller Area Network (CAN) communication protocol," in ASE Science Journal, Vol. 1, No. 2, pp. 80-92, Dec. 2012.
  214. Q. Zhu, H. Zeng, W. Zheng, M. Di Natale, and A. Sangiovanni-Vincentelli, "Optimization of task allocation and priority assignment in hard real-time distributed systems," in ACM Transactions on Embedded Computing Systems (TECS), Vol. 11, No. 4, pp. 85:1-85:30, Dec. 2012.
  215. A. Davare, D. Densmore, L. Guo, R. Passerone, A. Sangiovanni-Vincentelli, A. Simalatsar, and Q. Zhu, "MetroII: a design environment for cyber-physical systems," in ACM Transactions on Embedded Computing Systems (TECS), Vol. 12, No. 1s, pp. 49:1-49:31, Mar. 2013.
  216. A. Puggelli, M. M. R. Mozumdar, L. Lavagno, A. Sangiovanni-Vincentelli, "Routing-aware design of indoor wireless sensor networks using an interactive tool," in IEEE Systems Journal, Vol. PP, No. 99, pp. 1-14, Dec. 2013.
  217. P. Nuzzo, H. Xu, N. Ozay, J. Finn, A. Sangiovanni-Vincentelli, R. Murray, A. Donze, S. Seshia, "A contract-based methodology for aircraft electric power system design," in IEEE Access, Vol. 2, pp. 1-25, Jan. 2014.
  218. M. Maasoumy, M. Razmara, M. Shahbakhti, and A. Sangiovanni-Vincentelli, "Handling model uncertainty in model predictive control for energy-efficient buildings," in Energy and Buildings, Vol. 77, pp. 377-392, Jul. 2014.
  219. E. Lee, J. Rabaey, B. Hartmann, J. Kubiatowicz, K. Pister, A. Sangiovanni-Vincentelli, S. Seshia, J. Wawrzynek, D. Wessel, T. Rosing, D. Blaauw, P. Dutta, K. Fu, C. Guestrin, B. Taskar, R. Jafari, D. Jones, V. Kumar, R. Mangharam, G. Pappas, R. Murray, and A. Rowe, "The swarm at the edge of the cloud," in IEEE Design & Test, Vol 31, No. 2, pp. 8-20, Sep. 2014.
  220. C.-W. Lin, L. Rao, J. D'Ambrosio, and A. Sangiovanni-Vincentelli, "Electrical architecture optimization and selection---cost minimization via wire routing and wire sizing," in SAE International Journal of Passenger Cars---Electronic and Electrical Systems, Vol. 7, No. 2, pp. 502-509, Aug. 2014.
  221. C.-W. Lin, Q. Zhu, and A. Sangiovanni-Vincentelli, "Security-aware modeling and efficient mapping for CAN-based real-time distributed automotive systems," in IEEE Embedded Systems Letters (ESL), Vol. 7, No. 1, pp. 11--14, Mar. 2014.
  222. P. Nuzzo, A. Sangiovanni-Vincentelli, D. Bresolin, L. Geretti, T. Villa, "A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems," Proc. IEEE, vol. 103, no. 11, pp. 2104- 2132, Nov. 2015.
  223. C.-W. Lin, L. Rao, P. Giusto, J. D'Ambrosio, and A. Sangiovanni-Vincentelli, "Efficient wire routing and wire sizing for weight minimization of automotive systems," in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 34, no. 11, pp. 1730--1741, Nov. 2015.
  224. C.-W. Lin, B. Zheng, Q. Zhu, and A. Sangiovanni-Vincentelli, "Security-aware design methodology and optimization for automotive systems," ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 21, no. 1, pp. 18:1--18:26, Nov. 2015.
  225. Daniela De Venuto, Valerio Francesco Annese, Michele Ruta, Eugenio Di Sciascio, Alberto Sangiovanni Vincentelli: Designing a Cyber-Physical System for Fall Prevention by Cortico-muscular Coupling Detection. IEEE Design and Test, September 2015.
  226. Mehdi Maasoumy, Alberto Sangiovanni-Vincentelli. "Smart Building Connected Design Automation: Foundations and Trends". Foundations and Trends in Electronic Design Automation, October 2015.
  227. Brayton, R.; Carloni, L.P.; Sangiovanni-Vincentelli, A.L.; Villa, T., "Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead," in Proceedings of the IEEE, vol.103, no.11, pp.1952-1957, Nov. 2015.
  228. A. Iannopollo, S. Tripakis, and A.L. Sangiovanni-Vincentelli. "Constrained synthesis from component libraries." Science of Computer Programming 171 (2019): 21-41.
  229. Y. Shoukry, P. Nuzzo, A. Puggelli, A. Sangiovanni-Vincentelli, S. A. Seshia, P. Tabuada, "Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach," IEEE Transactions on Automatic Control, vol. 62, no. 10, pp. 4917-4932, Oct. 2017.
  230. P. Nuzzo, J. Li, A. L. Sangiovanni-Vincentelli, Y. Xi, D. Li, "Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design," ACM Trans. Embedded Computing Systems (TECS), to appear.
  231. Y. Shoukry, P. Nuzzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, P. Tabuada, "SMC: Satisfiability Modulo Convex Programming," Proc. IEEE, vol. 106, no. 9, pp. 1655-1679, Sep. 2018.
  232. R. Jia, B. Jin, M. Jin, Y. Zhou, I. C. Konstantakopoulos, H. Zou, J. Kim, D. Li, W. Gu, R. Arghandeh, P. Nuzzo, S. Schiavon, A. L. Sangiovanni-Vincentelli, C. J. Spanos, "Design Automation for Smart Building Systems," Proc. IEEE, vol. 106, no. 9, pp. 1680-1699, Sep. 2018.
  233. Y. Shoukry, M. Chong, M. Wakaiki, P. Nuzzo, A. Sangiovanni-Vincentelli, S. A. Seshia, J. P. Hespanha, P. Tabuada, "SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks," ACM Trans. Cyber-Phys. Syst. (TCPS), vol. 2, no. 1, pp. 5, 2018.
  234. Venuto, D. De, V. F. Annese, G. Mezzina, F. Scioscia, M. Ruta, E. Di Sciascio, and A. Sangiovanni Vincentelli. "A Mobile Health System for Neurocognitive Impairment Evaluation Based on P300 Detection." ACM Transactions on Cyber-Physical Systems 2, no. 4 (2018): 31.

Conferences

1973-1980, 1981-1985, 1986-1990, 1991-1995, 1996-2000, 2001-2005, 2006-2010, 2011-Present

  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, Mar. 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, Sep. 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, Apr. 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, Sep. 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, Oct. 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, Jun. 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, Jun. 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, Jun. 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, Jul. 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, Jul. 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, Jul. 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, Apr. 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, Apr. 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, Apr. 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, Apr. 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, Oct. 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, Apr. 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, Apr. 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, Apr. 1981.
  30. Robert K. 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, Aug. 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, Aug. 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, Jun. 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, Jun. 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, Oct. 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, Oct. 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, Oct. 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, Nov. 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, Jul. 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, Jun. 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, Sep. 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, Oct. 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, Oct. 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, Nov. 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, Nov. 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, Jun. 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, Jun. 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, Jun. 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, Dec. 1985.
  65. Alberto Sangiovanni-Vincentelli and Jacob White Waveform Relaxation Techniques and Their Parallel Implementation, Proceedings of the 1985 Computer Designers Conference, (CDC-85), Dec. 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, Apr. 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, Sep. 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, Sep. 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, Oct. 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, Oct. 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, Oct. 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, Oct. 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, Oct. 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, Oct. 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, Oct. 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, Oct. 1986.
  82. Carlo Sequin, Richard Newton, and Alberto Sangiovanni-Vincentelli, Highlights of VLSI Research at Berkeley, Proceedings of the 1986 FJCC, Dallas TX, Nov. 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, Jun. 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, Jul. 1987.
  87. Alberto Sangiovanni-Vincentelli, Application-Specifice Integrated Circuits:Economics and Technical Aspects, Proceedings Journee D'Electronic 1987, Lausanne, Switzerland pp 91-120, Oct. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Feb. 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 K. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Aug. 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, Aug. 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, Aug. 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, Oct. 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, Jan. 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, Apr. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Oct. 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, Oct. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Apr. 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, Apr. 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, Jun. 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, Jun. 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, Oct. 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, Nov. 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, Nov. 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, Nov. 1991.
  145. Patrick McGeer, Robert K. Brayton, 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Feb. 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, Feb. 1992. and Proceedings of the 29th IEEE/ACM Design Automation Conference (DAC-92), Anaheim CA, pp.380-387, Jun. 1992.
  152. Arlindo Oliveira and Alberto Sangiovanni-Vincentelli, Synthesis of Minimal Multi-Level Networks, Neural Networks for Computing Conference (abstracts), Snowbird UT, Apr. 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, Apr. 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, Mar. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 1992. And Proceedings of the IEEE International Conference on Computer-Aided Design, Santa Clara CA, pp. 172-178, Nov. 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, Jul. 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, Jul. 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, Aug. 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, Sep. 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, Sep. 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, Sep. 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, Sep. 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, Oct. 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, Oct. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 1992.
  182. Patrick McGeer, Jagesh Sanghavi, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Minimization of Logic Functions Using Essential Signature Sets [Best Paper Award], Proceedings of VLSI Design Conference, India, Jan. 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, Mar. 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, Apr. 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, Mar. 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, Jun. 1993. Also Lecture Notes in Computer Science (LNCS), Vol. 697, Springer-Verlag, New York NY, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Sep. 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, Sep. 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, Sep. 1993, And SRC TECHCON'93, Atlanta GA, Sep. 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, Sep. 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, Oct. 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, Oct. 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, Oct. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 1993.
  209. Arlindo Oliveira and Alberto Sangiovanni-Vincentelli, Learning Complex Boolean Functions: Algorithms and Applications, Proceedings of Neural Information Processing Systems Conference, Denver CO, Dec. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jul. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Dec. 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, Dec. 1994.
  236. Alexander Saldanha, Narenda Shenoy, Robert K. Brayton, and Alberto Sangiovanni-Vincentelli, Functional Clock Schedule Optimization [Best Paper Award], The Proceedings of VLSI Design '95 Conference, New Delhi, India, Jan. 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, Jan. 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, Feb. 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, Mar. 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, Jun. 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, Jun. 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, Jun. 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, Jul. 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, Jul. 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, Sep. 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, Sep. 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, Oct. 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, Nov. 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, Nov. 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, Dec. 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, Vol. 1, pp. 26, 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 1996.
  266. L. Carloni, T. Villa, T. Kam, R. K. Brayton, A. Sangiovanni-Vincentelli, Generation of a Minimal STG from an Implicit Cover, UC Berkeley Technical Report, Jun. 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, Jun. 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, Jun. 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, Jul. 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, Nov. 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, Nov. 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 Nov. 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, Nov. 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 Nov. 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 Nov. 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, Jan. 1997.
  279. C. Passerone, L. Lavagno, C. Sansoh, 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, Jan. 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, Mar. 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, Mar. 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, Jun. 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, Jun. 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, Jun. 1997.
  288. A. L. Oliveira, L. 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, Aug. 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, Oct. 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, Oct. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Nov. 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, Dec. 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, Feb. 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, Feb. 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, Feb. 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, Mar. 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, Mar. 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, Mar. 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, Mar. 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, Oct. 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, Jun. 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, Jun. 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. 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. 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, Nov. 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, Nov. 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, Dec. 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, Dec. 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, Dec. 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, Dec. 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, Mar. 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, Mar. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 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, Jun. 1999.
  340. L. Carloni, K. L. McMillan and A. 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, Jul. 1999.
  341. B.Tabbara, A. 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. Sangiovanni-Vincentelli, A case study of hybrid controller synthesis of a heating system, in Proc. 5th European Control Conference, Karlsruhe, Germany, Sep. 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. Carloni, K. L. McMillan, A. Saldanha and A. 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. 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. 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, Dec. 1999.
  347. A. Balluchi, L. Benvenuti, C. Rossi, M. D. Di Benedetto, C. Cardellino, and A. 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, Dec. 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, Mar. 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, Jun. 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, Jun. 2000.
  354. L. Carloni, A. Sangiovanni-Vincentelli, Performance Analysis and Optimization of Latency Insensitive Protocols, in Proceedings of the Design Automation Conference, DAC '00, Los Angeles, USA, Jun. 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., Jun. 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, Jun. 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., Jun. 2000, pp. 483-488
  358. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, A. Sangiovanni-Vincentelli, Synthesis by Language Equation Solving, International Workshop on Logic Synthesis, Jun. 2000
  359. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, C. Pinello, and A. Sangiovanni-Vincentelli, Automotive engine and power-train control: a comprehensive hybrid model, Proc. of 8th Mediterranean Conference on Control and Automation - MED2000, Patras, Greece, Jul. 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 Aug. 2000.
  361. S. Sinha, S. Khatri, R. K. 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. K. 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. 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, Dec. 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), Mar. 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, Mar. 2001.
  369. M. Di Natale, A. Sangiovanni-Vincentelli, F. Balarin "Scheduling reactive task graphs in embedded control systems" Real-Time Technology and Applications Symposium (RTAS), Jun. 2001.
  370. 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 Jun. 2001.
  371. 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 Jun. 2001.
  372. J. Burch, R. Passerone, A. 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, Jun. 25-29, 2001.
  373. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. Sangiovanni-Vincentelli, A hybrid observer for the driveline dynamics, in Proc. 6th European Control Conference, ECC2001, Porto, Portugal, pp. 618-623, Sep. 2001.
  374. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, G. Girasole, and A. 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, Sep. 2001.
  375. 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, Oct. 8-10, 2001,
  376. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, A. Sangiovanni-Vincentelli, Solution of Parallel Language Equations for Logic Synthesis., Proceedings of the International Conference on Computer Aided Design, Nov. 4-8, 2001, San Jose, CA.
  377. 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, Nov. 4-8, 2001, San Jose, CA.
  378. 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, Nov. 4-8, 2001, San Jose, CA
  379. 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, Nov. 4-8, 2001, San Jose, CA.
  380. 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, Nov. 7-9, 2001, Monterey,, CA.
  381. Alberto Sangiovanni-Vincentelli and Grant Martin, A Vision for Embedded Software, CASES 2001, Atlanta Georgia, Nov. 2001, pp. 1-7
  382. A. Balluchi, M. D. Di Benedetto, C. Pinello, and A. 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, Dec. 2001. (invited paper).
  383. 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), Dec. 2001. (invited paper). .
  384. 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, Mar. 4-8, 2002.
  385. 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, Mar. 2002.
  386. 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
  387. Farinaz Koushanfar, Miodrag Potkonjak, Alberto Sangiovanni-Vincentelli, Fault tolerance in wireless ad-hoc sensor networks, IEEE Sensors 2002, Jun. 2002.
  388. A. Pinto, L. Carloni and A. Sangiovanni-Vincentelli, Constraint-Driven Communication Synthesis, Proceedings of the Design Automation Conference, Jun. 2002.
  389. J. Burch, R. Passerone, A. Sangiovanni-Vincentelli, Modeling Techniques in Design-by-Refinement Methodologies , Proceedings of Integrated Design and Process Technology, Jun. 2002.
  390. A. Balluchi, L. Benvenuti and A. Sangiovanni-Vincentelli, Observers for Hybrid Systems with Continuous State Resets , Proceedings of the 10th Mediterranean Conference on Control and Automation (MED2002), Lisbon, Portugal, Jul. 2002.
  391. 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, Jul. 2002.
  392. N. Yevtushenko, T. Villa, R. K. 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), Sep. 2002.
  393. L. 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, Sep. 2002.
  394. 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, Sep. 2002.
  395. 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, Sep. 24-27, 2002.
  396. F. Koushanfar, S. Slijepcevic, M. Potkonjak, A. Sangiovanni-Vincentelli, Error-Tolerant Multimodal Sensor Fusion, Proceedings of IEEE CAS Workshop on Wireless Communications and Networking, Sep. 2002.
  397. Gregor Goessler, Alberto Sangiovanni-Vincentelli, Compositional Modeling in Metropolis , Proceedings of EMSOFT'02. Grenoble, France, Oct. 7-9, 2002.
  398. 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.
  399. 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.
  400. 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, Dec. 2002.
  401. A. Balluchi, L. Berardi, M. D. Di Benedetto, A. Ferrari, G. Girasole and A. Sangiovanni-Vincentelli, Integrated control-implementation design, in Proc. 41st IEEE Conference on Decision and Control vol.2, Las Vegas, NV, USA, pp.1337-1342, Dec. 2002.
  402. A. Balluchi, A. Ferrari, A. 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, Dec. 2002.
  403. L. Mangeruca, A. Ferrari, A. 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, Mar. 2003.
  404. N. Yevtushenko, T. Villa, R. K. Brayton, A. Petrenko, A. 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, Mar. 2003.
  405. P. Giusto, A. Ferrari, L. Luciano, A. Sangiovanni-Vincentelli, J. Y. Brunel, and E. Fourgeau, Virtual Integration Platforms for Automotive Safety Critical Distributed Applications, RTS Embedded Systems, Apr. 2003.
  406. L. Albertoni, A. Balluchi, A. Casavola, C. Gambelli, E. Mosca, A. 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, Jun. 2003.
  407. L. Albertoni, A. Balluchi, A. Casavola, C. Gambelli, E. Mosca, A. 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, Jun. 2003.
  408. G. Wang, A. Kuehlmann, A. 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.
  409. F. De Bernardinis, M.I. Jordan, A. Sangiovanni-Vincentelli, Support Vector Machines for Analog Circuit Performance Representation, Proceedings of the Design Automation Conference (DAC'03), Anaheim, California, USA, Jun. 2003.
  410. T. Meyerowitz, C. Pinello, A. Sangiovanni-Vincentelli, A Tool for Describing and Evaluating Hierarchical RealTime Bus Scheduling Policies, Proceedings of the Design Automation Conference (DAC'03), Anaheim, California, USA, Jun. 2003.
  411. F. Koushanfar, A. Davare, D. Nguyen, M. PotKonjak, A. Sangiovanni-Vincentelli, Low Power Coordination in Wireless Ad-hoc Networks, Proceedings of International Symposium on Low Power Electronics and Design (ISLPED03), Aug. 2003.
  412. L. Carloni, A. 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, Sep. 2003.
  413. L. Carloni, A. 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, Sep. 2003.
  414. L. Carloni, A. 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, Oct. 2003.
  415. A. Benveniste, L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli, Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment, Proceedings of the 3rd International Conference on Embedded Software (EMSOFT03), Philadelphia, PA, USA, Oct. 2003.
  416. M. Baleani, F. Ferrari, L. Mangeruca, A. 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, Oct. 2003.
  417. J. R. Burch, R. Passerone, A. Sangiovanni-Vincentelli, Notes on Agent Algebras, ERL Technical Report, Memorandum No. UCB/ERL M03/38, Berkeley, CA, USA, Nov. 2003.
  418. M. Sgroi, A. Wolisz, A. 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, Nov. 2003.
  419. 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, Dec. 2003.
  420. 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, Dec. 2003.
  421. 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), Nov. 2003.
  422. A. Nardi, A. Sangiovanni-Vincentelli, Synthesis for Manufacturability: A Sanity Check, Proceedings of Design, Automation and Test in Europe 2004 (DATE'04), Paris, France, Feb. 2004.
  423. C. Pinello, L. Carloni, A. 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, Feb. 2004.
  424. D. Densmore, S. Rekhi, A. Sangiovanni-Vincentelli, Microarchitecture Development via Metropolis Successive Platform Refinement, Proceedings of Design, Automation and Test in Europe 2004 (DATE'04), Paris, France, Feb. 2004.
  425. F. De Bernardinis and A. Sangiovanni-Vincentelli, A Methodology for System Level Analog Design Space Exploration, Proceedings of Design, Automation and Test in Europe 2004 (DATE'04), Paris, France, Feb. 2004.
  426. A. Balluchi, M. D. Di Benedetto, A. Ferrari, G. Gaviani, G. Sirasole, C. Grossi, W. Nesci, M. Pennese, and A. 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, Apr. 2004.
  427. J. Y. Brunel, W. Damm, A. Ferrari, U. Freund, B. Josko, S. Kowalewski, A. 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, Apr. 2004.
  428. A. 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, Jun. 2004.
  429. A. Davare, K. Lwin, A. Kondratyev, A. 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, Jun. 2004.
  430. A. Balluchi, L. Benvenuti, and A. Sangiovanni-Vincentelli, Discrete and Continuous Structural Properties for Observability, in Proc. 16th International Symposium on Mathematical Theory of Networks and Systems (MTNS2004), Leuven, Belgium, Jul. 2004. (invited section).
  431. A. 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, Sep. 2004.
  432. 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), Sep. 27-29, 2004, Pisa, Italy.
  433. 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, Dec. 2004.
  434. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, and A. Sangiovanni-Vincentelli, 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
  435. 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.
  436. 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, Jan. 2005, Shanghai, China.
  437. M. Baleani, A. Ferrari, L. Mangeruca, A. 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, Mar. 2005.
  438. 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)
  439. 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), Apr. 2005, Greenbelt, Maryland, USA.
  440. A. Pinto, A. Sangiovanni-Vincentelli, L. 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.
  441. 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, Jun. 2005.
  442. 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), Jun. 2005.
  443. 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, Jun. 2005.
  444. 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, Jul. 2005. Best Applications Paper Prize.
  445. 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, Jul. 2005.
  446. 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, Sep. 2005.
  447. A. Benveniste, B. Caillaud, L. Carloni, and A. Sangiovanni-Vincentelli, Tag Machines, Proceedings of the ACM International Conference on Embedded Software (EMSOFT'05), Jersey City, NJ, USA, Sep. 2005.
  448. A. Bonivento, L. Carloni, and A. 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, Sep. 2005.
  449. 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, Sep. 2005.
  450. 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, Sep. 2005.
  451. 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.
  452. 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, Oct. 2005.
  453. A. Bonivento, C. Fischione, A. 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., Nov. 2005.
  454. A. Agostini, A. Balluchi, A. Bicchi, B. Piccoli, A. Sangiovanni-Vincentelli, and K. Zadarnowska, "Randomized algorithms for platform-based design," IEEE Conference on Decision and Control and the 2005 European Control Conference, Dec. 2005.
  455. A. Balluchi, L. Benvenuti, and A. Sangiovanni-Vincentelli, "Hybrid systems in automotive electronics design," IEEE Conference on Decision and Control and the 2005 European Control Conference, Dec. 2005.
  456. 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.
  457. A. Bonivento, C. Fischione and A. Sangiovanni-Vincentelli, "Randomized protocol stack for ubiquitous networks in indoor environment," Consumer Communication and Network Conference (CCNC), Jan. 2006.
  458. C. Fischione, A. Bonivento, A. Sangiovanni-Vincentelli, F. Santucci and K. H. Johansson, "Performance analysis of collaborative spatio-temporal processing for wireless sensor networks," Consumer Communication and Network Conference (CCNC), Jan. 2006.
  459. G. Yang, X. Chen, F. Balarin, H. Hsieh and A. Sangiovanni-Vincentelli, "Communication and co-simulation infrastructure for heterogeneous system integration," Design Automation and Test in Europe (DATE), Mar. 2006.
  460. D. Densmore, A. Donlin, and A. Sangiovanni-Vincentelli, "FPGA architecture characterization for system level performance analysis," Design Automation and Test in Europe (DATE), Mar. 2006.
  461. S. Kanajan, H. Zeng, C. Pinello, and A. Sangiovanni-Vincentelli, "Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment," Design Automation and Test in Europe (DATE), Mar. 2006.
  462. A. Bonivento, L. Carloni and A. Sangiovanni-VIncentelli, "Platform based design of wireless sensor networks for industrial applications," Design Automation and Test in Europe (DATE), Mar. 2006.
  463. H. Zeng, A. Davare, A. Sangiovanni-Vincentelli, S. Sonalkar, S. Kanajan, and C. Pinello, "Design space exploration of automotive platforms in Metropolis," Society of Automotive Engineers Congress, Apr. 2006.
  464. C. Fischione, A. Bonivento, K.H. Johansson and A. Sangiovanni-Vincentelli, Cooperative Diversity with Disconnection Constraints and Sleep Discipline for Power Control in Wireless Sensor Networks, in Proceedings of Vehicular Technology Conference, Apr. 2006.
  465. A. Balluchi, L. Benvenuti, M. D. Benedetto, T. Villa, and A. Sangiovanni-Vincentelli, "Idle speed control - a benchmark for hybrid system research," IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Italy, Jun. 2006.
  466. S. Kakita, Y. Watanabe, D. Densmore, A. Davare, and A. Sangiovanni-Vincentelli, "Functional model exploration for multimedia applications via algebraic operators," International Conference on Application of Concurrency to System Design (ACSD), Jun. 2006.
  467. C. Liu, A. Kondratyev, Y. Watanabe, J. Desel, and A. Sangiovanni-Vincentelli, "Schedulability analysis of Petri nets based on structural properties," International Conference on Application of Concurrency to System Design (ACSD), Jun. 2006.
  468. A. Balluchi, A. Casagrande, P. Collins, A. Ferrari, T. Villa, and A. Sangiovanni-Vincentelli, "Ariadne: a framework for reachability analysis of hybrid automata," International Symposium on Mathematical Theory of Networks and Systems (MTNS), Jul. 2006.
  469. Q. Zhu, N. Kitchen, A. Kuehlmann, and A. Sangiovanni-Vincentelli, "SAT sweeping with local observability don't cares," Design Automation Conference (DAC), Jul. 2006.
  470. A. Fazzi, L. Magagni, M. De Dominicis, P. Zoffoli, R. Canegallo, R. L. Rolandi, A. Sangiovanni-Vincentelli, and R. Guerrieri, "Yield prediction for 3D capacitive interconnections," IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Nov. 2006.
  471. M. L. McKelvin, Jr., C. Pinello, S. Kanajan, J. Wysocki, and A. Sangiovanni-Vincentelli, "Model-based design of heterogeneous systems for fault tree analysis," International System Safety Conference, System Safety Society, Aug. 2006.
  472. A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli, and S. Tripakis, "Communication by sampling in time-sensitive distributed systems," International Conference on Embedded Software (EMSOFT), Oct. 2006.
  473. A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni-Vincentelli, "A hierarchical coordination language for interacting real-time tasks," International Conference on Embedded Software (EMSOFT), Oct. 2006.
  474. L. Mangeruca, M. Baleani, A. Ferrari, and A. Sangiovanni-Vincentelli, "Uniprocessor scheduling under precedence constraints," IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2006.
  475. G. Yang, H. Hsieh, X. Chen, F. Balarin, and A. Sangiovanni-Vincentelli, "Constraints assisted modeling and validation in Metropolis framework," Asilomar Conference on Signals, Systems, and Computers, Nov. 2006.
  476. F. De Bernardinis, P. Nuzzo, and A. Sangiovanni-Vincentelli, "Robust system level design with analog platforms," International Conference on Computer Aided Design (ICCAD), pp. 334-341, Nov. 2006.
  477. A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovanni-Vincentelli, G. Yang, H. Zeng, and Q. Zhu, "A next-generation framework for platform-based design," Design and Verification Conference (DVCon), Feb. 2007.
  478. L. Necchi, A. Bonivento, L. Lavagno, A. Sangiovanni-Vincentelli, and L. Vanzago, "E2RINA: An energy efficient and reliable in-network aggregation for clustered wireless sensor networks," IEEE Wireless Communications and Networking Conference (WCNS), pp. 3366-3371, 2007.
  479. T. Villa, S. Zharikova, N. Yevtushenko, Brayton, and A. Sangiovanni-Vincentelli, "A new algorithm for the largest compositionally progressive solution of synchronous language equations," Great Lakes Symposium on VLSI, Mar. 2007.
  480. W. Zheng, M. Di Natale, C. Pinello, P. Giusto, and A. Sangiovanni-Vincentelli, "Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems," IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr. 2007. [Best Paper Award]
  481. W. Zheng, M. Di Natale, C. Pinello, P. Giusto, and A. Sangiovanni-Vincentelli, "Synthesis of task and message activation models in real-time distributed automotive systems," Design Automation and Test in Europe (DATE), Apr. 2007.
  482. A. Ghosal, S. Kanajan, R. Urbance, and A. Sangiovanni-Vincentelli, "An initial study on monetary cost evaluation for the design of automotive electronic architectures," Society of Automotive Engineers Congress, Apr. 2007. Also in SAE Transactions Journal of Passenger Cars: Electronic and Electrical Systems, 2007.
  483. A. Davare, Q. Zhu, M. Di Natale, Claudio Pinello, Sri Kanajan, and Alberto Sangiovanni-Vincentelli, "Period optimization for hard real-time distributed automotive systems," Design Automation Conference (DAC), Jun. 2007. [Best Paper Award]
  484. G. Wang, M. Di Natale, and A. Sangiovanni-Vincentelli, "An OSEK/VDX implementation of synchronous reactive semantics preserving communication protocols," Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT), pp. 58-67, Jul. 2007.
  485. A. Balluchi, A. Bicchi, E. Mazzi, A. Sangiovanni-Vincentelli, and G. Serra, "Hybrid multi-rate control of the common-rail," European Control Conference, pp. 54-61, Jul. 2007.
  486. A. Balluchi, C. D'Apice, M. Gaeta, B. Piccoli, and A. Sangiovanni-Vincentelli, "Equilibria and feedback for a hybrid model of idle speed control," IEEE Africon, Sep. 2007.
  487. A. Pinto, L. Carloni, and A. Sangiovanni-Vincentelli, "A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control," ACM Conference on Embedded Systems Software Conference (EMSOFT), Oct. 2007.
  488. A. Benveniste, P. Caspi, M. Di Natale, C. Pinello, A. Sangiovanni-Vincentelli, and S. Tripakis, "Loosely time-triggered architectures based on communication-by-sampling: MoCC and properties," ACM Conference on Embedded Systems Software Conference (EMSOFT), Oct. 2007.
  489. A. Ghosal, T. A. Henzinger, D. Iercan, C. Kirsch, and A. Sangiovanni-Vincentelli, "Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code," Automatic Program Generation for Embedded Systems (APGES), Oct. 2007.
  490. W. Zheng, Q. Zhu, M. Di Natale, and A. Sangiovanni-Vincentelli, "Definition of task allocation and priority assignment in hard real-time distributed systems", IEEE Real-Time Systems Symposium (RTSS), Dec. 2007.
  491. Y. Li, J. Rabaey, and A. Sangiovanni-Vincentelli, "Analysis of interference effects in MB-OFDM UWB systems" in Proceedings of the IEEE Wireless Communications & Networking Conference (WCNC), Mar. 2008.
  492. K. Chatterjee, A. Ghosal, D. Iercan, C. Kirsch, T. A. Henzinger, C. Pinello, and A. Sangiovanni-Vincentelli, "Logical reliability of interacting real-time tasks, Design, Automation and Test in Europe (DATE), Mar. 2008.
  493. A. Ghosal, S. Kanajan, R. Urbance, and A. Sangiovanni-Vincentelli, "A study on monetary cost evaluation for the design of electrical architectures for automotive product lines," Society of Automotive Engineers Congress, Apr. 2008. Also in SAE Transactions Journal of Passenger Cars: Electronic and Electrical Systems, 2008.
  494. M. Di Natale, G. Wang, and A. Sangiovanni-Vincentelli, "Optimizing the implementation of communication in synchronous reactive models," IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr. 2008.
  495. L. Benvenuti, A. Ferrari, E. Mazzi and A. Sangiovanni-Vincentelli, "Contract based design for computation and verification of a closed-loop hybrid system,' Hybrid Systems: Computation and Control (HSCC), Apr. 2008.
  496. Y. Li, C.-C. Wu, A. Sangiovanni-Vincentelli, and J. Rabaey, "Design and optimization of an MB-OFDM ultra-wideband receiver front-end," IEEE International Conference on Circuits & Systems for Communications, May. 2008.
  497. 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," IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON), Jun. 2008.
  498. A. Pinto, M. D'Angelo, C. Fischione, E. Scholte, A. Sangiovanni-Vincentelli, "Synthesis of embedded networks for building automation and control," American Control Conference (ACC), Jun. 2008.
  499. 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" IFAC World Congress, Jul. 2008.
  500. E. Mazzi, A. Sangiovanni-Vincentelli, A. Balluchi, and A. Bicchi, "Hybrid system model reduction," IEEE Conference on Decision and Control, Dec. 2008.
  501. L. Benvenuti, A. Ferrari, E.Mazzi and A. Sangiovanni-Vincentelli, Composing Hybrid Systems, the 47th IEEE Conference on Decision and Control, Dec. 2008.
  502. M. D'Angelo, C. Fischione, M. Butussi, A. Pinto, and A. Sangiovanni-Vincentelli, "Outage-based rate maximization in CDMA wireless networks," IEEE Global Telecommunications Conference (GLOBECOM), Dec. 2008.
  503. S. C. Ergen, C. Fischione, D. Marandin, and A. Sangiovanni-Vincentelli, "Duty-cycle optimization in unslotted 802.15.4 wireless sensor networks," IEEE Global Telecommunications Conference (GLOBECOM), Dec. 2008.
  504. Q. Zhu, A. Davare, and A. Sangiovanni-Vincentelli, "A formal approach for optimizing mapping in system level design", TECHCON, Nov. 2008.
  505. G. Wang, M. Di Natale, P. J. Mosterman, A. Sangiovanni-Vincentelli, "Automatic code generation for synchronous reactive communication," International Conference on Embedded Software and Systems (ICESS), pp. 40-47, 2009.
  506. Q. Zhu, Y. Yang, E. Scholte, M. Di Natale, and A. Sangiovanni-Vincentelli, "Optimizing Extensibility in Hard Real-Time Distributed Systems", IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr. 2009.
  507. P. Nuzzo, C. Nani, C. Armiento, A. Sangiovanni-Vincentelli, J. Craninckx, and G. Van der Plas, "A 50-MS/s threshold configuring SAR ADC in 90-nm digital CMOS," VLSI Symposium on Circuits, pp. 238-239, Jun. 2009.
  508. X. Sun, P. Nuzzo, C.-C. Wu, A. Sangiovanni-Vincentelli, "Contract-based system-level composition of analog circuits," ACM/IEEE Design Automation Conference (DAC), pp. 605-610, Jul. 2009.
  509. H. Zeng, W. Zheng, M.Di Natale, P. Giusto, A. Ghosal, A. Sangiovanni-Vincentelli, "Scheduling the FlexRay bus using optimization techniques," ACM/IEEE Design Automation Conference (DAC), Jul. 2009.
  510. H. Zeng, M. Di Natale, P. Giusto, A. Sangiovanni-Vincentelli, "Statistical analysis of controller area network message response times," IEEE Symposium on Industrial Embedded Systems (SIES), Jul. 2009. [Best Paper Award]
  511. D. Densmore, A. Simalatsar, A. Davare, R. Passerone, and A. Sangiovanni-Vincentelli, "UMTS MPSoC design evaluation using a system level design framework," Design, Automation, and Test in Europe (DATE), pp. 478-483, 2009.
  512. W. Li, M. Di Natale, W. Zheng, P. Giusto, A. Sangiovanni-Vincentelli, and S. Seshia, "Optimizations of an application-level protocol for enhanced dependability in FlexRay," Design, Automation, and Test in Europe (DATE), pp. 1076-1081, 2009.
  513. C. Fischione, S. Coleri Ergen, P. Park, K. H. Johansson, and A. Sangiovanni-Vincentelli, "Medium access control analytical modeling and in unslotted IEEE 802.15.4 wireless sensor networks," IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, 2009.
  514. A. Bonivento, C. Fischione, and A. Sangiovanni-Vincentelli, "SERAN: a protocol for clustered WSNs in industrial control and automation," IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks, 2009.
  515. C. Fischione, A. Speranzon, K. H. Johansson, and A. Sangiovanni-Vincentelli, "Peer-to-peer estimation over wireless sensor networks via Lipschitz optimization," ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN), pp. 241-252, 2009.
  516. C.-C. Wu, X. Sun, A. Sangiovanni-Vincentelli, and J. Rabaey, "A 2.2mW CMOS LNA for 6-8.5GHz UWB receivers," IEEE International Symposium on Circuits and Systems (ISCAS), May. 2010.
  517. M. Mozumdar, L. Lavagno, L. Vanzago, and A. Sangiovanni-Vincentelli, "HILAC: A framework for hardware in the loop simulation and multi-platform automatic code generation of WSN applications," IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 88-97, Jul. 2010.
  518. Y. Yang, A. Pinto, A. Sangiovanni-Vincentelli, and Qi Zhu, "A design flow for building automation and control systems," IEEE Real-Time Systems Symposium, Dec. 2010.
  519. P. Nuzzo, A. Puggelli, S. Seshia, A. Sangiovanni-Vincentelli, "CalCS: SMT solving for non-linear convex constraints," IEEE International Conference on Formal Methods in Computer-Aided Design, Oct. 2010.
  520. E. Lee and A. Sangiovanni-Vincentelli, "Component-based design for the future," IEEE Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar. 2011.
  521. C.-W. Lin, M. Di Natale, H. Zeng, and A. Sangiovanni-Vincentelli, "Performance analysis of synchronous models implementations on loosely time-triggered architectures," Work-in-Progress session, IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Apr. 2011.
  522. M. Mozumdar, A. Puggelli, A. Pinto, L. Lavagno, and A. Sangiovanni-Vincentelli, "A hierarchical wireless network architecture for building automation and control systems," International Conference on Networking and Services (ICNS), May. 2011.
  523. P. Nuzzo and A. Sangiovanni-Vincentelli, "Robustness in analog systems: design techniques, methodologies and tools," IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 194-203, Jun. 2011.
  524. A. Puggelli, T. Welp, A. Kuehlmann, and A. Sangiovanni-Vincentelli, "Are logic synthesis tools robust?" ACM/IEEE Design Automation Conference (DAC), Jun. 2011.
  525. X. Sun, P. Nuzzo, A. Puggelli, and A. Sangiovanni-Vincentelli, "Contracts for correct com-position and system-level design of analog and mixed-signal circuits," Frontiers in Analog Circuit Synthesis and Verification Workshop, Jul. 2011.
  526. A. Puggelli, M. Petracca, P. Nuzzo, L. Carloni, and A. Sangiovanni-Vincentelli, "A design framework for distributed power management of heterogeneous systems-on-chip," SRC TECHCON 2011, Sep. 2011.
  527. M. Maasoumy, A. Pinto, and A. Sangiovanni-Vincentelli, "Model-based hierarchical optimal control design for HVAC systems," ASME Dynamic System Control Conference (DSCC), Oct. 2011.
  528. A. Puggelli, M. M. R. Mozumdar, L. Lavagno, and A. Sangiovanni-Vincentelli, "A routing-algorithm-aware design tool for indoor wireless sensor networks," IEEE International Conference on Computing, Networking and Communications, Jan. 2012.
  529. L. Guo, A. Ghosal, H. Zeng, P. Giusto, and A. Sangiovanni-Vincentelli, "Methods and tools for calculating the flexibility of automotive HW/SW architectures," SAE World Congress, Apr. 2012.
  530. P. Nuzzo and A. Sangiovanni-Vincentelli, "System-level design of analog and mixed-signal circuits using contracts," CMOS Emerging Technologies Conference, Jul. 2012.
  531. M. Mozumdar, J. Finn, P. Nuzzo, and A. Sangiovanni-Vincentelli, "Requirement, behavioral and parametric modeling of aircraft electric power system using SysML," SRC TECHCON, Sep. 2012.
  532. A. Sindico, M. Di Natale, A. Sangiovanni-Vincentelli, "An industrial application of a system engineering process integrating model-driven architecture and model based design," ACM/IEEE International Conference on Model Driven Engineering Languages & Systems (MODELS), Sep. 2012.
  533. M. Maasoumy and A. Sangiovanni-Vincentelli, "Optimal control of HVAC systems in the presence of imperfect predictions," ASME Dynamic System Control Conference (DSCC), Oct. 2012.
  534. C.-W. Lin and A. Sangiovanni-Vincentelli, "Cyber-security for the Controller Area Network (CAN) communication protocol," ASE International Conference on Cyber Security, Dec. 2012.
  535. D. De Venuto, A. Sangiovanni-Vincentelli, "Dr. Frankenstein's dream made possible: implanted electronic devices" IEEE Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar. 2013.
  536. M. Maasoumy, Q. Zhu, C. Li, F. Meggers, and A. Sangiovanni-Vincentelli, "Co-design of control algorithm and embedded platform for HVAC systems," ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Apr. 2013. (Best Paper Award)
  537. C.-W. Lin, M. Di Natale, H. Zeng, L. T. X. Phan, and A. Sangiovanni-Vincentelli, "Timing analysis of process graphs with finite communication buffers," IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr. 2013.
  538. L. Guo, A. Pinto, and A. Sangiovanni-Vincentelli, "A complexity metric for concurrent finite state machine based embedded software," IEEE Symposium on Industrial Embedded Systems (SIES), Jun. 2013.
  539. A. Puggelli, W. Li, A. Sangiovanni-Vincentelli, and S. Seshia, "Polynomial-time verification of PCTL properties of MDPs with convex uncertainties," International Conference on Computer-Aided Verification (CAV), Jul. 2013.
  540. M. Maasoumy, B. Moridian, M. Razmara, M. Shahbakhti, and A. Sangiovanni-Vincentelli, "Online simultaneous state estimation and parameter adaptation for building predictive control," ASME Dynamic System and Control Conference (DSCC), Oct. 2013. (Best Paper Award Finalist)
  541. C.-W. Lin, Q. Zhu, C. Phung, and A. Sangiovanni-Vincentelli, "Security-aware mapping for CAN-based real-time distributed automotive systems," IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Nov. 2013.
  542. J. Crossley, A. Puggelli, H.-P. Le, B. Yang, R. Nancollas, K. Jung, L. Kong, N. Narevsky, Y. Lu, N. Sutardja, E. J. An, A. Sangiovanni-Vincentelli, and E. Alon, "BAG: a designer-oriented integrated framework for the development of AMS circuit generators," IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Nov. 2013.
  543. M. Maasoumy, J. Ortiz, D. Culler, and A. Sangiovanni-Vincentelli, "Flexibility of commercial building HVAC fan as ancillary service for smart grid," IEEE Green Energy and Systems Conference (IGESC), Nov. 2013.
  544. P. Nuzzo, J. Finn, M. Mozumdar, A. Sangiovanni-Vincentelli, "Platform-based design methodology and modeling for aircraft electric power systems," IEEE Green Energy and Systems Conference (IGESC), Nov. 2013.
  545. A. Fisher, C. Jacobson, E. Lee, R. Murray, A. Sangiovanni-Vincentelli, E. Scholte, "Industrial Cyber-Physical Systems - iCyPhy," Complex Systems Design & Management (CSD&M), Dec. 2013.
  546. M. Maasoumy, P. Nuzzo, F. Iandola, M. Kamgarpour, A. Sangiovanni-Vincentelli, and C. Tomlin, "Optimal load management system for aircraft electric power distribution," IEEE Conference on Decision and Control (CDC), Dec. 2013.
  547. D. Sadigh, K. Driggs-Campbell, A. Puggelli, W. Li, V. Shia, R. Bajcsy, A. Sangiovanni-Vincentelli, S. Sastry, S. Seshia, "Data-driven probabilistic modeling and verification of human driver behavior," Formal Verification and Modeling in Human-Machine Systems, Mar. 2014.
  548. A. Iannopollo, P. Nuzzo, S. Tripakis, and A. Sangiovanni-Vincentelli, "Library-based scalable refinement checking for contract-based design," ACM/IEEE Design, Automation and Test in Europe (DATE), Mar. 2014.
  549. P. Nuzzo, J. B. Finn, A. Iannopollo, and A. Sangiovanni-Vincentelli, "Contract-based design of control protocols for safety-critical cyber-physical systems," ACM/IEEE Design, Automation and Test in Europe (DATE), Mar. 2014.
  550. P. Nuzzo, A. Sangiovanni-Vincentelli, "Let's get physical: computer science meets systems," From Programs to Systems - The Systems Perspective in Computing Workshop, European Joint Conferences on Theory and Practice of Software (ETAPS), Apr. 2014.
  551. C.-W. Lin, L, Rao, J. D'Ambrosio, and A. Sangiovanni-Vincentelli, "Electrical architecture optimization and selection---cost minimization via wire routing and wire sizing," SAE World Congress & Exhibition, Apr. 2014.
  552. M. Maasoumy and A. Sangiovanni-Vincentelli, "Comparison of control strategies for energy efficient building HVAC systems," ACM Symposium on Simulation for Architecture and Urban Design (SimAUD), Apr. 2014.
  553. V. Raman, M. Maasoumy, A. Donze, R. Murray, A. Sangiovanni-Vincentelli, S. Seshia, "Model predictive control from signal temporal logic specifications: a case study," ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, Apr. 2014.
  554. C.-W. Lin, L, Rao, P. Giusto, J. D'Ambrosio, and A. Sangiovanni-Vincentelli, "An efficient wire routing and wire sizing algorithm for weight minimization of automotive systems," ACM/IEEE Design Automation Conference (DAC), Jun. 2014.
  555. M. Maasoumy, C. Rosenberg, A. Sangiovanni-Vincentelli, and D. Callaway, "Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for supply following," IEEE American Control Conference (ACC), Jun. 2014. (Best Paper Award Finalist)
  556. M. Maasoumy, M. Razmara, M. Shahbakhti, and A. Sangiovanni-Vincentelli, "Selecting building predictive control based on model uncertainty," IEEE American Control Conference (ACC), Jun. 2014.
  557. M. Maasoumy, B. M. Sanandaji, A. Sangiovanni-Vincentelli, and K. Poolla, "Model predictive control of regulation services from commercial buildings to the smart grid," IEEE American Control Conference (ACC), Jun. 2014.
  558. A. Puggelli, A. Sangiovanni-Vincentelli, and S. Seshia, "Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing", ACM/IEEE International Conference on Embedded Software (EMSOFT), Oct. 2014.
  559. L. Guo, Q. Zhu, P. Nuzzo, R. Passerone, A. Sangiovanni-Vincentelli, and E. Lee, "Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems", IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Oct. 2014.
  560. P. Nuzzo, A. Iannopollo, S. Tripakis, and A. Sangiovanni-Vincentelli, "Are interface theories equivalent to contract theories?" ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE), Oct. 2014.
  561. C.-W. Lin, Q. Zhu, and A. Sangiovanni-Vincentelli, "Security-aware mapping for TDMA-based real-time distributed systems," IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Nov. 2014.
  562. V. Raman, A. Donze, M. Maasoumy, R. Murray, A. Sangiovanni-Vincentelli, S. Seshia, "Model predictive control with signal temporal logic specifications," IEEE Conference on Decision and Control (CDC), Dec. 2014.
  563. B. Aksanli, A. S. Akyurek, M. Behl, M. Clark, A. Donze, P. Dutta, P. Lazik, M. Maasoumy, R. Mangharam, T. Nghiem, V. Raman, A. Rowe, A. Sangiovanni-Vincentelli, S. Seshia, T. S. Rosing, J. Venkatesh, "Distributed control of a swarm of buildings connected to a smart grid," ACM International Conference on Embedded Systems For Energy-Efficient Buildings (BuildSys), Nov. 2014.
  564. N. Bajaj, P. Nuzzo, M. Masin, A. Sangiovanni-Vincentelli, "Optimized selection of reliable and cost-effective cyber-physical system architectures," ACM/IEEE Design Automation and Testing in Europe Conference (DATE), Mar. 2015.
  565. W. Damm, A. Sangiovanni Vincentelli, "A conceptual model of system of systems," International Workshop on the Swarm at the Edge of the Cloud, Apr. 2015.
  566. Y. Shoukry, A. Puggelli, P. Nuzzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, P. Tabuada, "Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving," in Proc. American Control Conference (ACC), pp. 3818-3823, Jul. 2015.
  567. B. Shahsavari, M. Maasoumy, A. Sangiovanni-Vincentelli, R. Horowitz, "Stochastic model predictive control design for load management system of aircraft electrical power distribution," IEEE American Control Conference (ACC), Jul. 2015.
  568. P. Nuzzo, A. L. Sangiovanni-Vincentelli, R. M. Murray, "Methodology and Tools for Next Generation Cyber- Physical Systems: The iCyPhy Approach," in Proc. INCOSE Int. Symp. (IS), Jul. 2015.
  569. Y. Shoukry, P. Nuzzo, A. Puggelli, A. L. Sangiovanni-Vincentelli, S. A. Seshia, M. Srivastava, P. Tabuada, "Imhotep-SMT: A Satisfiability Modulo Theory Solver For Secure State Estimation," in Proc. Int. Workshop on Satisfiability Modulo Theories (SMT), Jul. 2015.
  570. C. Lv, J. Zhang, P. Nuzzo, A. Sangiovanni-Vincentelli, Y. Li, Y. Ye, "Design Optimization of the Control System for the Powertrain of an Electric Vehicle: A Cyber-Physical System Approach," in Proc. Int. Conf. Mechatronics and Automation (ICMA), Aug. 2015.
  571. J. Finn, P. Nuzzo, A. Sangiovanni-Vincentelli, "A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration," in Proc. Int. Conf. Computer Aided Design (ICCAD), Nov. 2015.
  572. B. Jin, P. Nuzzo, M. Maasoumy, Y. Zhou, A. Sangiovanni-Vincentelli, "A Contract-Based Framework for Integrated Demand-Response Management in Smart Grids," Proc. ACM Int. Conf. Embedded Systems for Energy-Efficient Built Environments (BuildSys), Nov. 2015.
  573. Maasoumy, Mehdi, and Alberto Sangiovanni-Vincentelli. "Buildings to Grid Integration: A Dynamic Contract Approach." Proceedings of the IEEE/ACM International Conference on Computer-Aided Design. IEEE Press, 2015.
  574. Y. Shoukry, P. Nuzzo, N. Bezzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, P. Tabuada, "Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving," IEEE Conference Decision and Control (CDC), pp. 3804-3809, Dec. 2015.
  575. S. Ghosh, D. Sadigh, P. Nuzzo, V. Raman, A. Donze, A. Sangiovanni-Vincentelli, S. S. Sastry, S. A. Seshia, "Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications," Proc. Int. Conf. Hybrid Systems: Computation and Control, pp. 31-40, April 2016.
  576. Daniela De Venuto, Valerio Francesco Annese, Alberto Sangiovanni Vincentelli. The Ultimate IoT Application: a Cyber-Physical System for Ambient Assisted Living. IEEE - ISCAS 2016, Montreal (CA). ISBN: 978-1-4799-5340-0, pp. 2042-2045. May 2016.
  577. Y. Shoukry, M. Chong, M. Wakaiki, P. Nuzzo, A. Sangiovanni-Vincentelli, S. A. Seshia, J. P. Hespanha, P. Tabuada, "SMT-Based Observer Design for Cyber Physical Systems Under Sensor Attacks," Proc. Int. Conf. Cyber-Physical Systems, pp. 1-10, April 2016 (Best Paper Award).
  578. Y. Shoukry, P. Nuzzo, I. Saha, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, P. Tabuada, "Scalable Motion Planning Using Lazy SMT-Based Solving," IEEE Conference Decision and Control (CDC), Dec. 2016.
  579. Shoukry, Y., Nuzzo, P., Sangiovanni-Vincentelli, A.L., Seshia, S.A., Pappas, G.J. and Tabuada, P., 2017, April. SMC: Satisfiability modulo convex optimization. In Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (pp. 19-28). ACM.
  580. Ramesh, R., Lin, R., Iannopollo, A., Sangiovanni-Vincentelli, A., Hartmann, B. and Dutta, P., 2017, June. Turning coders into makers: the promise of embedded design generation. In Proceedings of the 1st Annual ACM Symposium on Computational Fabrication (p. 4). ACM.
  581. Kirov, D., Nuzzo, P., Passerone, R. and Sangiovanni-Vincentelli, A., 2017, June. ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. In Proceedings of the 54th Annual Design Automation Conference 2017 (p. 31). ACM.
  582. Moin, A., Nuzzo, P., Sangiovanni-Vincentelli, A.L. and Rabaey, J.M., 2017, June. Optimized Design of a Human Intranet Network. In Proceedings of the 54th Annual Design Automation Conference 2017 (p. 30). ACM.
  583. T. Dreossi, S. Ghosh, A. Sangiovanni-Vincentelli, S. Seshia. "Systematic Testing of Convolutional Neural Networks for Autonomous Driving". Proceedings of the 34th International Conference on Machine Learning, November, 2017.
  584. Y. Shoukry, P. Nuzzo, A. Balkan, I. Saha, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, P. Tabuada, "Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability Modulo Convex Programming," Proc. IEEE Conference on Decision and Control (CDC), pp. 1132-1137, Dec. 2017.
  585. J. Li, P. Nuzzo, A. L. Sangiovanni-Vincentelli, Y. Xi, D. Li, "Stochastic Contracts for Cyber-Physical System Design Under Probabilistic Requirements," Proc. Int. Conf. on Formal Methods and Models for Co-Design (MEMOCODE), pp. 5-14, Sep. 2017.
  586. B. Jin, M. Maasoumy, P. Nuzzo, A. L. Sangiovanni-Vincentelli, "Online Computation of Polytopic Flexibility Models for Demand Shifting Applications," Proc. IEEE Conference on Automation Science and Engineering (CASE), pp. 900-905, August 2017.
  587. D. Kirov, P. Nuzzo, R. Passerone, A. L. Sangiovanni-Vincentelli, "ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures," Proc. Design Automation Conference (DAC), pp. 1-6, June 2017.
  588. T. Dreossi, S. Ghosh, X. Yue, K. Keutzer, A. SangiovanniVincentelli, and S. Seshia. Counterexample-guided data augmentation. In International Joint Conference on Artificial Intelligence (IJCAI), July 2018.
  589. X. Yue, B. Wu, S. Seshia, K. Keutzer, A. Sangiovanni-Vincentelli, A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving, International Conference on Multimedia Retrieval, June 2018.
  590. I. Romeo, A. Sangiovanni-Vincentelli, C.-W. Lin, E. Kang, "Quotient for Assume-Guarantee Contracts", Proc. Int. Conf. on Formal Methods and Models for Co-Design (MEMOCODE), Oct. 2018.
  591. A. Iannopollo, S. Tripakis and A. Sangiovanni-Vincentelli, "Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts," 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, 2018, pp. 1574-1579.
  592. D. Kirov, P. Nuzzo, R. Passerone, A. L. Sangiovanni-Vincentelli, "Optimized Selection of Wireless Network Topologies and Components via Efficient Pruning of Feasible Paths," Proc. Design Automation Conference (DAC), p. 179, Jun. 2018.
  593. P. Nuzzo, M. Lora, Y. Feldman, A. L. Sangiovanni-Vincentelli, "CHASE: Contract-Based Requirement Engineering for Cyber-Physical System Design," Proc. Design Automation and Testing in Europe Conference (DATE), pp. 839-844, Mar. 2018.

Articles

  1. M. Chiodo, A. Damiano, L. Lavagno, and A. 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, pp. 63-69, Aug. 1998.
  3. J. Rowson and A. Sangiovanni-Vincentelli, Felix initiative pursues new co-design methodology, Electronic Engineering Times, pp. 50, 51, 74, Jun. 15, 1998.
  4. A. Sangiovanni-Vincentelli, Defining Platform-based Design, EE Design, Mar. 5, 2002.
  5. D. Densmore, A. Sangiovanni-Vincentelli, and A. Donlin, Leveraging Programmability in Electronic System-Level Designs, Xcell Journal, pp. 29-31, Jan. 2006.

Patents

  1. P. C. McGeer, A. Saldanha, and A. Sangiovanni-Vincentelli, System and method for simulating discrete functions using ordered decision arrays, United States Patent.
  2. R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli, System and method for automatically synthesizing interfaces between incompatible protocols, United States Patent, n. 7,136,947, Nov. 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.

Last updated 04/18/2015