☰

Alberto L. Sangiovanni-Vincentelli - Publications

Affiliations: 
Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA, United States 
Area:
Design, Modeling and Analysis (DMA), Embedded System Design; Design methodologies and tools; Control, Intelligent Systems, and Robotics (CIR), Hybrid systems; Design methodologies and tools; Communications & Networking (COMNET), Wireless sensor network de
Website:
http://people.eecs.berkeley.edu/~alberto/
Tree Info Similar researchers PubMed Report error

258 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Moin A, Thielens A, Araujo A, Sangiovanni-Vincentelli A, Rabaey JM. Adaptive Body Area Networks Using Kinematics and Biosignals. Ieee Journal of Biomedical and Health Informatics. PMID 32749974 DOI: 10.1109/Jbhi.2020.3003924  0.313
2020 Nuzzo P, Bajaj N, Masin M, Kirov D, Passerone R, Sangiovanni-Vincentelli AL. Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 1-1. DOI: 10.1109/Tcad.2019.2963255  0.675
2019 Passerone R, Íncer Romeo Í, Sangiovanni-Vincentelli AL. Coherent Extension, Composition, and Merging Operators in Contract Models for System Design Acm Transactions On Embedded Computing Systems. 18: 1-23. DOI: 10.1145/3358216  0.61
2019 Nuzzo P, Li J, Sangiovanni-Vincentelli AL, Xi Y, Li D. Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Acm Transactions in Embedded Computing Systems. 18: 1-26. DOI: 10.1145/3243216  0.441
2019 Lv C, Hu X, Sangiovanni-Vincentelli A, Li Y, Martinez CM, Cao D. Driving-Style-Based Codesign Optimization of an Automated Electric Vehicle: A Cyber-Physical System Approach Ieee Transactions On Industrial Electronics. 66: 2965-2975. DOI: 10.1109/Tie.2018.2850031  0.348
2019 Iannopollo A, Tripakis S, Sangiovanni-Vincentelli A. Constrained synthesis from component libraries Science of Computer Programming. 171: 21-41. DOI: 10.1016/J.Scico.2018.10.003  0.391
2018 Benveniste A, Caillaud B, Nickovic D, Passerone R, Raclet J, Reinkemeier P, Sangiovanni-Vincentelli A, Damm W, Henzinger TA, Larsen KG. Contracts for System Design Foundations and Trends® in Electronic Design Automation. 12: 124-400. DOI: 10.1561/1000000053  0.593
2018 Shoukry Y, Chong M, Wakaiki M, Nuzzo P, Sangiovanni-Vincentelli A, Seshia SA, Hespanha JP, Tabuada P. SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks Acm Transactions On Cyber-Physical Systems. 2: 1-27. DOI: 10.1145/3078621  0.364
2018 Vazquez-Chanlatte MJ, Ghosh S, Raman V, Sangiovanni-Vincentelli A, Seshia SA. Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games Ifac-Papersonline. 51: 7-12. DOI: 10.1016/J.Ifacol.2018.08.002  0.35
2017 Shoukry Y, Nuzzo P, Puggelli A, Sangiovanni-Vincentelli AL, Seshia SA, Tabuada P. Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach Ieee Transactions On Automatic Control. 62: 4917-4932. DOI: 10.1109/Tac.2017.2676679  0.789
2017 Ergen SC, Sangiovanni-Vincentelli A. Intravehicular Energy-Harvesting Wireless Networks: Reducing Costs and Emissions Ieee Vehicular Technology Magazine. 12: 77-85. DOI: 10.1109/Mvt.2017.2736858  0.312
2016 Di Natale M, Perillo D, Chirico F, Sindico A, Sangiovanni-Vincentelli A. A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components Software & Systems Modeling. 17: 11-33. DOI: 10.1007/S10270-016-0534-0  0.367
2015 Törngren M, Passerone R, Bensalem S, Sangiovanni-Vincentelli A, McDermid J, Schätz B. Education and training challenges in the era of cyber-physical systems: Beyond traditional engineering 2015 Workshop On Embedded and Cyber-Physical Systems Education, Wese 2015 - Proceedings. DOI: 10.1145/2832920.2832928  0.522
2015 Lin C, Zheng B, Zhu Q, Sangiovanni-Vincentelli A. Security-Aware Design Methodology and Optimization for Automotive Systems Acm Transactions On Design Automation of Electronic Systems. 21: 1-26. DOI: 10.1145/2803174  0.421
2015 Lin CW, Rao L, Giusto P, D'Ambrosio J, Sangiovanni-Vincentelli AL. Efficient Wire Routing and Wire Sizing for Weight Minimization of Automotive Systems Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 34: 1730-1741. DOI: 10.1109/Tcad.2015.2448680  0.398
2015 Lin CW, Zhu Q, Sangiovanni-Vincentelli A. Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems Ieee Embedded Systems Letters. 7: 11-14. DOI: 10.1109/Les.2014.2354011  0.388
2015 Puggelli A, Mozumdar MMR, Lavagno L, Sangiovanni-Vincentelli AL. Routing-aware design of indoor wireless sensor networks using an interactive tool Ieee Systems Journal. 9: 717-727. DOI: 10.1109/Jsyst.2013.2287460  0.807
2015 Brayton R, Carloni LP, Sangiovanni-Vincentelli AL, Villa T. Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue] Proceedings of the Ieee. 103: 1952-1957. DOI: 10.1109/JPROC.2015.2487798  0.588
2015 Nuzzo P, Sangiovanni-Vincentelli AL, Bresolin D, Geretti L, Villa T. A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems Proceedings of the Ieee. 103: 2104-2132. DOI: 10.1109/JPROC.2015.2453253  0.333
2015 Lv C, Zhang J, Nuzzo P, Sangiovanni-Vincentelli A, Li Y, Yuan Y. Design optimization of the control system for the powertrain of an electric vehicle: A cyber-physical system approach 2015 Ieee International Conference On Mechatronics and Automation, Icma 2015. 814-819. DOI: 10.1109/ICMA.2015.7237590  0.319
2014 Mozumdar M, Song ZY, Lavagno L, Sangiovanni-Vincentelli AL. A model-based approach for bridging virtual and physical sensor nodes in a hybrid simulation framework. Sensors (Basel, Switzerland). 14: 11070-96. PMID 24960083 DOI: 10.3390/S140611070  0.39
2014 Nuzzo P, Finn JB, Iannopollo A, Sangiovanni-Vincentelli AL. Contract-based design of control protocols for safety-critical cyber-physical systems Proceedings -Design, Automation and Test in Europe, Date. DOI: 10.7873/DATE2014.072  0.353
2014 Lin CW, Rao L, D'Ambrosio J, Sangiovanni-Vincentelli A. Electrical Architecture Optimization and Selection - Cost Minimization via Wire Routing and Wire Sizing Sae International Journal of Passenger Cars - Electronic and Electrical Systems. 7: 502-509. DOI: 10.4271/2014-01-0320  0.354
2014 Guo L, Zhu Q, Nuzzo P, Passerone R, Sangiovanni-Vincentelli A, Lee EA. Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems 2014 International Conference On Hardware/Software Codesign and System Synthesis, Codes+Isss 2014. DOI: 10.1145/2656075.2656093  0.654
2014 Nuzzo P, Xu H, Ozay N, Finn JB, Sangiovanni-Vincentelli AL, Murray RM, Donzé A, Seshia SA. A contract-based methodology for aircraft electric power system design Ieee Access. 2: 1-25. DOI: 10.1109/Access.2013.2295764  0.448
2014 Di Natale M, Zhu Q, Sangiovanni-Vincentelli A, Tripakis S. Optimized implementation of synchronous models on industrial LTTA systems Journal of Systems Architecture. 60: 315-328. DOI: 10.1016/J.Sysarc.2014.01.003  0.43
2013 Park P, Ergen SC, Fischione C, Sangiovanni-Vincentelli A. Duty-cycle optimization for IEEE 802.15.4 wireless sensor networks Acm Transactions On Sensor Networks. 10. DOI: 10.1145/2529979  0.401
2013 Davare A, Densmore D, Guo L, Passerone R, Sangiovanni-Vincentelli AL, Simalatsar A, Zhu Q. METROII: A design environment for cyber-physical systems Transactions On Embedded Computing Systems. 12. DOI: 10.1145/2435227.2435245  0.812
2013 Ghosal A, Zeng H, Giusto P, Sangiovanni-Vincentelli A, Rajkumar R, Ernst R, Di Natale M. Guest editorial: Special issue on system level design of automotive electronics/software Ieee Embedded Systems Letters. 5: 29. DOI: 10.1109/Les.2013.2274794  0.648
2013 Lin CW, Sangiovanni-Vincentelli A. Cyber-security for the Controller Area Network (CAN) communication protocol Proceedings of the 2012 Ase International Conference On Cyber Security, Cybersecurity 2012. 1-7. DOI: 10.1109/Cybersecurity.2012.7  0.305
2013 Kim H, Guo L, Lee EA, Sangiovanni-Vincentelli A. A tool integration approach for architectural exploration of aircraft electric power systems 2013 Ieee 1st International Conference On Cyber-Physical Systems, Networks, and Applications, Cpsna 2013. 38-43. DOI: 10.1109/CPSNA.2013.6614244  0.305
2013 Balluchi A, Benvenuti L, Di Benedetto MD, Sangiovanni-Vincentelli A. The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem Automatica. 49: 915-925. DOI: 10.1016/J.Automatica.2013.01.037  0.373
2013 Casale-Rossi M, Sangiovanni-Vincentelli A, Carloni L, Courtois B, De Man H, Domic A, Rabaey JM. Panel: The heritage of mead & conway: What has remained the same, what was missed what has changed what lies ahead Proceedings -Design, Automation and Test in Europe, Date. 171-175.  0.457
2012 Guo L, Ghosal A, Zeng H, Giusto P, Sangiovanni-Vincentelli A. Methods and tools for calculating the flexibility of automotive HW/SW architectures Sae Technical Papers. DOI: 10.4271/2012-01-0005  0.665
2012 Sangiovanni-Vincentelli A, Damm W, Passerone R. Taming Dr. Frankenstein: Contract-based design for cyber-physical systems European Journal of Control. 18: 217-238. DOI: 10.3166/Ejc.18.217-238  0.672
2012 Zhu Q, Zeng H, Zheng W, Di Natale M, Sangiovanni-Vincentelli A. Optimization of task allocation and priority assignment in hard real-time distributed systems Transactions On Embedded Computing Systems. 11. DOI: 10.1145/2362336.2362352  0.535
2012 Yang Y, Zhu Q, Maasoumy M, Sangiovanni-Vincentelli A. Development of building automation and control systems Ieee Design and Test of Computers. 29: 45-55. DOI: 10.1109/Mdt.2012.2201130  0.428
2012 Sangiovanni-Vincentelli A. Eda meets biology! the bumpy road ahead Ieee Design and Test of Computers. 29: 49-50. DOI: 10.1109/Mdt.2012.2194610  0.419
2012 Nuzzo P, Sangiovanni-Vincentelli A, Sun X, Puggelli A. Methodology for the design of analog integrated interfaces using contracts Ieee Sensors Journal. 12: 3329-3345. DOI: 10.1109/Jsen.2012.2211098  0.816
2012 Puggelli A, Mozumdar M, Sangiovanni-Vincentelli AL, Lavagno L. A routing-algorithm-aware design tool for indoor wireless sensor networks 2012 International Conference On Computing, Networking and Communications, Icnc'12. 964-969. DOI: 10.1109/ICCNC.2012.6167569  0.309
2012 Ghosal A, Iercan D, Kirsch CM, Henzinger TA, Sangiovanni-Vincentelli A. Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code Science of Computer Programming. 77: 96-112. DOI: 10.1016/J.Scico.2010.06.004  0.523
2011 Zeng H, Di Natale M, Ghosal A, Sangiovanni-Vincentelli A. Schedule optimization of time-triggered systems communicating over the flexray static segment Ieee Transactions On Industrial Informatics. 7: 1-17. DOI: 10.1109/Tii.2010.2089465  0.662
2010 Nuzzo P, Sun X, Wu CC, De Bernardinis F, Sangiovanni-Vincentelli A. A platform-based methodology for system-level mixed-signal design Eurasip Journal On Embedded Systems. 2010. DOI: 10.1155/2010/261583  0.668
2010 Ghosal A, Giusto P, Sangiovanni-Vincentelli A, D'Ambrosio J, Nuckolls E, Wilhelm H, Tung J, Kuhl M, Van Staa P. Education panel: Designing the always connected car of the future Proceedings - Design Automation Conference. 617-618. DOI: 10.1145/1837274.1837426  0.532
2010 Di Natale M, Guo L, Zeng H, Sangiovanni-Vincentelli A. Synthesis of multitask implementations of Simulink models with minimum delays Ieee Transactions On Industrial Informatics. 6: 637-651. DOI: 10.1109/Tii.2010.2072511  0.562
2010 Wang G, Di Natale M, Sangiovanni-Vincentelli A. Optimal synthesis of communication procedures in real-time synchronous reactive models Ieee Transactions On Industrial Informatics. 6: 729-743. DOI: 10.1109/Tii.2010.2064171  0.482
2010 Zhu Q, Yang Y, Natale M, Scholte E, Sangiovanni-Vincentelli A. Optimizing the software architecture for extensibility in hard real-time distributed systems Ieee Transactions On Industrial Informatics. 6: 621-636. DOI: 10.1109/Tii.2010.2053938  0.36
2010 Zeng H, Di Natale M, Giusto P, Sangiovanni-Vincentelli A. Using statistical methods to compute the probability distribution of message response time in controller area network Ieee Transactions On Industrial Informatics. 6: 678-691. DOI: 10.1109/Tii.2010.2050143  0.491
2010 Rahman Mozumdar MM, Lavagno L, Vanzago L, Sangiovanni-Vincentelli AL. HILAC: A framework for Hardware in the Loop simulation and multi-platform automatic code generation of WSN applications 2010 International Symposium On Industrial Embedded Systems, Sies 2010 - Conference Proceedings. 88-97. DOI: 10.1109/SIES.2010.5551370  0.3
2010 Yang Y, Pinto A, Sangiovanni-Vincentelli A, Zhu Q. A design flow for building automation and control systems Proceedings - Real-Time Systems Symposium. 105-115. DOI: 10.1109/RTSS.2010.26  0.31
2010 Di Natale M, Ghosal A, Giusto P, Sangiovanni-Vincentelli A, Zeng H, Seshia S. Guest editorial special issue on automotive embedded systems Ieee Embedded Systems Letters. 2: 21-22. DOI: 10.1109/Les.2010.2051138  0.654
2010 Di Natale M, Sangiovanni-Vincentelli AL. Moving from federated to integrated architectures in automotive: The role of standards, methods and tools Proceedings of the Ieee. 98: 603-620. DOI: 10.1109/JPROC.2009.2039550  0.343
2009 McKelvin ML, Sangiovanni-Vincentelli A. Fault tree analysis for the design exploration of fault tolerant automotive architectures Sae Technical Papers. DOI: 10.4271/2009-01-1377  0.799
2009 Zeng H, Di Natale M, Giusto P, Sangiovanni-Vincentelli A. Stochastic analysis of can-based real-time automotive systems Ieee Transactions On Industrial Informatics. 5: 388-401. DOI: 10.1109/Tii.2009.2032067  0.525
2009 Wang G, Natale MD, Sangiovanni-Vincentelli A. Improving the Size of Communication Buffers in Synchronous Models With Time Constraints Ieee Transactions On Industrial Informatics. 5: 229-240. DOI: 10.1109/Tii.2009.2026745  0.378
2009 Ergen SC, Sangiovanni-Vincentelli A, Sun X, Tebano R, Alalusi S, Audisio G, Sabatini M. The Tire as an Intelligent Sensor Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 28: 941-955. DOI: 10.1109/Tcad.2009.2022879  0.648
2009 Pinto A, Carloni LP, Sangiovanni-Vincentelli AL. A methodology for constraint-driven synthesis of on-chip communications Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 28: 364-377. DOI: 10.1109/Tcad.2009.2013273  0.755
2009 Bonivento A, Fischione C, Sangiovanni-Vincentelli A. SERAN: a protocol for clustered WSNs in industrial control and automation 2009 6th Ieee Annual Communications Society Conference On Sensor, Mesh and Ad Hoc Communications and Networks Workshops, Secon Workshops 2009. DOI: 10.1109/SAHCNW.2009.5172963  0.748
2009 Passerone R, Damm W, Hafaiedh IB, Graf S, Ferrari A, Mangeruca L, Benveniste A, Josko B, Peikenkamp T, Cancila D, Cuccuru A, Gérard S, Terrier F, Sangiovanni-Vincentelli A. Metamodels in Europe: Languages, tools, and applications Ieee Design and Test of Computers. 26: 38-53. DOI: 10.1109/Mdt.2009.64  0.601
2009 Sangiovanni-Vincentelli A, Yang G, Shukla SK, Mathaikutty DA, Sztipanovits J. Metamodeling: An emerging representation paradigm for system-level design Ieee Design and Test of Computers. 26: 54-69. DOI: 10.1109/Mdt.2009.62  0.408
2009 Cheung E, Chen X, Hsieh H, Davare A, Sangiovanni-Vincentelli A, Watanabe Y. Runtime deadlock analysis for system level design Design Automation For Embedded Systems. 13: 287-310. DOI: 10.1007/S10617-009-9046-2  0.783
2009 Sun X, Nuzzo P, Wu CC, Sangiovanni-Vincentelli A. Contract-based system-level composition of analog circuits Proceedings - Design Automation Conference. 605-610.  0.344
2009 Haibo Z, Wei Z, Di Natale M, Ghosal A, Giusto P, Sangiovanni-Vincentelli A. Scheduling the FlexRay bus using optimization techniques Proceedings - Design Automation Conference. 874-877.  0.556
2009 Densmore D, Simalatsar A, Davare A, Passerone R, Sangiovanni-Vincentelli A. UMTS MPSoC design evaluation using a system level design framework Proceedings -Design, Automation and Test in Europe, Date. 478-483.  0.812
2008 Ghosal A, Sangiovanni-Vincentelli A, Kanajan S. A study on monetary cost analysis for product-line architectures Sae Technical Papers. DOI: 10.4271/2008-01-0280  0.544
2008 Benvenuti L, Bresolin D, Casagrande A, Collins P, Ferrari A, Mazzi E, Sangiovanni-Vincentelli A, Villa T. Reachability computation for hybrid systems with Ariadne Ifac Proceedings Volumes. 41: 8960-8965. DOI: 10.3182/20080706-5-Kr-1001.01513  0.381
2008 Benveniste A, Caillaud B, Carloni LP, Caspi P, Sangiovanni-Vincentelli AL. Composing heterogeneous reactive systems Transactions On Embedded Computing Systems. 7. DOI: 10.1145/1376804.1376811  0.645
2008 Yuan L, Qu G, Villa T, Sangiovanni-Vincentelli A. An FSM reengineering approach to sequential circuit synthesis by state splitting Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 1159-1164. DOI: 10.1109/Tcad.2008.923245  0.331
2008 Pinello C, Carloni LP, Sangiovanni-Vincentelli AL. Fault-tolerant distributed deployment of embedded control software Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 906-919. DOI: 10.1109/Tcad.2008.917971  0.79
2008 Park PG, Fischione C, Bonivento A, Johansson KH, Sangiovanni-Vincentelli A. Breath: A self-adapting protocol for wireless sensor networks in control and automation 2008 5th Annual Ieee Communications Society Conference On Sensor, Mesh and Ad Hoc Communications and Networks, Secon. 323-331. DOI: 10.1109/SAHCN.2008.47  0.742
2008 Bergamaschi R, Benini L, Flautner K, Kruijtzer W, Sangiovanni-Vincentelli A, Wakabayashi K. The state of ESL design Ieee Design and Test of Computers. 25: 510-519. DOI: 10.1109/Mdt.2008.172  0.418
2008 Pinto A, Carloni LP, Sangiovanni-Vincentelli A. COSI: A framework for the design of interconnection networks Ieee Design and Test of Computers. 25: 402-415. DOI: 10.1109/Mdt.2008.138  0.782
2008 Sangiovanni-Vincentelli A. Is a Unified Methodology for System-Level Design Possible? Ieee Design & Test of Computers. 25: 346-357. DOI: 10.1109/Mdt.2008.104  0.387
2008 Yevtushenko N, Villa T, Brayton RK, Petrenko A, Sangiovanni-Vincentelli AL. Compositionally progressive slutions of synchronous FSM equations Discrete Event Dynamic Systems: Theory and Applications. 18: 51-89. DOI: 10.1007/S10626-007-0031-2  0.554
2008 Passerone R, Sangiovanni-Vincentelli AL. Approximating behaviors in embedded system design Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5065: 721-742. DOI: 10.1007/978-3-540-68679-8_44  0.625
2007 Albertoni L, Balluchi A, Casavola A, Gambelli C, Mosca E, Sangiovanni-Vincentelli AL. Idle speed control of port-injection engines via the polynomial equation approach International Journal of Robust and Nonlinear Control. 17: 720-731. DOI: 10.3182/20050703-6-Cz-1902.00548  0.387
2007 Gosti W, Villa T, Saldanha A, Sangiovanni-Vincentelli AL. FSM encoding for BDD representations International Journal of Applied Mathematics and Computer Science. 17: 113-128. DOI: 10.2478/V10006-007-0011-6  0.772
2007 Mangeruca L, Baleani M, Ferrari A, Sangiovanni-Vincentelli A. Uniprocessor scheduling under precedence constraints for embedded systems design Acm Transactions On Embedded Computing Systems. 7: 1-30. DOI: 10.1145/1324969.1324975  0.407
2007 Benveniste A, Caspi P, Di Natale M, Pinello C, Sangiovanni-Vincentelli A, Tripakis S. Loosely time-triggered architectures based on communication-by-sampling Emsoft'07: Proceedings of the Seventh Acm and Ieee International Conference On Embedded Software. 231-239. DOI: 10.1145/1289927.1289964  0.723
2007 Pinto A, Carloni LP, Sangiovanni-Vincentelli AL. A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control Emsoft'07: Proceedings of the Seventh Acm and Ieee International Conference On Embedded Software. 21-29. DOI: 10.1145/1289927.1289936  0.617
2007 Marculescu R, Nikolic B, Sangiovanni-Vincentelli A. "fresh air": The emerging landscape of design for networked embedded systems Codes+Isss 2007: International Conference On Hardware/Software Codesign and System Synthesis. 124. DOI: 10.1145/1289816.1289848  0.355
2007 Koushanfar F, Davare A, Nguyen DT, Sangiovanni-Vincentelli A, Potkonjak M. Techniques for maintaining connectivity in wireless ad-hoc networks under energy constraints Acm Transactions On Embedded Computing Systems. 6: 16. DOI: 10.1145/1275986.1275988  0.786
2007 Villa T, Zharikova S, Yevtushenko N, Brayton R, Sangiovanni-Vincentelli A. A new algorithm for the largest compositionally progressive solution of synchronous language equations Proceedings of the Acm Great Lakes Symposium On Vlsi, Glsvlsi. 441-444. DOI: 10.1145/1228784.1228888  0.507
2007 Necchi L, Bonivento A, Lavagno L, Sangiovanni-Vincentelli A, Vanzago L. E 2RINA: An energy efficient and reliable in-network aggregation for clustered wireless sensor networks Ieee Wireless Communications and Networking Conference, Wcnc. 3366-3371. DOI: 10.1109/WCNC.2007.619  0.724
2007 Mangeruca L, Baleani M, Ferrari A, Sangiovanni-Vincentelli A. Semantics-Preserving Design of Embedded Control Software from Synchronous Models Ieee Transactions On Software Engineering. 33: 497-509. DOI: 10.1109/Tse.2007.70718  0.445
2007 Bonivento A, Fischione C, Necchi L, Pianegiani F, Sangiovanni-Vincentelli A. System level design for clustered wireless sensor networks Ieee Transactions On Industrial Informatics. 3: 202-213. DOI: 10.1109/Tii.2007.904130  0.765
2007 Sangiovanni-Vincentelli A. Remembering Richard [Obituary, Richard A.Newton] Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 26: 1357-1366. DOI: 10.1109/Tcad.2007.902701  0.327
2007 Sangiovanni-Vincentelli A, Di Natale M. Embedded System Design for Automotive Applications Computer. 40: 42-51. DOI: 10.1109/Mc.2007.344  0.41
2007 Otis B, Gambini S, Shah R, Steingart D, Quévy E, Rabaey J, Sangiovanni-Vincentelli A, Wright P. Modelling and simulation techniques for highly integrated, low-power wireless sensor networks Iet Computers and Digital Techniques. 1: 528-536. DOI: 10.1049/Iet-Cdt:20050214  0.35
2007 Passerone R, Burch JR, Sangiovanni-Vincentelli AL. Refinement preserving approximations for the design and verification of heterogeneous systems Formal Methods in System Design. 31: 1-33. DOI: 10.1007/s10703-006-0024-z  0.618
2006 Carloni LP, Passerone R, Pinto A, Sangiovanni-Vincentelli AL. Languages and tools for hybrid systems design Foundations and Trends in Electronic Design Automation. 1: 1-193. DOI: 10.1561/1000000001  0.74
2006 Benveniste A, Caillaud B, Carloni LP, Caspi P, Sangiovanni-Vincentelli AL, Tripakis S. Communication by sampling in time-sensitive distributed systems Ieee International Conference On Embedded Software, Emsoft 2006. 152-160. DOI: 10.1145/1176887.1176909  0.562
2006 Ghosal A, Sangiovanni-Vincentelli A, Kirsch CM, Henzinger TA, Iercan D. A hierarchical coordination language for interacting real-time tasks Ieee International Conference On Embedded Software, Emsoft 2006. 132-141. DOI: 10.1145/1176887.1176907  0.429
2006 Pinto A, Bonivento A, Sangiovanni-Vincentelli AL, Passerone R, Sgroi M. System level design paradigms: Platform-Based design and communication synthesis Acm Transactions On Design Automation of Electronic Systems. 11: 537-563. DOI: 10.1145/1142980.1142982  0.82
2006 Umans C, Villa T, Sangiovanni-Vincentelli AL. Complexity of two-level logic minimization Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 25: 1230-1246. DOI: 10.1109/Tcad.2005.855944  0.371
2006 Kakita S, Watanabe Y, Densmore D, Davare A, Sangiovanni-Vincentelli A. Functional model exploration for multimedia applications via algebraic operators Proceedings - International Conference On Application of Concurrency to System Design, Acsd. 229-238. DOI: 10.1109/ACSD.2006.8  0.766
2006 Balluchi A, Benvenuti L, Ferrari A, Sangiovanni-Vincentelli AL. Hybrid systems in automotive electronics design International Journal of Control. 79: 375-394. DOI: 10.1080/00207170600587465  0.415
2006 Bonivento A, Carloni LP, Sangiovanni-Vincentelli A. Platform based design for wireless sensor networks Mobile Networks and Applications. 11: 469-485. DOI: 10.1007/S11036-006-7194-1  0.812
2006 Carloni LP, Sangiovanni-Vincentelli AL. A framework for modeling the distributed deployment of synchronous designs Formal Methods in System Design. 28: 93-110. DOI: 10.1007/s10703-006-7842-x  0.628
2006 Pinto A, Carloni LP, Passerone R, Sangiovanni-Vincentelli A. Interchange format for hybrid systems: Abstract semantics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3927: 491-506. DOI: 10.1007/11730637_37  0.674
2005 Sangiovanni-Vincentelli AL, Pinto A. Embedded system education Acm Sigbed Review. 2: 5-14. DOI: 10.1145/1121812.1121815  0.67
2005 Caspi P, Folher G, Garcia-Valls M, Kopetz H, Lakhnech Y, Laroussinie F, Lavagno L, Lipari G, Maraninchi F, Peti P, Puente Jdl, Sangiovanni-Vincentelli A, Scaife N, Sifakis J, de Simone R, et al. Guidelines for a graduate curriculum on embedded software and systems Acm Transactions On Embedded Computing Systems. 4: 587-611. DOI: 10.1145/1086519.1086526  0.422
2005 Sangiovanni-Vincentelli AL, Pinto A. An overview of embedded system design education at berkeley Acm Transactions On Embedded Computing Systems. 4: 472-499. DOI: 10.1145/1086519.1086521  0.675
2005 Broucke M, Di Benedetto MD, Di Gennaro S, Sangiovanni-Vincentelli A. Efficient Solution of Optimal Control Problems Using Hybrid Systems Siam Journal On Control and Optimization. 43: 1923-1952. DOI: 10.1137/S0363012900383090  0.668
2005 Palopoli L, Pinello C, Bicchi A, Sangiovanni-Vincentelli A. Maximizing the stability radius of a set of systems under real-time scheduling constraints Ieee Transactions On Automatic Control. 50: 1790-1795. DOI: 10.1109/Tac.2005.858639  0.74
2005 Balarin F, Passerone R, Pinto A, Sangiovanni-Vincentelli AL. A formal approach to system level design: Metamodels and unified design environments Proceedings - Third Acm and Ieee International Conference On Formal Methods and Models For Co-Design, Memocode'05. 2005: 155-164. DOI: 10.1109/MEMCOD.2005.1487909  0.66
2005 Bonivento A, Fischione C, Sangiovanni-Vincentelli A, Graziosi F, Santucci F. SERAN: A semi random protocol solution for clustered wireless sensor networks 2nd Ieee International Conference On Mobile Ad-Hoc and Sensor Systems, Mass 2005. 2005: 346-353. DOI: 10.1109/MAHSS.2005.1542819  0.744
2005 Davare A, Zhu Q, Moondanos J, Sangiovanni-Vincentelli A. JPEG encoding on the intel MXP5800: A platform-based design case study Proceedings of the 2005 3rd Workshop On Embedded Systems For Real-Time Multimedia. 2005: 89-94. DOI: 10.1109/ESTMED.2005.1518081  0.775
2005 Baleani M, Ferrari A, Mangeruca L, Sangiovanni-Vincentelli AL, Freund U, Schlanker E, Wolff HJ. Correct-by-construction transformations across design environments for model-based embedded software development Proceedings -Design, Automation and Test in Europe, Date '05. 1044-1049. DOI: 10.1109/DATE.2005.105  0.302
2005 Zheng W, Chong J, Pinello C, Kanajan S, Sangiovanni-Vincentelli A. Extensible and scalable time triggered scheduling Proceedings - International Conference On Application of Concurrency to System Design, Acsd. 2005: 132-141. DOI: 10.1109/ACSD.2005.13  0.759
2005 Balluchi A, Benvenuti L, Engell S, Geyer T, Johansson KH, Lamnabhi-Lagarrigue F, Lygeros J, Morari M, Papafotiou G, Sangiovanni-Vincentelli AL, Santucci F, Stursberg O. Hybrid control of networked embedded systems European Journal of Control. 11: 478-508. DOI: 10.1016/S0947-3580(05)71047-5  0.376
2005 McKelvin ML, Eirea G, Pinello C, Kanajan S, Sangiovanni-Vincentelli AL. A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems Proceedings of the 5th Acm International Conference On Embedded Software, Emsoft 2005. 237-246.  0.791
2005 Bonivento A, Carloni LP, Sangiovanni-Vincentelli AL. Rialto: A bridge between description and implementation of control algorithms for wireless sensor networks Proceedings of the 5th Acm International Conference On Embedded Software, Emsoft 2005. 183-186.  0.805
2005 Benveniste A, Caillaud B, Carloni LP, Sangiovanni-Vincentelli AL. Tag machines Proceedings of the 5th Acm International Conference On Embedded Software, Emsoft 2005. 255-263.  0.557
2004 Khatri SP, Sinha S, Brayton RK, Sangiovanni-Vincentelli AL. SPFD-based wire removal in standard-cell and network-of-PLA circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 23: 1020-1030. DOI: 10.1109/Tcad.2004.829821  0.693
2004 Nardi A, Sangiovanni-Vincentelli AL. Logic synthesis for manufacturability Ieee Design and Test of Computers. 21: 192-199. DOI: 10.1109/Mdt.2004.15  0.315
2004 Pinello C, Carloni LP, Sangiovanni-Vincentelli AL. Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications Proceedings - Design, Automation and Test in Europe Conference and Exhibition. 2: 1164-1169. DOI: 10.1109/DATE.2004.1269049  0.779
2004 Densmore D, Rekhi S, Sangiovanni-Vincentelli A. Microarchitecture development via metropolis successive platform refinement Proceedings - Design, Automation and Test in Europe Conference and Exhibition. 1: 346-351. DOI: 10.1109/DATE.2004.1268871  0.338
2004 Balluchi A, Benedetto MDD, Ferrari A, Gaviani G, Girasole G, Grossi C, Nesci W, Pennese M, Sangiovanni-Vincentelli AL. Design of a Motorcycle Engine Control Unit Using an Integrated Control-Implementation Approach Ifac Proceedings Volumes. 37: 203-208. DOI: 10.1016/S1474-6670(17)30345-2  0.436
2004 Brunel J, Damm W, Ferrari A, Freuner U, Josko B, Kowalewsk S, Sangiovanni-Vincentelli A, Torngren M, Thurner T, Hasseln Hv. The Future Design Scenario and the Sea Initiative Ifac Proceedings Volumes. 37: 17-22. DOI: 10.1016/S1474-6670(17)30315-4  0.408
2004 Benveniste A, Caillaud B, Carloni LP, Caspi P, Sangiovanni-Vincentelli AL. Causality and scheduling constraints in, heterogeneous reactive systems modeling Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3188: 1-16.  0.608
2004 Passerone R, Burch JR, Sangiovanni-Vincentelli AL. Conservative approximations for heterogeneous design Emsoft 2004 - Fourth Acm International Conference On Embedded Software. 155-164.  0.619
2004 Benveniste A, Caillaud B, Carloni LP, Caspi P, Sangiovanni-Vincentelli AL. Heterogeneous reactive systems modeling: Capturing causality and the correctness of Loosely Time-Triggered Architectures (LTTA) Emsoft 2004 - Fourth Acm International Conference On Embedded Software. 220-229.  0.634
2003 Carloni LP, Sangiovanni-Vincentelli AL. Combining retiming and recycling to optimize the performance of synchronous circuits Proceedings - 16th Symposium On Integrated Circuits and Systems Design, Sbcci 2003. 47-52. DOI: 10.1109/SBCCI.2003.1232805  0.619
2003 Sangiovanni-Vincentelli A. Electronic-system design in the automobile industry Ieee Micro. 23: 8-18. DOI: 10.1109/Mm.2003.1209462  0.345
2003 Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A. Metropolis: an integrated electronic system design environment Computer. 36: 45-52. DOI: 10.1109/Mc.2003.1193228  0.429
2003 Horowitz B, Liebman J, Ma C, Koo TJ, Sangiovanni-Vincentelli A, Sastry SS. Platform-based embedded software design and system integration for autonomous vehicles Proceedings of the Ieee. 91: 198-210. DOI: 10.1109/JPROC.2002.805827  0.345
2003 Yevtushenko N, Villa T, Brayton RK, Petrenko A, Sangiovanni-Vincentelli AL. Equisolvability of series vs. controller's topology in synchronous language equations Proceedings -Design, Automation and Test in Europe, Date. 1154-1155. DOI: 10.1109/DATE.2003.1253778  0.497
2003 Carloni LP, Sangiovanni-Vincentelli AL. On-Chip Communication Design: Roadblocks and Avenues Hardware/Software Codesign - Proceedings of the International Workshop. 75-76. DOI: 10.1109/CODESS.2003.1275259  0.567
2003 Balluchi A, Benvenuti L, Villa T, Wong-Toi H, Sangiovanni-Vincentelli AL. Controller synthesis for hybrid systems with a lower bound on event separation International Journal of Control. 76: 1171-1200. DOI: 10.1080/0020717031000123616  0.342
2003 Pinto A, Carloni LP, Sangiovanni-Vincentelli AL. Efficient synthesis of networks on chip Proceedings - Ieee International Conference On Computer Design: Vlsi in Computers and Processors. 146-150.  0.587
2003 Benveniste A, Carloni LP, Caspi P, Sangiovanni-Vincentelli AL. Heterogeneous reactive systems modeling and correct-by-construction deployment Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2855: 35-50.  0.624
2002 Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni-Vincentelli A, Sastry S. Embedded Software Design And System Integration For Rotorcraft Uav Using Platforms Ifac Proceedings Volumes. 35: 447-452. DOI: 10.3182/20020721-6-Es-1901.01628  0.451
2002 Passerone R, De Alfaro L, Henzinger TA, Sangiovanni-Vincentelli AL. Convertibility verification and converter synthesis: Two faces of the same coin Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers. 132-139. DOI: 10.1145/774572.774592  0.615
2002 Carloni LP, Sangiovanni-Vincentelli AL. Coping with latency in SOC design Ieee Micro. 22: 24-35. DOI: 10.1109/Mm.2002.1044297  0.65
2002 Sangiovanni-Vincentelli A. The Context for Platform-based Design Ieee Design & Test of Computers. 19: 120. DOI: 10.1109/Mdt.2002.10041  0.394
2002 Carloni LP, De Bernardinis F, Sangiovanni-Vincentelli AL, Sgroi M. The art and science of integrated systems design European Solid-State Circuits Conference. 25-36. DOI: 10.1109/ESSDERC.2002.194867  0.775
2002 Aziz A, Shiple T, Singhal V, Brayton R, Sangiovanni-Vincentelli A. Formula-dependent equivalence for compositional CTL model checking Formal Methods in System Design. 21: 193-224. DOI: 10.1023/A:1016043502772  0.515
2002 Balarin F, Lavagno L, Passerone C, Sangiovanni-Vincentelli AL, Sgroi M, Watanabe Y. Modeling and Designing Heterogeneous Systems Lecture Notes in Computer Science. 228-273. DOI: 10.1007/3-540-36190-1_7  0.716
2002 Balluchi A, Berardi L, Di Benedetto MD, Ferrari A, Girasole G, Sangiovanni-Vincentelli AL. Integrated control-implementation design Proceedings of the Ieee Conference On Decision and Control. 2: 1337-1342.  0.32
2002 Carloni LP, De Bernardinis F, Sangiovanni-Vincentelli AL, Sgroi M. The art and science of integrated systems design European Solid-State Circuits Conference. 25-36.  0.695
2002 Pinto A, Carloni LP, Sangiovanni-Vincentelli AL. Constraint-driven communication synthesis Proceedings - Design Automation Conference. 783-788.  0.58
2001 Zanella S, Neviani A, Zanoni E, Miliozzi P, Charbon E, Guardiani C, Carloni L, Sangiovanni-Vincentelli A. Modeling of substrate noise injected by digital libraries Proceedings - International Symposium On Quality Electronic Design, Isqed. 2001: 488-492. DOI: 10.1109/ISQED.2001.915276  0.528
2001 Balarin F, Burch J, Lavagno L, Watanabe Y, Passerone R, Sangiovanni-Vincentelli A. Constraints specification at higher levels of abstraction Proceedings - Ieee International High-Level Design Validation and Test Workshop, Hldvt. 2001: 129-133. DOI: 10.1109/HLDVT.2001.972819  0.628
2001 Burch J, Passerone R, Sangiovanni-Vincentelli AL. Overcoming heterophobia: Modeling concurrency in heterogeneous systems Proceedings - International Conference On Application of Concurrency to System Design, Acsd. 2001: 13-32. DOI: 10.1109/CSD.2001.981761  0.601
2001 Di Benedetto M, Sangiovanni-Vincentelli A, Villa T. Model matching for finite-state machines Ieee Transactions On Automatic Control. 46: 1726-1743. DOI: 10.1109/9.964683  0.339
2001 Sangiovanni-Vincentelli A, Martin G. Platform-based design and software design methodology for embedded systems Ieee Design & Test of Computers. 18: 23-33. DOI: 10.1109/54.970421  0.42
2001 Carloni LP, McMillan KL, Sangiovanni-Vincentelli AL. Theory of latency-insensitive design Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 20: 1059-1076. DOI: 10.1109/43.945302  0.642
2001 Hsieh H, Balarin F, Lavagno L, Sangiovanni-Vincentelli A. Synchronous approach to the functional equivalence of embedded system implementations Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 20: 1016-1033. DOI: 10.1109/43.936382  0.444
2001 Balluchi A, Benvenuti L, Benedetto MDD, Sangiovanni-Vincentelli AL. Hybrid control of force transients for multi-point injection engines International Journal of Robust and Nonlinear Control. 11: 515-539. DOI: 10.1002/Rnc.596  0.327
2001 Balluchi A, Di Benedetto MD, Pinello C, Sangiovanni-Vincentelli AL. Mixed models of computation in the design of automotive engine control Proceedings of the Ieee Conference On Decision and Control. 4: 3308-3313.  0.746
2001 Yevtushenko N, Villa T, Brayton RK, Petrenko A, Sangiovanni-Vincentelli AL. Solution of parallel language equations for logic synthesis Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers. 103-110.  0.523
2001 Burch JR, Passerone R, Sangiovanni-Vincentelli AL. Using multiple levels of abstractions in embedded software design Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2211: 324-343.  0.61
2001 Gosti W, Khatri SP, Sangiovanni-Vincentelli AL. Addressing the timing closure problem by integrating logic optimization and placement Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers. 224-231.  0.774
2000 Sgroi M, Lavagno L, Sangiovanni-Vincentelli A. Formal Models for Embedded System Design Ieee Design and Test of Computers. 17: 14-27. DOI: 10.1109/54.844330  0.691
2000 Keutzer K, Newton A, Rabaey J, Sangiovanni-Vincentelli A. System-level design: orthogonalization of concerns and platform-based design Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 19: 1523-1543. DOI: 10.1109/43.898830  0.46
2000 Cuatto T, Passerone C, Sansoè C, Gregoretti F, Jurecska A, Sangiovanni-Vincentelli A. Design Automation For Embedded Systems. 6: 71-88. DOI: 10.1023/A:1008989409134  0.435
1999 Balarin F, Chiodo M, Giusto P, Hsieh H, Jurecska A, Lavagno L, Sangiovanni-Vincentelli A, Sentovich E, Suzuki K. Synthesis of software programs for embedded control applications Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 18: 834-849. DOI: 10.1109/43.766731  0.384
1999 Charbon E, Gharpurey R, Meyer R, Sangiovanni-Vincentelli A. Substrate optimization based on semi-analytical techniques Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 18: 172-190. DOI: 10.1109/43.743727  0.312
1999 Balluchi A, Di Benedetto MD, Pinello C, Rossi C, Sangiovanni-Vincentelli A. Hybrid control in automotive applications: the cut-off control Automatica. 35: 519-535. DOI: 10.1016/S0005-1098(98)00181-2  0.714
1999 Carloni LP, Goldberg EI, Villa T, Brayton RK, Sangiovanni-Vincentelli AL. Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems Ieee Transactions On Very Large Scale Integration Systems. 346-361. DOI: 10.1007/978-0-387-35498-9_31  0.578
1999 Sgroi M, Lavagno L, Watanabe Y, Sangiovanni-Vincentelli A. Quasi-static scheduling of embedded software using equal conflict nets Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1639: 208-227. DOI: 10.1007/3-540-48745-X_13  0.643
1999 Carloni LP, McMillan KL, Sangiovanni-Vincentelli AL. Latency insensitive protocols Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1633: 123-133.  0.606
1998 Passerone C, Sansoe C, Lavagno L, McGeer R, Martin J, Passerone R, Sangiovanni-Vincentelli A. Modeling reactive systems in Java Acm Transactions On Design Automation of Electronic Systems (Todaes). 3: 515-523. DOI: 10.1145/296333.296334  0.618
1998 Balarin F, Lavagno L, Murthy P, Sangiovanni-Vincentelli A, Systems C, Sangiovanni- A. Scheduling for embedded real-time systems Ieee Design & Test of Computers. 15: 71-82. DOI: 10.1109/54.655185  0.347
1998 Lee E, Sangiovanni-Vincentelli A. A framework for comparing models of computation Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 17: 1217-1229. DOI: 10.1109/43.736561  0.316
1998 Goldberg EI, Villa T, Brayton RK, Sangiovanni-Vincentelli AL. Theory and algorithms for face hypercube embedding Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 17: 472-488. DOI: 10.1109/43.703829  0.613
1998 Oliveira AL, Carloni LP, Villa T, Sangiovanni-Vincentelli AL. Exact minimization of binary decision diagrams using implicit techniques Ieee Transactions On Computers. 47: 1282-1296. DOI: 10.1109/12.736442  0.603
1998 Cardelli S, Chiodo M, Giusto P, Jurecska A, Lavagno L, Sansoè C, Sangiovanni-Vincentelli A. Design Automation For Embedded Systems. 3: 149-161. DOI: 10.1023/A:1008890323570  0.387
1998 Di Benedetto M, Saldanha A, Sangiovanni-Vincentelli A. Asymptotic Model Matching for Finite State Machines 1 Ifac Proceedings Volumes. 31: 435-440. DOI: 10.1016/S1474-6670(17)42030-1  0.331
1998 Balluchi A, Bicchi A, Padroni G, Rossi C, Sangiovanni-Vincentelli A. Hybrid Optimization Problems in Automotive Applications Ifac Proceedings Volumes. 31: 253-258. DOI: 10.1016/S1474-6670(17)40037-1  0.357
1998 Balluchi A, Di Benedetto M, Pinello C, Rossi C, Sangiovanni-Vincentelli A. Hybrid control for automotive engine management: The cut-off case Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1386: 13-32. DOI: 10.1007/3-540-64358-3_29  0.698
1997 Kam T, Villa T, Brayton RK, Sangiovanni-Vincentelli AL. Theory and algorithms for state minimization of nondeterministic FSM's Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 16: 1311-1322. DOI: 10.1109/43.663820  0.592
1997 Villa T, Saldanha A, Brayton RK, Sangiovanni-Vincentelli AL. Symbolic two-level minimization Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 16: 692-708. DOI: 10.1109/43.644031  0.593
1997 Villa T, Kam T, Brayton RK, Sangiovanni-Vincentelli AL. Explicit and implicit algorithms for binate covering problems Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 16: 677-691. DOI: 10.1109/43.644030  0.555
1997 Kam T, Villa T, Brayton RK, Sangiovanni-Vincentelli AL. Implicit computation of compatible sets for state minimization of ISFSM's Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 16: 657-676. DOI: 10.1109/43.644029  0.548
1996 Stephan P, Brayton RK, Sangiovanni-Vincentelli AL. Combinational test generation using satisfiability Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 15: 1167-1176. DOI: 10.1109/43.536723  0.58
1996 Malavasi E, Charbon E, Felt E, Sangiovanni-Vincentelli A. Automation of IC layout with analog constraints Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 15: 923-942. DOI: 10.1109/43.511572  0.414
1996 Demir A, Liu E, Sangiovanni-Vincentelli A. 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. 15: 493-505. DOI: 10.1109/43.506137  0.666
1996 Lam WKC, Brayton RK, Sangiovanni-Vincentelli AL. Valid clock frequencies and their computation in wavepipelined circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 15: 791-807. DOI: 10.1109/43.503946  0.576
1996 Neff RR, Gray PR, Sangiovanni-Vincentelli A. A module generator for high-speed CMOS current output digital/analog converters Ieee Journal of Solid-State Circuits. 31: 448-451. DOI: 10.1109/4.494207  0.377
1996 Jain J, Narayan A, Coelho C, Khatri SP, Sangiovanni-Vincentelli A, Brayton RK, Fujita M. Decomposition techniques for efficient ROBDD construction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1166: 419-434. DOI: 10.1007/BFb0031825  0.686
1996 Chiodo M, Engels D, Giusto P, Hsieh H, Jurecska A, Lavagno L, Suzuki K, Sangiovanni-Vincentelli A. A case study in computer-aided co-design of embedded controllers Design Automation For Embedded Systems. 1: 51-67. DOI: 10.1007/Bf00134683  0.667
1996 Brayton RK, Somenzi F, Khatri S, Ranjan RK, Villa T, Hachtel GD, Sangiovanni-Vincentelli A, Aziz A, Cheng ST, Edwards S, Kukimoto Y, Pardo A, Qadeer S, Sarwary S, Shiple TR, et al. VIS: A system for verification and synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1102: 428-432. DOI: 10.1007/3-540-61474-5_95  0.621
1995 Lam WK, Saldanha A, Brayton RK, Sangiovanni-Vincentelli AL. Delay Fault Coverage, Test Set Size, and Performance Trade-Offs Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 14: 32-44. DOI: 10.1109/43.363125  0.554
1995 Lavagno L, Moon CW, Brayton RK, Sangiovanni-Vincentelli AL. 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. 14: 45-60. DOI: 10.1109/43.363124  0.576
1995 Lavagno L, Keutzer K, Sangiovanni-Vincentelli AL. Synthesis of Hazard-Free Asynchronous Circuits with Bounded Wire Delays Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 14: 61-86. DOI: 10.1109/43.363123  0.355
1995 Malavasi E, Felt E, Charbon E, Sangiovanni-Vincentelli A. Symbolic compaction with analogue constraints International Journal of Circuit Theory and Applications. 23: 433-452. DOI: 10.1002/Cta.4490230414  0.394
1995 Aziz A, Balarin F, Brayton RK, DiBenedetto MD, Saldanha A, Sangiovanni-Vincentelli AL. Supervisory control of finite state machines Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 939: 279-292.  0.532
1995 Aziz A, Singhal V, Balarin F, Brayton RK, Sangiovanni-Vincentelli AL. It usually works: The temporal logic of stochastic systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 939: 155-165.  0.527
1994 Saldanha A, Brayton RK, Sangiovanni-Vincentelli AL. Circuit Structure Relations to Redundancy and Delay Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 13: 875-883. DOI: 10.1109/43.293944  0.587
1994 Saldanha A, Villa T, Brayton RK, Sangiovanni-Vincentelli AL. Satisfaction of Input and Output Encoding Constraints Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 13: 589-602. DOI: 10.1109/43.277632  0.606
1994 Chiodo M, Giusto P, Jurecska A, Hsieh H, Sangiovanni-Vincentelli A, Lavagno L. Hardware-software codesign of embedded systems Ieee Micro. 14: 26-36. DOI: 10.1109/40.296155  0.681
1994 Aziz A, Balarin F, Cheng ST, Hojati R, Kam T, Krishnan SC, Ranjan RK, Shiple TR, Singhal V, Tasiran S, Wang HY, Brayton RK, Sangiovanni-Vincentelli AL. HSIS: a BDD-based environment for formal verification Proceedings - Design Automation Conference. 454-459.  0.604
1993 Xiao PM, Charbon E, Sangiovanni-Vincentelli A, Duzer TV, Whiteley SR. INDEX: an inductance extractor for superconducting circuits Ieee Transactions On Applied Superconductivity. 3: 2629-2632. DOI: 10.1109/77.233517  0.308
1993 Malik S, Singh KJ, Brayton RK, Sangiovanni-Vincentelli A. Performance Optimization of Pipelined Logic Circuits Using Peripheral Retiming and Resynthesis Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 12: 568-578. DOI: 10.1109/43.277605  0.604
1993 Malavasi E, Sangiovanni-Vincentelli A. Area routing for analog layout Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 12: 1186-1197. DOI: 10.1109/43.238611  0.359
1993 Casotto A, Sangiovanni-Vincentelli A. Automated design management using traces Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 12: 1077-1095. DOI: 10.1109/43.238602  0.37
1993 Choudhury U, Sangiovanni-Vincentelli A. Automatic generation of parasitic constraints for performance-constrained physical design of analog circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 12: 208-224. DOI: 10.1109/43.205002  0.379
1993 Malik AA, Brayton RK, Newton AR, Sangiovanni-Vincentelli AL. Two-Level Minimization of Multivalued Functions with Large Offsets Ieee Transactions On Computers. 42: 1325-1342. DOI: 10.1109/12.247837  0.595
1993 Lavagno L, Sangiovanni-Vincentelli A. Automated synthesis of asynchronous interface circuits Microprocessors and Microsystems. 17: 232-242. DOI: 10.1016/0141-9331(93)90021-X  0.343
1992 Malik S, Lavagno L, Brayton RK, Sangiovanni-Vincentelli A. Symbolic Minimization of Multilevel Logic and the Input Encoding Problem Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 11: 825-843. DOI: 10.1109/43.144847  0.591
1991 Webber D, Tomacruz E, Guerrieri R, Toyabe T, Sangiovanni-Vincentelli A. A massively parallel algorithm for three-dimensional device simulation Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 10: 1201-1209. DOI: 10.1109/43.85767  0.308
1991 Malik AA, Brayton RK, Newton AR, Sangiovanni-Vincentelli A. Reduced Offsets for Minimization of Binary-Valued Functions Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 10: 413-426. DOI: 10.1109/43.75625  0.585
1991 Casinovi G, Sangiovanni-Vincentelli A. A macromodeling algorithm for analog circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 10: 150-160. DOI: 10.1109/43.68402  0.327
1991 Malik S, Sentovich EM, Brayton RK, Sangiovanni-Vincentelli A. Retiming and Resynthesis: Optimizing Sequential Networks with Combinational Techniques Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 10: 74-84. DOI: 10.1109/43.62793  0.586
1991 Romeo F, Sangiovanni-Vincentelli A. A theoretical framework for simulated annealing Algorithmica. 6: 302-345. DOI: 10.1007/Bf01759049  0.357
1990 Brayton RK, Hachtel GD, Sangiovanni-Vincentelli AL. Multilevel Logic Synthesis Proceedings of the Ieee. 78: 264-300. DOI: 10.1109/5.52213  0.509
1990 Villa T, Sangiovanni-Vincentelli A. NOVA: state assignment of finite state machines for optimal two-level logic implementation Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 9: 905-924. DOI: 10.1109/43.59068  0.374
1990 Shin H, Sangiovanni-Vincentelli AL, Séquin CH. “Zone-Refining” Techniques for IC Layout Compaction Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 9: 167-179. DOI: 10.1109/43.46783  0.324
1990 Devadas S, Ma H, Newton A, Sangiovanni-Vincentelli A. Irredundant sequential machines via optimal logic synthesis Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 9: 8-18. DOI: 10.1109/43.45852  0.354
1989 Devadas S, Ma H, Newton A, Sangiovanni-Vincentelli A. A synthesis and optimization procedure for fully and easily testable sequential machines Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 8: 1100-1107. DOI: 10.1109/43.39071  0.371
1989 Ma H-T, Devadas S, Wei R, Sangiovanni-Vincentelli A. Logic verification algorithms and their parallel implementation Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 8: 181-189. DOI: 10.1109/43.21836  0.36
1989 Kundert K, White J, Sangiovanni-Vincentelli A. A mixed frequency-time approach for distortion analysis of switching filter circuits Ieee Journal of Solid-State Circuits. 24: 443-451. DOI: 10.1109/4.18606  0.566
1989 Devadas S, Wang AR, Newton AR, Sangiovanni-Vincentelli A. Boolean decomposition in multilevel logic optimization Ieee Journal of Solid-State Circuits. 24: 399-408. DOI: 10.1109/4.18601  0.351
1988 Guerrieri R, Sangiovanni-Vincentelli A. Three-dimensional capacitance evaluation on a Connection Machine Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 7: 1125-1133. DOI: 10.1109/43.9183  0.354
1988 Ma H, Devadas S, Newton A, Sangiovanni-Vincentelli A. Test generation for sequential circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 7: 1081-1093. DOI: 10.1109/43.7807  0.343
1988 Casinovi G, Sangiovanni-Vincentelli A. A new aggregation technique for the solution of large systems of algebraic equations (IC simulation) Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 7: 976-986. DOI: 10.1109/43.7795  0.336
1988 Bartlett KA, Brayton RK, Hachtel GD, Jacoby RM, Morrison CR, Rudell RL, SangiovannI-Vincentelli A, Wang AR. Multilevel Logic Minimization Using Implicit Don't Cares Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 7: 723-740. DOI: 10.1109/43.3211  0.594
1988 Nye W, Riley DC, SangiovannI-Vincentelli A, Tits AL. Delight. Spice: An Optimization-Based System for the Design of Integrated Circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 7: 501-519. DOI: 10.1109/43.3185  0.409
1988 Devadas S, Ma H, Newton AR, Sangiovanni-Vincentelli A. MUSTANG: state assignment of finite state machines targeting multilevel logic implementations Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 7: 1290-1300. DOI: 10.1109/43.16807  0.354
1988 Shyu J-, Sangiovanni-Vincentelli A, Fishburn JP, Dunlop AE. Optimization-based transistor sizing Ieee Journal of Solid-State Circuits. 23: 400-409. DOI: 10.1109/4.1000  0.347
1988 Kundert KS, Sorkin GB, Sangiovanni-Vincentelli A. Applying harmonic balance to almost-periodic circuits Ieee Transactions On Microwave Theory and Techniques. 36: 366-378. DOI: 10.1109/22.3525  0.315
1987 Brayton RK, Rudell R, Sangiovanni-Vincentelli A, Wang AR. MIS: A Multiple-Level Logic Optimization System Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 6: 1062-1081. DOI: 10.1109/Tcad.1987.1270347  0.616
1987 Shin H, Sangiovanni-Vincentelli A. A Detailed Router Based on Incremental Routing Modifications: Mighty Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 6: 942-955. DOI: 10.1109/Tcad.1987.1270336  0.364
1987 Casotto A, Romeo F, Sangiovanni-Vincentelli A. A Parallel Simulated Annealing Algorithm for the Placement of Macro-Cells Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 6: 838-847. DOI: 10.1109/Tcad.1987.1270327  0.325
1987 Rudell R, Sangiovanni-Vincentelli A. Multiple-Valued Minimization for PLA Optimization Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 6: 727-750. DOI: 10.1109/Tcad.1987.1270318  0.384
1986 Mitra D, Romeo F, Sangiovanni-Vincentelli A. Convergence and finite-time behavior of simulated annealing Advances in Applied Probability. 18: 747-771. DOI: 10.2307/1427186  0.314
1986 Wei R, Sangiovanni-Vincentelli A. PLATYPUS: A PLA Test Pattern Generation Tool Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 5: 633-644. DOI: 10.1109/Tcad.1986.1270233  0.327
1986 Kundert K, Sangiovanni-Vincentelli A. Simulation of Nonlinear Circuits in the Frequency Domain Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 5: 521-535. DOI: 10.1109/Tcad.1986.1270223  0.315
1986 Micheli GD, Brayton RK, Sangiovanni-Vincentelli A. Correction to “Optimal State Assignment for Finite State Machines” 1 Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 5: 239. DOI: 10.1109/Tcad.1986.1270192  0.509
1986 Riley D, Sangiovanni-Vincentelli A. Models for a New Profit-Based Methodology for Statistical Design of Integrated Circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 5: 131-169. DOI: 10.1109/Tcad.1986.1270183  0.408
1986 Tits AL, Nye WT, Sangiovanni-Vincentelli AL. Enhanced methods of feasible directions for engineering design problems Journal of Optimization Theory and Applications. 51: 475-504. DOI: 10.1007/Bf00940286  0.395
1985 Micheli GD, Brayton RK, Sangiovanni-Vincentelli A. Optimal State Assignment for Finite State Machines Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 4: 269-285. DOI: 10.1109/Tcad.1985.1270123  0.609
1985 Newton AR, Pederson DO, Sangiovanni-Vincentelli AL. Design Aids for VLSI: A Perspective Revisited Ieee Design and Test of Computers. 2: 106-115. DOI: 10.1109/Mdt.1985.294877  0.369
1984 De Micheli G, Sangiovanni-Vincentelli A. Correction to "Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications" Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 3: 256-256. DOI: 10.1109/Tcad.1984.1270083  0.3
1984 Visvanathan V, Sangiovanni-Vincentelli A. A Computational Approach for the Diagnosability of Dynamical Circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 3: 165-171. DOI: 10.1109/Tcad.1984.1270071  0.319
1984 Newton AR, Sangiovanni-Vincentelli AL. Relaxation-Based Electrical Simulation Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 3: 308-331. DOI: 10.1109/T-Ed.1983.21275  0.333
1984 De Micheli G, Sangiovanni-Vincentelli A. Pleasure: a computer program for simple/multiple constrained/unconstrained folding of programmable logic arrays Computer-Aided Design. 16: 2-12. DOI: 10.1016/S0010-4485(84)80002-0  0.37
1983 De Micheli G, Newton A, Sangiovanni-Vincentelli A. Symmetric Displacement Algorithms for the Timing Analysis of Large Scale Circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 2: 167-180. DOI: 10.1109/Tcad.1983.1270034  0.304
1983 De Micheli G, Sangiovanni-Vincentelli A. Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 2: 151-167. DOI: 10.1109/Tcad.1983.1270033  0.377
1982 Ruehli AE, Sangiovanni-Vincentelli AL, Rabbat G. Time Analysis of Large-Scale Circuits Containing One-Way Macromodels Ieee Transactions On Circuits and Systems. 29: 185-190. DOI: 10.1109/Tcs.1982.1085127  0.327
1982 Lelarasmee E, Ruehli AE, Sangiovanni-Vincentelli AL. The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 1: 131-145. DOI: 10.1109/Tcad.1982.1270004  0.3
1982 Hachtel GD, Newton AR, Sangiovanni-Vincentelli AL. An Algorithm for Optimal PLA Folding Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 1: 63-77. DOI: 10.1109/Tcad.1982.1269996  0.333
1982 Mayne DQ, Polak E, Sangiovanni-Vincentelli A. Computer-aided design via optimization. A review Automatica. 18: 147-154. DOI: 10.1016/0005-1098(82)90104-2  0.349
1981 Newton AR, Pederson DO, Sangiovanni-Vincentelli AL, Sequin CH. Design Aids for VLSI: The Berkeley Perspective Ieee Transactions On Circuits and Systems. 28: 666-680. DOI: 10.1109/Tcs.1981.1085039  0.404
1981 Visvanathan V, Sangiovanni-Vincentelli A. Diagnosability of nonlinear circuits and systems-Part I: The dc case Ieee Transactions On Circuits and Systems. 28: 1093-1102. DOI: 10.1109/Tcs.1981.1084927  0.304
1981 Brayton RK, Hachtel GD, Sangiovanni-Vincentelli AL. A Survey of Optimization Techniques for Integrated-Circuit Design Proceedings of the Ieee. 69: 1334-1362. DOI: 10.1109/PROC.1981.12170  0.562
1979 Polak E, Sangiovanni-Vincentelli A. Theoretical and Computational Aspects of the Optimal Design Centering, Tolerancing, and Tuning Problem Ieee Transactions On Circuits and Systems. 26: 795-813. DOI: 10.1109/Tcs.1979.1084702  0.312
1979 Rabbat GNB, Hsieh HY, Sangiovanni-Vincentelli AL. A Multilevel Newton Algorithm with Macromodeling and Latency for the Analysis of Large-Scale Nonlinear Circuits in the Time Domain Ieee Transactions On Circuits and Systems. 26: 733-741. DOI: 10.1109/Tcs.1979.1084693  0.325
1979 Sangiovanni-Vincentelli AL. ON THE DECOMPOSITION OF LARGE-SCALE SYSTEMS OF LINEAR ALGEBRAIC EQUATIONS National Conference Publication - Institution of Engineers, Australia. 117-124. DOI: 10.1109/Jacc.1979.4170584  0.308
1979 Mayne DQ, Polak E, Sangiovanni-Vincentelli A. Computer Aided Design Via Optimization Ifac Proceedings Volumes. 12: 85-91. DOI: 10.1016/S1474-6670(17)65858-0  0.324
1979 Sangiovanni-Vincentelli AL, Santomauro M. Optimal printed circuit board ordering via hart‐nilsson‐raphael‐algorithm International Journal of Circuit Theory and Applications. 7: 247-256. DOI: 10.1002/Cta.4490070211  0.339
1978 Polak E, Sangiovanni-Vincentelli A. On optimization algorithms for engineering design problems with distributed constraints, tolerances and tuning Ieee Transactions On Automatic Control. 15: 345-354. DOI: 10.1109/Jacc.1978.4231928  0.372
1978 Goto S, Sangiovanni-Vincentelli A. A new shortest path updating algorithm Networks. 8: 341-372. DOI: 10.1002/Net.3230080406  0.318
1977 Sangiovanni-Vincentelli A, Chen L, Chua L. An efficient heuristic cluster algorithm for tearing large-scale networks Ieee Transactions On Circuits and Systems. 24: 709-717. DOI: 10.1109/Tcs.1977.1084298  0.326
1977 Sangiovanni-Vincentelli AL. GRAPH THEORETICAL INTERPRETATION OF NONSYMMETRIC PERMUTATION ON SPARSE MATRICES International Journal of Circuit Theory and Applications. 5: 139-147. DOI: 10.1002/Cta.4490050206  0.327
1976 Guardabassi G, Sangiovanni-Vincentelli A. A two levels algorithm for tearing Ieee Transactions On Circuits and Systems. 23: 783-791. DOI: 10.1109/Tcs.1976.1084171  0.341
Show low-probability matches.