Alberto L. Sangiovanni-Vincentelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
325
Venues
34
Active years
1982–2025
Best venue rank
A*
Where they publish
- A*DAC88 papers
- AICCAD75 papers
- ADATE36 papers
- Journal PublishedEMSOFT18 papers
- CICCD15 papers
- CMEMOCODE9 papers
- A*CAV8 papers
- AITC6 papers
- CISCAS4 papers
- BASPDAC4 papers
- AMODELS3 papers
- BFMCAD3 papers
- BGLOBECOM3 papers
- A*ICML3 papers
- A*ICCV2 papers
- A*AAAI2 papers
- A*CVPR2 papers
- AISLPED2 papers
- Journal PublishedCASES2 papers
- AIROS1 paper
- CISORC1 paper
- A*CHI1 paper
- CCloudCom1 paper
- CICMLA1 paper
- A*PLDI1 paper
- A*IJCAI1 paper
- BWCNC1 paper
- BVTC1 paper
- BMASS1 paper
- BFPL1 paper
- BCONCUR1 paper
- MulticonferenceICASSP1 paper
- A*ICALP1 paper
- AFPGA1 paper
Papers
Showing the 300 most recent indexed papers.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MEMOCODE | Contract-based Component Selection Using Behaviors. | Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli |
| 2025 | MEMOCODE | Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition. | Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli |
| 2024 | IROS | Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning. | Mirco Theile, Hongpeng Cao, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli |
| 2023 | CAV | 3D Environment Modeling for Falsification and Beyond with Scenic 3.0. | Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2023 | ICCV | Beating Backdoor Attack at Its Own Game. | Min Liu, Alberto L. Sangiovanni-Vincentelli, Xiangyu Yue |
| 2023 | MEMOCODE | Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
| 2023 | MEMOCODE | Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
| 2022 | AAAI | Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning. | Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2022 | AAAI | Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data. | Hari Prasanna Das, Ryan Tran, Japjot Singh, Xiangyu Yue, Geoffrey H. Tison, Alberto L. Sangiovanni-Vincentelli, Costas J. Spanos |
| 2022 | CVPR | Class-wise Thresholding for Robust Out-of-Distribution Detection. | Matteo Guarrera, Baihong Jin, Tung-Wei Lin, Maria A. Zuluaga, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli |
| 2021 | CVPR | Prototypical Cross-Domain Self-Supervised Learning for Few-Shot Unsupervised Domain Adaptation. | Xiangyu Yue, Zangwei Zheng, Shanghang Zhang, Yang Gao, Trevor Darrell, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli |
| 2021 | DAC | Safety in Autonomous Driving: Can Tools Offer Guarantees? | Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2021 | EMSOFT | The cyber-physical immune system: work-in-progress. | Bo Pang, Ashank Verma, Jingchao Zhou, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
| 2020 | ISORC | ODRE Workshop: Probabilistic Dynamic Hard Real-Time Scheduling in HPC. | Florian Hofer, Martin A. Sehr, Barbara Russo, Alberto L. Sangiovanni-Vincentelli |
| 2019 | CHI | Beyond Schematic Capture: Meaningful Abstractions for Better Electronics Design Tools. | Richard Lin, Rohit Ramesh, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli, Prabal Dutta, Elad Alon, Bjrn Hartmann |
| 2019 | CloudCom | Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS. | Florian Hofer, Martin A. Sehr, Antonio Iannopollo, Ines Ugalde, Alberto L. Sangiovanni-Vincentelli, Barbara Russo |
| 2019 | ICCV | Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization Without Accessing Target Domain Data. | Xiangyu Yue, Yang Zhang, Sicheng Zhao, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Boqing Gong |
| 2019 | ICMLA | An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. | Yingshui Tan, Baihong Jin, Alexander J. Nettekoven, Yuxin Chen, Yisong Yue, Ufuk Topcu, Alberto L. Sangiovanni-Vincentelli |
| 2019 | PLDI | Scenic: a language for scenario specification and scene generation. | Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2018 | DAC | Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. | Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 2018 | DATE | Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. | Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2018 | DATE | CHASE: Contract-based requirement engineering for cyber-physical system design. | Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli |
| 2018 | IJCAI | Counterexample-Guided Data Augmentation. | Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2018 | MEMOCODE | Quotient for Assume-Guarantee Contracts. | igo ncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang |
| 2017 | DAC | ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. | Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 2017 | DAC | Optimized Design of a Human Intranet Network. | Ali Moin, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey |
| 2017 | MEMOCODE | Stochastic contracts for cyber-physical system design under probabilistic requirements. | Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li |
| 2016 | ISCAS | The ultimate IoT application: A cyber-physical system for ambient assisted living. | Daniela De Venuto, Valerio F. Annese, Alberto L. Sangiovanni-Vincentelli |
| 2015 | DATE | Optimized selection of reliable and cost-effective cyber-physical system architectures. | Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto L. Sangiovanni-Vincentelli |
| 2015 | ICCAD | A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration. | John B. Finn, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli |
| 2015 | ICCAD | Buildings to Grid Integration: A Dynamic Contract Approach. | Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli |
| 2015 | ISLPED | Let's get physical: Adding physical dimensions to cyber systems. | Alberto L. Sangiovanni-Vincentelli |
| 2014 | DAC | An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems. | Chung-Wei Lin, Lei Rao, Paolo Giusto, Joseph D'Ambrosio, Alberto L. Sangiovanni-Vincentelli |
| 2014 | DATE | Library-based scalable refinement checking for contract-based design. | Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2014 | DATE | Contract-based design of control protocols for safety-critical cyber-physical systems. | Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli |
| 2014 | EMSOFT | Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. | Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2014 | ICCAD | Security-aware mapping for TDMA-based real-time distributed systems. | Chung-Wei Lin, Qi Zhu, Alberto L. Sangiovanni-Vincentelli |
| 2014 | MEMOCODE | Are interface theories equivalent to contract theories? | Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2014 | MODELS | An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink. | Marco Di Natale, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli |
| 2013 | CAV | Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. | Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2013 | DATE | Panel: the heritage of Mead & Conway: what has remained the same, what was missed, what has changed, what lies ahead. | Marco Casale-Rossi, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Bernard Courtois, Hugo De Man, Antun Domic, Jan M. Rabaey |
| 2013 | DATE | Dr. Frankenstein's dream made possible: implanted electronic devices. | Daniela De Venuto, Alberto L. Sangiovanni-Vincentelli |
| 2013 | ICCAD | BAG: a designer-oriented integrated framework for the development of AMS circuit generators. | John Crossley, Alberto Puggelli, Hanh-Phuc Le, B. Yang, R. Nancollas, Kwangmo Jung, Lingkai Kong, Nathan Narevsky, Yue Lu, Nicholas Sutardja, E. J. An, Alberto L. Sangiovanni-Vincentelli, Elad Alon |
| 2013 | ICCAD | Security-aware mapping for CAN-based real-time distributed automotive systems. | Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto L. Sangiovanni-Vincentelli |
| 2012 | MODELS | An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. | Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
| 2011 | DAC | Are logic synthesis tools robust? | Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
| 2011 | DATE | Component-based design for the future. | Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
| 2010 | DAC | Education panel: designing the always connected car of the future. | Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Joseph D'Ambrosio, Ed Nuckolls, Harald Wilhelm, Jim Tung, Markus Kuhl, Peter van Staa |
| 2010 | DATE | All things are connected. | Alberto L. Sangiovanni-Vincentelli |
| 2010 | FMCAD | CalCS: SMT solving for non-linear convex constraints. | Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli |
| 2010 | ISCAS | A 2.2mW CMOS LNA for 6-8.5GHz UWB receivers. | Chang-Ching Wu, Xuening Sun, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey |
| 2009 | DAC | Contract-based system-level composition of analog circuits. | Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli |
| 2009 | DAC | Scheduling the FlexRay bus using optimization techniques. | Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
| 2009 | DATE | UMTS MPSoC design evaluation using a system level design framework. | Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 2009 | DATE | Optimizations of an application-level protocol for enhanced dependability in FlexRay. | Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2009 | GLOBECOM | Iterative Node Deployment in an Unknown Environment. | Assane Gueye, Sinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli |
| 2008 | DATE | Logical Reliability of Interacting Real-Time Tasks. | Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
| 2008 | DATE | Physical Architectures of Automotive Systems. | T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2008 | DATE | Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. | E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2008 | DATE | Software Components for Reliable Automotive Systems. | Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2008 | DATE | Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor. | Trevor Meyerowitz, Alberto L. Sangiovanni-Vincentelli, Mirko Sauermann, Dominik Langen |
| 2008 | DATE | Panel Session - The Future Car: Technology, Methods and Tools. | Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Scuola S. Anna, H. Hanselmann, Harald Heinecke, Amar Bouali, Hermann Kopetz, H. Fennel, Thomas Weber |
| 2008 | GLOBECOM | Outage-Based Rate Maximization in CDMA Wireless Networks. | M. D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli |
| 2008 | GLOBECOM | Duty-Cycle Optimization in Unslotted 802.15.4 Wireless Sensor Networks. | Sinem Coleri Ergen, Carlo Fischione, Dimitri Marandin, Alberto L. Sangiovanni-Vincentelli |
| 2008 | WCNC | Analysis of Interference Effects in MB-OFDM UWB Systems. | Yanmei Li, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli |
| 2007 | DAC | Period Optimization for Hard Real-time Distributed Automotive Systems. | Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
| 2007 | DAC | Electronics: The New Differential in the Automotive Industry. | Nick Smith, Andrew Chien, Christopher Hegarty, Walden C. Rhines, Alberto L. Sangiovanni-Vincentelli, Frank Winters |
| 2007 | DATE | Synthesis of task and message activation models in real-time distributed automotive systems. | Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli |
| 2007 | EMSOFT | Loosely time-triggered architectures based on communication-by-sampling. | Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2007 | EMSOFT | A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2006 | ASPDAC | Automotive electronics: steady growth for years to come! | Alberto L. Sangiovanni-Vincentelli |
| 2006 | DAC | SAT sweeping with local observability don't-cares. | Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
| 2006 | DATE | Platform-based design of wireless sensor networks for industrial applications. | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2006 | DATE | FPGA architecture characterization for system level performance analysis. | Douglas Densmore, Adam Donlin, Alberto L. Sangiovanni-Vincentelli |
| 2006 | DATE | Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. | Sri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
| 2006 | DATE | Is "Network" the next "Big Idea" in design? | Radu Marculescu, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli |
| 2006 | DATE | Communication and co-simulation infrastructure for heterogeneous system integration. | Guang Yang, Xi Chen, Felice Balarin, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli |
| 2006 | EMSOFT | Communication by sampling in time-sensitive distributed systems. | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2006 | EMSOFT | A hierarchical coordination language for interacting real-time tasks. | Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan |
| 2006 | ICCAD | Robust system level design with analog platforms. | Fernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli |
| 2006 | ICCAD | Yield prediction for 3D capacitive interconnections. | Alberto Fazzi, Luca Magagni, Mario de Dominicis, Paolo Zoffoli, Roberto Canegallo, Pier Luigi Rolandi, Alberto L. Sangiovanni-Vincentelli, Roberto Guerrieri |
| 2006 | MEMOCODE | A semantic-driven synthesis flow for platform-based design. | Qi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli |
| 2006 | MODELS | Modeling and Early Performance Estimation for Network Processor Applications. | Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli |
| 2006 | VTC | Cooperative Diversity with Disconnection Constraints and Sleep Discipline for Power Control in Wireless Sensor Networks. | Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli |
| 2005 | ASPDAC | FSM re-engineering and its application in low power state encoding. | Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
| 2005 | DAC | Mixed signal design space exploration through analog platforms. | Fernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli |
| 2005 | DAC | Simulation based deadlock analysis for system level designs. | Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe |
| 2005 | DATE | Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jrg Wolff |
| 2005 | DATE | Integrated Electronics in the Car and the Design Chain Evolution or Revolution? | Alberto L. Sangiovanni-Vincentelli |
| 2005 | EMSOFT | Efficient embedded software design with synchronous models. | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli |
| 2005 | EMSOFT | Tag machines. | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2005 | EMSOFT | Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. | Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2005 | EMSOFT | A structural approach to quasi-static schedulability analysis of communicating concurrent programs. | Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli |
| 2005 | EMSOFT | A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. | Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
| 2005 | ICCAD | Efficient analog platform characterization through analog constraint graphs. | Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli |
| 2005 | ISCAS | Enriching an analog platform for analog-to-digital converter design. | Fernando De Bernardinis, Pierluigi Nuzzo, Pierangelo Terreni, Alberto L. Sangiovanni-Vincentelli |
| 2005 | MASS | SERAN: a semi random protocol solution for clustered wireless sensor networks. | Alvise Bonivento, Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Fabio Graziosi, Fortunato Santucci |
| 2005 | MEMOCODE | A formal approach to system level design: metamodels and unified design environments. | Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli |
| 2004 | DAC | The best of both worlds: the efficient asynchronous implementation of synchronous specifications. | Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli |
| 2004 | DAC | Benefits and challenges for platform-based design. | Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi |
| 2004 | DATE | A Methodology for System-Level Analog Design Space Exploration. | Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli |
| 2004 | DATE | Microarchitecture Development via Metropolis Successive Platform Refinement. | Douglas Densmore, Sanjay Rekhi, Alberto L. Sangiovanni-Vincentelli |
| 2004 | DATE | Synthesis for Manufacturability: A Sanity Check. | Alessandra Nardi, Alberto L. Sangiovanni-Vincentelli |
| 2004 | DATE | Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. | Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2004 | EMSOFT | Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
| 2004 | EMSOFT | Conservative approximations for heterogeneous design. | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
| 2004 | EMSOFT | Separation of concerns: overhead in modeling and efficient simulation techniques. | Guang Yang, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin |
| 2003 | CASES | Fault-tolerant platforms for automotive safety-critical applications. | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini |
| 2003 | DAC | Support vector machines for analog circuit performance representation. | Fernando De Bernardinis, Michael I. Jordan, Alberto L. Sangiovanni-Vincentelli |
| 2003 | DAC | A tool for describing and evaluating hierarchical real-time bus scheduling policies. | Trevor Meyerowitz, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
| 2003 | DATE | System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain. | Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Andrea Pierantoni, Michele Pennese |
| 2003 | DATE | Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. | Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
| 2003 | EMSOFT | Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. | Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
| 2003 | ICCAD | A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity. | Alessandra Nardi, Haibo Zeng, Joshua L. Garrett, Luca Daniel, Alberto L. Sangiovanni-Vincentelli |
| 2003 | ICCD | Efficient Synthesis of Networks On Chip. | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2003 | ICCD | Structural Detection of Symmetries in Boolean Functions. | Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli |
| 2003 | ISLPED | Low power coordination in wireless ad-hoc networks. | Farinaz Koushanfar, Abhijit Davare, Dai Tho Nguyen, Miodrag Potkonjak, Alberto L. Sangiovanni-Vincentelli |
| 2002 | DAC | Constraint-driven communication synthesis. | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2002 | EMSOFT | Compositional Modeling in Metropolis. | Gregor Gler, Alberto L. Sangiovanni-Vincentelli |
| 2002 | EMSOFT | Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. | Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry |
| 2002 | FPL | An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms. | Massimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto L. Sangiovanni-Vincentelli |
| 2002 | ICCAD | Proximity templates for modeling of skin and proximity effects on packages and high frequency interconnect. | Luca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob K. White |
| 2002 | ICCAD | Convertibility verification and converter synthesis: two faces of the same coin. | Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli |
| 2002 | ICCD | Models of IP's for Automotive Virtual Integration Platforms. | Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto |
| 2002 | ICCD | Automotive Virtual Integration Platforms: Why's, What's, and How's. | Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 2001 | CASES | A vision for embedded software. | Alberto L. Sangiovanni-Vincentelli, Grant Martin |
| 2001 | DAC | Using Conduction Modes Basis Functions for Efficient Electromagnetic Analysis of On-Chip and Off-Chip Interconnect. | Luca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob White |
| 2001 | DAC | Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design. | Marco Sgroi, Michael Sheets, Andrew Mihal, Kurt Keutzer, Sharad Malik, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli |
| 2001 | DATE | Design methodology for PicoRadio networks. | Julio Leao da Silva Jr., J. Shamberger, M. Josie Ammer, Chunlong Guo, Suet-Fei Li, Rahul C. Shah, Tim Tuan, Michael Sheets, Jan M. Rabaey, Borivoje Nikolic, Alberto L. Sangiovanni-Vincentelli, Paul K. Wright |
| 2001 | EMSOFT | Using Multiple Levels of Abstractions in Embedded Software Design. | Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 2001 | ICCAD | Techniques for Including Dielectrics when Extracting Passive Low-Order Models of High Speed Interconnect. | Luca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob K. White |
| 2001 | ICCAD | Addressing the Timing Closure Problem by Integrating Logic Optimization and Placement. | Wilsin Gosti, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli |
| 2001 | ICCAD | System-Level Power/Performance Analysis of Portable Multimedia Systems Communicating over Wireless Channels. | Radu Marculescu, Amit Nandi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 2001 | ICCAD | Solution of Parallel Language Equations for Logic Synthesis. | Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
| 2000 | CONCUR | Formal Models for Communication-Based Design. | Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno |
| 2000 | DAC | Performance analysis and optimization of latency insensitive systems. | Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2000 | DAC | Task generation and compile-time scheduling for mixed data-control embedded software. | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli |
| 2000 | DAC | Efficient methods for embedded system design space exploration. | Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 2000 | DAC | Embedded systems education (panel abstract). | Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf |
| 2000 | DAC | Task scheduling with RT constraints. | Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin |
| 2000 | DATE | HW/SW Codesign of an Engine Management System. | Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti |
| 2000 | DATE | Free MDD-Based Software Optimization Techniques for Embedded Systems. | Chunghee Kim, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 2000 | ICASSP | Designing wireless protocols: methodology and applications. | Marco Sgroi, Julio Leao da Silva Jr., Fernando De Bernardinis, Fred L. Burghardt, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey |
| 2000 | ICCAD | Cross-Talk Immune VLSI Design Using a Network of PLAs Embedded in a Regular Layout Fabric. | Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 2000 | ICCD | Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks. | Subarnarekha Sinha, Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1999 | ASPDAC | Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment. | Marcello Lajolo, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1999 | CAV | Latency Insensitive Protocols. | Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli |
| 1999 | DAC | On Thermal Effects in Deep Sub-Micron VLSI Interconnects. | Kaustav Banerjee, Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli, Chenming Hu |
| 1999 | DAC | HW and SW in Embedded System Design: Loveboat, Shipwreck, or Ships Passing in the Night. | Raul Camposano, Kurt Keutzer, Jerry Fiddler, Alberto L. Sangiovanni-Vincentelli, Jim Lansford |
| 1999 | DAC | A Novel VLSI Layout Fabric for Deep Sub-Micron Applications. | Sunil P. Khatri, Amit Mehrotra, Robert K. Brayton, Ralph H. J. M. Otten, Alberto L. Sangiovanni-Vincentelli |
| 1999 | DATE | Fast Hardware-Software Co-simulation Using VHDL Models. | Bassam Tabbara, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Enrica Filippi, Luciano Lavagno |
| 1999 | ICCAD | A methodology for correct-by-construction latency insensitive design. | Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
| 1999 | ICCAD | Noise analysis of non-autonomous radio frequency circuits. | Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli |
| 1999 | ICCD | System Design: Traditional Concepts and New Paradigms. | Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli |
| 1999 | ISCAS | Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion. | Alberto L. Sangiovanni-Vincentelli, Marco Re, Luciano Lavagno, Gian Carlo Cardarilli, Roberto Lojacono |
| 1998 | DAC | A Case Study in Embedded System Design: An Engine Control Unit. | Tullio Cuatto, Claudio Passerone, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sanso, Alberto L. Sangiovanni-Vincentelli |
| 1998 | DAC | Automatic Synthesis of Interfaces Between Incompatible Protocols. | Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli |
| 1998 | ICCAD | Wireplanning in logic synthesis. | Wilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ASPDAC | Trade-off evaluation in embedded system design via co-simulation. | Claudio Passerone, Luciano Lavagno, Claudio Sanso, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli |
| 1997 | DAC | Schedule Validation for Embedded Reactive Real-Time Systems. | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1997 | DAC | Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. | Claudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli |
| 1997 | DAC | Interface-Based Design. | James A. Rowson, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | Logic synthesis for large pass transistor circuits. | Premal Buch, Amit Narayan, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | Trace driven logic synthesis - application to power minimization. | Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | Negative thinking by incremental problem solving: application to unate covering. | Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | A fast and robust exact algorithm for face embedding. | Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | Sequential optimisation without state space exploration. | Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | Reachability analysis using partitioned-ROBDDs. | Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCD | A Survey of Techniques for Formal Verification of Combinational Circuits. | Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCD | Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions. | Rajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1996 | CAV | VIS: A System for Verification and Synthesis. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | DAC | Formal Verification of Embedded Systems based on CFSM Networks. | Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1996 | DAC | Engineering Change in a Non-Deterministic FSM Setting. | Sunil P. Khatri, Amit Narayan, Sriram C. Krishnan, Kenneth L. McMillan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1996 | DAC | Use of Sensitivities and Generalized Substrate Models in Mixed-Signal IC Design. | Paolo Miliozzi, Iasson Vassiliou, Edoardo Charbon, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli |
| 1996 | DAC | High Performance BDD Package By Exploiting Memory Hiercharchy. | Jagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1996 | DAC | Verification of Electronic Systems. | Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha |
| 1996 | DAC | Efficient Software Performance Estimation Methods for Hardware/Software Codesign. | Kei Suzuki, Alberto L. Sangiovanni-Vincentelli |
| 1996 | FMCAD | VIS. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | FMCAD | Decomposition Techniques for Efficient ROBDD Construction. | Jawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita |
| 1996 | ICCAD | Compact and complete test set generation for multiple stuck-faults. | Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1996 | ICCAD | Semi-analytical techniques for substrate characterization in the design of mixed-signal ICs. | Edoardo Charbon, Ranjit Gharpurey, Alberto L. Sangiovanni-Vincentelli, Robert G. Meyer |
| 1996 | ICCAD | Generalized constraint generation in the presence of non-deterministic parasitics. | Edoardo Charbon, Paolo Miliozzi, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli |
| 1996 | ICCAD | Hierarchical statistical characterization of mixed-signal circuits using behavioral modeling. | Eric Felt, Stefano Zanella, Carlo Guardiani, Alberto L. Sangiovanni-Vincentelli |
| 1996 | ICCAD | Digital sensitivity: predicting signal interaction using functional analysis. | Desmond Kirkpatrick, Alberto L. Sangiovanni-Vincentelli |
| 1996 | ICCAD | Comparing models of computation. | Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
| 1996 | ICCAD | Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions. | Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli |
| 1996 | ICCAD | A video driver system designed using a top-down, constraint-driven methodology. | Iasson Vassiliou, Henry Chang, Alper Demir, Edoardo Charbon, Paolo Miliozzi, Alberto L. Sangiovanni-Vincentelli |
| 1996 | ICCD | Binary decision diagrams on network of workstation. | Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1995 | DAC | Synthesis of Software Programs for Embedded Control Applications. | Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich |
| 1995 | DAC | Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. | Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
| 1995 | DATE | Decomposition of logic functions for minimum transition activity. | Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1995 | ICCAD | Sequential synthesis using S1S. | Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1995 | ICCAD | Fast discrete function evaluation using decision diagrams. | Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia |
| 1995 | ICCD | Implicit state minimization of non-deterministic FSMs. | Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1995 | ICML | Inferring Reduced Ordered Decision Graphs of Minimum Description Length. | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
| 1994 | CAV | On the Automatic Computation of Network Invariants. | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | HSIS: A BDD-Based Environment for Formal Verification. | Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | Chain Closure: A Problem in Molecular CAD. | Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, Ken Yamaguchi |
| 1994 | DAC | Simultaneous Placement and Module Optimization of Analog IC's. | Edoardo Charbon, Enrico Malavasi, Davide Pandini, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | Panel: Complex System Verification: The Challenge Ahead. | Ronald Collett, Mike Gianfagna, Michel Courtoy, Martin Baynes, Johan Van Ginderdeuren, Kenneth L. McMillan, Stephen Ricca, Alberto L. Sangiovanni-Vincentelli, Steve Sapiro, Naeem Zafar |
| 1994 | DAC | A Fully Implicit Algorithm for Exact State Minimization. | Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | Exact Minimum Cycle Times for Finite State Machines. | William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques? (Panel). | Patrick C. McGeer, Steven Trimberger, Erik Carlson, Dave Hightower, Ulrich Lauther, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | Optimum Functional Decomposition Using Encoding. | Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | Performance Optimization Using Exact Sensitization. | Alexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | DAC | Heuristic Minimization of BDDs Using Don't Cares. | Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
| 1994 | ICALP | Equivalences for Fair Kripke Structures. | Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1994 | ICCAD | Iterative algorithms for formal verification of embedded real-time systems. | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1994 | ICCAD | Time-domain non-Monte Carlo noise simulation for nonlinear dynamic circuits with arbitrary excitations. | Alper Demir, Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli |
| 1994 | ICCAD | Measurement and modeling of MOS transistor current mismatch in analog IC's. | Eric Felt, Amit Narayan, Alberto L. Sangiovanni-Vincentelli |
| 1994 | ICCAD | Testing of analog systems using behavioral models and optimal experimental design techniques. | Eric Felt, Alberto L. Sangiovanni-Vincentelli |
| 1994 | ICCAD | Techniques for crosstalk avoidance in the physical design of high-performance digital systems. | Desmond Kirkpatrick, Alberto L. Sangiovanni-Vincentelli |
| 1993 | CAV | An Iterative Approach to Language Containment. | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1993 | DAC | A Verification Technique for Gated Clock. | Masamichi Kawarabayashi, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli |
| 1993 | DAC | Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions. | William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | DAC | Delay Fault Coverage and Performance Tradeoffs. | William K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | DAC | Analog System Verification in the Presence of Parasitics Using Behavioral Simulation. | Edward W. Y. Liu, Henry C. Chang, Alberto L. Sangiovanni-Vincentelli |
| 1993 | DAC | Espresso-Signature: A New Exact Minimizer for Logic Functions. | Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | DAC | Sequential Synthesis for Table Look Up Programmable Gate Arrays. | Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | DAC | Resynthesis of Multi-Phase Pipelines. | Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | ICCAD | An algorithm for improving partitions of pin-limited multi-chip systems. | Mark Beardslee, Alberto L. Sangiovanni-Vincentelli |
| 1993 | ICCAD | Generalized constraint generation for analog circuit design. | Edoardo Charbon, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli |
| 1993 | ICCAD | Nyquist data converter testing and yield analysis using behavioral simulation. | Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli |
| 1993 | ICCAD | Cube-packing and two-level minimization. | Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | ICCAD | Minimum padding to satisfy short path constraints. | Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1993 | ICCD | Some Results on the Complexity of Boolean Functions for Table Look Up Architectures. | Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | CAV | A Verification Strategy for Timing-Constrained Systems. | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
| 1992 | CAV | Automatic Reduction in CTL Compositional Model Checking. | Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
| 1992 | DAC | Solving the State Assignment Problem for Signal Transition Graphs. | Luciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | DAC | An Improved Synthesis Algorithm for Multiplexor-Based PGA's. | Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | DAC | Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation. | Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | DAC | Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited. | Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | DAC | On the Temporal Equivalence of Sequential Circuits. | Narendra V. Shenoy, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | FPGA | Some Considerations on Field-Programmable Gate Arrays and Their Impact on System Design. | Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCAD | Automatic compositional minimization in CTL model checking. | Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
| 1992 | ICCAD | Valid clocking in wavepipelined circuits. | William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCAD | Behavioral simulation for noise in mixed-mode sampled-data systems. | Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCAD | Graph algorithms for clock schedule optimization. | Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCAD | A unified signal transition graph model for asynchronous control circuit synthesis. | Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCD | Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits. | Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCD | Sequential Circuit Design Using Synthesis and Optimization. | Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICML | Constructive Induction Using a Non-Greedy Strategy for Feature Selection. | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
| 1991 | DAC | Algorithms for Synthesis of Hazard-Free Asynchronous Circuits. | Luciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli |
| 1991 | DAC | A Framework for Satisfying Input and Output Encoding Constraints. | Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1991 | DAC | Testability Solutions: Who Really Wants Them? (Panel Abstract). | Alberto L. Sangiovanni-Vincentelli |
| 1991 | ICCAD | Synthesis for Testability Techniques for Asynchronous Circuits. | Kurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1991 | ICCAD | A Behavioral Representation for Nyquist Rate A/D Converters. | Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli, Georges G. E. Gielen, Paul R. Gray |
| 1991 | ICCAD | Performance Enhancement through the Generalized Bypass Transform. | Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni |
| 1991 | ICCAD | Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions. | Patrick C. McGeer, Alexander Saldanha, Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1991 | ICCAD | On Clustering for Minimum Delay/Area. | Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1991 | ICCAD | Improved Logic Synthesis Algorithms for Table Look Up Architectures. | Rajeev Murgai, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1991 | ICCAD | Performance Directed Synthesis for Table Look Up Programmable Gate Arrays. | Rajeev Murgai, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1991 | ICCAD | LSAT-An Algorithm for the Synthesis of Two Level Threshold Gate Networks. | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
| 1991 | ICCD | Retiming of Circuits with Single Phase Transparent Latches. | Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1991 | ICML | Learning Concepts by Synthesizing Minimal Threshold Gate Networks. | Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli |
| 1990 | DAC | Design Management Based on Design Traces. | Andrea Casotto, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1990 | DAC | Constraint Generation for Routing Analog Circuits. | Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli |
| 1990 | DAC | Reduced Offsets for Two-Level Multi-Valued Logic Minimization. | Abdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1990 | DAC | Logic Synthesis for Programmable Gate Arrays. | Rajeev Murgai, Yoshihito Nishizaki, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1990 | DAC | Testing Strategies for the 1990's (Panel Abstract). | Alberto L. Sangiovanni-Vincentelli |
| 1990 | DAC | A Heuristic Algorithm for the Fanout Problem. | Kanwar Jit Singh, Alberto L. Sangiovanni-Vincentelli |
| 1990 | ICCAD | Constraint-Based Channel Routing for Analog and Mixed Analog/Digital Circuits. | Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli |
| 1990 | ICCAD | CADICS - Cyclic Analog-to-Digital Converter Synthesis. | Gani Jusuf, Paul R. Gray, Alberto L. Sangiovanni-Vincentelli |
| 1990 | ICCAD | MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued Inputs. | Luciano Lavagno, Sharad Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1990 | ICCAD | A Routing Methodology for Analog Integrated Circuits. | Enrico Malavasi, Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli |
| 1990 | ICCAD | Performance Optimization of Pipelined Circuits. | Sharad Malik, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1990 | ICCAD | Computing Parametric Yield Accurately and Efficiently. | Linda Milor, Alberto L. Sangiovanni-Vincentelli |
| 1990 | ICCAD | Optimal Test Set Design for Analog Circuits. | Linda Milor, Alberto L. Sangiovanni-Vincentelli |
| 1990 | ICCAD | Timing Optimization with Testability Considerations. | Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kwang-Ting Cheng |
| 1990 | ICCAD | Implicit State Enumeration of Finite State Machines Using BDDs. | Herv J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1989 | DAC | ORCA a Sea-of-Gates Place and Route System. | Mitsuru Igusa, Mark Beardslee, Alberto L. Sangiovanni-Vincentelli |
| 1989 | DAC | Multi-level Logic Simplification Using Don't Cares and Filters. | Alexander Saldanha, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1989 | DAC | NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations. | Tiziano Villa, Alberto L. Sangiovanni-Vincentelli |
| 1989 | DAC | Timing Analysis in a Logic Synthesis Environment. | Nicholas Weiner, Alberto L. Sangiovanni-Vincentelli |
| 1989 | ICCD | Logic minimization for factored forms. | Abdul A. Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | Boolean decomposition in multi-level logic optimization. | Srinivas Devadas, Albert R. Wang, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | MulCh: a multi-layer channel router using one, two, and three layer partitions. | Ronald I. Greenberg, Alexander T. Ishii, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | An envelope-following method for the efficient transient simulation of switching power and filter circuits. | Kenneth S. Kundert, Jacob White, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | A band relaxation algorithm for reliable and parallelizable circuit simulation. | Andrew Lumsdaine, Jacob White, Donald M. Webber, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | A modified approach to two-level logic minimization. | Abdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | Logic verification using binary decision diagrams in a logic synthesis environment. | Sharad Malik, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | ECSTASY: a new environment for IC design optimization. | Jyuo-Min Shyu, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ICCAD | Timing optimization of combinational logic. | Kanwar Jit Singh, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ITC | Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines. | Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ITC | An Incomplete Scan Design Approach to Test Generation for Sequential Machines. | Hi-Keung Tony Ma, A. Richard Newton, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli |
| 1988 | ITC | Optimal Logic Synthesis and Testability : Two Sides of the Same Coin. | Alberto L. Sangiovanni-Vincentelli |
| 1987 | DAC | Logic Verification Algorithms and Their Parallel Implementation. | Hi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei |
| 1987 | DAC | Circuit Simulation on the Connection Machine. | Donald M. Webber, Alberto L. Sangiovanni-Vincentelli |
| 1986 | DAC | Chameleon: a new multi-layer channel router. | Douglas Braun, Jeffrey L. Burns, Srinivas Devadas, Hi-Keung Tony Ma, Kartikeya Mayaram, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli |
| 1986 | DAC | Mixed-level fault coverage estimation. | Hi-Keung Tony Ma, Alberto L. Sangiovanni-Vincentelli |
| 1986 | DAC | Floor planning systems (panel session). | Howard S. Rifkin, William R. Heller, Steve Law, Misha Burich, Alberto L. Sangiovanni-Vincentelli |
| 1986 | DAC | TimberWolf3.2: a new standard cell placement and global routing package. | Carl Sechen, Alberto L. Sangiovanni-Vincentelli |
| 1986 | DAC | Two-dimensional compaction by "zone refining". | Hyunchul Shin, Alberto L. Sangiovanni-Vincentelli, Carlo H. Squin |
| 1986 | ITC | PROTEUS : A Logic Verification System for Combinational Circuits. | Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei |
| 1986 | ITC | New Front-End and Line Justification Algorithm for Automatic Test Generation. | Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli |
| 1985 | DAC | PLATYPUS: a PLA test pattern generation tool. | Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli |
| 1983 | DAC | PLEASURE: a computer program for simple/multiple constrained/unconstrained folding of Programmable Logic Arrays. | Giovanni De Micheli, Alberto L. Sangiovanni-Vincentelli |
| 1982 | DAC | Techniques for programmable logic array folding. | Gary D. Hachtel, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli |
| 1982 | DAC | Relax: A new circuit for large scale MOS integrated circuits. | Ekachai Lelarasmee, Alberto L. Sangiovanni-Vincentelli |
| 1982 | ITC | VICTOR : A Fast VLSI Testability Analysis Program. | Ion M. Ratiu, Alberto L. Sangiovanni-Vincentelli, Donald O. Pederson |