Alberto L. Sangiovanni-Vincentelli - Publications

Affiliations: 
Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA 
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/

255 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
2021 Zhao S, Chen X, Yue X, Lin C, Xu P, Krishna R, Yang J, Ding G, Sangiovanni-Vincentelli AL, Keutzer K. Emotional Semantics-Preserved and Feature-Aligned CycleGAN for Visual Emotion Adaptation. Ieee Transactions On Cybernetics. PMID 33760749 DOI: 10.1109/TCYB.2021.3062750  0.52
2020 Zhao S, Yue X, Zhang S, Li B, Zhao H, Wu B, Krishna R, Gonzalez JE, Sangiovanni-Vincentelli AL, Seshia SA, Keutzer K. A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. Ieee Transactions On Neural Networks and Learning Systems. PMID 33095718 DOI: 10.1109/TNNLS.2020.3028503  0.52
2016 Ghosh S, Sadigh D, Nuzzo P, Raman V, Donzé A, Sangiovanni-Vincentelli A, Shankar Sastry S, Seshia SA. Diagnosis and repair for synthesis from signal temporal logic specifications Hscc 2016 - Proceedings of the 19th International Conference On Hybrid Systems: Computation and Control. 31-40. DOI: 10.1145/2883817.2883847  1
2016 Finn J, Nuzzo P, Sangiovanni-Vincentelli A. A mixed discrete-continuous optimization scheme for Cyber-Physical System architecture exploration 2015 Ieee/Acm International Conference On Computer-Aided Design, Iccad 2015. 216-223. DOI: 10.1109/ICCAD.2015.7372573  1
2016 Shoukry Y, Nuzzo P, Bezzo N, Sangiovanni-Vincentelli AL, Seshia SA, Tabuada P. Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving Proceedings of the Ieee Conference On Decision and Control. 2016: 3804-3809. DOI: 10.1109/CDC.2015.7402810  1
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  1
2015 Jin B, Nuzzo P, Maasoumy M, Zhou Y, Sangiovanni-Vincentelli A. A contract-based framework for integrated demand-response management in smart grids Buildsys 2015 - Proceedings of the 2nd Acm International Conference On Embedded Systems For Energy-Efficient Built. 167-176. DOI: 10.1145/2821650.2821658  1
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  1
2015 Yang Y, Tripakis S, Sangiovanni-Vincentelli A. Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms Proceedings - 2015 International Conference On Embedded Computer Systems: Architectures, Modeling and Simulation, Samos 2015. 113-122. DOI: 10.1109/SAMOS.2015.7363666  1
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  1
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  1
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  1
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  1
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  1
2015 Lin CW, Zhu Q, Sangiovanni-Vincentelli A. Security-Aware mapping for TDMA-based real-Time distributed systems Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 2015: 24-31. DOI: 10.1109/ICCAD.2014.7001325  1
2015 Shoukry Y, Puggelli A, Nuzzo P, Sangiovanni-Vincentelli AL, Seshia SA, Tabuada P. Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving Proceedings of the American Control Conference. 2015: 3818-3823. DOI: 10.1109/ACC.2015.7171925  1
2015 Shahsavari B, Maasoumy M, Sangiovanni-Vincentelli A, Horowitz R. Stochastic model predictive control design for load management system of aircraft electrical power distribution Proceedings of the American Control Conference. 2015: 3649-3655. DOI: 10.1109/ACC.2015.7171897  1
2015 Maasoumy M, Nuzzo P, Sangiovanni-Vincentelli A. Smart buildings in the smart grid: Contract-based design of an integrated energy management system Power Systems. 79: 103-132. DOI: 10.1007/978-3-662-45928-7_5  1
2015 Balluchif A, Benvenuti L, Villas T, Wong-Toi H, Sangiovanni-Vincentelli AL. A case study of hybrid controller synthesis of a heating system European Control Conference, Ecc 1999 - Conference Proceedings. 1687-1692.  1
2015 Balluchi A, Bicchi A, Mazzi E, Sangiovanni-Vincentelli AL, Serra G. Hybrid multi-rate control of the common-rail 2007 European Control Conference, Ecc 2007. 54-61.  1
2015 Bajaj N, Nuzzo P, Masin M, Sangiovanni-Vincentelli A. Optimized selection of reliable and cost-effective cyber-physical system architectures Proceedings -Design, Automation and Test in Europe, Date. 2015: 561-566.  1
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  1
2014 Iannopollo A, Nuzzo P, Tripakis S, Sangiovanni-Vincentelli A. Library-based scalable refinement checking for contract-based design Proceedings -Design, Automation and Test in Europe, Date. DOI: 10.7873/DATE2014.167  1
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  1
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  1
2014 Aksanli B, Akyurek AS, Behl M, Clark M, Donzé A, Dutta P, Lazik P, Maasoumy M, Mangharam R, Nghiem TX, Raman V, Rowe A, Sangiovanni-Vincentelli A, Seshia S, Rosing TS, et al. Distributed control of a swarm of buildings connected to a smart grid Buildsys 2014 - Proceedings of the 1st Acm Conference On Embedded Systems For Energy-Efficient Buildings. 172-173. DOI: 10.1145/2674061.2675019  1
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  1
2014 Puggelli A, Sangiovanni-Vincentelli AL, Seshia SA. Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing 2014 Proceedings of the International Conference On Embedded Software, Emsoft 2014. DOI: 10.1145/2656045.2656069  1
2014 Lin CW, Rao L, Giusto P, D'Ambrosio J, Sangiovanni-Vincentelli A. An efficient wire routing and wire sizing algorithm for weight minimization of automotive systems Proceedings - Design Automation Conference. DOI: 10.1145/2593069.2593088  1
2014 Nuzzo P, Iannopollo A, Tripakis S, Sangiovanni-Vincentelli A. Are interface theories equivalent to contract theories? 12th Acm/Ieee International Conference On Methods and Models For System Design, Memocode 2014. 104-113. DOI: 10.1109/MEMCOD.2014.6961848  1
2014 Lee EA, Rabaey J, Hartmann B, Kubiatowicz J, Pister K, Simunic Rosing T, Wawrzynek J, Wessel D, Sangiovanni-Vincentelli A, Seshia SA, Blaauw D, Dutta P, Fu K, Guestrin C, Taskar B, et al. The swarm at the edge of the cloud Ieee Design and Test. 31: 8-20. DOI: 10.1109/MDAT.2014.2314600  1
2014 Raman V, Maasoumy M, Donze A, Murray RM, Sangiovanni-Vincentelli A, Seshia SA. Model predictive control with signal temporal logic specifications Proceedings of the Ieee Conference On Decision and Control. 2015: 81-87. DOI: 10.1109/CDC.2014.7039363  1
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  1
2014 Maasoumy M, Sanandaji BM, Sangiovanni-Vincentelli A, Poolla K. Model Predictive Control of regulation services from commercial buildings to the smart grid Proceedings of the American Control Conference. 2226-2233. DOI: 10.1109/ACC.2014.6859332  1
2014 Maasoumy M, Rosenberg C, Sangiovanni-Vincentelli A, Callaway DS. Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following Proceedings of the American Control Conference. 1082-1089. DOI: 10.1109/ACC.2014.6858874  1
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  1
2014 Wang GQ, Allen R, Andrade HA, Sangiovanni-Vincentelli A. Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint Computers and Electrical Engineering. 40: 1858-1873. DOI: 10.1016/j.compeleceng.2014.05.002  1
2014 Nuzzo P, Sangiovanni-Vincentelli A. Let's get physical: Computer science meets systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8415: 193-208. DOI: 10.1007/978-3-642-54848-2_13  1
2014 Sadigh D, Driggs-Campbell K, Puggelli A, Li W, Shia V, Bajcsy R, Sangiovanni-Vincentelli AL, Sastry SS, Seshia SA. Data-driven probabilistic modeling and verification of human driver behavior Aaai Spring Symposium - Technical Report. 56-61.  1
2014 Di Natale M, Chirico F, Sindico A, Sangiovanni-Vincentelli A. An MDA approach for the generation of communication adapters integrating SW and FW components from simulink Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8767: 353-369.  1
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  1
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  1
2013 Maasoumy M, Moridian B, Razmara M, Shahbakhti M, Sangiovanni-Vincentelli A. Online simultaneous state estimation and parameter adaptation for building predictive control Asme 2013 Dynamic Systems and Control Conference, Dscc 2013. 2. DOI: 10.1115/DSCC2013-4064  1
2013 Lin CW, Di Natale M, Zeng H, Phan LTX, Sangiovanni-Vincentelli A. Timing analysis of process graphs with finite communication buffers Real-Time Technology and Applications - Proceedings. 227-236. DOI: 10.1109/RTAS.2013.6531095  1
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  1
2013 Maasoumy M, Zhu Q, Li C, Meggers F, Sangiovanni-Vincentelli A. Co-design of control algorithm and embedded platform for building HVAC systems 2013 Acm/Ieee International Conference On Cyber-Physical Systems, Iccps 2013. 61-70. DOI: 10.1109/ICCPS.2013.6604000  1
2013 Lin CW, Zhu Q, Phung C, Sangiovanni-Vincentelli A. Security-aware mapping for CAN-based real-time distributed automotive systems Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 115-121. DOI: 10.1109/ICCAD.2013.6691106  1
2013 Crossley J, Puggelli A, Le HP, Yang B, Nancollas R, Jung K, Kong L, Narevsky N, Lu Y, Sutardja N, An EJ, Sangiovanni-Vincentelli AL, Alon E. BAG: A designer-oriented integrated framework for the development of AMS circuit generators Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 74-81. DOI: 10.1109/ICCAD.2013.6691100  1
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  1
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  1
2013 Maasoumy M, Nuzzo P, Iandola F, Kamgarpour M, Sangiovanni-Vincentelli A, Tomlin C. Optimal load management system for aircraft electric power distribution Proceedings of the Ieee Conference On Decision and Control. 2939-2945. DOI: 10.1109/CDC.2013.6760330  1
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  1
2013 Puggelli A, Li W, Sangiovanni-Vincentelli AL, Seshia SA. Polynomial-time verification of PCTL properties of MDPs with convex uncertainties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8044: 527-542. DOI: 10.1007/978-3-642-39799-8_35  1
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.  1
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  1
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  1
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  1
2012 Maasoumy M, Sangiovanni-Vincentelli A. Optimal control of building HVAC systems in the presence of imperfect predictions Asme 2012 5th Annual Dynamic Systems and Control Conference Joint With the Jsme 2012 11th Motion and Vibration Conference, Dscc 2012-Movic 2012. 2: 257-266. DOI: 10.1115/DSCC2012-MOVIC2012-8523  1
2012 Nuzzo P, Nani C, Armiento C, Sangiovanni-Vincentelli A, Craninckx J, Van Der Plas G. A 6-Bit 50-MS/s threshold configuring SAR ADC in 90-nm digital CMOS Ieee Transactions On Circuits and Systems I: Regular Papers. 59: 80-92. DOI: 10.1109/TCSI.2011.2161368  1
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  1
2012 Maasoumy M, Sangiovanni-Vincentelli A. Total and peak energy consumption minimization of building hvac systems using model predictive control Ieee Design and Test of Computers. 29: 26-35. DOI: 10.1109/MDT.2012.2200871  1
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  1
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  1
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  1
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  1
2012 Sindico A, Di Natale M, Sangiovanni-Vincentelli A. An industrial system engineering process integrating model driven architecture and model based design Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7590: 810-826. DOI: 10.1007/978-3-642-33666-9_51  1
2011 Iyengar S, Bonda FT, Gravina R, Guerrieri A, Fortino G, Sangiovanni-Vincentelli A. A framework for creating healthcare monitoring applications using wireless body sensor networks Bodynets 2008 - 3rd International Icst Conference On Body Area Networks. DOI: 10.4108/ICST.BODYNETS2008.2969  1
2011 Maasoumy M, Pinto A, Sangiovanni-Vincentelli A. Model-based hierarchical optimal control design for HVAC systems Asme 2011 Dynamic Systems and Control Conference and Bath/Asme Symposium On Fluid Power and Motion Control, Dscc 2011. 1: 271-278. DOI: 10.1115/DSCC2011-6078  1
2011 Park P, Fischione C, Bonivento A, Johansson KH, Sangiovanni-Vincent A. Breath: An adaptive protocol for industrial control applications using wireless sensor networks Ieee Transactions On Mobile Computing. 10: 821-828. DOI: 10.1109/TMC.2010.223  0.4
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  1
2011 Nuzzo P, Sangiovanni-Vincentelli A. Robustness in analog systems: Design techniques, methodologies and tools Sies 2011 - 6th Ieee International Symposium On Industrial Embedded Systems, Conference Proceedings. 194-203. DOI: 10.1109/SIES.2011.5953662  1
2011 Zhu Q, Kitchen NB, Kuehlmann A, Sangiovanni-Vincentelli A. SAT sweeping with local observability don't-cares Advanced Techniques in Logic Synthesis, Optimizations and Applications. 129-148. DOI: 10.1007/978-1-4419-7518-8_8  1
2011 Lee EA, Sangiovanni-Vincentelli AL. Component-based design for the future Proceedings -Design, Automation and Test in Europe, Date. 1029.  1
2011 Puggelli A, Welp T, Kuehlmann A, Sangiovanni-Vincentelli A. Are logic synthesis tools robust? Proceedings - Design Automation Conference. 633-638.  1
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  1
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  1
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  1
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  1
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  1
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  1
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  1
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  1
2010 Sangiovanni-Vincentelli A. Corsi e Ricorsi: The EDA story Ieee Solid-State Circuits Magazine. 2: 6-25. DOI: 10.1109/MSSC.2010.937693  1
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  1
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  1
2010 Wu CC, Sun X, Sangiovanni-Vincentelli A, Rabaey JM. A 2.2mW CMOS LNA for 6-8.5GHz UWB receivers Iscas 2010 - 2010 Ieee International Symposium On Circuits and Systems: Nano-Bio Circuit Fabrics and Systems. 1631-1634. DOI: 10.1109/ISCAS.2010.5537463  1
2010 Nuzzo P, Puggelli A, Seshia SA, Sangiovanni-Vincentelli A. CalCS: SMT solving for non-linear convex constraints Formal Methods in Computer Aided Design, Fmcad 2010. 71-79.  1
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  1
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  1
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  1
2009 Zeng H, Di Natale M, Giusto P, Sangiovanni-Vincentelli A. Statistical analysis of controller area network message response times Proceedings - 2009 Ieee International Symposium On Industrial Embedded Systems, Sies 2009. 1-10. DOI: 10.1109/SIES.2009.5196185  1
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  1
2009 Fischione C, Coleri Ergen S, Park P, Johansson KH, Sangiovanni-Vincentelli A. Medium access control analytical modeling and optimization in unslotted IEEE 802.15.4 wireless sensor networks 2009 6th Annual Ieee Communications Society Conference On Sensor, Mesh and Ad Hoc Communications and Networks, Secon 2009. DOI: 10.1109/SAHCN.2009.5168946  1
2009 Zhu Q, Yang Y, Scholte E, Di Natale M, Sangiovanni-Vincentelli A. Optimizing extensibility in hard real-time distributed systems Proceedings of the Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas. 275-284. DOI: 10.1109/RTAS.2009.37  1
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  1
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  1
2009 Wang G, Di Natale M, Sangiovanni-Vincentelli A, Mosterman PJ. Automatic code generation for synchronous reactive communication Proceedings - 2009 International Conference On Embedded Software and Systems, Icess 2009. 40-47. DOI: 10.1109/ICESS.2009.70  1
2009 Gueye A, Ergen SC, Sangiovanni-Vincentelli A. Iterative node deployment in an unknown environment Globecom - Ieee Global Telecommunications Conference. DOI: 10.1109/GLOCOM.2009.5425858  1
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  1
2009 Fischione C, Speranzon A, Johansson KH, Sangiovanni-Vincentelli A. Peer-to-peer estimation over wireless sensor networks via Lipschitz optimization 2009 International Conference On Information Processing in Sensor Networks, Ipsn 2009. 241-252.  1
2009 Sun X, Nuzzo P, Wu CC, Sangiovanni-Vincentelli A. Contract-based system-level composition of analog circuits Proceedings - Design Automation Conference. 605-610.  1
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.  1
2009 Wenchao L, Di Natale M, Wei Z, Giusto P, Sangiovanni-Vincentelli A, Seshia SA. Optimizations of an application-level protocol for enhanced dependability in FlexRay Proceedings -Design, Automation and Test in Europe, Date. 1076-1081.  1
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.  1
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  1
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  1
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  1
2008 Tripakis S, Pinello C, Benveniste A, Sangiovanni-Vincent A, Caspi P, Di Natale M. Implementing synchronous models on loosely time triggered architectures Ieee Transactions On Computers. 57: 1300-1314. DOI: 10.1109/TC.2008.81  0.48
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  1
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  1
2008 Liu C, Kondratyev A, Watanabe Y, Desel J, Sangiovanni-Vincentelli A. Schedulability analysis of petri nets based on structural properties Fundamenta Informaticae. 86: 325-341. DOI: 10.1109/ACSD.2006.22  1
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  1
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  1
2008 Li Y, Rabaey JM, Sangiovanni-Vincentelli A. Analysis of interference effects in MB-OFDM UWB systems Ieee Wireless Communications and Networking Conference, Wcnc. 165-170.  1
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  1
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  1
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  1
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  1
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  1
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  1
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  1
2007 Di Natale M, Zheng W, Pinello C, Giusto P, Vincentelli AS. Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems Proceedings of the Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas. 293-302. DOI: 10.1109/RTAS.2007.24  0.6
2007 Wei Z, Di Natale M, Pinello C, Giusto P, Vincentelli AS. Synthesis of task and message activation models in real-time distributed automotive systems Proceedings -Design, Automation and Test in Europe, Date. 93-98. DOI: 10.1109/DATE.2007.364573  0.56
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  1
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  1
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.1002/rnc.1129  1
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  1
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  1
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  1
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  1
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  1
2006 Mangeruca L, Ferrari A, Sangiovanni-Vincentelli AL. Uniprocessor scheduling under precedence constraints Real-Time Technology and Applications - Proceedings. 157-166. DOI: 10.1109/RTAS.2006.44  1
2006 Rabaey JM, De Bernardinis F, Niknejad AM, Nikolić B, Sangiovanni-Vincentelli A. Embedding mixed-signal design in systems-on-chip Proceedings of the Ieee. 94: 1070-1087. DOI: 10.1109/JPROC.2006.873609  1
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  1
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  1
2006 Balluchi A, Benvenuti L, Di Benedetto MD, Villa T, Sangiovanni-Vincentelli AL. Idle speed control - A benchmark for hybrid system research Ifac Proceedings Volumes (Ifac-Papersonline). 2: 259-264. DOI: 10.1016/B978-008044613-4.50046-X  1
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  1
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  1
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  1
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  1
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  1
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  1
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  1
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  1
2005 Li Y, De Bernardinis F, Otis B, Rabaey JM, Vincentelli AS. A low-power mixed-signal baseband system design for wireless sensor networks Proceedings of the Custom Integrated Circuits Conference. 2005: 54-57. DOI: 10.1109/CICC.2005.1568606  0.44
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  1
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.  1
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.  1
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.  1
2005 Balluchi A, Benvenuti L, Lemma C, Sangiovanni-Vincentelli AL, Serra G. Actual engaged gear identification: A hybrid observer approach Ifac Proceedings Volumes (Ifac-Papersonline). 16: 13-18.  1
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.  1
2005 Balluchi A, Murrieri P, Sangiovanni-Vincentelli AL. Controller synthesis on non-uniform and uncertain discrete-time domains Lecture Notes in Computer Science. 3414: 118-133.  1
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  1
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  1
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  1
2004 Nardi A, Sangiovanni-Vincentelli AL. Synthesis for manufacturability: A sanity check Proceedings - Design, Automation and Test in Europe Conference and Exhibition. 2: 796-801. DOI: 10.1109/DATE.2004.1268978  1
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  1
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.  1
2004 Passerone R, Burch JR, Sangiovanni-Vincentelli AL. Conservative approximations for heterogeneous design Emsoft 2004 - Fourth Acm International Conference On Embedded Software. 155-164.  1
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.  1
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  1
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  1
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  1
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  1
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  1
2003 Nardi A, Zeng H, Garrett JL, Daniel L, Sangiovanni-Vincentelli AL. A methodology for the computation of an upper bound on noise current spectrum of CMOS switching activity Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers. 778-785.  1
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.  1
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.  1
2003 Zoncu M, Sangiovanni-Vincentelli AL, Balluchi A, Bicchi A. On the Stabilization of Linear Discrete-time Hybrid Automata Proceedings of the Ieee Conference On Decision and Control. 2: 1147-1152.  1
2003 Balluchi A, Di Benedetto MD, Benvenuti L, Sangiovanni-Vincentelli AL. Observability for Hybrid Systems Proceedings of the Ieee Conference On Decision and Control. 2: 1159-1164.  1
2003 Albertoni L, Balluchi A, Casavola A, Gambelli C, Mosca E, Sangiovanni-Vincentelli AL. Hybrid Command Governors for Idle Speed Control in Gasoline Direct Injection Engines Proceedings of the American Control Conference. 1: 773-778.  1
2003 Sangiovanni-Vincentelli AL. The tides of EDA Proceedings - Design Automation Conference. xxvii.  1
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  1
2002 Carloni LP, Sangiovanni-Vincentelli AL. Coping with latency in SOC design Ieee Micro. 22: 24-35. DOI: 10.1109/MM.2002.1044297  1
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  1
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  1
2002 Palopoli L, Pinello C, Vincentelli AS, Elghaoui L, Bicchi A. Synthesis of robust control systems under resource constraints Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2289: 337-350. DOI: 10.1007/3-540-45873-5_27  0.76
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.  1
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.  1
2002 Pinto A, Carloni LP, Sangiovanni-Vincentelli AL. Constraint-driven communication synthesis Proceedings - Design Automation Conference. 783-788.  1
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  1
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  1
2001 Da Silva JL, Shamberger J, Ammer MJ, Guo C, Li S, Shah R, Tuan T, Sheets M, Rabaey JM, Nikolic B, Sangiovanni-Vincentelli A, Wright P. Design methodology for PicoRadio networks Proceedings -Design, Automation and Test in Europe, Date. 314-323. DOI: 10.1109/DATE.2001.915043  1
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  1
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  1
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  1
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.  1
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.  1
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.  1
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.  1
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  1
2000 Balluchi A, Bicchi A, Caterini C, Rossi C, Sangiovanni-Vincentelli AL. Hybrid tracking control for spark-ignition engines Proceedings of the Ieee Conference On Decision and Control. 4: 3126-3131.  1
2000 Di Benedetto MD, Lucibello P, Sangiovanni-Vincentelli AL, Yamaguchi K. A New Procedure for Exact Ring Closure Journal of Computational Chemistry. 21: 870-881.  1
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  1
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  1
1999 Balluchi A, Benvenuti L, Di Benedetto MD, Cardellino S, Rossi C, Sangiovanni-Vincentelli AL. Hybrid control of the air-fuel ratio in force transients for multi-point injection engines Proceedings of the Ieee Conference On Decision and Control. 1: 316-321.  1
1999 Kenter HJHN, Passerone C, Smits WJM, Watanabe Y, Sangiovanni-Vincentelli AL. Designing digital video systems: Modeling and scheduling Hardware/Software Codesign - Proceedings of the International Workshop. 64-68.  1
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.  1
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  1
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  1
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  1
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  1
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  1
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  1
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  1
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  1
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  1
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  1
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  1
1995 Liu E, Sangiovanni-Vincentelli A. Verification of Nyquist Data Converters Using Behavioral Simulation Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 14: 493-502. DOI: 10.1109/43.372375  1
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.64
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.64
1995 Balarin F, Sangiovanni-Vincentelli AL. An iterative approach to verification of real-time systems Formal Methods in System Design. 6: 67-95. DOI: 10.1007/BF01384315  1
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.  1
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.  1
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  1
1994 Milor L, Sangiovanni-Vincentelli AL. Minimizing Production Test Time to Detect Faults in Analog Circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 13: 796-813. DOI: 10.1109/43.285252  1
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  1
1994 Lavagno L, Shenoy N, Sangiovanni-Vincentelli A. Linear programming for hazard elimination in asynchronous circuits Journal of Vlsi Signal Processing. 7: 137-160. DOI: 10.1007/BF02108194  1
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.  1
1994 Di Benedetto MD, Lucibello P, Sangiovanni-Vincentelli AL, Yamaguchi K. Chain closure: a problem in molecular CAD Proceedings - Design Automation Conference. 497-502.  1
1993 McGeer PC, Sanghavi JV, Bray ton RK, Sangiovanni-Vincentelli AL. ESPRESSO-SIGNATURE: A New Exact Minimizer for Logic Functions Ieee Transactions On Very Large Scale Integration (Vlsi) Systems. 1: 432-440. DOI: 10.1109/92.250190  1
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  1
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  1
1992 Liu E, Sangiovanni-Vincentelli AL. Behavioral representations for VCO and detectors in phase-lock systems Proceedings of the Custom Integrated Circuits Conference. 12.3.1-12.3.4. DOI: 10.1109/CICC.1992.591290  1
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  1
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  1
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  1
1990 Brayton RK, Hachtel GD, Sangiovanni-Vincentelli AL. Multilevel Logic Synthesis Proceedings of the Ieee. 78: 264-300. DOI: 10.1109/5.52213  1
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  1
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  1
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  1
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  1
1987 Newton AR, Sangiovanni-Vincentelli AL. CAD Tools for ASIC Design Proceedings of the Ieee. 75: 765-776. DOI: 10.1109/PROC.1987.13798  1
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  1
1986 Newton AR, Sangiovanni-Vincentelli AL. Computer-Aided Design for VLSI Circuits Computer. 19: 38-60. DOI: 10.1109/MC.1986.1663204  1
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  1
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  1
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  1
1985 White J, Sangiovanni-Vincentelli AL. PARTITIONING ALGORITHMS AND PARALLEL IMPLEMENTATIONS OF WAVEFORM RELAXATION ALGORITHMS FOR CIRCUIT SIMULATION Proceedings - Ieee International Symposium On Circuits and Systems. 221-224.  1
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/TCAD.1984.1270089  1
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  1
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  1
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  1
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  1
1982 Lelarasmee E, Sangiovanni-Vincentelli AL. SOME NEW RESULTS ON WAVEFORM RELAXATION ALGORITHMS FOR THE SIMULATION OF INTEGRATED CIRCUITS . 371-375.  1
1982 Nye WT, Tits AL, Sangiovanni-Vincentelli AL. VARIOUS ASPECTS OF THE SCALING PROBLEM IN OPTIMIZATION-BASED COMPUTER-AIDED DESIGN Proceedings of the Ieee Conference On Decision and Control. 2: 544-545.  1
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  1
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  1
1981 Hachtel GD, Sangiovanni-Vincentelli AL. A Survey of Third-Generation Simulation Techniques Proceedings of the Ieee. 69: 1264-1280. DOI: 10.1109/PROC.1981.12166  1
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  1
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  1
1979 Sangiovanni-Vincentelli AL. ON THE DECOMPOSITION OF LARGE-SCALE SYSTEMS OF LINEAR ALGEBRAIC EQUATIONS National Conference Publication - Institution of Engineers, Australia. 117-124.  1
1978 Sangiovanni-Vincentelli AL, Wang YT. On Equivalent Dynamic Networks: Elimination of Capacitor Loops and Inductor Cutsets Ieee Transactions On Circuits and Systems. 25: 174-177. DOI: 10.1109/TCS.1978.1084448  1
1977 Sangiovanni-Vincentelli AL. GRAPH THEORETICAL INTERPRETATION OF NONSYMMETRIC PERMUTATION ON SPARSE MATRICES International Journal of Circuit Theory and Applications. 5: 139-147.  1
Show low-probability matches.