| Year |
Citation |
Score |
| 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. |
