☰

Alberto L. Sangiovanni-Vincentelli

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/
Google:
"Alberto L. Sangiovanni-Vincentelli"
Cross-listing: Robotree

Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Marco Somalvico grad student 1971 Polytechnic University of Milan (Robotree)

Children

Sign in to add trainee
Giovanni De Micheli grad student 1983 UC Berkeley (Computer Science Tree)
Jacob Keaton White grad student 1985 UC Berkeley
Alper Demir grad student 1997 UC Berkeley
Sunil P. Khatri grad student 1999 UC Berkeley
Mireille E. Broucke grad student 2000 UC Berkeley (Neurotree)
Wilsin Gosti grad student 2000 UC Berkeley (Computer Science Tree)
Harry C. Hsieh grad student 2000 UC Berkeley
Bassam Tabbara grad student 2000 UC Berkeley
Ken D. Yamaguchi grad student 2001 UC Berkeley
Marco Sgroi grad student 2002 UC Berkeley
Luca Daniel grad student 2003 UC Berkeley
Luca Carloni grad student 2004 UC Berkeley (Computer Science Tree)
Roberto Passerone grad student 2004 UC Berkeley
Claudio Pinello grad student 2004 UC Berkeley
Farinaz Koushanfar grad student 2005 UC Berkeley
Alvise Bonivento grad student 2007 UC Berkeley
Abhijit Davare grad student 2007 UC Berkeley
Douglas M. Densmore grad student 2007 UC Berkeley
Arkadeb Ghosal grad student 2008 UC Berkeley
Trevor C. Meyerowitz grad student 2008 UC Berkeley
Alessandro Pinto grad student 2008 UC Berkeley
Haibo Zeng grad student 2008 UC Berkeley
Mark L. McKelvin grad student 2011 UC Berkeley
Xuening Sun grad student 2011 UC Berkeley
Mehdi M. Haghighi grad student 2013 UC Berkeley
Alberto A. Puggelli grad student 2014 UC Berkeley

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Moin A, Thielens A, Araujo A, et al. (2020) Adaptive Body Area Networks Using Kinematics and Biosignals. Ieee Journal of Biomedical and Health Informatics
Nuzzo P, Bajaj N, Masin M, et al. (2020) Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 1-1
Passerone R, Íncer Romeo Í, Sangiovanni-Vincentelli AL. (2019) Coherent Extension, Composition, and Merging Operators in Contract Models for System Design Acm Transactions On Embedded Computing Systems. 18: 1-23
Nuzzo P, Li J, Sangiovanni-Vincentelli AL, et al. (2019) Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Acm Transactions in Embedded Computing Systems. 18: 1-26
Lv C, Hu X, Sangiovanni-Vincentelli A, et al. (2019) Driving-Style-Based Codesign Optimization of an Automated Electric Vehicle: A Cyber-Physical System Approach Ieee Transactions On Industrial Electronics. 66: 2965-2975
Iannopollo A, Tripakis S, Sangiovanni-Vincentelli A. (2019) Constrained synthesis from component libraries Science of Computer Programming. 171: 21-41
Benveniste A, Caillaud B, Nickovic D, et al. (2018) Contracts for System Design Foundations and Trends® in Electronic Design Automation. 12: 124-400
Shoukry Y, Chong M, Wakaiki M, et al. (2018) SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks Acm Transactions On Cyber-Physical Systems. 2: 1-27
Vazquez-Chanlatte MJ, Ghosh S, Raman V, et al. (2018) Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games Ifac-Papersonline. 51: 7-12
Shoukry Y, Nuzzo P, Puggelli A, et al. (2017) Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach Ieee Transactions On Automatic Control. 62: 4917-4932
See more...