|
|
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. 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.L. Sangiovanni-Vincentelli, Aura II: Combining Negative Thinking and
Branch-and-Bound in Unate Covering Problems, In
"VLSI: Systems on a Chip" (L.M. Silveira, R. Reis, S. Devadas
editors), Kluwer 1999. 26. L. Lavagno, T. Villa, A.
Sangiovanni-Vincentelli, Advances in encoding for logic synthesis, in
VLSI Design Environments, G.W. Zobrist ed., Gordon and Breach Science
Publishers, 2000 (invited chapter) pages 186-216. 27. A.Balluchi, L. Benvenuti, M. D. Di
Benedetto, G. M. Miconi, U. Pozzi, T. Villa, H. Wong-Toi, and A. 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.L. 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.P. 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. 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. Journals 1. V. Amoia and Alberto Sangiovanni-Vincentelli, Electrical Circuits and
Game Theory, [In Italian.] Note, Recensioni e Notizie, Vol. XXII, No. 6, 1973. 2. Alberto Sangiovanni-Vincentelli and Mauro
Santomauro, Sparse Matrices and Their Applications to Large Scale Network
Analysis and Design: I, [In Italian] Alta Frequenza, No. 8, pp. 476-481,
1974. 3. Alberto Sangiovanni-Vincentelli and Mauro
Santomauro, Sparse Matrices and Their Applications to Large Scale Network
Analysis and Design: II, [In Italian] Alta Frequenza, No. 11, pp. 957-975,
1974. 4. Alberto Sangiovanni-Vincentelli and Mauro
Santomauro, Sparse Matrices and Their Applications to Large Scale Network Analysis
and Design: III, [In Italian] Alta Frequenza, Vol. 44, No. 1. pp. 39-50, 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. F. Balarin, L. Lavagno, P. Murthy, and A.
Sangiovanni-Vincentelli, Scheduling for Embedded Real-time Systems, IEEE
Design & Test of Computers, 1998. 56. Carl Sechen, Douglas Braun, and Alberto
Sangiovanni-Vincentelli, ThunderBird: A Complete Standard Cell Layout
Package, IEEE Journal of Solid State Circuits, Vol. 23, No. 2, Apr. 1988. 57. Willaim Nye, David Riley, Alberto
Sangiovanni-Vincentelli, and Andre Tits, DELIGHT-SPICE: An Optimization-based
System for the Design of Integrated Circuits, IEEE Transactions on
Computer-Aided Design of Integrated Circuits and Systems, pp. 501-520, Vol.
7, No. 4, Apr. 1988. 58. Douglas Braun, Jeffrey Burns, Fabio Romeo,
Alberto Sangiovanni-Vincentelli, Kartikeya Mayaram, Srivivas Devadas, and Hi
Keung T. Ma, Techniques for Multilayer Channel Routing, IEEE Transactions on
Computer-Aided Design, Vol. 7, No. 6, Jun. 1988. 59. Karen Bartlett, Robert K. Brayton, Gary
Hachtel, Reily Jacoby, Christopher Morrison, Richard Rudell, Alberto
Sangiovanni-Vincentelli, and Albert Wang, Multilevel Logic Minimization Using
Implicit Don't-Cares, IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems, Jun. 1988. 60. Giorgio Casinovi and Alberto
Sangiovanni-Vincentelli, A New Aggregation Technique for the Solution of
Large Systems of Algebraic Equations, IEEE Transactions on Computer-Aided
Design of Integrated Circuits and Systems, Vol. 7, No. 9, pp. 976-986, Sep.
1988. 61. Hi Keung T. Ma, Srivivas Devadas, Richard
Newton, and Alberto Sangiovanni-Vincentelli, Test Generation for Sequential
Circuits, IEEE Transactions on Computer-Aided Design of Integrated Circuits
and Systems, Vol. 7, No. 10, pp. 1081-1092, Oct. 1988. 62. C. Passerone, L. Lavagno, C. Sansoe', J. Martin, R. Passerone, R. McGeer,
and A. Sangiovanni-Vincentelli. Modeling reactive systems in java. ACM Transactions on Design
Automation of Electronic Systems, 3(4), Oct. 1998. 63. Roberto Guerrieri and Alberto
Sangiovanni-Vincentelli, Three Dimensional Capacitance Evaluation on a
Connection Machine, IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems, Vol. 7, No. 11, pp. 1125-1133, Nov. 1988. 64. Hi Keung T. Ma, Srivivas Devadas, Ruey-Sing
Wei, and Alberto Sangiovanni-Vincentelli, Logic Verification Algorithms and
Their Parallel Implementation, IEEE Transactions on Computer-Aided Design,
Vol. 8, No. 2, Feb. 1989. 65. Kenneth Kundert, Jacob White, and Alberto
Sangiovanni-Vincentelli, A Mixed Frequency-Time Approach for Distortion
Analysis of Switching, Filter Circuits, IEEE Journal of Solid State Circuits,
Vol. 24, No. 2, pp. 443-452, Apr. 1989. 66. Srivivas Devadas, Albert Wang, Richard
Newton, and Alberto Sangiovanni-Vincentelli, Boolean Decomposition in
Multilevel Logic Optimization, IEEE Journal of Solid State Circuits, Vol. 24,
No. 2, pp. 399-409, Apr. 1989 67. Srivivas Devadas, Hi Keung T. Ma, Richard
Newton, and Alberto Sangiovanni-Vincentelli, A Synthesis and Optimization
Procedure for Fully and Easily Testable Sequential Machines, IEEE
Transactions on Computer-Aided Design of Integrated Circuits and Systems,
Vol. 8, No. 10, pp. 1100-1108, Oct. 1989. 68. Srivivas Devadas, Hi Keung T. Ma, Richard
Newton, and Alberto Sangiovanni-Vincentelli, Irredundant Sequential Machines
via Optimal Logic Synthesis, IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems, Vol. 9, No. 1, pp. 8-18, Jan. 1990 and
Proceedings of the 23rd Annual Hawaii International Conference on Systems,
Sciences, Minitrack on Synthesis, pp. 417-426, Jan. 1990. 69. Robert K. Brayton, Gary Hachtel, and Alberto
Sangiovanni-Vincentelli, Multilevel Logic Synthesis [Invited paper],
Proceedings of the IEEE, Vol. 78, No. 2, pp. 264-300, Feb. 1990. 70. Hyunchul Shin, Alberto
Sangiovanni-Vincentelli, and Carlo Sequin, "Zone-Refining"
Techniques for IC Layout Compaction, IEEE Transactions on Computer-Aided
Design of Integrated Circuits and Systems, Vol. 9, No. 2, pp. 167-180, Feb.
1990. 71. Tiziano Villa and Alberto
Sangiovanni-Vincentelli, NOVA: State Assignment Of Finite State Machines for
Optimal Two-Level Logic Implementation, IEEE Transactions on Computer-Aided
Design of Integrated Circuits and Systems, Vol. 9, No. 9, pp. 905-924, Sep.
1990. 72. Gaetano Borriello and Alberto
Sangiovanni-Vincentelli, Foreword, IEEE Transactions on Computer-Aided Design
of Integrated Circuits and Systems, Vol. 10, No. 1, pp. 2, Jan. 1991. 73. Sharad Malik, Ellen Sentovich, Robert K.
Brayton, and Alberto Sangiovanni-Vincentelli, Retiming and Resynthesis:
Optimizing Sequential Networks with Combinational Techniques, IEEE
Transactions on Computer-Aided Design of Integrated Circuits and Systems,
Vol. 10, No. 1, pp. 74-84, Jan. 1991. 74. Giorgio Casinovi and Alberto
Sangiovanni-Vincentelli, A Macromodeling Algorithm for Analog Circuits, IEEE
Transactions on Computer-Aided Design of Integrated Circuits and Systems,
Vol. 10, No. 2, pp. 150-160, Feb. 1991. 75. Abdul Malik, Robert K. Brayton, Richard
Newton, and Alberto Sangiovanni-Vincentelli, Reduced Offset for Minimization
of Binary-Valued Functions, IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems, Vol. 10, No. 4, pp. 413-426, Apr. 1991. 76. Alberto Sangiovanni-Vincentelli, Foreword
Algorithmica, Algorithmica, Special Issue on Simulated Annealing, No. 6, pp.
302, 1991. 77. Fabio Romeo and Alberto
Sangiovanni-Vincentelli, A Theoretical Framework for Simulated Annealing,
Algorithmica, Special Issue on Simulated Annealing, No. 6, pp. 302-345, 1991.
78. Donald Webber, Eric Tomacruz, Roberto
Guerrieri, T. Toyabe, and Alberto Sangiovanni-Vincentelli, A Massively
Parallel Algorithm for Three-Dimensional Device Simulation, IEEE Transactions
on Computer-Aided Design of Integrated Circuits and Systems, Vol. 10, No. 9,
pp. 1201-1210, Sep. 1991. 79. C. K. Sin, Alan Kramer, V. Hu, R. Chu, P.
Ko, and Alberto Sangiovanni-Vincentelli, EEPROM as an Analog Storage Device
with Particular Application in Neural Networks, IEEE Transactions on Electron
Devices, Vol. 39, No. 6, pp. 1410-1419, Jun. 1992. 80. Sharad Malik, Luciano Lavagno, Robert K.
Brayton, and Alberto Sangiovanni-Vincentelli, Symbolic Minimization of
Multilevel Logic and the Input Encoding Problem, IEEE Transactions on
Computer-Aided Design of Integrated Circuits and Systems, Vol. 11, No. 7, pp.
825-843, Jul. 1992. 81. Umakanta Choudhury and Alberto
Sangiovanni-Vincentelli, Automatic Generation of Parasitic Constraints for
Performance-Constrained Physical Design of Analog Circuits, IEEE Transactions
on Computer Aided Design of Integrated Circuits and Systems, pp. 208-224,
Feb. 1993. 82. P.M. Xiao, Edoardo Charbon, Alberto Sangiovanni-Vincentelli,
and Theodore Van Duzer, INDEX: An Inductance Extractor for Superconducting
Circuits. IEEE Transactions on Applied Superconductivity, Vol. 3, No. 1, Pt.
4, pp. 2629-2632, Mar. 1993. 83. Luciano Lavagno and Alberto
Sangiovanni-Vincentelli, Automated Synthesis of Asynchronous Interface
Circuits. Working Conference on Asynchronous Design Methodologies, Manchester
UK, IFIP Transaction A: Computer Science and Technology, Vol. A-28, pp.
107-121, Mar.-Apr. 1993. 84. Umakanta Choudhury and Alberto
Sangiovanni-Vincentelli, Constraint-Based Channel Routing for Analog and
Mixed Analog/Digital Circuits, IEEE Transactions on Computer Aided Design of
Integrated Circuits and Systems, pp. 497-510, Apr. 1993. 85. Luciano Lavagno and Alberto
Sangiovanni-Vincentelli, Automated Synthesis of Asynchronous Interface
Circuits, Microprocessors and Microsystems, Vol. 17, No. 4, pp. 232-242, May.
1993. 86. Sharad Malik, Kanwar Jit Singh, Robert K.
Brayton, and Alberto Sangiovanni-Vincentelli, Performance Optimization of Pipelined
Logic Circuits Using Peripheral Retiming and Resynthesis, IEEE Transactions
on Computer-Aided Design of Integrated Circuits and Systems, Vol. 12, No. 5,
May. 1993. 87. Jonathan Rose, Abbas El Gamal, and Alberto
Sangiovanni-Vincentelli, Architecture of Field-Programmable Gate Arrays,
Proceedings of the IEEE, Vol. 81, No. 7, pp. 1013-1029, Jul. 1993. 88. Alberto Sangiovanni-Vincentelli, Abbas El
Gamal, and Jonathan Rose, Synthesis Methods for Field Programmable Gate
Arrays, Proceedings of the IEEE, Vol. 81, No. 7, pp. 1057-1083, Jul. 1993. 89. Enrico Malavasi and Alberto
Sangiovanni-Vincentelli, Area Routing for Analog Layout, IEEE Transactions on
Computer Aided Design, Vol. 12, No. 8, Aug. 1993. 90. Andrea Casotto and Alberto
Sangiovanni-Vincentelli, Automated Design Management Using Traces, IEEE
Transactions on Computer-Aided Design of Integrated Circuits and Systems,
Vol. 12, No. 8, pp. 1077-1095, Aug. 1993. 91. Luciano Lavagno and Alberto
Sangiovanni-Vincentelli, Linear Programming for Hazard Elimination in Asynchronous
Circuits, Journal of VLSI Signal Processing, Oct. 1993. 92. Abdul Malik, Robert K. Brayton, Richard
Newton, and Alberto Sangiovanni-Vincentelli, Two-Level Minimization of
Multivalued Functions with Large Offsets, IEEE Transactions on Computers,
Vol. 42, No. 11, pp. 1325-1342, Nov. 1993. 93. Felice Balarin and Alberto
Sangiovanni-Vincentelli, An Iterative Approach to Verification of Real-Time
Systems, Formal Methods in System Design: An International Journal, Kluwer
Academic Publishers, Boston/Dordrecht/London, Jan. 1994. 94. Eric Tomacruz, Jagesh Sanghavi, and Alberto
Sangiovanni-Vincentelli, Algorithms for Drift-Diffusion Device Simulation
Using Massively Parallel Processors, IEICE Journal (Japan), Feb. 1994. 95. Patrick McGeer, Jagesh Sanghavi, Robert K.
Brayton, and Alberto Sangiovanni-Vincentelli, ESPRESSO-Signature: A New Exact
Minimizer for Logic Functions, IEEE Transactions on Very Large Scale
Integration (VLSI) Systems, Vol. 1, No. 4, pp. 432-440, Dec. 1993. 96. Alex Saldanha, Robert K. Brayton, and
Alberto Sangiovanni-Vincentelli, Circuit Structure Relations to Redundancy
and Delay, IEEE Transactions on Computer-Aided Design, 1994. 97. Alex Saldanha, Tiziano Villa, Robert K.
Brayton, and Alberto Sangiovanni-Vincentelli, Satisfaction of Input and
Output Encoding Constraints, IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems, Vol. 13, No. 5, pp. 589-602, May. 1994. 98. Linda Milor and Alberto
Sangiovanni-Vincentelli, Minimizing Production Test Time to Detect Faults in
Analog Circuits, IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems, Vol. 13, No. 6, pp. 796-813, Jun. 1994. 99. Massimiliano Chiodo, Paolo Giusto, Atilla
Jurecska, Harry C. Hsieh, Alberto Sangiovanni-Vincentelli, and Luciano
Lavagno, Hardware-Software Codesign of Embedded Systems, IEEE Micro Chips,
Systems, Software, and Applications, pp. 26-36, Aug. 1994. 100. William K. Lam, Alex Saldanha, Robert K.
Brayton, and Alberto Sangiovanni-Vincentelli, Delay Fault Coverage, Test Set
Size, and Performance Tradeoffs, IEEE Transactions on Computer-Aided Design
of Integrated Circuits and Systems, Vol. 14, No. 1, pp. 32-44, Jan. 1995. 101. Luciano Lavagno, Cho W. Moon, Robert K.
Brayton, and Alberto Sangiovanni-Vincentelli, An Efficient Heuristic
Procedure for Solving the State Assignment Problem for Event-Based
Specifications, IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems, Vol. 14, No. 1, pp. 45-60, Jan. 1995. 102. Luciano Lavagno, Kurt Keutzer, and Alberto
Sangiovanni-Vincentelli, Synthesis of Hazard-Free Asynchronous Circuits with
Bounded Wire Delays, IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems, Vol. 14, No. 1, pp. 61-86, Jan. 1995. 103. Umakanta Choudhury and Alberto Sangiovanni-Vincentelli,
Automatic Generation of Analytical Models for Interconnect Capacitances, IEEE
Transactions on Computer-Aided Design of Integrated Circuits and Systems,
Vol. 14, No. 4, pp. 470-480, Apr. 1995. 104. Edward Liu and Alberto Sangiovanni-Vincentelli,
Verification of Nyquist Data Converters Using Behavioral Simulation, IEEE
Transactions on Computer-Aided Design of Integrated Circuits and Systems,
Vol. 14, No. 4, pp. 493-502, Apr. 1995. 105. Enrico Malavasi, Eric Felt, Edoardo Charbon,
and Alberto L. Sangiovanni-Vincentelli, Performance-Driven Compaction of
Analog IC's, International Journal of Circuit Theory and Applications, Vol.
23, No. 4, pp. 433-452, Jul.-Aug. 1995. 106. Kurt Keutzer, Luciano Lavagno, and Alberto
Sangiovanni-Vincentelli, Synthesis for Testability Techniques for
Asynchronous Circuits. IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems, Vol. 14, No. 12, pp. 1569-1577, Dec. 1995. 107. Massimiliano Chiodo, Daniel Engels, Paolo
Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, and
Alberto Sangiovanni-Vincentelli, A Case Study in Computer-Aided Co-Design of
Embedded Controllers, Design Automation for Embedded Systems (Journal), pp.
51-67, Jan. 1996. 108. Robert Neff, Paul Gray, and Alberto
Sangiovanni-Vincentelli, A Module Generator for High-Speed CMOS Current
Output Digital/Analog Converters, IEEE Journal of Solid-State Circuits, Vol.
31, No.3, pp. 448-451, Mar. 1996. 109. Alper Demir, Edward Liu, and Alberto
Sangiovanni-Vincentelli, Time-Domain Non-Monte Carlo Noise Simulation for
Nonlinear Dynamic Circuits with Arbitrary Excitations, IEEE Transactions on
Computer-Aided Design of Integrated Circuits and Systems, Vol. 15, No. 5, pp.
493-505, May. 1996. 110. William Lam, Robert K. Brayton, and Alberto
Sangiovanni-Vincentelli, Valid Clock Frequencies and Their Computation in
Wavepipelined Circuits, IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems, Vol. 15, No. 7, pp. 791-807, Jul. 1996. 111. Kei Suzuki and Alberto
Sangiovanni-Vincentelli, Efficient Software Performance Estimation Methods
for Hardware/Software Codesign, IEICE Journal (Japan), VLD96-27, pp. 9-16,
Jul. 1996. 112. Enrico Malavasi, Edoardo Charbon, Eric Felt,
Alberto Sangiovanni-Vincentelli, Automation of IC Layout with Analog Constraints,
IEEE Transactions on Computer-Aided Design, Vol. 15, No. 8, pp. 923-942, Aug.
1996. 113. P. Stephan, Robert K. Brayton, A.
Sangiovanni-Vincentelli, Combinational Test Generation Using Satisfiability,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and
Systems, Vol. 15, No. 9, pp. 1167-1175, Sep. 1996. 114. Alexander Yakovlev, Luciano Lavagno, and
Alberto Sangiovanni-Vincentelli, A Unified Signal Transition Graph Model for
Asynchronous Control Circuit Synthesis, Formal Methods in System Design
(Kluwer), Vol. 9, No. 3, pp. 139-188, Nov. 1996. 115. S. Edwards, L. Lavagno, E.A. Lee, and A.
Sangiovanni-Vincentelli. Design of embedded systems: formal models,
validation, and synthesis. Proceedings of the IEEE, 85(3):366-390, Mar. 1997.
116. Timothy Kam, Tiziano Villa, Robert K.
Brayton and Alberto L. Sangiovanni-Vincentelli, Implicit Computation of
Compatibles Sets for State Minimization of ISFSMs, IEEE Transactions on
Computer-Aided Design of Integrated Circuits and Systems, Jul. 1997. 117. Tiziano Villa, Timothy Kam, Robert K.
Brayton and Alberto L. Sangiovanni-Vincentelli, Explicit and Implicit
Algorithms for Binate Covering Problems, IEEE Transactions on Computer-Aided
Design of Integrated Circuits and Systems, Jul. 1997. 118. Tiziano Villa, Alexander Saldanha, Robert K.
Brayton and Alberto L. Sangiovanni-Vincentelli, Symbolic Two-Level
Minimization IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems, Jul. 1997. 119. Edoardo Charbon, Enrico Malavasi, Paolo
Miliozzi and Alberto L. Sangiovanni-Vincentelli, Non-Deterministic Constraint
Generation for Analog and Mixed-Signal Layout, IEICE, Vol. E80, No. 10,pp.
1032-1043, Oct. 1997. 120. Timothy Kam, Tiziano Villa, Robert K.
Brayton and Alberto L. Sangiovanni-Vincentelli, Multi-Valued Decision
Diagrams for Logic Synthesis and Verification, International Journal on
Multiple-Valued Logic, Oct. 1997. 121. Timothy Kam, Tiziano Villa, Robert K.
Brayton and Alberto L. Sangiovanni-Vincentelli, Theory and Algorithms for
State Minimization of Nondeterministic FSM's, IEEE Transactions on
Computer-Aided Design of Integrated Circuits and Systems, Vol. 16, No. 11,
pp. 1311-1322, Nov. 1997. 122. C. M. Melliar-Smith, M.G. Borrus, D. Haggan,
T. Lowrey, A. Sangiovanni-Vincentelli and W. Troutman, The Transistor: An
Invention Becomes a Big Business Proceedings of the IEEE, Vol. 86, No. 1, pp.
1-25, Jan. 1998 123. E. Goldberg, T. Villa, R. 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. 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, pages 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, pages 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, pages 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, pages 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.L. Sangiovanni-Vincentelli, Negative Thinking in
Branch-and-Bound: the Case of Unate Covering, IEEE Transactions on
Computer-Aided Design of Integrated Circuits and Systems, Vol. 19, No. 3,
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, Jul. 30, 2000, pp.
870-881. 136. A. Balluchi, L. Benvenuti, M. Di Benedetto,
C. Pinello and A. Sangiovanni-Vincentelli, Automotive Engine Control and
Hybrid Systems: Challenges and Opportunities, Proceedings of the IEEE,
Special issue on Hybrid Systems(invited paper), pp. 888-912, 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, Issue 3, Mar. 2001, pages 341-365 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.L.
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,
submitted Dec. 2000. 145. Alberto Sangiovanni-Vincentelli and Grant
Martin, A Vision for Embedded Systems: Platform-Based Design and Software
Methodology, IEEE Design and Test of Computers, 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.L.
Sangiovanni-Vincentelli, A Framework for Modeling the Distributed Deployment
of Synchronous Designs, Formal Methods in Systems Design - An International
Journal, Springer-Verlag, Vol. 28, No. 2, Mar. 2006. 163. L.P. Carloni, R. Passerone, A. Pinto and
A.L. Sangiovanni-Vincentelli, Languages and Tools for Hybrid Systems Design,
Foundations and Trends. in Electronic Design Automation, 2006. 164. A. Balluchi, L. Benvenuti, S. Engell, T.
Geyer, K. Johansson, F. Lamnabhi-Lagarrigue, J. Lygeros, M. Morari, G.
Papafotiou, A. Sangiovanni-Vincentelli, F. Santucci, and O. Stursberg, Hybrid
Control of Networked Embedded Systems, European Journal of Control, Vol. 11,
No. 4-5, pp. 478-508, 2006. Special issue "Fundamental Issues in
Control". 165. A. Balluchi, L. Benvenuti, A. Ferrari, and
A. Sangiovanni-Vincentelli, Hybrid Systems in Automotive Electronics Design,
International Journal of Control, Vol. 79, pp. 375-394, May. 2006. Special
issue on "Advanced design methodologies in automotive control". 166. C. Umans, T. Villa, and A. Sangiovanni-Vincentelli,
The Complexity of Two-Level Logic Minimization, IEEE Transactions on CAD,
1230-1246, 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. 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. Kanayan 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, Issue 3, Aug. 2009 Page(s):229 - 240. 193. Haibo Zeng, Marco Di Natale, Paolo Giusto,
Alberto Sangiovanni-Vincentelli. "Stochastic Analysis of CAN-based
Real-time Automotive Systems". IEEE Transactions on Industrial
Informatics, Special Section on: In-Vehicle Embedded Systems, Nov. 2009. 194. 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. 195. 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. 196. Haibo Zeng, Marco Di Natale, Paolo Giusto,
and Alberto Sangiovanni -Vincentelli. Stochastic Analysis of CAN-based
Real-time Automotive Systems. In IEEE Transactions on Industrial Informatics
(TII), 5(4), Page 388-401, Nov. 2009. 197. 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. 198. 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 199. 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. 200. Arkadeb Ghosal, Daniel Iercan, Christoph M.
Kirsch, Thomas A. Henzinger, and Alberto L. Sangiovanni-Vincentelli, Separate
compilation of hierarchical real-time programs into linear-bounded embedded
machine code, Science of Computer Programming, 2010. 201. M. Di Natale, A. Ghosal, P. Giusto, A.
Sangiovanni-Vincentelli, H. Zeng and S. Seshia, Special Issue on Automotive
Embedded Systems, Guest Editorial, Vol. 2, No. 2, IEEE Embedded Systems
Letters, pp. 21-23, Jun. 2010 202. 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 203. Haibo Zeng, Marco Di Natale, Paolo Giusto,
and Alberto Sangiovanni -Vincentelli. Using Statistical Methods to Compute
the Probability Distribution of Message Response Time in Controller Area
Network IEEE Transactions on Industrial Informatics, Special Issue on
Real-Time and (Networked) Embedded Systems (TII), Vol. 6, No. 4, pp. 621-636,
Nov. 2010. 204. Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di
Natale, and Alberto Sangiovanni-Vincentelli. Optimization of Task Allocation
and Priority Assignment in Hard Real-time Distributed Systems. ACM
Transactions in Embedded Computing Systems (TECS), special issue on the Synthesis
of Cyber-Physical Systems, 2010. 205. Haibo Zeng, Marco Di Natale, Arkadeb Ghosal,
Wei Zheng, and Alberto Sangiovanni-Vincentelli. Schedule Optimization of
Time-Triggered Systems Communicating over the FlexRay Static Segment. IEEE
Transactions on Industrial Informatics (TII) 2010. 206. H. Zeng, M. Di Natale, P. Giusto and A.
Sangiovanni Vincentelli, Usisng Statistical Methods to Compute the
Probability Distribution of Message Response Time in Controller Area
Netowrks, Delays IEEE Transactions on Industrial Informatics (TII) Vol. 6,
No. 4, pp.678-691, Nov. 2010. 207. Marco Di Natale, Liangpeng Guo, Haibo Zeng,
and Alberto 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. 208. Q. Zhu, Y. Yang, M. Di Natala, 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. 209. 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, pp729-743,Nov. 2010. 210. 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. 211. 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. 212. 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, to appear in the ACM
Transactions in Embedded Computing Systems, special issue on the Synthesis of
Cyber-Physical Systems. Conferences 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 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 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. 1Brayton, Alberto
Sangiovanni-Vincentelli, and Sartaj Sahni, Performance Enhancement through
the Generalized Bypass Transform, Proceedings IEEE International Conference
on Computer Aided Design (ICCAD-91), Santa Clara CA, pp. 184-187, 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 /bf [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 /bf [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.L. 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. P. Carloni, T. Villa, and
Alberto L. Sangiovanni-Vincentelli, An Implicit Formulation for Exact BDD
Minimization of Incompletely Specified Functions, Proceedings of VLSI'97,
Gramado, Brazil, pp.315-326, 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.L.
Sangiovanni-Vincentelli, Multi-valued Network Simplification using Redundancy
Removal, SRC Techcon, Las Vegas, Sept 1998. 316. A. Balluchi, A. Bicchi, G. Padroni, C.
Rossi, and A.L. Sangiovanni-Vincentelli, Hybrid Optimization Problems in
Automotive Applications, Proceedings of IFAC International Workshop on Motion
Control, Grenoble, France, pp.273-78, Sept 1998. 317. W. Gosti, A. Narayan, R.K. Brayton and A.
Sangiovanni-Vincentelli, Wireplanning in Logic Synthesis, Proc. of the 1998
International Conf. on CAD, ICCAD 98, pp. 26-33, 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. P. 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. P. 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.P. Carloni, A. Sangiovanni-Vincentelli,
Performance Analysis and Optimization of Latency Insensitive Protocols, in
Proceedings of the Design Automation Conference, DAC '00, Los Angeles, USA,
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. 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. Brayton, A.
Sangiovanni-Vincentelli, Binary and Multi-valued SPFD-based wire removal in
PLA networks, Proc. ICCD, Oct. 2000. 362. Luca Daniel, Alberto Sangiovanni-Vincentelli
and Jacob White, Interconnect Electromagnetic Modeling using Conduction Modes
as Global Basis Functions, IEEE 9th Topical Meeting on Electrical Performance
of Electronic Packages, pages 203-206, Scottsdale, AZ, 23-25 Oct. 2000. 363. Alberto Sangiovanni-Vincentelli, Automotive
Electronics: Trends and Challenges, in Convergence 2000, Detroit, MI, Oct.
2000. 364. S. Khatri, R. Brayton, A.
Sangiovanni-Vincentelli, Cross-Talk Immune VLSI Design using a Network of
PLAs Embedded in a Regular Layout Fabric, Proc. ICCAD, Nov. 2000 365. H. Hsieh, F. Balarin, L. Lavagno, A.
Sangiovanni-Vincentelli, Refining Abstract Equivalence Analysis for Embedded
System Design, Proc. ICCAD, Nov. 2000. 366. A. Balluchi, A. Bicchi, C. Caterini, C.
Rossi, and A. 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. 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. 370. Luca Daniel, Alberto Sangiovanni-Vincentelli
and Jacob White, Using Conduction Modes Basis Functions for Efficient
Electromagnetic Analysis of On-Chip and Off-Chip Interconnect, Proceedings of
the 38th Design Automation Conference, Las Vegas, 18-22 Jun. 2001. 371. 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. 372. 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. 373. 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. 374. Jerry Burch, Roberto Passerone, A.
Sangiovanni-Vincentelli, Using multiple levels of abstractions in embedded
software design in T.A. Henzinger, C.M. Kirsch (Eds.):Embedded Software,
First International Workshop, EMSOFT 2001, Springer Verlag, LNCS 2211, Tahoe
City, CA, USA, Oct. 8-10, 2001, 375. N. Yevtushenko, T. Villa, R. Brayton, A.
Petrenko, A. Sangiovanni-Vincentelli, Solution of Parallel Language Equations
for Logic Synthesis., Proceedings of the International Conference on Computer
Aided Design, Nov. 4-8, 2001, San Jose, CA. 376. Luca Daniel, Alberto Sangiovanni-Vincentelli
and Jacob White, Techniques for Including Dielectrics when Extracting
Low-Order Models of High Speed Interconnect, Proceedings of the International
Conference on Computer Aided Design, Nov. 4-8, 2001, San Jose, CA. 377. Amit Nandi, Radu Marculescu, Luciano Lavagno,
Alberto Sangiovanni-Vincentelli, System-Level Power/Performance Analysis of
Portable Multimedia Systems Communicating over Wireless Channels, Proceedings
of the International Conference on Computer Aided Design, Nov. 4-8, 2001, San
Jose, CA 378. Wilsin Gosti, Sunil Khatri, Alberto
Sangiovanni-Vincentelli, Addressing the Timing Closure Problem by Integrating
Logic Optimization and Placement, Proceedings of the International Conference
on Computer Aided Design, Nov. 4-8, 2001, San Jose, CA. 379. Felice Balarin, Jerry Burch, Luciano
Lavagno, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Yosinori
Watanabe, Constraints Specification at Higher Levels of Abstraction ,
Proceedings of the IEEE International High Level Design Validation and Test
Workshop 2001, Nov. 7-9, 2001, Monterey,, CA. 380. Alberto Sangiovanni-Vincentelli and Grant
Martin, A Vision for Embedded Software, CASES 2001, Atlanta Georgia Nov.
2001, pp. 1-7 381. 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). 382. Marco Antoniotti, Alberto Ferrari, Luciano
Lavagno, Alberto Sangiovanni-Vincentelli, Ellen Sentovich Embedded System
Design Specification: Merging Reactive Control and Data Computation , Proc.
40th IEEE Conference on Decision and Control, (Orlando, Florida), Dec. 2001.
(invited paper). . 383. M. Baleani, M. Conti, A. Ferrari, A.
Sangiovanni-Vincentelli, HW/SW Co-design of a Multiple Injection Driver
Automotive Subsystem Using a Configurable System on Chip, Proc. of DATE 02,
Paris, Mar. 4-8, 2002. 384. Luigi Palopoli, Claudio Pinello, Alberto
Sangiovanni Vincentelli, Laurent Elghaoui, Antonio Bicchi, Synthesis of
robust control systems under resource constraints, Lecture Notes in Computer
Science, Proceedings of the Hybrid Systems: Computation and Control,
Stanford, USA, Mar. 2002. 385. M. Baleani, F. Gennari, Y. Jiang, Y. Patel,
R.K. Brayton, A. Sangiovanni-Vincentelli, HW/SW Partitioning and Code
Generation of Embedded Control Applications on a Reconfigurable Architecture
Platform, Proceedings of the 10th International Symposium on
Hardware/Software Codesign (CODES), Estes Park, Colorado, USA May. 6-8, 2002 386. Farinaz Koushanfar, Miodrag Potkonjak,
Alberto Sangiovanni-Vincentelli, Fault tolerance in wireless ad-hoc sensor
networks, IEEE Sensors 2002, Jun. 2002. 387. A. Pinto, L.P. Carloni and A.L.
Sangiovanni-Vincentelli, Constraint-Driven Communication Synthesis,
Proceedings of the Design Automation Conference, Jun. 2002. 388. J. Burch, R. Passerone, A.L.
Sangiovanni-Vincentelli, Modeling Techniques in Design-by-Refinement
Methodologies , Proceedings of Integrated Design and Process Technology, Jun.
2002. 389. A. Balluchi, L. Benvenuti and A.L.
Sangiovanni-Vincentelli, Observers for Hybrid Systems with Continuous State
Resets , Proceedings of the 10th Mediterranean Conference on Control and
Automation (MED2002), Lisbon, Portugal, Jul. 2002. 390. A. Balluchi, L. Benvenuti, L. Berardi, E. De
Santis, M. D. Di Benedetto, G. Girasole, and G. Pola, Engine idle speed
control via maximal safe set computation in the crank-angle domain , in Proc.
2002 IEEE International Symposium on Industrial Electronics, Vol. 2,
L'Aquila, Italy, pp. 618-622, Jul. 2002. 391. N. Yevtushenko, T. Villa, R. Brayton, A.
Petrenko, Alberto Sangiovanni-Vincentelli, Solution of Synchronous Language
Equations for Logic Synthesis , Proceedings of The Biannual 4th Russian
Conference with Foreign Participation on Computer-Aided Technologies in
Applied Mathematics, Tomsk (Russia), Sep. 2002. 392. L. P. Carloni, F. De Bernardinis, Alberto
Sangiovanni-Vincentelli, M. Sgroi, The Art and Science of Integrated Systems
Design , Proceedings of the 28th European Solid-State Circuits Conference,
Sep. 2002. 393. M. Baleani, M. Conti, A. Ferrari, V.
Frascolla, and Alberto L. Sangiovanni-Vincentelli, An Enhanced POLIS
Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC
Platforms , Proceedings of International Conference on Field Programmable Logic
and Applications, FPL'02, La Grande-Motte (Montpellier), France, Sep. 2002. 394. R. Chen, M. Sgroi, G. Martin, L. Lavagno, A.
Sangiovanni-Vincentelli, J. Rabaey, Embedded System Design Using UML and
Platforms , Proceedings of Forum on Specification & Design Languages 2002
(FDL'02), Marseille, France, Sep. 24-27, 2002. 395. F. Koushanfar, S. Slijepcevic, M. Potkonjak,
A. Sangiovanni-Vincentelli, Error-Tolerant Multimodal Sensor Fusion,
Proceedings of IEEE CAS Workshop on Wireless Communications and Networking,
Sep. 2002. 396. Gregor Goessler, Alberto
Sangiovanni-Vincentelli, Compositional Modeling in Metropolis , Proceedings
of EMSOFT'02. Grenoble, France, Oct. 7-9, 2002. 397. L. Daniel, A. Sangiovanni-Vincentelli, J.
White, Proximity Templates for Modeling of Skin and Proximity Effects on
Packages and High Frequency Interconnect , Proceedings of International
Conference on Computer Aided Design, San Jose, CA. Nov 10-14, 2002. 398. Roberto Passerone, Luca de Alfaro, Thomas A.
Henzinger, Alberto Sangiovanni-Vincentelli, Convertibility Verification and
Converter Synthesis: Two Faces of the Same Coin , Proceedings of
International Conference on Computer Aided Design, San Jose, CA. Nov 10-14,
2002. 399. Luigi Palopoli, Antonio Bicchi, Alberto
Sangiovanni-Vincentelli, Numerically Efficient Control of Systems with
Communication Constraints , Proceedings of the 41st IEEE Conference on
Decision and Control (CDC02), Las Vegas, USA, Dec. 2002. 400. A. Balluchi, L. Berardi, M. D. Di Benedetto,
A. Ferrari, G. Girasole and Alberto Sangiovanni-Vincentelli, Integrated
control-implementation design , in Proc. 41st IEEE Conference on Decision and
Control vol.2, Las Vegas, NV, USA, pp.1337-1342,Dec. 2002. 401. A. Balluchi, A. Ferrari, Alberto
Sangiovanni-Vincentelli, R. Flora, G. Gaviani, W. Nesci, G. Serra, Functional
and Architectural Specification for Power-train Control System Design,
Proceedings of the 2nd IFAC Conference on Mechatronic Systems, Berkeley, CA,
USA, Dec. 2002. 402. L. Mangeruca, A. Ferrari, Alberto
Sangiovanni-Vincentelli, A. Pierantoni, M. Pennese, System Level Design of
Embedded Controllers: Knock Detection, a Case Study in the Automotive Domain,
Proceedings of Design, Automation and Test in Europe 2003 (DATE'03), Messe
Munich, Germany, Mar. 2003. 403. 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. 404. 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. 405. 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. 406. 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. 407. 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. 408. 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. 409. 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. 410. 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. 411. L. P. 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. 412. L. P. 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. 413. L. P. 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. 414. A. Benveniste, L. P. 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.
415. 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. 416. 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. 417. 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. 418. A. Balluchi, L. Benvenuti, M. D. Di
Benedetto and Alberto Sangiovanni-Vincentelli, Observability for Hybrid
Systems, in Proc. 42nd IEEE Conference on Decision and Control, Maui, Hawaii,
USA, pp. 1159-1164, Dec. 2003. 419. M. Zoncu, A. Balluchi, Alberto
Sangiovanni-Vincentelli, A. Bicchi, On the Stabilization of Linear
Discrete-time Hybrid Automata, in Proc. 42nd IEEE Conference on Decision and
Control, Maui, Hawaii, USA, pp. 1147-1152, Dec. 2003. 420. Alessandra Nardi, Haibo Zeng, Joshua L.
Garrett, Luca Daniel and Alberto L. Sangiovanni-Vincentelli, A Methodology
for the Computation of an Upper Bound on Nose Current Spectrum of CMOS
Switching Activity, Proceedings of the 2003 IEEE/ACM international conference
on Computer-aided design (ICCAD'03), Nov. 2003. 421. 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. 422. 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. 423. 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. 424. 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. 425. 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. 426. 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. 427. 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. 428. 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. 429. 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). 430. 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. 431. Guang Yang, Yosinori Watanabe, Felice
Balarin, Alberto Sangiovanni-Vincentelli, Separation of Concerns: Overhead in
Modeling and Efficient Simulation Techniques, Fourth ACM International
Conference on Embedded Software (EMSOFT'04), Sep. 27-29, 2004, Pisa, Italy. 432. Alberto Casagrande, Andrea Balluchi, Luca
Benvenuti, Alberto Policriti, Tiziano Villa and Alberto
Sangiovanni-Vincentelli, Improving Reachability Analysis of Hybrid Automata
for Engine Control, in Proc. 43rd IEEE Conference on Decision and Control,
Vol. 3, Atlantis, Paradise Island, Bahamas, pp. 2322-2327, Dec. 2004. 433. A. Benveniste, B. Caillaud, L.P. Carloni, P.
Caspi, and A.L. 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 434. F. De Bernardinis, S. Gambini, F. Vincis, F.
Svelto, R. Castello, A. Sangiovanni Vincentelli, Design Space Exploration for
a UMTS frontend exploiting Analog Platforms, in Proc. of ICCAD 2004, pp. 923-930.
435. Lin Yuan, Gang Qu, Tiziano Villa, and
Alberto Sangiovanni-Vincentelli, FSM Re-Engineering and Its Application in
Low Power State Encoding, Proceedings of ASP-DAC 2005, Jan. 2005, Shanghai,
China. 436. M. Baleani, A. Ferrari, L. Mangeruca, A.L.
Sangiovanni-Vincentelli, U. Freund, E. Schlenker, H.-J. Wolff,
Correct-by-Construction Transformations across Design Environments for
Model-Based Embedded Software Development, Proceedings of Design, Automation
and Test in Europe 2005 (DATE'05), Munich, Germany, Mar. 2005. 437. W. Zheng, J. Chong, C. Pinello, S. Kanajan,
A. Sangiovanni-Vincentelli, Extensible and Scalable Time Triggered
Scheduling, In proceedings of International Conference on Application of
Concurrency to System Design (ACSD05) 438. M. McKelvin, J. Sprinkle, C. Pinello, and A.
Sangiovanni-Vincentelli, Fault Tolerant Data Flow Modeling Using the Generic
Modeling Environment, 12th Annual IEEE International Conference and Workshop
on the Engineering of Computer Based Systems (ECBS), Apr. 2005, Greenbelt,
Maryland, USA. 439. A. Pinto, A. Sangiovanni-Vincentelli, L. P.
Carloni, and R. Passerone, Interchange Formats for Hybrid Systems: Review and
Proposal, Proceedings of the Eighth International Workshop on Hybrid Systems
: Computation and Control (HSCC05), 2005. 440. C. Umans, T. Villa, and A.
Sangiovanni-Vicentelli, How Hard is Two-Level Logic Minimization: an Addendum
to Garey & Johnson, Proceedings of International Workshop on Logic and
Synthesis, Lake Arrowhead, California, Jun. 2005. 441. Xi Chen, Abhijit Davare, Harry Hsieh,
Alberto Sangiovanni-Vincentelli and Yosinori Watanabe, Simulation based
deadlock analysis for system level designs, in Proceedings of Design
Automation Conference (DAC'05), Jun. 2005. 442. F. De Bernardinis, P. Nuzzo and A.
Sangiovanni Vincentelli, Mixed Signal Design Space Exploration through Analog
Platforms, in Proceedings of Design Automation Conference (DAC'05), pp.
875-880, Jun. 2005. 443. A. Balluchi, L. Benvenuti, C. Lemma, A.
Sangiovanni-Vincentelli, and G. Serra, Actual engaged gear identification: a
hybrid observer approach , in Proc. of the 16th IFAC World Congress, Prague,
CZ, Jul. 2005. Best Applications Paper Prize. 444. L. Albertoni, A. Balluchi, A. Casavola, C.
Gambelli, E. Mosca, and A. Sangiovanni-Vincentelli, Idle speed control of
port-injection engines via the polynomial equation approach , in Proc. of the
16th IFAC World Congress, Prague, CZ, Jul. 2005. 445. C. Liu, A. Kondratyev, Y. Watanabe, and A.
Sangiovanni-Vicentelli, A Structural Approach to Quasi-Static Schedulability
Analysis of Communicating Concurrent Programs, Proceedings of the ACM
International Conference on Embedded Software (EMSOFT'05), Jersey City, NJ,
USA, Sep. 2005. 446. A. Benveniste, B. Caillaud, L.P. Carloni,
and A. Sangiovanni-Vincentelli, Tag Machines, Proceedings of the ACM
International Conference on Embedded Software (EMSOFT'05), Jersey City, NJ,
USA, Sep. 2005. 447. A. Bonivento, L.P. Carloni, and A.L.
Sangiovanni-Vincentelli, Rialto: a Bridge between Description and
Implementation of Control Algorithms for Wireless Sensor Networks,
Proceedings of the ACM International Conference on Embedded Software
(EMSOFT'05), Jersey City, NJ, USA, Sep. 2005. 448. Mark L. McKelvin, Jr., Gabriel Eirea,
Claudio Pinello, Sri Kanajan, and Alberto Sangiovanni-Vincentelli, A Formal
Approach to Fault Tree Synthesis for the Analysis of Distributed Fault
Tolerant Systems, Proceedings of the ACM International Conference on Embedded
Software (EMSOFT'05), Jersey City, NJ, USA, Sep. 2005. 449. Abhijit Davare, Qi Zhu, John Moondanos and
Alberto Sangiovanni-Vincentelli, JPEG Encoding on the Intel MXP5800: A
Platform-Based Design Case Study, IEEE 2005 3rd Workshop on Embedded Systems
for Real-time Multimedia, Sep. 2005. 450. P. Nuzzo, F. De Bernardinis, P. Terreni, and
A. Sangiovanni Vincentelli, Enriching an Analog Platform for
Analog-to-Digital Converter Design, in Proceedings of ISCAS 2005, pp.
1286-1289. 451. A. Balluchi, A. Casagrande, P. Collins, P.
Murrieri, T. Villa, and A. Sangiovanni-Vincentelli, Ariadne: a library for
computing with hybrid automata , in Atti del XLIII Congresso Annuale AICA,
vol. 1, Udine, Italy, pp. 475-484, Oct. 2005. 452. A. Bonivento, C. Fischione, A.L.
Sangiovanni-VIncentelli, F. Graziosi and F. Santucci, SERAN: A Semi Random
Protocol Solution for Clustered Wireless Sensor Networks, in Proceedings of
MASS, Washington D.C., Nov. 2005. 453. A. Agostini, A. Balluchi, A. Bicchi, B.
Piccoli, A. Sangiovanni-Vincentelli, and K. Zadarnowska, Randomized
algorithms for platform-based design , in Proc. of the 44th IEEE Conference
on Decision and Control, and the 2005 European Control Conference, Seville,
Spain, pp. 6638-6643, Dec. 2005. 454. A. Balluchi, L. Benvenuti, and A.
Sangiovanni-Vincentelli, Hybrid systems in automotive electronics design , in
Proc. of the 44th IEEE Conference on Decision and Control, and the 2005
European Control Conference, Seville, Spain, pp. 5618-5623, Dec. 2005. 455. Y. Li, F. De Bernardinis, B. Otis, J. M.
Rabaey, and A. Sangiovanni-Vincentelli, A Low-Power Mixed-Signal Baseband
System Design for Wireless Sensor Networks, in Proceedings of CICC 2005. 456. A. Bonivento, C. Fischione and A.L.
Sangiovanni-Vincentelli, Randomized Protocol Stack for Ubiquitous Networks in
Indoor Environment, in Proceedings of Consumer Communication and Network
Conference (CCNC), Las Vegas., Jan. 2006. 457. C. Fischione, A. Bonivento, A.L.
Sangiovanni-Vincentelli, F. Santucci and K.H. Johansson, Performance Analysis
of Collaborative Spatio-Temporal Processing for Wireless Sensor Networks, in
Proceedings of Consumer Communication and Network Conference (CCNC), Las
Vegas., Jan. 2006. 458. Guang Yang, Xi Chen, Felice Balarin, Harry
Hsieh and Alberto Sangiovanni-Vincentelli, Communication and Co-Simulation
Infrastructure for Heterogeneous System Integration, in Proceedings of Design
Automation and Test in Europe (DATE'06), Mar. 2006. 459. Douglas Densmore, Adam Donlin and Alberto
Sangiovanni-Vincentelli, FPGA Architecture Characterization for System Level
Performance Analysis, in Proceedings of Design Automation and Test in Europe
(DATE'06), Mar. 2006. 460. Sri Kanajan, Haibo Zeng, Claudio Pinello and
Alberto Sangiovanni-Vincentelli, Exploring trade-off's between centralized
versus decentralized automotive architectures using a virtual integration
environment, in Proceedings of Design Automation and Test in Europe
(DATE'06), Mar. 2006. 461. A. Bonivento, L.P. Carloni and A.L.
Sangiovanni-VIncentelli, Platform Based Design of Wireless Sensor Networks
for Industrial Applications, in Proceedings of Design Automation and Test in
Europe (DATE'06), Mar. 2006. 462. Haibo Zeng, Abhijit Davare, Alberto
Sangiovanni-Vincentelli, Sampada Sonalkar, Sri Kanajan and Claudio Pinello,
Design Space Exploration of Automotive Platforms in Metropolis, Society of
Automotive Engineers Congress, Apr. 2006. 463. C. Fischione, A. Bonivento, K.H. Johansson
and A.L. Sangiovanni-Vincentelli, Cooperative Diversity with Disconnection
Constraints and Sleep Discipline for Power Control in Wireless Sensor
Networks, in Proceedings of Vehicular Technology Conference, Apr. 2006. 464. A. Balluchi, L. Benvenuti, M. D. Benedetto,
T. Villa, and A. Sangiovanni-Vincentelli, Idle speed control - a benchmark
for hybrid system research , in Proc. 2nd IFAC Conference on Analysis and
Design of Hybrid Systems (ADHS06), Alghero, Italy, Jun. 2006. 465. A. Balluchi, A. Casagrande, P. Collins, A.
Ferrari, T. Villa, and A. Sangiovanni-Vincentelli, Ariadne: a framework for
reachability analysis of hybrid automata , in Proc. 17th International
Symposium on Mathematical Theory of Networks and Systems (MTNS2006), Kyoto,
Japan, Jul. 2006. 466. Shinjiro Kakita, Yosinori Watanabe, Douglas
Densmore, Abhijit Davare and Alberto Sangiovanni-Vincentelli, Functional
Model Exploration for Multimedia Applications via Algebraic Operators , in
Proceedings of the 6th International Conference on Application of Concurrency
to System Design (ACSD06), Turku, Finland, Jun. 2006. 467. Cong Liu, Alex Kondratyev, Yosinori
Watanabe, Jorg Desel and Alberto Sangiovanni-Vincentelli, Schedulability Analysis
of Petri Nets Based on Structural Properties , in Proceedings of the 6th
International Conference on Application of Concurrency to System Design
(ACSD06), Turku, Finland, Jun. 2006. 468. Qi Zhu, Nathan Kitchen, Andreas Kuehlmann
and Alberto Sangiovanni-Vincentelli, SAT Sweeping with Local Observability
Don't Cares , in Proceedings of the 43rd Design Automation Conference
(DAC-06), San Francisco, California, Jul. 2006. 469. 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,"
in Proc. 2006 IEEE/ACM Intl. Conf. on Computer-Aided Design (ICCAD '06), New
York, NY: The Association for Computing Machinery, Inc., 2006, pp. 809-814. 470. Mark L. McKelvin, Jr., Claudio Pinello, Sri
Kanajan, Joseph Wysocki, and Alberto Sangiovanni-Vincentelli, Model-Based
Design of Heterogeneous Systems for Fault Tree Analysis , in Proceedings of
the 24th International System Safety Conference, Rodney J. Simmons, Ph. D.,
CSP and Norman J. Gauthier, System Safety Society, 400-409, Aug. 2006. 471. A. Benveniste, B. Caillaud, L.P. Carloni, P.
Caspi, A.L. Sangiovanni-Vincentelli and S. Tripakis, Communication by
Sampling in Time-Sensitive Distributed Systems , in Proceedings of the Sixth
International Conference on Embedded Software (EMSOFT), Seoul, Korea, Oct.
2006. 472. Arkadeb Ghosal, Thomas A. Henzinger, Daniel
Iercan, Christoph Kirsch and Alberto Sangiovanni-Vincentelli, A Hierarchical
Coordination Language for Interacting Real-Time Tasks , in Proceedings of the
Sixth International Conference on Embedded Software (EMSOFT), Seoul, Korea,
Oct. 2006. 473. L. Mangeruca, M. Baleani, A. Ferrari and A.
Sangiovanni-Vincentelli, Uniprocessor Scheduling Under Precedence Constraints
, in Proceedings of the 12th IEEE Real-Time and Embedded Technology and
Applications Symposium (RTAS'06), Washington, DC, 2006. 474. G. Yang, H. Hsieh, X. Chen, F. Balarin and
A. Sangiovanni-Vincentelli, Constraints Assisted Modeling and Validation in
Metropolis Framework, in Proceedings of The 40th Asilomar Conference on
Signals, Systems, and Computers, Pacific Grove, California, Nov. 2006. 475. F. De Bernardinis, P. Nuzzo, and A.
Sangiovanni Vincentelli, Robust system level design with analog platforms, in
Proceedings of International Conference on Computer Aided Design, pp.
334-341, Nov. 2006. 476. Abhijit Davare, Douglas Densmore, Trevor
Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang,
Haibo Zeng and Qi Zhu, A Next-Generation Framework for Platform-Based Design,
in Proceedings of Design and Verification Conference (DVCon'07), San Jose,
CA, Feb. 2007. 477. 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," in Proc. 2007 IEEE Wireless Communications and Networking
Conf. (WCNS '07), Piscataway, NJ: IEEE Press, 2007, pp. 3366-3371. 478. T. Villa, S. Zharikova, N. Yevtushenko, R.
Brayton and A. Sangiovanni-Vincentelli, A New Algorithm for the Largest
Compositionally Progressive Solution of Synchronous Language Equations, in
Proceedings of the 17th Great Lakes Symposium on VLSI, Stresa (Italy), Mar.
2007. 479. Wei Zheng, Marco Di Natale, Claudio Pinello,
Paolo Giusto and Alberto Sangiovanni-Vincentelli, Optimizing End-to-end
Latencies by Adaptation of the Activation Events in Distributed Automotive
Systems, best paper at the 13th IEEE Real-Time and Embedded Technology and
Applications Symposium (RTAS'07), Bellevue, WA, Apr. 2007. 480. Wei Zheng, Marco Di Natale, Claudio Pinello,
Paolo Giusto and Alberto Sangiovanni-Vincentelli, Synthesis of Task and
Message Activation Models in Real-time Distributed Automotive Systems, in
Proceedings of Design Automation and Test in Europe (DATE'07), Nice, France,
Apr. 2007. 481. Arkadeb Ghosal, Sri Kanajan, Randall Urbance
and Alberto Sangiovanni-Vincentelli, An Initial Study on Monetary Cost
Evaluation for the Design of Automotive Electronic Architectures, Society of
Automotive Engineers Congress, Apr. 2007. Also in SAE 2007 Transactions
Journal of Passenger Cars: Electronic and Electrical Systems. 482. Abhijit Davare, Qi Zhu, Marco Di Natale,
Claudio Pinello, Sri Kanajan and Alberto Sangiovanni-Vincentelli, Period
Optimization for Hard Real-time Distributed Automotive Systems, best paper at
the 44th Design Automation Conference (DAC'07), San Diego, California, Jun.
2007. 483. Guoqiang Wang, Marco Di Natale and Alberto
Sangiovanni Vincentelli, "An OSEK/VDX Implementation of Synchronous
Reactive Semantics Preserving Communication Protocols," OSPERT,
pp.58-67, 2007 Workshop on Operating Systems Platforms for Embedded Real-Time
applications, Pisa, Italy, Jul. 3, 2007. 484. A. Balluchi, A. Bicchi, E. Mazzi, A.
Sangiovanni-Vincentelli and G. Serra, Hybrid Multi-rate Control of the
Common-Rail, in Proceedings of the European Control Conference, pages 54-61,
Jul. 2007. 485. A. Balluchi, C. D'Apice, M. Gaeta, B.
Piccoli and A. Sangiovanni-Vincentelli, Equilibria and Feedback for a Hybrid
Model of Idle Speed Control, in Proceedings of the IEEE Africon 2007,
Windhoek, Namibia, Sep. 2007. 486. Alessandro Pinto, Luca P. Carloni and
Alberto L. Sangiovanni-Vincentelli, A Communication Synthesis Infrastructure
for Heterogeneous Networked Control Systems and Its Application to Building
Automation and Control, in Proceedings of the Embedded Systems Software
Conference (EMSOFT'07), Salzburg, Austria, Oct. 2007. 487. Albert Benveniste, Paul Caspi, Marco Di
Natale, Claudio Pinello, Alberto Sangiovanni-Vincentelli and Stavros
Tripakis, Loosely Time-Triggered Architectures based on
Communication-by-Sampling: MoCC and Properties, in Proceedings of the
Embedded Systems Software Conference (EMSOFT'07), Salzburg, Austria, Oct.
2007. 488. Arkadeb Ghosal, Thomas A. Henzinger, Daniel
Iercan, Christoph Kirsch and Alberto Sangiovanni-Vincentelli, Separate
Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded
Machine Code, in Proceedings of Automatic Program Generation for Embedded
Systems (APGES), Salzburg, Austria, Oct. 2007. 489. Wei Zheng, Qi Zhu, Marco Di Natale and
Alberto Sangiovanni-Vincentelli, "Definition of Task Allocation and
Priority Assignment in Hard Real-Time Distributed Systems", 28th IEEE
Real-Time Systems Symposium (RTSS'07), Tuscon, Arizona, Dec. 2007. 490. Yanmei Li, Jan Rabaey and Alberto
Sangiovanni-Vincentelli, Analysis of Interference Effects in MB-OFDM UWB
Systems, in Proceedings of the IEEE Wireless Communications & Networking
Conference (WCNC), Las Vegas, Mar. 2008. 491. Krishnendu Chatterjee, Arkadeb Ghosal,
Daniel Iercan, Christoph Kirsch, Thomas A. Henzinger, Claudio Pinello and
Alberto Sangiovanni-Vincentelli, Logical Reliability of Interacting Real-time
Tasks, in Proceedings of Design, Automation and Test in Europe (DATE'08),
Munich, Germany, Mar. 2008. 492. Arkadeb Ghosal, Sri Kanajan, Randall Urbance
and Alberto Sangiovanni-Vincentelli, A Study on Monetary Cost Evaluation for
the Design of Electrical Architectures for Automotive Product Lines, Society
of Automotive Engineers Congress, Apr. 2008. Also in SAE 2008 Transactions
Journal of Passenger Cars: Electronic and Electrical Systems. 493. L. Benvenuti, A. Ferrari, E. Mazzi and A.
Sangiovanni-Vincentelli, Contract Based Design for Computation and
Verification of a Closed-loop Hybrid System, in Proceedings of Hybrid
Systems: Computation and Control (HSCC'08), Apr. 2008. 494. Yanmei Li, Chang-Ching Wu, Alberto
Sangiovanni-Vincentelli and Jan M. Rabaey, Design and Optimization of an
MB-OFDM Ultra-Wideband Receiver Front-End, in Proceedings of the IEEE
International Conference on Circuits & Systems for Communications,
Shanghai, China, May, 2008. 495. 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, Proc. of Fifth Annual
IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc
Communications and Networks (SECON 08), San Francisco, CA, USA, Jun. 2008. 496. Pinto, M. D'Angelo, C. Fischione, E.
Scholte, A. Sangiovanni-Vincentelli, Synthesis of Embedded Networks for
Building Automation and Control, Proc. of American Control Conference (ACC
08), Seattle, Washington, Jun. 2008. 497. L. Benvenuti, D. Bresolin, A. Casagrande, P.
Collins, A. Ferrari, E. Mazzi, A. Sangiovanni-Vincentelli and T. Villa,
Reachability Computation for Hybrid Systems with Ariadne, in Proceedings of
the 17th IFAC World Congress (IFAC 2008), Seoul, South Korea, Jul. 2008. 498. E. Mazzi, A. Sangiovanni-Vincentelli, A.
Balluchi and A. Bicchi, Hybrid System Model Reduction, the 47th IEEE
Conference on Decision and Control, Dec. 2008. 499. L. Benvenuti, A. Ferrari, E.Mazzi and A.
Sangiovanni-Vincentelli, Composing Hybrid Systems, the 47th IEEE Conference
on Decision and Control, Dec. 2008. 500. M. D'Angelo, C. Fischione, M. Butussi, A.
Pinto, and A. Sangiovanni-Vincentelli. "Outage-based rate maximization
in CDMA wireless networks," In Procs. of the 2008 IEEE Global
Telecommunications Conference, New Orleans, LA, USA, 2008. 501. S.C. Ergen, C. Fischione, D. Marandin, and
A. Sangiovanni-Vincentelli. "Duty-cycle optimization in unslotted
802.15.4 wireless sensor networks," In Procs. of the 2008 IEEE Global
Telecommunications Conference, New Orleans, LA, USA, 2008. 502. Marco Di Natale, Guoqiang Wang, Alberto
Sangiovanni Vincentelli, "Optimizing the Implementation of Communication
in Synchronous Reactive Models," RTAS, pp.169-179, 2008 IEEE Real-Time
and Embedded Technology and Applications Symposium, 2008. 503. Qi Zhu, Abhijit Davare and Alberto
Sangiovanni-Vincentelli, "A Formal Approach for Optimizing Mapping in
System Level Design", TECHCON 2008, Austin, TX, Nov. 2008. 504. Guoqiang Wang, Marco Di Natale, Pieter J.
Mosterman, Alberto Sangiovanni-Vincentelli, "Automatic Code Generation
for Synchronous Reactive Communication," ICESS, pp.40-47, 2009
International Conference on Embedded Software and Systems, 2009. 505. Qi Zhu, Yang Yang, Eelco Scholte, Marco Di
Natale and Alberto Sangiovanni-Vincentelli, "Optimizing Extensibility in
Hard Real-Time Distributed Systems", 15th IEEE Real-Time and Embedded
Technology and Applications Symposium (RTAS), San Francisco, CA, Apr. 2009. 506. P. Nuzzo, C. Nani, C. Armiento, A.
Sangiovanni-Vincentelli, J. Craninckx, G. Van der Plas, "A 50-MS/s
Threshold Configuring SAR ADC in 90-nm Digital CMOS," Proc. VLSI
Symposium on Circuits, pp. 238-239, Kyoto, Japan, Jun. 2009. 507. X. Sun, P. Nuzzo, C.-C. Wu, A.
Sangiovanni-Vincentelli, "Contract-based system-level composition of
analog circuits," in Proceedings of Design Automation Conference 2009,
pp. 605-610, Jul. 2009. 508. Haibo Zeng, Wei Zheng, Marco Di Natale,
Paolo Giusto, Arkadeb Ghosal, Alberto Sangiovanni-Vincentelli.
"Scheduling the FlexRay bus using optimization techniques". In
Proceedings of the 46th ACM/IEEE Design Automation Conference (DAC), Jul.
2009. 509. Haibo Zeng, Marco Di Natale, Paolo Giusto,
Alberto Sangiovanni-Vincentelli. "Statistical Analysis of Controller
Area Network Message Response Times". In Proceedings of the IEEE
Symposium on Industrial Embedded Systems (SIES), Jul. 2009. [Best Paper
Award]. 510. D. Densmore, A. Simalatsar, A. Davare, R.
Passerone, and A. Sangiovanni-Vincentelli. "UMTS MPSoC design evaluation
using a system level design framework," In Procs. of the 2009 Design,
Automation, and Test in Europe Conference and Exhibition (DATE'09),
pp.478-483, Nice, France, 2009. 511. Wenchao Li, M. Di Natale, Wei Zheng, P.
Giusto, A. Sangiovanni-Vincentelli, and S.A. Seshia. "Optmizations of an
application-level protocol for enhanced dependability in FlexRay," In
Procs. of the 2009 Design, Automation, and Test in Europe Conference and
Exhibition (DATE'09), pp.1076-1081, Nice, France, 2009. 512. 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," In Procs. of the 2009 6th Annual IEEE Communications Society
Conference on Sensor, Mesh and Ad Hoc Communications and Networks, Rome,
Italy, 2009. 513. A. Bonivento, C. Fischione, and A.
Sangiovanni-Vincentelli. "SERAN: a protocol for clustered WSNs in
industrial control and automation," In Procs. of the 2009 6th Annual
IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc
Communications and Networks, Rome, Italy, 2009. 514. C. Fischione, A. Speranzon, K. H. Johansson,
and A. Sangiovanni-Vincentelli. "Peer-to-peer estimation over wireless
sensor networks via Lipschitz optimization," In Procs. of the 2009 8th
ACM/IEEE International Conference on Information Processing in Sensor
Networks (IPSN), pp. 241-252, San Francisco, CA, USA, 2009. 515. Chang-Ching Wu, Xuening Sun, Alberto
Sangiovanni-Vincentelli, and Jan Rabaey. "A 2.2mW CMOS LNA for 6-8.5GHz
UWB Receivers," In Procs. of the 2010 ISCAS May. 2010. 516. Mohammad M. R. Mozumdar, Luciano Lavagno,
Laura Vanzago, and Alberto Sangiovanni-Vincentelli. "HILAC: A framework
for hardware in the loop simulation and multi-platform automatic code
generation of WSN applications," In Procs. of the IEEE Symposium on
Industrial Embedded Systems - SIES Jul. 2010. 517. Yang Yang, Alessandro Pinto, Alberto
Sangiovanni-Vincentelli, and Qi Zhu. "A Design Flow for Building
Automation and Control Systems," Real-Time Systems Symposium, IEEE
International, pp. 105-116, 2010 31st IEEE Real-Time Systems Symposium, 2010.
518. P. Nuzzo, A. Puggelli, S. A. Seshia, A.
Sangiovanni-Vincentelli. "CalCS: SmT Solving for Non-linear Convex
Constraints," In Procs. of FMCAD 2010, pp. 71-79, Lugano, Switzerland,
Oct. 2010. 519. C.-W. Lin, M. Di Natale, H. Zeng, and A.
Sangiovanni-Vincentelli. "Performance Analysis of Synchronous Models
Implementations on Loosely Time-Triggered Architectures" In
Work-in-Progress session of the 2011 IEEE Real-Time and Embedded Technology
and Application Symposium (RTAS), Apr. 2011. 520. M. M. R. Mozumdar, A. Puggelli, A. Pinto, L.
Lavagno, and A. Sangiovanni-Vincentelli, "A hierarchical wireless
network architecture for building automation and control systems," In
Procs. of the 2011 International Conference on Networking and Services
(ICNS), May. 2011. 521. P. Nuzzo and A. Sangiovanni-Vincentelli,
"Robustness in analog systems: design techniques, methodologies and
tools," In Procs. of the 2011 Symposium Industrial Embedded Systems, pp.
194-203, Jun. 2011. 522. A. Puggelli, T. Welp, A. Kuehlmann, and A.
Sangiovanni-Vincentelli. "Are Logic Synthesis Tools Robust?" In
Procs of the 2011 Design Automation Conference (DAC), Jun. 2011. 523. 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," In Procs. of
the 2011 Frontiers in Analog Circuit Synthesis and Verification Workshop,
available on-line, Jul. 2011. 524. A. Puggelli, M. Petracca, P. Nuzzo, L.
Carloni, and A. Sangiovanni-Vincentelli, "A design framework for
distributed power management of heterogeneous systems-on-chip," TECHCON
2011, Sep. 2011. 525. M. Maasoumy, A. Pinto, and A.
Sangiovanni-Vincentelli. "Model-based hierarchical optimal control
design for HVAC systems," In Procs. of 2011 Dynamic System Control
Conference (DSCC), Oct. 2011. 526. A. Puggelli, M. M. R. Mozumdar, L. Lavagno,
and A. Sangiovanni-Vincentelli, "A routing-algorithm-aware design tool
for indoor wireless sensor networks," In Procs. of the 2012
International Conference on Computing, Networking and Communications, Jan.
2012. 527. L. Guo, A. Ghosal, H. Zeng, P. Giusto, and
A. Sangiovanni-Vincentelli, "Methods and Tools for Calculating the
Flexibility of Automotive HW/SW Architectures," In Society of Automotive
Engineers (SAE) World Congress, Apr. 2012. Articles 1. Massimiliano Chiodo, Antonino Damiano,
Luciano Lavagno, and Alberto Sangiovanni-Vincentelli, Design Automation for
Reactive Embedded Controller Co-Design, EE Times, 1996. 2. J. Rowson and A. Sangiovanni-Vincentelli,
What you need to know about hardware/software co-design, Computer Design,
Aug. 1998, pp. 63-69. 3. J. Rowson and A. Sangiovanni-Vincentelli,
Felix initiative pursues new co-design methodology, Electronic Engineering
Times, Jun. 15, 1998, p. 50,51,74. 4. A. Sangiovanni-Vincentelli, Defining
Platform-based Design, EE Design, Mar. 5, 2002. 5. Douglas Densmore, Alberto
Sangiovanni-Vincentelli and Adam Donlin, Leveraging Programmability in
Electronic System-Level Designs, Xcell Journal, pp. 29-31, Jan. 2006. Patents 1. Patrick C. McGeer, Alexander Saldanha and
Alberto Sangiovanni-Vincentelli, System and Method for Simulating Discrete
Functions Using Ordered Decision Arrays, United States Patent. 2. R. Passerone, J. Rowson and Alberto
Sangiovanni-Vincentelli, System and method for automatically synthesizing
interfaces between incompatible protocols, United States Patent, n.
7,136,947, Nov. 2006. |
|
Copyright |
Last updated 02/17/2011