Alberto L. Sangiovanni-Vincentelli

782 papers A* 105A 130B 18C 40Misc 35Journal 299Unranked 142

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning. CoRR Zhiyu Ni, Zheng Liang, Liangcheng Song, Chenrui Cao, Xian Zhang, Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo
2026	J	`jnl`	ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios. CoRR Kevin Kai-Chun Chang, Ekin Beyazit, Alberto L. Sangiovanni-Vincentelli, Tichakorn Wongpiromsarn, Sanjit A. Seshia
2026	—	`conf`	Some Algebraic Aspects of Assume-Guarantee Reasoning. Engineering Safe and Trustworthy Cyber Physical Systems Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli
2025	J	`jnl`	Combining Large Language Models and Gradient-Free Optimization for Automatic Control Policy Synthesis. CoRR Carlo Bosio, Matteo Guarrera, Alberto L. Sangiovanni-Vincentelli, Mark W. Mueller
2025	J	`jnl`	Continuous World Coverage Path Planning for Fixed-Wing UAVs using Deep Reinforcement Learning. CoRR Mirco Theile, Andres R. Zapata Rodriguez, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli
2025	C	`conf`	Contract-based Component Selection Using Behaviors. MEMOCODE Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli
2025	J	`jnl`	Correction: Hypercontracts. Formal Methods Syst. Des. Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2025	C	`conf`	Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition. MEMOCODE Sheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli
2025	J	`jnl`	Hypercontracts. Formal Methods Syst. Des. Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2025	J	`jnl`	Model Residuals as Shields: A Two-Level Formulation to Defend Smart Grids From Poisoning Attacks. IEEE Internet Things J. Tung-Wei Lin, Padmaksha Roy, Yi Zeng, Ming Jin, Ruoxi Jia, Chen-Ching Liu, Alberto L. Sangiovanni-Vincentelli
2025	J	`jnl`	Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. ACM Trans. Cyber Phys. Syst. Inigo Incer, Apurva Badithela, Josefine B. Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2025	J	`jnl`	Systematic Evaluation of Knowledge Graph Repair with Large Language Models. CoRR Tung-Wei Lin, Gabe Fierro, Han Li, Tianzhen Hong, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2024	J	`jnl`	Action Mapping for Reinforcement Learning in Continuous Environments with Constraints. CoRR Mirco Theile, Lukas Dirnberger, Raphael Trumpp, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli
2024	J	`jnl`	Defense against Joint Poison and Evasion Attacks: A Case Study of DERMS. CoRR Zain ul Abdeen, Padmaksha Roy, Ahmad Al-Tawaha, Rouxi Jia, Laura J. Freeman, Peter A. Beling, Chen-Ching Liu, Alberto L. Sangiovanni-Vincentelli, Ming Jin
2024	B	`conf`	Dynamic, Multi-objective Specification and Falsification of Autonomous CPS. RV Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2024	J	`jnl`	Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Dmitrii Kirov, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone
2024	A	`conf`	Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning. IROS Mirco Theile, Hongpeng Cao, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli
2024	J	`jnl`	Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning. CoRR Mirco Theile, Hongpeng Cao, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli
2024	J	`jnl`	Fear-Neuro-Inspired Reinforcement Learning for Safe Autonomous Driving. IEEE Trans. Pattern Anal. Mach. Intell. Xiangkun He, Jingda Wu, Zhiyu Huang, Zhongxu Hu, Jun Wang, Alberto L. Sangiovanni-Vincentelli, Chen Lv
2024	J	`jnl`	Floorplet: Performance-Aware Floorplan Framework for Chiplet Integration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Shixin Chen, Shanyi Li, Zhen Zhuang, Su Zheng, Zheng Liang, Tsung-Yi Ho, Bei Yu, Alberto L. Sangiovanni-Vincentelli
2024	J	`jnl`	Generating Probabilistic Scenario Programs from Natural Language. CoRR Karim Elmaaroufi, Devan Shanker, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto L. Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia
2024	J	`jnl`	Learning to Generate All Feasible Actions. IEEE Access Mirco Theile, Daniele Bernardini, Raphael Trumpp, Cristina Piazza, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli
2024	J	`jnl`	Synthesizing LTL contracts from component libraries using rich counterexamples. Sci. Comput. Program. Antonio Iannopollo, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2023	—	`conf`	3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) 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	J	`jnl`	3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CoRR 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	J	`jnl`	A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. CoRR Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
2023	—	`conf`	Automated Design of Chiplets. ISPD Alberto L. Sangiovanni-Vincentelli, Zheng Liang, Zhe Zhou, Jiaxi Zhang
2023	J	`jnl`	Backdoor Defense with Non-Adversarial Backdoor. CoRR Min Liu, Alberto L. Sangiovanni-Vincentelli, Xiangyu Yue
2023	A*	`conf`	Beating Backdoor Attack at Its Own Game. ICCV Min Liu, Alberto L. Sangiovanni-Vincentelli, Xiangyu Yue
2023	C	`conf`	Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. MEMOCODE Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2023	J	`jnl`	Context-Aided Variable Elimination for Requirement Engineering. CoRR Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023	C	`conf`	Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. MEMOCODE Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2023	—	`conf`	Contract-Based Specification Refinement and Repair for Mission Planning. FormaliSE Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2023	J	`jnl`	Floorplet: Performance-aware Floorplan Framework for Chiplet Integration. CoRR Shixin Chen, Shanyi Li, Zhen Zhuang, Su Zheng, Zheng Liang, Tsung-Yi Ho, Bei Yu, Alberto L. Sangiovanni-Vincentelli
2023	J	`jnl`	From Electronic Design Automation to Building Design Automation: Challenges and Opportunities. CoRR Yu-Wen Lin, Tsz Ling Elaine Tang, Alberto L. Sangiovanni-Vincentelli, Stefano Schiavon, Costas J. Spanos
2023	J	`jnl`	Learning to Generate All Feasible Actions. CoRR Mirco Theile, Daniele Bernardini, Raphael Trumpp, Cristina Piazza, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli
2023	J	`jnl`	Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning. CoRR Mirco Theile, Harald Bayerlein, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli
2023	J	`jnl`	Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023	—	`conf`	Quo Vadis IC System Design? IWASI Alberto L. Sangiovanni-Vincentelli
2023	J	`jnl`	Scenic: a language for scenario specification and data generation. Mach. Learn. Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2023	J	`jnl`	Some Algebraic Aspects of Assume-Guarantee Reasoning. CoRR Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli
2023	—	`conf`	Symbiotic CPS Design-Space Exploration through Iterated Optimization. CPS-IoT Week Workshops Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry, Sanjit A. Seshia
2022	J	`jnl`	A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. IEEE Trans. Neural Networks Learn. Syst. Sicheng Zhao, Xiangyu Yue, Shanghang Zhang, Bo Li, Han Zhao, Bichen Wu, Ravi Krishna, Joseph E. Gonzalez, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Kurt Keutzer
2022	—	`conf`	Class-wise Thresholding for Robust Out-of-Distribution Detection. CVPR Workshops Matteo Guarrera, Baihong Jin, Tung-Wei Lin, Maria A. Zuluaga, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli
2022	A*	`conf`	Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data. AAAI Hari Prasanna Das, Ryan Tran, Japjot Singh, Xiangyu Yue, Geoffrey H. Tison, Alberto L. Sangiovanni-Vincentelli, Costas J. Spanos
2022	J	`jnl`	Contract-Based Specification Refinement and Repair for Mission Planning. CoRR Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2022	—	`conf`	Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022	J	`jnl`	Emotional Semantics-Preserved and Feature-Aligned CycleGAN for Visual Emotion Adaptation. IEEE Trans. Cybern. Sicheng Zhao, Xuanbai Chen, Xiangyu Yue, Chuang Lin, Pengfei Xu, Ravi Krishna, Jufeng Yang, Guiguang Ding, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer
2022	—	`conf`	From Interface Automata to Hypercontracts. Principles of Systems Design Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022	—	`conf`	Hypercontracts. NFM Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022	A*	`conf`	Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning. AAAI Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022	—	`conf`	Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2022	J	`jnl`	Voltage Regulation and Current Sharing in DC Microgrids With Different Information Scenarios. IEEE Trans. Control. Syst. Technol. Alessio Iovine, Miguel Jiménez Carrizosa, Elena De Santis, Maria Domenica Di Benedetto, Pierdomenico Pepe, Alberto L. Sangiovanni-Vincentelli
2021	J	`jnl`	A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions. IEEE Access Jordan Ivanchev, Corvin Deboeser, Thomas Braud, Alois C. Knoll, David Eckhoff, Alberto L. Sangiovanni-Vincentelli
2021	J	`jnl`	A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions. CoRR Corvin Deboeser, Jordan Ivanchev, Thomas Braud, Alois C. Knoll, David Eckhoff, Alberto L. Sangiovanni-Vincentelli
2021	J	`jnl`	AVDM: A hierarchical command-and-control system architecture for cooperative autonomous vehicles in highways scenario using microscopic simulations. Auton. Agents Multi Agent Syst. Thomas Braud, Jordan Ivanchev, Corvin Deboeser, Alois C. Knoll, David Eckhoff, Alberto L. Sangiovanni-Vincentelli
2021	J	`jnl`	Adaptive Body Area Networks Using Kinematics and Biosignals. IEEE J. Biomed. Health Informatics Ali Moin, Arno Thielens, Álvaro Araujo, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey
2021	J	`jnl`	Class-wise Thresholding for Detecting Out-of-Distribution Data. CoRR Matteo Guarrera, Baihong Jin, Tung-Wei Lin, Maria A. Zuluaga, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli
2021	J	`jnl`	Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data. CoRR Hari Prasanna Das, Ryan Tran, Japjot Singh, Xiangyu Yue, Geoff Tison, Alberto L. Sangiovanni-Vincentelli, Costas J. Spanos
2021	J	`jnl`	Explainable AI for Chiller Fault-Detection Systems: Gaining Human Trust. Computer Seshadhri Srinivasan, Pandarasamy Arjunan, Baihong Jin, Alberto L. Sangiovanni-Vincentelli, Zuraimi Sultan, Kameshwar Poolla
2021	J	`jnl`	Hypercontracts. CoRR Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2021	J	`jnl`	Industrial control via application containers: Maintaining determinism in IAAS. Syst. Eng. Florian Hofer, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo
2021	J	`jnl`	Multi-source Few-shot Domain Adaptation. CoRR Xiangyu Yue, Zangwei Zheng, Colorado Reed, Hari Prasanna Das, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
2021	A*	`conf`	Prototypical Cross-Domain Self-Supervised Learning for Few-Shot Unsupervised Domain Adaptation. CVPR Xiangyu Yue, Zangwei Zheng, Shanghang Zhang, Yang Gao, Trevor Darrell, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
2021	J	`jnl`	Prototypical Cross-domain Self-supervised Learning for Few-shot Unsupervised Domain Adaptation. CoRR Xiangyu Yue, Zangwei Zheng, Shanghang Zhang, Yang Gao, Trevor Darrell, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
2021	J	`jnl`	Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. CoRR Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2021	A*	`conf`	Safety in Autonomous Driving: Can Tools Offer Guarantees? DAC Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2021	B	`conf`	Scene-aware Learning Network for Radar Object Detection. ICMR Zangwei Zheng, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
2021	J	`jnl`	Scene-aware Learning Network for Radar Object Detection. CoRR Zangwei Zheng, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
2021	Misc	`conf`	The cyber-physical immune system: work-in-progress. EMSOFT Bo Pang, Ashank Verma, Jingchao Zhou, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
2020	J	`jnl`	A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. CoRR Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2020	J	`jnl`	A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. CoRR Sicheng Zhao, Xiangyu Yue, Shanghang Zhang, Bo Li, Han Zhao, Bichen Wu, Ravi Krishna, Joseph E. Gonzalez, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Kurt Keutzer
2020	J	`jnl`	Are Ensemble Classifiers Powerful Enough for the Detection and Diagnosis of Intermediate-Severity Faults? CoRR Baihong Jin, Yingshui Tan, Yuxin Chen, Kameshwar Poolla, Alberto L. Sangiovanni-Vincentelli
2020	J	`jnl`	Emotional Semantics-Preserved and Feature-Aligned CycleGAN for Visual Emotion Adaptation. CoRR Sicheng Zhao, Xuanbai Chen, Xiangyu Yue, Chuang Lin, Pengfei Xu, Ravi Krishna, Jufeng Yang, Guiguang Ding, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer
2020	J	`jnl`	Exploiting Uncertainties from Ensemble Learners to Improve Decision-Making in Healthcare AI. CoRR Yingshui Tan, Baihong Jin, Xiangyu Yue, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli
2020	J	`jnl`	Generalizing Fault Detection Against Domain Shifts Using Stratification-Aware Cross-Validation. CoRR Yingshui Tan, Baihong Jin, Qiushi Cui, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli
2020	J	`jnl`	Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
2020	J	`jnl`	Industrial Control via Application Containers: Maintaining determinism in IAAS. CoRR Florian Hofer, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo
2020	C	`conf`	ODRE Workshop: Probabilistic Dynamic Hard Real-Time Scheduling in HPC. ISORC Florian Hofer, Martin A. Sehr, Barbara Russo, Alberto L. Sangiovanni-Vincentelli
2020	J	`jnl`	Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Pierluigi Nuzzo, Nikunj Bajaj, Michael Masin, Dmitrii Kirov, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2020	J	`jnl`	Scenic: A Language for Scenario Specification and Data Generation. CoRR Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2020	—	`conf`	The Quotient in Preorder Theories. GandALF Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2020	J	`jnl`	Using Ensemble Classifiers to Detect Incipient Anomalies. CoRR Baihong Jin, Yingshui Tan, Albert Liu, Xiangyu Yue, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli
2019	J	`jnl`	A Formalization of Robustness for Deep Neural Networks. CoRR Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2019	J	`jnl`	A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics. CoRR Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin
2019	—	`conf`	A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection. ICPHM Baihong Jin, Yuxin Chen, Dan Li, Kameshwar Poolla, Alberto L. Sangiovanni-Vincentelli
2019	J	`jnl`	A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection. CoRR Baihong Jin, Yuxin Chen, Dan Li, Kameshwar Poolla, Alberto L. Sangiovanni-Vincentelli
2019	—	`conf`	A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. HSCC Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin
2019	C	`conf`	A tractable ellipsoidal approximation for voltage regulation problems. ACC Pan Li, Baihong Jin, Ruoxuan Xiong, Dai Wang, Alberto L. Sangiovanni-Vincentelli, Baosen Zhang
2019	J	`jnl`	A tractable ellipsoidal approximation for voltage regulation problems. CoRR Pan Li, Baihong Jin, Ruoxuan Xiong, Dai Wang, Alberto L. Sangiovanni-Vincentelli, Baosen Zhang
2019	C	`conf`	An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. ICMLA Yingshui Tan, Baihong Jin, Alexander J. Nettekoven, Yuxin Chen, Yisong Yue, Ufuk Topcu, Alberto L. Sangiovanni-Vincentelli
2019	J	`jnl`	An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. CoRR Baihong Jin, Yingshui Tan, Alexander J. Nettekoven, Yuxin Chen, Ufuk Topcu, Yisong Yue, Alberto L. Sangiovanni-Vincentelli
2019	J	`jnl`	Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults. CoRR Baihong Jin, Yingshui Tan, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli
2019	A*	`conf`	Beyond Schematic Capture: Meaningful Abstractions for Better Electronics Design Tools. CHI Richard Lin, Rohit Ramesh, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli, Prabal Dutta, Elad Alon, Björn Hartmann
2019	J	`jnl`	Coherent Extension, Composition, and Merging Operators in Contract Models for System Design. ACM Trans. Embed. Comput. Syst. Roberto Passerone, Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli
2019	—	`conf`	Comparing Innovation ecosystems. IWASI Alberto L. Sangiovanni-Vincentelli
2019	J	`jnl`	Constrained synthesis from component libraries. Sci. Comput. Program. Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2019	—	`conf`	Detecting and Diagnosing Incipient Building Faults Using Uncertainty Information from Deep Neural Networks. ICPHM Baihong Jin, Dan Li, Seshadhri Srinivasan, See-Kiong Ng, Kameshwar Poolla, Alberto L. Sangiovanni-Vincentelli
2019	J	`jnl`	Detecting and Diagnosing Incipient Building Faults Using Uncertainty Information from Deep Neural Networks. CoRR Baihong Jin, Dan Li, Seshadhri Srinivasan, See-Kiong Ng, Kameshwar Poolla, Alberto L. Sangiovanni-Vincentelli
2019	A*	`conf`	Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization Without Accessing Target Domain Data. ICCV Xiangyu Yue, Yang Zhang, Sicheng Zhao, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Boqing Gong
2019	J	`jnl`	Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data. CoRR Xiangyu Yue, Yang Zhang, Sicheng Zhao, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Boqing Gong
2019	J	`jnl`	Driving-Style-Based Codesign Optimization of an Automated Electric Vehicle: A Cyber-Physical System Approach. IEEE Trans. Ind. Electron. Chen Lv, Xiaosong Hu, Alberto L. Sangiovanni-Vincentelli, Yutong Li, Clara Marina Martinez, Dongpu Cao
2019	C	`conf`	Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS. CloudCom Florian Hofer, Martin A. Sehr, Antonio Iannopollo, Ines Ugalde, Alberto L. Sangiovanni-Vincentelli, Barbara Russo
2019	J	`jnl`	Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS. CoRR Florian Hofer, Martin A. Sehr, Antonio Iannopollo, Ines Ugalde, Alberto L. Sangiovanni-Vincentelli, Barbara Russo
2019	—	`conf`	Multi-Objective Calibration of Microscopic Traffic Simulation for Highway Traffic Safety. ITSC Edgar Tamayo Cascan, Jordan Ivanchev, David Eckhoff, Alberto L. Sangiovanni-Vincentelli, Alois C. Knoll
2019	—	`conf`	My 50-Year Journey from Punched Cards to Swarm Systems. ISPD Alberto L. Sangiovanni-Vincentelli
2019	J	`jnl`	Probabilistic Dynamic Hard Real-Time Scheduling in HPC. CoRR Florian Hofer, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo
2019	—	`ed.`	Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019 DESTION@CPSIoTWeek Alberto L. Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu
2019	—	`conf`	Reactors: A Deterministic Model for Composable Reactive Systems. CyPhy/WESE Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2019	A*	`conf`	Scenic: a language for scenario specification and scene generation. PLDI Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2019	J	`jnl`	Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. ACM Trans. Embed. Comput. Syst. Pierluigi Nuzzo, Jiwei Li, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li
2018	B	`conf`	A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving. ICMR Xiangyu Yue, Bichen Wu, Sanjit A. Seshia, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
2018	J	`jnl`	A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving. CoRR Xiangyu Yue, Bichen Wu, Sanjit A. Seshia, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
2018	J	`jnl`	A Metric for Linear Temporal Logic. CoRR Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2018	J	`jnl`	A Mobile Health System for Neurocognitive Impairment Evaluation Based on P300 Detection. ACM Trans. Cyber Phys. Syst. Daniela De Venuto, Valerio F. Annese, Giovanni Mezzina, Floriano Scioscia, Michele Ruta, Eugenio Di Sciascio, Alberto L. Sangiovanni-Vincentelli
2018	J	`jnl`	A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components. Softw. Syst. Model. Marco Di Natale, David Perillo, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli
2018	A	`conf`	CHASE: Contract-based requirement engineering for cyber-physical system design. DATE Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli
2018	J	`jnl`	Codesign Methodologies and Tools for Cyber-Physical Systems. Proc. IEEE Qi Zhu, Alberto L. Sangiovanni-Vincentelli
2018	J	`jnl`	Context-Specific Validation of Data-Driven Models. CoRR Somil Bansal, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin
2018	J	`jnl`	Contracts for System Design. Found. Trends Electron. Des. Autom. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen
2018	A*	`conf`	Counterexample-Guided Data Augmentation. IJCAI Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2018	J	`jnl`	Counterexample-Guided Data Augmentation. CoRR Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2018	J	`jnl`	Design Automation for Cyber-Physical Systems [Scanning the Issue]. Proc. IEEE Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Shiyan Hu, Xin Li
2018	J	`jnl`	Design Automation for Smart Building Systems. Proc. IEEE Ruoxi Jia, Baihong Jin, Ming Jin, Yuxun Zhou, Ioannis C. Konstantakopoulos, Han Zou, Joyce Kim, Dan Li, Weixi Gu, Reza Arghandeh, Pierluigi Nuzzo, Stefano Schiavon, Alberto L. Sangiovanni-Vincentelli, Costas J. Spanos
2018	—	`conf`	Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. ADHS Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2018	—	`conf`	Hierarchical System Design with Vertical Contracts. Principles of Modeling Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2018	A*	`conf`	Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. DAC Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2018	C	`conf`	Quotient for Assume-Guarantee Contracts. MEMOCODE Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang
2018	J	`jnl`	SMC: Satisfiability Modulo Convex Programming. Proc. IEEE Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2018	J	`jnl`	SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
2018	J	`jnl`	Scenic: Language-Based Scene Generation. CoRR Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2018	A	`conf`	Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. DATE Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2018	J	`jnl`	Time Series Learning using Monotonic Logical Properties. CoRR Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2018	B	`conf`	Time-Series Learning Using Monotonic Logical Properties. RV Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2017	A*	`conf`	ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. DAC Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2017	—	`conf`	Autonomous vehicles: A playground for sensors. IWASI Alberto L. Sangiovanni-Vincentelli, Benedetto Vigna
2017	J	`jnl`	CSL4P: A Contract Specification Language for Platforms. Syst. Eng. Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
2017	J	`jnl`	Guest Editorial Special Issue on Circuits and Systems for the Internet of Things - From Sensing to Sensemaking. IEEE Trans. Circuits Syst. I Regul. Pap. Massimo Alioto, Edgar Sánchez-Sinencio, Alberto L. Sangiovanni-Vincentelli
2017	J	`jnl`	Intravehicular Energy-Harvesting Wireless Networks: Reducing Costs and Emissions. IEEE Veh. Technol. Mag. Sinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli
2017	—	`conf`	Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2017	J	`jnl`	Model Predictive Control for Signal Temporal Logic Specification. CoRR Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2017	—	`conf`	Online computation of polytopic flexibility models for demand shifting applications. CASE Baihong Jin, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2017	A*	`conf`	Optimized Design of a Human Intranet Network. DAC Ali Moin, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey
2017	—	`conf`	SMC: Satisfiability Modulo Convex Optimization. HSCC Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2017	J	`jnl`	Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Autom. Control. Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2017	J	`jnl`	Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements. CoRR Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li
2017	C	`conf`	Stochastic contracts for cyber-physical system design under probabilistic requirements. MEMOCODE Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li
2017	J	`jnl`	Systematic Testing of Convolutional Neural Networks for Autonomous Driving. CoRR Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2017	J	`jnl`	Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications. CoRR Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2017	—	`conf`	Turning SCF Rohit Ramesh, Richard Lin, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli, Björn Hartmann, Prabal Dutta
2016	—	`conf`	Constrained Synthesis from Component Libraries. FACS Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2016	J	`jnl`	Designing a Cyber-Physical System for Fall Prevention by Cortico-Muscular Coupling Detection. IEEE Des. Test Daniela De Venuto, Valerio F. Annese, Michele Ruta, Eugenio Di Sciascio, Alberto L. Sangiovanni-Vincentelli
2016	—	`conf`	Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
2016	J	`jnl`	Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. CoRR Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
2016	—	`conf`	SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ICCPS Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
2016	—	`conf`	Scalable lazy SMT-based motion planning. CDC Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2016	J	`jnl`	Smart Connected Buildings Design Automation: Foundations and Trends. Found. Trends Electron. Des. Autom. Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
2016	C	`conf`	The ultimate IoT application: A cyber-physical system for ambient assisted living. ISCAS Daniela De Venuto, Valerio F. Annese, Alberto L. Sangiovanni-Vincentelli
2015	—	`conf`	A Contract-based Framework for Integrated Demand Response Management in Smart Grids. BuildSys Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto L. Sangiovanni-Vincentelli
2015	A	`conf`	A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration. ICCAD John B. Finn, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2015	J	`jnl`	A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. Proc. IEEE Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa
2015	J	`jnl`	A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. CoRR Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2015	—	`conf`	A conceptual model of system of systems. SWEC@CPSWeek Werner Damm, Alberto L. Sangiovanni-Vincentelli
2015	A	`conf`	Buildings to Grid Integration: A Dynamic Contract Approach. ICCAD Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
2015	J	`jnl`	Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue]. Proc. IEEE Robert K. Brayton, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa
2015	—	`conf`	Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz
2015	J	`jnl`	Efficient Wire Routing and Wire Sizing for Weight Minimization of Automotive Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Chung-Wei Lin, Lei Rao, Paolo Giusto, Joseph D'Ambrosio, Alberto L. Sangiovanni-Vincentelli
2015	—	`conf`	Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. SAMOS Yang Yang, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2015	A	`conf`	Let's get physical: Adding physical dimensions to cyber systems. ISLPED Alberto L. Sangiovanni-Vincentelli
2015	A	`conf`	Optimized selection of reliable and cost-effective cyber-physical system architectures. DATE Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto L. Sangiovanni-Vincentelli
2015	—	`ed.`	Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud, SWEC@CPSWeek 2015, Seattle, Washington, USA, April 13-16, 2015 SWEC@CPSWeek Alberto L. Sangiovanni-Vincentelli
2015	J	`jnl`	Routing-Aware Design of Indoor Wireless Sensor Networks Using an Interactive Tool. IEEE Syst. J. Alberto Puggelli, Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2015	—	`conf`	Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. CDC Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2015	J	`jnl`	Security-Aware Design Methodology and Optimization for Automotive Systems. ACM Trans. Design Autom. Electr. Syst. Chung-Wei Lin, Bowen Zheng, Qi Zhu, Alberto L. Sangiovanni-Vincentelli
2015	J	`jnl`	Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems. IEEE Embed. Syst. Lett. Chung-Wei Lin, Qi Zhu, Alberto L. Sangiovanni-Vincentelli
2015	C	`conf`	Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. ACC Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2015	C	`conf`	Stochastic model predictive control design for load management system of aircraft electrical power distribution. ACC Behrooz Shahsavari, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli, Roberto Horowitz
2014	J	`jnl`	A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia
2014	J	`jnl`	A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes in a Hybrid Simulation Framework. Sensors Mohammad Mozumdar, Zhen Yu Song, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2014	A*	`conf`	An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems. DAC Chung-Wei Lin, Lei Rao, Paolo Giusto, Joseph D'Ambrosio, Alberto L. Sangiovanni-Vincentelli
2014	A	`conf`	An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink. MoDELS Marco Di Natale, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli
2014	C	`conf`	Are interface theories equivalent to contract theories? MEMOCODE Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2014	J	`jnl`	Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint. Comput. Electr. Eng. Guoqiang Wang, Randy Allen, Hugo A. Andrade, Alberto L. Sangiovanni-Vincentelli
2014	A	`conf`	Contract-based design of control protocols for safety-critical cyber-physical systems. DATE Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli
2014	—	`conf`	Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. AAAI Spring Symposia Dorsa Sadigh, Katherine Rose Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
2014	—	`conf`	Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donzé, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh
2014	—	`book`	Embedded Systems Development, From Functional Models to Implementations Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
2014	—	`ch.`	Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems. Embedded Systems Development, From Functional Models to Implementations Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
2014	—	`conf`	Let's Get Physical: Computer Science Meets Systems. FPS@ETAPS Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2014	A	`conf`	Library-based scalable refinement checking for contract-based design. DATE Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2014	J	`jnl`	Looking into the Crystal Ball: From Transistors to the Smart Earth. IEEE Des. Test Alberto L. Sangiovanni-Vincentelli, Donatella Sciuto
2014	Misc	`conf`	Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee
2014	C	`conf`	Model Predictive Control of regulation services from commercial buildings to the smart grid. ACC Mehdi Maasoumy, Borhan Molazem Sanandaji, Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla
2014	C	`conf`	Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following. ACC Mehdi Maasoumy, Catherine Rosenberg, Alberto L. Sangiovanni-Vincentelli, Duncan S. Callaway
2014	—	`conf`	Model predictive control with signal temporal logic specifications. CDC Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2014	J	`jnl`	Optimized implementation of synchronous models on industrial LTTA systems. J. Syst. Archit. Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2014	Misc	`conf`	Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. EMSOFT Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2014	J	`jnl`	Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. CoRR Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2014	A	`conf`	Security-aware mapping for TDMA-based real-time distributed systems. ICCAD Chung-Wei Lin, Qi Zhu, Alberto L. Sangiovanni-Vincentelli
2014	C	`conf`	Selecting building predictive control based on model uncertainty. ACC Mehdi Maasoumy, Meysam Razmara, Mahdi Shahbakhti, Alberto L. Sangiovanni-Vincentelli
2014	J	`jnl`	The Swarm at the Edge of the Cloud. IEEE Des. Test Edward A. Lee, Björn Hartmann, John Kubiatowicz, Tajana Simunic Rosing, John Wawrzynek, David Wessel, Jan M. Rabaey, Kris Pister, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, David T. Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Ben Taskar, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Rahul Mangharam, George J. Pappas, Richard M. Murray, Anthony Rowe
2013	—	`conf`	A complexity metric for concurrent finite state machine based embedded software. SIES Liangpeng Guo, Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto
2013	—	`conf`	A tool integration approach for architectural exploration of aircraft electric power systems. CPSNA Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2013	A	`conf`	BAG: a designer-oriented integrated framework for the development of AMS circuit generators. ICCAD 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	—	`conf`	Co-design of control algorithm and embedded platform for building HVAC systems. ICCPS Mehdi Maasoumy, Qi Zhu, Cheng Li, Forrest Meggers, Alberto L. Sangiovanni-Vincentelli
2013	A	`conf`	Dr. Frankenstein's dream made possible: implanted electronic devices. DATE Daniela De Venuto, Alberto L. Sangiovanni-Vincentelli
2013	J	`jnl`	Duty-cycle optimization for IEEE 802.15.4 wireless sensor networks. ACM Trans. Sens. Networks Pan Gun Park, Sinem Coleri Ergen, Carlo Fischione, Alberto L. Sangiovanni-Vincentelli
2013	J	`jnl`	Flexibility of Commercial Building HVAC Fan as Ancillary Service for Smart Grid. CoRR Mehdi Maasoumy, Jorge Ortiz, David E. Culler, Alberto L. Sangiovanni-Vincentelli
2013	J	`jnl`	Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software. IEEE Embed. Syst. Lett. Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Ragunathan Rajkumar, Marco Ernst, Rolf Di Natale
2013	—	`conf`	Industrial Cyber-Physical Systems - iCyPhy. CSDM Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Eelco Scholte
2013	—	`conf`	Optimal load management system for Aircraft Electric Power distribution. CDC Mehdi Maasoumy, Pierluigi Nuzzo, Forrest N. Iandola, Maryam Kamgarpour, Alberto L. Sangiovanni-Vincentelli, Claire J. Tomlin
2013	A	`conf`	Panel: the heritage of Mead & Conway: what has remained the same, what was missed, what has changed, what lies ahead. DATE Marco Casale-Rossi, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Bernard Courtois, Hugo De Man, Antun Domic, Jan M. Rabaey
2013	J	`jnl`	Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems. CoRR Pierluigi Nuzzo, John B. Finn, Mohammad Mostafizur Rahman Mozumdar, Alberto L. Sangiovanni-Vincentelli
2013	A*	`conf`	Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. CAV Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2013	A	`conf`	Security-aware mapping for CAN-based real-time distributed automotive systems. ICCAD Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto L. Sangiovanni-Vincentelli
2013	J	`jnl`	The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem. Autom. Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2013	A	`conf`	Timing analysis of process graphs with finite communication buffers. IEEE Real-Time and Embedded Technology and Applications Symposium Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli
2013	J	`jnl`	metroII: A design environment for cyber-physical systems. ACM Trans. Embed. Comput. Syst. Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu
2012	J	`jnl`	A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS. IEEE Trans. Circuits Syst. I Regul. Pap. Pierluigi Nuzzo, Claudio Nani, Costantino Armiento, Alberto L. Sangiovanni-Vincentelli, Jan Craninckx, Geert Van der Plas
2012	Misc	`conf`	A routing-algorithm-aware design tool for indoor wireless sensor networks. ICNC Alberto Puggelli, Mohammad Mostafizur Rahman Mozumdar, Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno
2012	A	`conf`	An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. MoDELS Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2012	—	`conf`	Cyber-Security for the Controller Area Network (CAN) Communication Protocol. CyberSecurity Chung-Wei Lin, Alberto L. Sangiovanni-Vincentelli
2012	J	`jnl`	Development of Building Automation and Control Systems. IEEE Des. Test Comput. Yang Yang, Qi Zhu, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
2012	J	`jnl`	EDA meets biology! The bumpy road ahead [Perscetives]. IEEE Des. Test Comput. Alberto L. Sangiovanni-Vincentelli
2012	J	`jnl`	Modeling Cyber-Physical Systems. Proc. IEEE Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2012	J	`jnl`	Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst. Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2012	J	`jnl`	Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. Sci. Comput. Program. Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli
2012	J	`jnl`	Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. Eur. J. Control Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone
2012	J	`jnl`	Total and Peak Energy Consumption Minimization of Building HVAC Systems Using Model Predictive Control. IEEE Des. Test Comput. Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
2011	A*	`conf`	Are logic synthesis tools robust? DAC Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
2011	J	`jnl`	Breath: An Adaptive Protocol for Industrial Control Applications Using Wireless Sensor Networks. IEEE Trans. Mob. Comput. Pan Gun Park, Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli
2011	A	`conf`	Component-based design for the future. DATE Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
2011	—	`conf`	Robustness in analog systems: Design techniques, methodologies and tools. SIES Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2011	J	`jnl`	Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Trans. Ind. Informatics Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli
2010	C	`conf`	A 2.2mW CMOS LNA for 6-8.5GHz UWB receivers. ISCAS Chang-Ching Wu, Xuening Sun, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey
2010	A	`conf`	A Design Flow for Building Automation and Control Systems. RTSS Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu
2010	J	`jnl`	A Platform-Based Methodology for System-Level Mixed-Signal Design. EURASIP J. Embed. Syst. Pierluigi Nuzzo, Xuening Sun, Chang-Ching Wu, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli
2010	A	`conf`	All things are connected. DATE Alberto L. Sangiovanni-Vincentelli
2010	B	`conf`	CalCS: SMT solving for non-linear convex constraints. FMCAD Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
2010	A*	`conf`	Education panel: designing the always connected car of the future. DAC Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Joseph D'Ambrosio, Ed Nuckolls, Harald Wilhelm, Jim Tung, Markus Kuhl, Peter van Staa
2010	—	`conf`	HILAC: A framework for Hardware In the Loop simulation and multi-platform Automatic Code Generation of WSN Applications. SIES Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago, Alberto L. Sangiovanni-Vincentelli
2010	J	`jnl`	Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools. Proc. IEEE Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2010	J	`jnl`	Optimal synthesis of communication procedures in real-time synchronous reactive models. IEEE Trans. Ind. Informatics Guoqiang Wang, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2010	J	`jnl`	Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. IEEE Trans. Ind. Informatics Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli
2010	J	`jnl`	Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. IEEE Trans. Ind. Informatics Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli
2010	—	`ch.`	Synthesis of Multilevel Boolean Networks. Boolean Models and Methods Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Yves Crama, Peter L. Hammer
2010	J	`jnl`	Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network. IEEE Trans. Ind. Informatics Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009	J	`jnl`	A Methodology for Constraint-Driven Synthesis of On-Chip Communications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2009	—	`conf`	Automatic Code Generation for Synchronous Reactive Communication. ICESS Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli
2009	J	`jnl`	Challenges and Solutions in the Development of Automotive Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2009	A*	`conf`	Contract-based system-level composition of analog circuits. DAC Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli
2009	J	`jnl`	Improving the size of communication buffers in synchronous models with time constraints. IEEE Trans. Ind. Informatics Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli
2009	B	`conf`	Iterative Node Deployment in an Unknown Environment. GLOBECOM Assane Gueye, Sinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli
2009	B	`conf`	Medium Access Control Analytical Modeling and Optimization in Unslotted IEEE 802.15.4 Wireless Sensor Networks. SECON Carlo Fischione, Sinem Coleri Ergen, Pan Gun Park, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli
2009	J	`jnl`	Metamodeling: An Emerging Representation Paradigm for System-Level Design. IEEE Des. Test Comput. Alberto L. Sangiovanni-Vincentelli, Sandeep K. Shukla, Janos Sztipanovits, Guang Yang, Deepak Mathaikutty
2009	J	`jnl`	Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
2009	J	`jnl`	Minimum Energy coding in CDMA Wireless Sensor Networks. IEEE Trans. Wirel. Commun. Carlo Fischione, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli, Benigno Zurita Ares
2009	A	`conf`	Optimizations of an application-level protocol for enhanced dependability in FlexRay. DATE Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2009	A	`conf`	Optimizing Extensibility in Hard Real-Time Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2009	—	`conf`	Peer-to-peer estimation over wireless sensor networks via Lipschitz optimization. IPSN Carlo Fischione, Alberto Speranzon, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli
2009	J	`jnl`	Runtime deadlock analysis for system level design. Des. Autom. Embed. Syst. Eric Cheung, Xi Chen, Harry Hsieh, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe
2009	A*	`conf`	Scheduling the FlexRay bus using optimization techniques. DAC Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009	—	`conf`	Statistical analysis of Controller Area Network message response times. SIES Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009	J	`jnl`	Stochastic Analysis of Distributed Real-time Automotive Systems. IEEE Trans. Ind. Informatics Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2009	J	`jnl`	The Tire as an Intelligent Sensor. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli, Xuening Sun, Riccardo Tebano, S. Alalusi, G. Audisio, Marco Sabatini
2009	A	`conf`	UMTS MPSoC design evaluation using a system level design framework. DATE Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	A distributed minimum variance estimator for sensor networks. IEEE J. Sel. Areas Commun. Alberto Speranzon, Carlo Fischione, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli
2008	—	`conf`	A framework for creating healthcare monitoring applications using wireless body sensor networks. BODYNETS Sameer Iyengar, Filippo Tempia Bonda, Raffaele Gravina, Antonio Guerrieri, Giancarlo Fortino, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2008	B	`conf`	Analysis of Interference Effects in MB-OFDM UWB Systems. WCNC Yanmei Li, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli
2008	—	`conf`	Approximating Behaviors in Embedded System Design. Concurrency, Graphs and Models Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2008	B	`conf`	Breath: A Self-Adapting Protocol for Wireless Sensor Networks in Control and Automation. SECON Pan Gun Park, Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	COSI: A Framework for the Design of Interconnection Networks. IEEE Des. Test Comput. Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2008	—	`conf`	Composing hybrid systems. CDC Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	Compositionally Progressive Solutions of Synchronous FSM Equations. Discret. Event Dyn. Syst. Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2008	—	`conf`	Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. HSCC Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	Distributed Estimation over Wireless Sensor Networks with Packet Losses CoRR Carlo Fischione, Alberto Speranzon, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli
2008	B	`conf`	Duty-Cycle Optimization in Unslotted 802.15.4 Wireless Sensor Networks. GLOBECOM Sinem Coleri Ergen, Carlo Fischione, Dimitri Marandin, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	Fault-Tolerant Distributed Deployment of Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2008	—	`conf`	Hybrid system reduction. CDC Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Antonio Bicchi
2008	J	`jnl`	Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale
2008	J	`jnl`	Is a Unified Methodology for System-Level Design Possible? IEEE Des. Test Comput. Alberto L. Sangiovanni-Vincentelli
2008	A	`conf`	Logical Reliability of Interacting Real-Time Tasks. DATE Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2008	A	`conf`	Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. DATE E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2008	A	`conf`	Optimizing the Implementation of Communication in Synchronous Reactive Models. IEEE Real-Time and Embedded Technology and Applications Symposium Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli
2008	B	`conf`	Outage-Based Rate Maximization in CDMA Wireless Networks. GLOBECOM M. D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
2008	A	`conf`	Panel Session - The Future Car: Technology, Methods and Tools. DATE Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Scuola S. Anna, H. Hanselmann, Harald Heinecke, Amar Bouali, Hermann Kopetz, H. Fennel, Thomas Weber
2008	A	`conf`	Physical Architectures of Automotive Systems. DATE T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2008	J	`jnl`	Schedulability Analysis of Petri Nets Based on Structural Properties. Fundam. Informaticae Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli
2008	A	`conf`	Software Components for Reliable Automotive Systems. DATE Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2008	A	`conf`	Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor. DATE Trevor Meyerowitz, Alberto L. Sangiovanni-Vincentelli, Mirko Sauermann, Dominik Langen
2008	C	`conf`	Synthesis of Embedded Networks for Building Automation and Control. ACC Alessandro Pinto, Massimiliano D'Angelo, Carlo Fischione, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	The State of ESL Design [Roundtable]. IEEE Des. Test Comput. Reinaldo A. Bergamaschi, Luca Benini, Krisztián Flautner, Wido Kruijtzer, Alberto L. Sangiovanni-Vincentelli, Kazutoshi Wakabayashi
2007	Misc	`conf`	A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. EMSOFT Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2007	—	`conf`	A new algorithm for the largest compositionally progressive solution of synchronous language equations. ACM Great Lakes Symposium on VLSI Tiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2007	Misc	`conf`	Automotive networks: are new busses and gateways the answer or just another challenge? CODES+ISSS Rolf Ernst, Gernot Spiegelberg, Thomas Weber, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marek Jersak
2007	—	`conf`	Complexity Reduction for the Design of Interacting Controllers. HSCC Andrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
2007	A	`conf`	Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. RTSS Wei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli
2007	B	`conf`	E2RINA: an Energy Efficient and Reliable In-Network Aggregation for Clustered Wireless Sensor Networks. WCNC Luca Necchi, Alvise Bonivento, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Laura Vanzago
2007	A*	`conf`	Electronics: The New Differential in the Automotive Industry. DAC Nick Smith, Andrew Chien, Christopher Hegarty, Walden C. Rhines, Alberto L. Sangiovanni-Vincentelli, Frank Winters
2007	J	`jnl`	Embedded System Design for Automotive Applications. Computer Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2007	J	`jnl`	FSM Encoding for BDD Representations. Int. J. Appl. Math. Comput. Sci. Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
2007	Misc	`conf`	Fresh air: the emerging landscape of design for networked embedded systems. CODES+ISSS Radu Marculescu, Borivoje Nikolic, Alberto L. Sangiovanni-Vincentelli
2007	J	`jnl`	Hybrid modelling and control of the common rail injection system. Int. J. Control Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra
2007	Misc	`conf`	Loosely time-triggered architectures based on communication-by-sampling. EMSOFT Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2007	J	`jnl`	Modelling and simulation techniques for highly integrated, low-power wireless sensor networks. IET Comput. Digit. Tech. Brian Otis, Simone Gambini, Rahul C. Shah, Dan Steingart, E. Quevy, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli, Paul K. Wright
2007	A	`conf`	Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. IEEE Real-Time and Embedded Technology and Applications Symposium Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2007	A*	`conf`	Period Optimization for Hard Real-time Distributed Automotive Systems. DAC Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
2007	J	`jnl`	Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design. Proc. IEEE Alberto L. Sangiovanni-Vincentelli
2007	Misc	`conf`	Reasoning about the Trends and Challenges of Engineering Design Automation. VLSI Design Alberto L. Sangiovanni-Vincentelli
2007	J	`jnl`	Refinement preserving approximations for the design and verification of heterogeneous systems. Formal Methods Syst. Des. Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli
2007	J	`jnl`	Remembering Richard [Obituary, Richard A.Newton]. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alberto L. Sangiovanni-Vincentelli
2007	J	`jnl`	Semantics-Preserving Design of Embedded Control Software from Synchronous Models. IEEE Trans. Software Eng. Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
2007	A	`conf`	Synthesis of task and message activation models in real-time distributed automotive systems. DATE Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
2007	J	`jnl`	System Level Design for Clustered Wireless Sensor Networks. IEEE Trans. Ind. Informatics Alvise Bonivento, Carlo Fischione, Luca Necchi, Fernando Pianegiani, Alberto L. Sangiovanni-Vincentelli
2007	J	`jnl`	Techniques for maintaining connectivity in wireless ad-hoc networks under energy constraints. ACM Trans. Embed. Comput. Syst. Farinaz Koushanfar, Abhijit Davare, David T. Nguyen, Alberto L. Sangiovanni-Vincentelli, Miodrag Potkonjak
2007	J	`jnl`	Uniprocessor scheduling under precedence constraints for embedded systems design. ACM Trans. Embed. Comput. Syst. Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
2006	J	`jnl`	A Framework for Modeling the Distributed Deployment of Synchronous Designs. Formal Methods Syst. Des. Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2006	Misc	`conf`	A hierarchical coordination language for interacting real-time tasks. EMSOFT Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan
2006	C	`conf`	A semantic-driven synthesis flow for platform-based design. MEMOCODE Qi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli
2006	—	`conf`	Automotive electronics: steady growth for years to come! ASP-DAC Alberto L. Sangiovanni-Vincentelli
2006	—	`conf`	Challenges and Opportunities for System Theory in Embedded controller Design. ADHS Alberto L. Sangiovanni-Vincentelli
2006	A	`conf`	Communication and co-simulation infrastructure for heterogeneous system integration. DATE Guang Yang, Xi Chen, Felice Balarin, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli
2006	Misc	`conf`	Communication by sampling in time-sensitive distributed systems. EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2006	J	`jnl`	Complexity of two-level logic minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Christopher Umans, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2006	—	`conf`	Cooperative Diversity with Disconnection Constraints and Sleep Discipline for Power Control in Wireless Sensor Networks. VTC Spring Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli
2006	A	`conf`	Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. DATE Sri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2006	A	`conf`	FPGA architecture characterization for system level performance analysis. DATE Douglas Densmore, Adam Donlin, Alberto L. Sangiovanni-Vincentelli
2006	—	`conf`	Functional Model Exploration for Multimedia Applications via Algebraic Operators. ACSD Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli
2006	—	`conf`	Hybrid Modelling and Control of the Common Rail Injection System. HSCC Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra
2006	—	`conf`	Idle Speed control - a Benchmark for Hybrid System Research1. ADHS Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2006	—	`conf`	Interchange Format for Hybrid Systems: Abstract Semantics. HSCC Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2006	A	`conf`	Is "Network" the next "Big Idea" in design? DATE Radu Marculescu, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli
2006	J	`jnl`	L. Embedding Mixed-Signal Design in Systems-on-Chip. Proc. IEEE Jan M. Rabaey, Fernando De Bernardinis, Ali M. Niknejad, Borivoje Nikolic, Alberto L. Sangiovanni-Vincentelli
2006	J	`jnl`	Languages and Tools for Hybrid Systems Design. Found. Trends Electron. Des. Autom. Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
2006	A	`conf`	Modeling and Early Performance Estimation for Network Processor Applications. MoDELS Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli
2006	—	`conf`	Performance analysis of collaborative spatio-temporal processing for wireless sensor networks. CCNC Carlo Fischione, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Fortunato Santucci, Karl Henrik Johansson
2006	J	`jnl`	Platform based design for wireless sensor networks. Mob. Networks Appl. Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2006	A	`conf`	Platform-based design of wireless sensor networks for industrial applications. DATE Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2006	—	`conf`	Randomized protocol stack for ubiquitous networks in indoor environment. CCNC Alvise Bonivento, Carlo Fischione, Alberto L. Sangiovanni-Vincentelli
2006	A	`conf`	Robust system level design with analog platforms. ICCAD Fernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2006	A*	`conf`	SAT sweeping with local observability don't-cares. DAC Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
2006	—	`conf`	Schedulability Analysis of Petri Nets Based on Structural Properties. ACSD Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel
2006	J	`jnl`	System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Design Autom. Electr. Syst. Alessandro Pinto, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi
2006	—	`conf`	Uniprocessor Scheduling Under Precedence Constraints. IEEE Real Time Technology and Applications Symposium Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
2006	A	`conf`	Yield prediction for 3D capacitive interconnections. ICCAD Alberto Fazzi, Luca Magagni, Mario de Dominicis, Paolo Zoffoli, Roberto Canegallo, Pier Luigi Rolandi, Alberto L. Sangiovanni-Vincentelli, Roberto Guerrieri
2005	—	`ch.`	A Service-Based Universal Application Interface for Ad Hoc Wireless Sensor and Actuator Networks. Ambient Intelligence Marco Sgroi, Adam Wolisz, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey
2005	Misc	`conf`	A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. EMSOFT Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
2005	C	`conf`	A formal approach to system level design: metamodels and unified design environments. MEMOCODE Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
2005	—	`conf`	A low-power mixed-signal baseband system design for wireless sensor networks. CICC Yanmei Li, Fernando De Bernardinis, Brian P. Otis, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli
2005	Misc	`conf`	A structural approach to quasi-static schedulability analysis of communicating concurrent programs. EMSOFT Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
2005	J	`jnl`	An embedded system for an eye-detection sensor. Comput. Vis. Image Underst. Arnon Amir, Lior Zimet, Alberto L. Sangiovanni-Vincentelli, Sean Kao
2005	J	`jnl`	An overview of embedded system design education at berkeley. ACM Trans. Embed. Comput. Syst. Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto
2005	—	`conf`	Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains. HSCC Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli
2005	A	`conf`	Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. DATE Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff
2005	J	`jnl`	Editorial. ACM Trans. Embed. Comput. Syst. Alan Burns, Alberto L. Sangiovanni-Vincentelli
2005	J	`jnl`	Efficient Solution of Optimal Control Problems Using Hybrid Systems. SIAM J. Control. Optim. Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli
2005	A	`conf`	Efficient analog platform characterization through analog constraint graphs. ICCAD Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli
2005	Misc	`conf`	Efficient embedded software design with synchronous models. EMSOFT Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli
2005	J	`jnl`	Embedded system education: a new paradigm for engineering schools? SIGBED Rev. Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto
2005	—	`conf`	Enriching an analog platform for analog-to-digital converter design. ISCAS (2) Fernando De Bernardinis, Pierluigi Nuzzo, Pierangelo Terreni, Alberto L. Sangiovanni-Vincentelli
2005	—	`conf`	Extensible and Scalable Time Triggered Scheduling. ACSD Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli
2005	—	`conf`	FSM re-engineering and its application in low power state encoding. ASP-DAC Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2005	—	`conf`	Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. ECBS Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2005	Misc	`conf`	Grand challenges in embedded systems. CODES+ISSS Janos Sztipanovits, C. John Glossner, Trevor N. Mudge, Chris Rowen, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf, Feng Zhao
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
2005	J	`jnl`	Hybrid Control of Networked Embedded Systems. Eur. J. Control Andrea Balluchi, Luca Benvenuti, Sebastian Engell, Tobias Geyer, Karl Henrik Johansson, Françoise Lamnabhi-Lagarrigue, John Lygeros, Manfred Morari, Georgios Papafotiou, Alberto L. Sangiovanni-Vincentelli, Fortunato Santucci, Olaf Stursberg
2005	—	`conf`	Hybrid Systems in Automotive Electronics Design. CDC/ECC Andrea Balluchi, Luca Benvenuti, Alberto L. Sangiovanni-Vincentelli
2005	A	`conf`	Integrated Electronics in the Car and the Design Chain Evolution or Revolution? DATE Alberto L. Sangiovanni-Vincentelli
2005	—	`conf`	Interchange Formats for Hybrid Systems: Review and Proposal. HSCC Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone
2005	—	`conf`	JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study. ESTIMedia Abhijit Davare, Qi Zhu, John Moondanos, Alberto L. Sangiovanni-Vincentelli
2005	J	`jnl`	Maximizing the stability radius of a set of systems under real-time scheduling constraints. IEEE Trans. Autom. Control. Luigi Palopoli, Claudio Pinello, Antonio Bicchi, Alberto L. Sangiovanni-Vincentelli
2005	A*	`conf`	Mixed signal design space exploration through analog platforms. DAC Fernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2005	—	`ch.`	Platform-Based Design for Embedded Systems. Embedded Systems Handbook Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Fernando De Bernardinis, Claudio Pinello, Luca P. Carloni
2005	—	`ch.`	Platform-Based and Derivative Design. The Industrial Information Technology Handbook Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi
2005	—	`conf`	Randomized Algorithms for Platform-based Design. CDC/ECC Andrea Agostini, Andrea Balluchi, Antonio Bicchi, Benedetto Piccoli, Alberto L. Sangiovanni-Vincentelli, Katarzyna Zadarnowska
2005	Misc	`conf`	Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. EMSOFT Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2005	B	`conf`	SERAN: a semi random protocol solution for clustered wireless sensor networks. MASS Alvise Bonivento, Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Fabio Graziosi, Fortunato Santucci
2005	A*	`conf`	Simulation based deadlock analysis for system level designs. DAC Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe
2005	Misc	`conf`	Tag machines. EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2005	J	`jnl`	The importance of innovation in the economy of advanced countries. IEEE Des. Test Comput. Alberto L. Sangiovanni-Vincentelli
2004	A	`conf`	A Methodology for System-Level Analog Design Space Exploration. DATE Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli
2004	—	`conf`	Adaptive sleep discipline for energy conservation and robustness in dense sensor networks. ICC Jana van Greunen, Dragan Petrovic, Alvise Bonivento, Jan M. Rabaey, Kannan Ramchandran, Alberto L. Sangiovanni-Vincentelli
2004	A*	`conf`	Benefits and challenges for platform-based design. DAC Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi
2004	—	`conf`	Challenges and solution techniques for hybrid simulation. CDC Pieter Mostennan, Michael Clune, Bert van Beek, Bruce H. Krogh, Alberto L. Sangiovanni-Vincentelli
2004	Misc	`conf`	Conservative approximations for heterogeneous design. EMSOFT Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli
2004	—	`ch.`	Fault Tolerance in Wireless Sensor Networks. Handbook of Sensor Networks Farinaz Koushanfar, Miodrag Potkonjak, Alberto L. Sangiovanni-Vincentelli
2004	A	`conf`	Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. DATE Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2004	Misc	`conf`	Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2004	—	`conf`	Improving reachability analysis of hybrid automata for engine control. CDC Alberto Casagrande, Andrea Balluchi, Luca Benvenuti, Alberto Policriti, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
2004	J	`jnl`	Logic Synthesis for Manufacturability. IEEE Des. Test Comput. Alessandra Nardi, Alberto L. Sangiovanni-Vincentelli
2004	A	`conf`	Microarchitecture Development via Metropolis Successive Platform Refinement. DATE Douglas Densmore, Sanjay Rekhi, Alberto L. Sangiovanni-Vincentelli
2004	J	`jnl`	SPFD-based wire removal in standard-cell and network-of-PLA circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sunil P. Khatri, Subarnarekha Sinha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2004	Misc	`conf`	Separation of concerns: overhead in modeling and efficient simulation techniques. EMSOFT Guang Yang, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin
2004	—	`conf`	Synthesis for Idle Speed Control of an Automotive Engine. HSCC Andrea Balluchi, Federico Di Natale, Alberto L. Sangiovanni-Vincentelli, Jan H. van Schuppen
2004	A	`conf`	Synthesis for Manufacturability: A Sanity Check. DATE Alessandra Nardi, Alberto L. Sangiovanni-Vincentelli
2004	A*	`conf`	The best of both worlds: the efficient asynchronous implementation of synchronous specifications. DAC Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli
2003	A	`conf`	A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity. ICCAD Alessandra Nardi, Haibo Zeng, Joshua L. Garrett, Luca Daniel, Alberto L. Sangiovanni-Vincentelli
2003	A*	`conf`	A tool for describing and evaluating hierarchical real-time bus scheduling policies. DAC Trevor Meyerowitz, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. SBCCI Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2003	J	`jnl`	DAC Turns 40! IEEE Des. Test Comput. Alberto L. Sangiovanni-Vincentelli
2003	C	`conf`	Efficient Synthesis of Networks On Chip. ICCD Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2003	J	`jnl`	Electronic-System Design in the Automobile Industry. IEEE Micro Alberto L. Sangiovanni-Vincentelli
2003	A	`conf`	Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2003	Misc	`conf`	Fault-tolerant platforms for automotive safety-critical applications. CASES Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini
2003	J	`jnl`	Guest Editors' Introduction: Trends and Directions in Microelectronics. IEEE Micro Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno
2003	Misc	`conf`	Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2003	C	`conf`	Hybrid command governors for idle speed control in gasoline direct injection engines. ACC Leonardo Albertoni, Andrea Balluchi, Alessandro Casavola, Claudio Gambelli, Edoardo Mosca, Alberto L. Sangiovanni-Vincentelli
2003	C	`conf`	Idle speed control for GDI engines using robust multirate hybrid command governors. CCA Leonardo Albertoni, Andrea Balluchi, Alessandro Casavola, Claudio Gambelli, Edoardo Mosca, Alberto L. Sangiovanni-Vincentelli
2003	J	`jnl`	Individual cylinder characteristic estimation for a spark injection engine. Autom. Luca Benvenuti, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli
2003	A	`conf`	Low power coordination in wireless ad-hoc networks. ISLPED Farinaz Koushanfar, Abhijit Davare, Dai Tho Nguyen, Miodrag Potkonjak, Alberto L. Sangiovanni-Vincentelli
2003	J	`jnl`	Metropolis: An Integrated Electronic System Design Environment. Computer Felice Balarin, Yosinori Watanabe, Harry Hsieh, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	Observability for hybrid systems. CDC Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	On the stabilization of linear discrete-time hybrid automata. CDC Marco Zoncu, Andrea Balluchi, Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi
2003	Misc	`conf`	On-chip communication design: roadblocks and avenues. CODES+ISSS Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2003	J	`jnl`	Platform-based embedded software design and system integration for autonomous vehicles. Proc. IEEE Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry
2003	C	`conf`	Structural Detection of Symmetries in Boolean Functions. ICCD Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
2003	A*	`conf`	Support vector machines for analog circuit performance representation. DAC Fernando De Bernardinis, Michael I. Jordan, Alberto L. Sangiovanni-Vincentelli
2003	A	`conf`	System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain. DATE Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Andrea Pierantoni, Michele Pennese
2003	J	`jnl`	The Tides of EDA. IEEE Des. Test Comput. Alberto L. Sangiovanni-Vincentelli
2003	—	`ch.`	UML and Platform-based Design. UML for Real Rong Chen, Marco Sgroi, Luciano Lavagno, Grant Martin, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey
2002	B	`conf`	An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms. FPL Massimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto L. Sangiovanni-Vincentelli
2002	C	`conf`	Automotive Virtual Integration Platforms: Why's, What's, and How's. ICCD Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2002	Misc	`conf`	Compositional Modeling in Metropolis. EMSOFT Gregor Gößler, Alberto L. Sangiovanni-Vincentelli
2002	—	`conf`	Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model. CODES Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Guang Yang
2002	A*	`conf`	Constraint-driven communication synthesis. DAC Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2002	A	`conf`	Convertibility verification and converter synthesis: two faces of the same coin. ICCAD Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli
2002	J	`jnl`	Coping with Latency in SOC Design. IEEE Micro Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2002	—	`conf`	Design of Observers for Hybrid Systems. HSCC Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2002	Misc	`ed.`	Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings EMSOFT Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis
2002	—	`conf`	Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2002	J	`jnl`	Formula-Dependent Equivalence for Compositional CTL Model Checking. Formal Methods Syst. Des. Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2002	—	`conf`	HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform. CODES Massimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2002	—	`conf`	Integrated control-implementation design. CDC Andrea Balluchi, Luca Beradi, Maria Domenica Di Benedetto, Alberto Ferrari, Giovanni Girasole, Alberto L. Sangiovanni-Vincentelli
2002	—	`conf`	Modeling and Designing Heterogeneous Systems. Concurrency and Hardware Design Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Yosinori Watanabe
2002	C	`conf`	Models of IP's for Automotive Virtual Integration Platforms. ICCD Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto
2002	—	`conf`	Numerically efficient control of systems with communication constraints. CDC Luigi Palopoli, Antonio Bicchi, Alberto L. Sangiovanni-Vincentelli
2002	Misc	`conf`	Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. EMSOFT Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry
2002	A	`conf`	Proximity templates for modeling of skin and proximity effects on packages and high frequency interconnect. ICCAD Luca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob K. White
2002	—	`conf`	Synthesis of Robust Control Systems under Resource Constraints. HSCC Luigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi
2001	—	`conf`	A hybrid observer for the driveline dynamics. ECC Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2001	Misc	`conf`	A vision for embedded software. CASES Alberto L. Sangiovanni-Vincentelli, Grant Martin
2001	A*	`conf`	Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design. DAC Marco Sgroi, Michael Sheets, Andrew Mihal, Kurt Keutzer, Sharad Malik, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli
2001	A	`conf`	Addressing the Timing Closure Problem by Integrating Logic Optimization and Placement. ICCAD Wilsin Gosti, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli
2001	—	`conf`	Analysis of DSP-Kernel Software by Implicit Cache Simulation. ECBS Gabriele Luculli, Alberto L. Sangiovanni-Vincentelli
2001	—	`conf`	Constraints specification at higher levels of abstraction. HLDVT Felice Balarin, Jerry R. Burch, Luciano Lavagno, Yosinori Watanabe, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2001	A	`conf`	Design methodology for PicoRadio networks. DATE 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	A	`conf`	Embedded Software Design for Real-Time Applications. RTSS Alberto L. Sangiovanni-Vincentelli
2001	—	`conf`	Embedded system design specification: merging reactive control and data computation. CDC Marco Antoniotti, Alberto Ferrari, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
2001	—	`conf`	Hybrid Systems Applications: An Oxymoron? HSCC Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis
2001	—	`ed.`	Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings HSCC Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli
2001	J	`jnl`	Limitations and challenges of computer-aided design technology for CMOS VLSI. Proc. IEEE Randal E. Bryant, Kwang-Ting Cheng, Andrew B. Kahng, Kurt Keutzer, Wojciech Maly, A. Richard Newton, Lawrence T. Pileggi, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli
2001	—	`conf`	Mixed models of computation in the design of automotive engine control. CDC Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2001	J	`jnl`	Model matching for finite-state machines. IEEE Trans. Autom. Control. Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa
2001	—	`conf`	Modeling of Substrate Noise Injected by Digital Libraries. ISQED Stefano Zanella, Andrea Neviani, Enrico Zanoni, Paolo Miliozzi, Edoardo Charbon, Carlo Guardiani, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2001	—	`conf`	Optimal Control Using Bisimulations: Implementation. HSCC Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli
2001	—	`conf`	Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. ACSD Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2001	J	`jnl`	Platform-Based Design and Software Design Methodology for Embedded Systems. IEEE Des. Test Comput. Alberto L. Sangiovanni-Vincentelli, Grant Martin
2001	—	`conf`	Scheduling Reactive Task Graphs in Embedded Control Systems. IEEE Real Time Technology and Applications Symposium Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin
2001	A	`conf`	Solution of Parallel Language Equations for Logic Synthesis. ICCAD Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2001	J	`jnl`	Synchronous approach to the functional equivalence of embeddedsystem implementations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2001	A	`conf`	System-Level Power/Performance Analysis of Portable Multimedia Systems Communicating over Wireless Channels. ICCAD Radu Marculescu, Amit Nandi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2001	A	`conf`	Techniques for Including Dielectrics when Extracting Passive Low-Order Models of High Speed Interconnect. ICCAD Luca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob K. White
2001	J	`jnl`	Theory of latency-insensitive design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli
2001	A*	`conf`	Using Conduction Modes Basis Functions for Efficient Electromagnetic Analysis of On-Chip and Off-Chip Interconnect. DAC Luca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob White
2001	Misc	`conf`	Using Multiple Levels of Abstractions in Embedded Software Design. EMSOFT Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2000	J	`jnl`	A Case Study in Embedded Systems Design: An Engine Control Unit. Des. Autom. Embed. Syst. Tullio Cuatto, Claudio Passerone, Claudio Sansoè, Francesco Gregoretti, Attila Jurecska, Alberto L. Sangiovanni-Vincentelli
2000	J	`jnl`	A new procedure for exact ring closure. J. Comput. Chem. Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, Ken Yamaguchi
2000	J	`jnl`	Automotive engine control and hybrid systems: challenges and opportunities. Proc. IEEE Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli
2000	C	`conf`	Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks. ICCD Subarnarekha Sinha, Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2000	A	`conf`	Cross-Talk Immune VLSI Design Using a Network of PLAs Embedded in a Regular Layout Fabric. ICCAD Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2000	Misc	`conf`	Designing wireless protocols: methodology and applications. ICASSP Marco Sgroi, Julio Leao da Silva Jr., Fernando De Bernardinis, Fred L. Burghardt, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey
2000	A*	`conf`	Efficient methods for embedded system design space exploration. DAC Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2000	A*	`conf`	Embedded systems education (panel abstract). DAC Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf
2000	B	`conf`	Formal Models for Communication-Based Design. CONCUR Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno
2000	J	`jnl`	Formal Models for Embedded System Design. IEEE Des. Test Comput. Marco Sgroi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2000	A	`conf`	Free MDD-Based Software Optimization Techniques for Embedded Systems. DATE Chunghee Kim, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2000	A	`conf`	HW/SW Codesign of an Engine Management System. DATE Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti
2000	C	`conf`	Hybrid controller synthesis for idle speed management of an automotive engine. ACC Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
2000	—	`conf`	Hybrid tracking control for spark-ignition engines. CDC Andrea Balluchi, Antonio Bicchi, Canio Caterini, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli
2000	—	`conf`	Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. HSCC Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
2000	—	`conf`	Models of Computation and Simulation of Hybrid Systems. HSCC Alberto L. Sangiovanni-Vincentelli
2000	J	`jnl`	Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2000	A*	`conf`	Performance analysis and optimization of latency insensitive systems. DAC Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2000	—	`conf`	Platform-Based Design: A Path to Efficient Design Re-Use. ISQED Alberto L. Sangiovanni-Vincentelli
2000	J	`jnl`	Sequential synthesis using S1S. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2000	J	`jnl`	System-level design: orthogonalization of concerns andplatform-based design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Kurt Keutzer, A. Richard Newton, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli
2000	A*	`conf`	Task generation and compile-time scheduling for mixed data-control embedded software. DAC Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
2000	—	`conf`	Task response time optimization using cost-based operation motion. CODES Bassam Tabbara, Abdallah Tabbara, Alberto L. Sangiovanni-Vincentelli
2000	A*	`conf`	Task scheduling with RT constraints. DAC Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin
2000	—	`conf`	Theory of Optimal Control Using Bisimulations. HSCC Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro
2000	—	`conf`	Wireless protocols design: challenges and opportunities. CODES Julio Leao da Silva Jr., Marco Sgroi, Fernando De Bernardinis, Suet-Fei Li, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey
1999	A*	`conf`	A Novel VLSI Layout Fabric for Deep Sub-Micron Applications. DAC Sunil P. Khatri, Amit Mehrotra, Robert K. Brayton, Ralph H. J. M. Otten, Alberto L. Sangiovanni-Vincentelli
1999	—	`conf`	A case study of hybrid controller synthesis of a heating system. ECC A. Balluchif, Luca Benvenuti, T. Villas, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli
1999	—	`conf`	A compilation-based software estimation scheme for hardware/software co-simulation. CODES Marcello Lajolo, Mihai T. Lazarescu, Alberto L. Sangiovanni-Vincentelli
1999	—	`conf`	A frequency-domain, Volterra series-based behavioral simulation tool for RF systems. CICC Iason Vassiliou, Alberto L. Sangiovanni-Vincentelli
1999	A	`conf`	A methodology for correct-by-construction latency insensitive design. ICCAD Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
1999	—	`conf`	Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion. ISCAS (2) Alberto L. Sangiovanni-Vincentelli, Marco Re, Luciano Lavagno, Gian Carlo Cardarilli, Roberto Lojacono
1999	—	`conf`	Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1999	—	`conf`	Designing digital video systems: modeling and scheduling. CODES H. J. H. N. Kenter, Claudio Passerone, W. J. M. Smits, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
1999	J	`jnl`	Equivalences for Fair Kripke Structures. Chic. J. Theor. Comput. Sci. Adnan Aziz, Felice Balarin, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1999	A	`conf`	Fast Hardware-Software Co-simulation Using VHDL Models. DATE Bassam Tabbara, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Enrica Filippi, Luciano Lavagno
1999	—	`conf`	Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment. ASP-DAC Marcello Lajolo, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1999	A*	`conf`	HW and SW in Embedded System Design: Loveboat, Shipwreck, or Ships Passing in the Night. DAC Raul Camposano, Kurt Keutzer, Jerry Fiddler, Alberto L. Sangiovanni-Vincentelli, Jim Lansford
1999	J	`jnl`	Hybrid control in automotive applications: the cut-off control. Autom. Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli
1999	A*	`conf`	Latency Insensitive Protocols. CAV Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli
1999	J	`jnl`	Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
1999	A	`conf`	Noise analysis of non-autonomous radio frequency circuits. ICCAD Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli
1999	A*	`conf`	On Thermal Effects in Deep Sub-Micron VLSI Interconnects. DAC Kaustav Banerjee, Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli, Chenming Hu
1999	—	`conf`	Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. ICATPN Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
1999	Misc	`conf`	Sequential Multi-Valued Network Simplification using Redundancy Removal. VLSI Design Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1999	J	`jnl`	Substrate optimization based on semi-analytical techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Edoardo Charbon, Ranjit Gharpurey, Robert G. Meyer, Alberto L. Sangiovanni-Vincentelli
1999	J	`jnl`	Synthesis of software programs for embedded control applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki
1999	C	`conf`	System Design: Traditional Concepts and New Paradigms. ICCD Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
1998	A*	`conf`	A Case Study in Embedded System Design: An Engine Control Unit. DAC Tullio Cuatto, Claudio Passerone, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli
1998	—	`conf`	A case study on modeling shared memory access effects during performance analysis of HW/SW systems. CODES Marcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1998	J	`jnl`	A framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
1998	—	`conf`	An Exact Input Encoding Algorithm for BDDs Representing FSMs. Great Lakes Symposium on VLSI Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha
1998	A*	`conf`	Automatic Synthesis of Interfaces Between Incompatible Protocols. DAC Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli
1998	J	`jnl`	Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. IEEE Trans. Computers Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
1998	—	`conf`	Hybrid Control for Automotive Engine Management: The Cut-Off Case. HSCC Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli
1998	—	`conf`	Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study. ISSS Enrica Filippi, Luciano Lavagno, L. Licciardi, Archille Montanaro, Maurizio Paolini, Roberto Passerone, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli
1998	—	`conf`	Modeling reactive systems in Java. CODES Claudio Passerone, Roberto Passerone, Claudio Sansoè, Jonathan Martin, Alberto L. Sangiovanni-Vincentelli, Rick McGeer
1998	J	`jnl`	Modeling reactive systems in Java. ACM Trans. Design Autom. Electr. Syst. Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
1998	J	`jnl`	Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. Des. Autom. Embed. Syst. Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli
1998	J	`jnl`	Scheduling for Embedded Real-Time Systems. IEEE Des. Test Comput. Felice Balarin, Luciano Lavagno, Praveen K. Murthy, Alberto L. Sangiovanni-Vincentelli
1998	—	`conf`	Software timing analysis using HW/SW cosimulation and instruction set simulator. CODES Jie Liu, Marcello Lajolo, Alberto L. Sangiovanni-Vincentelli
1998	J	`jnl`	The transistor: an invention becomes a big business. Proc. IEEE C. Mark Melliar-Smith, Michael G. Borrus, Douglas E. Haggan, Tyler Lowrey, Alberto L. Sangiovanni-Vincentelli, William W. Troutman
1998	J	`jnl`	Theory and algorithms for face hypercube embedding. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1998	A	`conf`	Wireplanning in logic synthesis. ICCAD Wilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997	C	`conf`	A Survey of Techniques for Formal Verification of Combinational Circuits. ICCD Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli
1997	A	`conf`	A fast and robust exact algorithm for face embedding. ICCAD Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997	—	`conf`	Automatic Generation of a Real-Time Operating System for Embedded Systems. CODES Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli
1997	J	`jnl`	Design of embedded systems: formal models, validation, and synthesis. Proc. IEEE Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
1997	C	`conf`	Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions. ICCD Rajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997	J	`jnl`	Explicit and implicit algorithms for binate covering problems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997	A*	`conf`	Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. DAC Claudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli
1997	Misc	`conf`	Formal Verification of Combinational Circuit. VLSI Design Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli
1997	J	`jnl`	Implicit computation of compatible sets for state minimization of ISFSMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997	A*	`conf`	Interface-Based Design. DAC James A. Rowson, Alberto L. Sangiovanni-Vincentelli
1997	A	`conf`	Logic synthesis for large pass transistor circuits. ICCAD Premal Buch, Amit Narayan, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1997	—	`conf`	Modeling micro-controller peripherals for high-level co-simulation and synthesis. CODES Harry Hsieh, Alberto L. Sangiovanni-Vincentelli
1997	A	`conf`	Negative thinking by incremental problem solving: application to unate covering. ICCAD Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997	A	`conf`	Reachability analysis using partitioned-ROBDDs. ICCAD Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997	A*	`conf`	Schedule Validation for Embedded Reactive Real-Time Systems. DAC Felice Balarin, Alberto L. Sangiovanni-Vincentelli
1997	A	`conf`	Sequential optimisation without state space exploration. ICCAD Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli
1997	J	`jnl`	Symbolic two-level minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Tiziano Villa, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997	J	`jnl`	Theory and algorithms for state minimization of nondeterministic FSMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997	A	`conf`	Trace driven logic synthesis - application to power minimization. ICCAD Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
1997	—	`conf`	Trade-off evaluation in embedded system design via co-simulation. ASP-DAC Claudio Passerone, Luciano Lavagno, Claudio Sansoè, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli
1996	J	`jnl`	A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis. Formal Methods Syst. Des. Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1996	J	`jnl`	A case study in computer-aided co-design of embedded controllers. Des. Autom. Embed. Syst. Massimiliano Chiodo, Daniel W. Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli
1996	J	`jnl`	A module generator for high-speed CMOS current output digital/analog converters. IEEE J. Solid State Circuits Robert R. Neff, Paul R. Gray, Alberto L. Sangiovanni-Vincentelli
1996	Misc	`conf`	A study of composition schemes for mixed apply/compose based construction of ROBDDs. VLSI Design Amit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1996	A	`conf`	A video driver system designed using a top-down, constraint-driven methodology. ICCAD Iasson Vassiliou, Henry Chang, Alper Demir, Edoardo Charbon, Paolo Miliozzi, Alberto L. Sangiovanni-Vincentelli
1996	J	`jnl`	Automation of IC layout with analog constraints. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Enrico Malavasi, Edoardo Charbon, Eric Felt, Alberto L. Sangiovanni-Vincentelli
1996	C	`conf`	Binary decision diagrams on network of workstation. ICCD Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1996	J	`jnl`	Combinational test generation using satisfiability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1996	A	`conf`	Compact and complete test set generation for multiple stuck-faults. ICCAD Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1996	A	`conf`	Comparing models of computation. ICCAD Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
1996	B	`conf`	Decomposition Techniques for Efficient ROBDD Construction. FMCAD Jawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita
1996	A	`conf`	Digital sensitivity: predicting signal interaction using functional analysis. ICCAD Desmond Kirkpatrick, Alberto L. Sangiovanni-Vincentelli
1996	A*	`conf`	Efficient Software Performance Estimation Methods for Hardware/Software Codesign. DAC Kei Suzuki, Alberto L. Sangiovanni-Vincentelli
1996	A*	`conf`	Engineering Change in a Non-Deterministic FSM Setting. DAC Sunil P. Khatri, Amit Narayan, Sriram C. Krishnan, Kenneth L. McMillan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1996	A*	`conf`	Formal Verification of Embedded Systems based on CFSM Networks. DAC Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1996	A	`conf`	Generalized constraint generation in the presence of non-deterministic parasitics. ICCAD Edoardo Charbon, Paolo Miliozzi, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli
1996	A	`conf`	Hierarchical statistical characterization of mixed-signal circuits using behavioral modeling. ICCAD Eric Felt, Stefano Zanella, Carlo Guardiani, Alberto L. Sangiovanni-Vincentelli
1996	A*	`conf`	High Performance BDD Package By Exploiting Memory Hiercharchy. DAC Jagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1996	Misc	`conf`	Optimization of analog IC test structures. VTS Eric Felt, Alberto L. Sangiovanni-Vincentelli
1996	A	`conf`	Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions. ICCAD Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli
1996	C	`conf`	Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. RSP Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1996	A	`conf`	Semi-analytical techniques for substrate characterization in the design of mixed-signal ICs. ICCAD Edoardo Charbon, Ranjit Gharpurey, Alberto L. Sangiovanni-Vincentelli, Robert G. Meyer
1996	J	`jnl`	Time-domain non-Monte Carlo noise simulation for nonlinear dynamic circuits with arbitrary excitations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alper Demir, Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli
1996	A*	`conf`	Use of Sensitivities and Generalized Substrate Models in Mixed-Signal IC Design. DAC Paolo Miliozzi, Iasson Vassiliou, Edoardo Charbon, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli
1996	J	`jnl`	Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs. Mach. Learn. Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli
1996	B	`conf`	VIS. FMCAD 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	A*	`conf`	VIS: A System for Verification and Synthesis. CAV 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	J	`jnl`	Valid clock frequencies and their computation in wavepipelined circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1996	A*	`conf`	Verification of Electronic Systems. DAC Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha
1995	J	`jnl`	An Iterative Approach to Verification of Real-Time Systems. Formal Methods Syst. Des. Felice Balarin, Alberto L. Sangiovanni-Vincentelli
1995	J	`jnl`	An efficient heuristic procedure for solving the state assignment problem for event-based specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Luciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1995	J	`jnl`	Automatic generation of analytical models for interconnect capacitances. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli
1995	—	`conf`	Decomposition of logic functions for minimum transition activity. ED&TC Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1995	J	`jnl`	Delay fault coverage, test set size, and performance trade-offs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. William K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1995	A	`conf`	Fast discrete function evaluation using decision diagrams. ICCAD Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia
1995	Misc	`conf`	Functional clock schedule optimization. VLSI Design Alexander Saldanha, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1995	C	`conf`	Implicit state minimization of non-deterministic FSMs. ICCD Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1995	A*	`conf`	Inferring Reduced Ordered Decision Graphs of Minimum Description Length. ICML Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli
1995	A	`conf`	Sequential synthesis using S1S. ICCAD Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1995	J	`jnl`	Symbolic compaction with analogue constraints. Int. J. Circuit Theory Appl. Enrico Malavasi, Eric Felt, Edoardo Charbon, Alberto L. Sangiovanni-Vincentelli
1995	J	`jnl`	Synthesis for testability techniques for asynchronous circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Kurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1995	A*	`conf`	Synthesis of Software Programs for Embedded Control Applications. DAC Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
1995	J	`jnl`	Synthesis of hazard-free asynchronous circuits with bounded wire delays. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Luciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
1995	A*	`conf`	Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. DAC Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
1995	J	`jnl`	Verification of Nyquist data converters using behavioral simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	A Fully Implicit Algorithm for Exact State Minimization. DAC Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994	—	`conf`	A case study in computer-aided codesign of embedded controllers. CODES Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki
1994	A	`conf`	A parallel iterative linear solver for solving irregular grid semiconductor device matrices. SC Eric Tomacruz, Jagesh V. Sanghavi, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	Chain Closure: A Problem in Molecular CAD. DAC Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, Ken Yamaguchi
1994	J	`jnl`	Circuit structure relations to redundancy and delay. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques? (Panel). DAC Patrick C. McGeer, Steven Trimberger, Erik Carlson, Dave Hightower, Ulrich Lauther, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	Equivalences for Fair Kripke Structures. ICALP Adnan Aziz, Vigyan Singhal, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	Exact Minimum Cycle Times for Finite State Machines. DAC William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	HSIS: A BDD-Based Environment for Formal Verification. DAC 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	J	`jnl`	Hardware-software codesign of embedded systems. IEEE Micro Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno
1994	A*	`conf`	Heuristic Minimization of BDDs Using Don't Cares. DAC Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
1994	A	`conf`	Iterative algorithms for formal verification of embedded real-time systems. ICCAD Felice Balarin, Alberto L. Sangiovanni-Vincentelli
1994	J	`jnl`	Linear programming for hazard elimination in asynchronous circuits. J. VLSI Signal Process. Luciano Lavagno, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli
1994	A	`conf`	Measurement and modeling of MOS transistor current mismatch in analog IC's. ICCAD Eric Felt, Amit Narayan, Alberto L. Sangiovanni-Vincentelli
1994	J	`jnl`	Minimizing production test time to detect faults in analog circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Linda S. Milor, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	On the Automatic Computation of Network Invariants. CAV Felice Balarin, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	Optimum Functional Decomposition Using Encoding. DAC Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	Panel: Complex System Verification: The Challenge Ahead. DAC 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	A*	`conf`	Performance Optimization Using Exact Sensitization. DAC Alexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994	J	`jnl`	Satisfaction of input and output encoding constraints. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1994	A*	`conf`	Simultaneous Placement and Module Optimization of Analog IC's. DAC Edoardo Charbon, Enrico Malavasi, Davide Pandini, Alberto L. Sangiovanni-Vincentelli
1994	A	`conf`	Techniques for crosstalk avoidance in the physical design of high-performance digital systems. ICCAD Desmond Kirkpatrick, Alberto L. Sangiovanni-Vincentelli
1994	A	`conf`	Testing of analog systems using behavioral models and optimal experimental design techniques. ICCAD Eric Felt, Alberto L. Sangiovanni-Vincentelli
1994	A	`conf`	Time-domain non-Monte Carlo noise simulation for nonlinear dynamic circuits with arbitrary excitations. ICCAD Alper Demir, Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli
1993	A*	`conf`	A Verification Technique for Gated Clock. DAC Masamichi Kawarabayashi, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli
1993	A*	`conf`	An Iterative Approach to Language Containment. CAV Felice Balarin, Alberto L. Sangiovanni-Vincentelli
1993	A	`conf`	An algorithm for improving partitions of pin-limited multi-chip systems. ICCAD Mark Beardslee, Alberto L. Sangiovanni-Vincentelli
1993	A*	`conf`	Analog System Verification in the Presence of Parasitics Using Behavioral Simulation. DAC Edward W. Y. Liu, Henry C. Chang, Alberto L. Sangiovanni-Vincentelli
1993	J	`jnl`	Architecture of field-programmable gate arrays. Proc. IEEE Jonathan Rose, Abbas El Gamal, Alberto L. Sangiovanni-Vincentelli
1993	J	`jnl`	Area routing for analog layout. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli
1993	—	`conf`	Automated Synthesis of Asynchronous Interface Circuits. Asynchronous Design Methodologies Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1993	J	`jnl`	Automated design management using traces. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Andrea Casotto, Alberto L. Sangiovanni-Vincentelli
1993	J	`jnl`	Automated synthesis of asynchronous interface circuits. Microprocess. Microsystems Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1993	J	`jnl`	Automatic generation of parasitic constraints for performance-constrained physical design of analog circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli
1993	A*	`conf`	Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions. DAC William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	J	`jnl`	Constraint-based channel routing for analog and mixed analog/digital circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli
1993	A	`conf`	Cube-packing and two-level minimization. ICCAD Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	A*	`conf`	Delay Fault Coverage and Performance Tradeoffs. DAC William K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	—	`conf`	Dynamic variable reordering for BDD minimization. EURO-DAC Eric Felt, Gary York, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	J	`jnl`	ESPRESSO-SIGNATURE: a new exact minimizer for logic functions. IEEE Trans. Very Large Scale Integr. Syst. Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	A*	`conf`	Espresso-Signature: A New Exact Minimizer for Logic Functions. DAC Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	A	`conf`	Generalized constraint generation for analog circuit design. ICCAD Edoardo Charbon, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli
1993	—	`conf`	Learning Complex Boolean Functions: Algorithms and Applications. NIPS Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli
1993	Misc	`conf`	Minimization of Logic Functions Using Essential Signature Sets. VLSI Design Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	A	`conf`	Minimum padding to satisfy short path constraints. ICCAD Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	A	`conf`	Nyquist data converter testing and yield analysis using behavioral simulation. ICCAD Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli
1993	J	`jnl`	Performance optimization of pipelined logic circuits using peripheral retiming and resynthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sharad Malik, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	A*	`conf`	Resynthesis of Multi-Phase Pipelines. DAC Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	A*	`conf`	Sequential Synthesis for Table Look Up Programmable Gate Arrays. DAC Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	C	`conf`	Some Results on the Complexity of Boolean Functions for Table Look Up Architectures. ICCD Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1993	J	`jnl`	Synthesis method for field programmable gate arrays. Proc. IEEE Alberto L. Sangiovanni-Vincentelli, Abbas El Gamal, Jonathan Rose
1993	J	`jnl`	Two-Level Minimization of Multivalued Functions with Large Offsets. IEEE Trans. Computers Abdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1992	A*	`conf`	A Verification Strategy for Timing-Constrained Systems. CAV Felice Balarin, Alberto L. Sangiovanni-Vincentelli
1992	A	`conf`	A unified signal transition graph model for asynchronous control circuit synthesis. ICCAD Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1992	A*	`conf`	An Improved Synthesis Algorithm for Multiplexor-Based PGA's. DAC Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992	—	`conf`	An efficient methodology for symbolic compaction of analog IC's with multiple symmetry constraints. EURO-DAC Eric Felt, Edoardo Charbon, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli
1992	A*	`conf`	Automatic Reduction in CTL Compositional Model Checking. CAV Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
1992	A	`conf`	Automatic compositional minimization in CTL model checking. ICCAD Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
1992	A	`conf`	Behavioral simulation for noise in mixed-mode sampled-data systems. ICCAD Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli
1992	—	`conf`	Boolean matching in logic synthesis. EURO-DAC Hamid Savoj, Mário J. Silva, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992	A*	`conf`	Circuit Structure Relations to Redundancy and Delay: The KMS Algorithm Revisited. DAC Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992	—	`conf`	Communication based logic partitioning. EURO-DAC Mark Beardslee, Bill Lin, Alberto L. Sangiovanni-Vincentelli
1992	—	`conf`	Constructive Induction Using a Non-Greedy Strategy for Feature Selection. ML Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli
1992	A*	`conf`	Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation. DAC Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992	A	`conf`	Graph algorithms for clock schedule optimization. ICCAD Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992	C	`conf`	Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits. ICCD Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1992	A*	`conf`	On the Temporal Equivalence of Sequential Circuits. DAC Narendra V. Shenoy, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992	C	`conf`	Sequential Circuit Design Using Synthesis and Optimization. ICCD Ellen Sentovich, Kanwar Jit Singh, Cho W. Moon, Hamid Savoj, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992	A*	`conf`	Solving the State Assignment Problem for Signal Transition Graphs. DAC Luciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992	B	`conf`	Some Considerations on Field-Programmable Gate Arrays and Their Impact on System Design. FPL Alberto L. Sangiovanni-Vincentelli
1992	J	`jnl`	Symbolic minimization of multilevel logic and the input encoding problem. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sharad Malik, Luciano Lavagno, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1992	A	`conf`	Valid clocking in wavepipelined circuits. ICCAD William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1991	A	`conf`	A Behavioral Representation for Nyquist Rate A/D Converters. ICCAD Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli, Georges G. E. Gielen, Paul R. Gray
1991	A*	`conf`	A Framework for Satisfying Input and Output Encoding Constraints. DAC Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1991	J	`jnl`	A Theoretical Framework for Simulated Annealing. Algorithmica Fabio Romeo, Alberto L. Sangiovanni-Vincentelli
1991	J	`jnl`	A macromodeling algorithm for analog circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Giorgio Casinovi, Alberto L. Sangiovanni-Vincentelli
1991	J	`jnl`	A massively parallel algorithm for three-dimensional device simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Donald M. Webber, Eric Tomacruz, Roberto Guerrieri, Toru Toyabe, Alberto L. Sangiovanni-Vincentelli
1991	A*	`conf`	Algorithms for Synthesis of Hazard-Free Asynchronous Circuits. DAC Luciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
1991	J	`jnl`	Editor's Foreword. Algorithmica Alberto L. Sangiovanni-Vincentelli
1991	A	`conf`	Improved Logic Synthesis Algorithms for Table Look Up Architectures. ICCAD Rajeev Murgai, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1991	A	`conf`	LSAT-An Algorithm for the Synthesis of Two Level Threshold Gate Networks. ICCAD Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli
1991	—	`conf`	Learning Concepts by Synthesizing Minimal Threshold Gate Networks. ML Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli
1991	A	`conf`	On Clustering for Minimum Delay/Area. ICCAD Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1991	A	`conf`	Performance Directed Synthesis for Table Look Up Programmable Gate Arrays. ICCAD Rajeev Murgai, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1991	A	`conf`	Performance Enhancement through the Generalized Bypass Transform. ICCAD Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni
1991	J	`jnl`	Reduced offsets for minimization of binary-valued functions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Abdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1991	J	`jnl`	Retiming and resynthesis: optimizing sequential networks with combinational techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sharad Malik, Ellen M. Sentovich, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1991	C	`conf`	Retiming of Circuits with Single Phase Transparent Latches. ICCD Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1991	A	`conf`	Synthesis for Testability Techniques for Asynchronous Circuits. ICCAD Kurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
1991	A*	`conf`	Testability Solutions: Who Really Wants Them? (Panel Abstract). DAC Alberto L. Sangiovanni-Vincentelli
1991	A	`conf`	Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions. ICCAD Patrick C. McGeer, Alexander Saldanha, Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1990	J	`jnl`	'Zone-refining' techniques for IC layout compaction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hyunchul Shin, Alberto L. Sangiovanni-Vincentelli, Carlo H. Séquin
1990	A*	`conf`	A Heuristic Algorithm for the Fanout Problem. DAC Kanwar Jit Singh, Alberto L. Sangiovanni-Vincentelli
1990	A	`conf`	A Routing Methodology for Analog Integrated Circuits. ICCAD Enrico Malavasi, Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli
1990	A	`conf`	CADICS - Cyclic Analog-to-Digital Converter Synthesis. ICCAD Gani Jusuf, Paul R. Gray, Alberto L. Sangiovanni-Vincentelli
1990	A	`conf`	Computing Parametric Yield Accurately and Efficiently. ICCAD Linda Milor, Alberto L. Sangiovanni-Vincentelli
1990	A*	`conf`	Constraint Generation for Routing Analog Circuits. DAC Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli
1990	A	`conf`	Constraint-Based Channel Routing for Analog and Mixed Analog/Digital Circuits. ICCAD Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli
1990	A*	`conf`	Design Management Based on Design Traces. DAC Andrea Casotto, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1990	A	`conf`	Implicit State Enumeration of Finite State Machines Using BDDs. ICCAD Hervé J. Touati, Hamid Savoj, Bill Lin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1990	J	`jnl`	Irredundant sequential machines via optimal logic synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1990	A*	`conf`	Logic Synthesis for Programmable Gate Arrays. DAC Rajeev Murgai, Yoshihito Nishizaki, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1990	A	`conf`	MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued Inputs. ICCAD Luciano Lavagno, Sharad Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1990	J	`jnl`	Multilevel logic synthesis. Proc. IEEE Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli
1990	J	`jnl`	NOVA: state assignment of finite state machines for optimal two-level logic implementation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
1990	A	`conf`	Optimal Test Set Design for Analog Circuits. ICCAD Linda Milor, Alberto L. Sangiovanni-Vincentelli
1990	A	`conf`	Performance Optimization of Pipelined Circuits. ICCAD Sharad Malik, Kanwar Jit Singh, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1990	A*	`conf`	Reduced Offsets for Two-Level Multi-Valued Logic Minimization. DAC Abdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1990	—	`book`	Steady-state methods for simulating analog and microwave circuits. Kenneth S. Kundert, Jacob K. White, Alberto L. Sangiovanni-Vincentelli
1990	A*	`conf`	Testing Strategies for the 1990's (Panel Abstract). DAC Alberto L. Sangiovanni-Vincentelli
1990	A	`conf`	Timing Optimization with Testability Considerations. ICCAD Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Kwang-Ting Cheng
1989	J	`jnl`	A mixed frequency-time approach for distortion analysis of switching filter circuits. IEEE J. Solid State Circuits Kenneth S. Kundert, Jacob White, Alberto L. Sangiovanni-Vincentelli
1989	J	`jnl`	A synthesis and optimization procedure for fully and easily testable sequential machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1989	J	`jnl`	Boolean decomposition in multilevel logic optimization. IEEE J. Solid State Circuits Srinivas Devadas, Albert R. Wang, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1989	J	`jnl`	Comments on 'Simulation of nonlinear circuits in the frequency domain' [with reply]. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. George W. Rhyne, Michael Steer, K. S. Kundent, Alberto L. Sangiovanni-Vincentelli
1989	—	`conf`	Design Methods and Tools for Application Specific Integrated Circuits. IFIP Congress Alberto L. Sangiovanni-Vincentelli
1989	C	`conf`	Logic minimization for factored forms. ICCD Abdul A. Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1989	J	`jnl`	Logic verification algorithms and their parallel implementation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hi-Keung Tony Ma, Srinivas Devadas, Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli
1989	A*	`conf`	Multi-level Logic Simplification Using Don't Cares and Filters. DAC Alexander Saldanha, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1989	A*	`conf`	NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations. DAC Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
1989	A*	`conf`	ORCA a Sea-of-Gates Place and Route System. DAC Mitsuru Igusa, Mark Beardslee, Alberto L. Sangiovanni-Vincentelli
1989	A*	`conf`	Timing Analysis in a Logic Synthesis Environment. DAC Nicholas Weiner, Alberto L. Sangiovanni-Vincentelli
1988	A	`conf`	A band relaxation algorithm for reliable and parallelizable circuit simulation. ICCAD Andrew Lumsdaine, Jacob White, Donald M. Webber, Alberto L. Sangiovanni-Vincentelli
1988	A	`conf`	A modified approach to two-level logic minimization. ICCAD Abdul A. Malik, Robert K. Brayton, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1988	J	`jnl`	A new aggregation technique for the solution of large systems of algebraic equations [IC simulation]. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Giorgio Casinovi, Alberto L. Sangiovanni-Vincentelli
1988	A	`conf`	An Incomplete Scan Design Approach to Test Generation for Sequential Machines. ITC Hi-Keung Tony Ma, A. Richard Newton, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli
1988	A	`conf`	An envelope-following method for the efficient transient simulation of switching power and filter circuits. ICCAD Kenneth S. Kundert, Jacob White, Alberto L. Sangiovanni-Vincentelli
1988	A	`conf`	Boolean decomposition in multi-level logic optimization. ICCAD Srinivas Devadas, Albert R. Wang, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1988	J	`jnl`	DELIGHT.SPICE: an optimization-based system for the design of integrated circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. William Nye, David C. Riley, Alberto L. Sangiovanni-Vincentelli, André L. Tits
1988	A	`conf`	ECSTASY: a new environment for IC design optimization. ICCAD Jyuo-Min Shyu, Alberto L. Sangiovanni-Vincentelli
1988	—	`conf`	Efficient Parallel Learning Algorithms for Neural Networks. NIPS Alan H. Kramer, Alberto L. Sangiovanni-Vincentelli
1988	A	`conf`	Logic verification using binary decision diagrams in a logic synthesis environment. ICCAD Sharad Malik, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1988	J	`jnl`	MUSTANG: state assignment of finite state machines targeting multilevel logic implementations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1988	A	`conf`	MulCh: a multi-layer channel router using one, two, and three layer partitions. ICCAD Ronald I. Greenberg, Alexander T. Ishii, Alberto L. Sangiovanni-Vincentelli
1988	J	`jnl`	Multi-level logic minimization using implicit don't cares. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Karen A. Bartlett, Robert K. Brayton, Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang
1988	A	`conf`	Optimal Logic Synthesis and Testability : Two Sides of the Same Coin. ITC Alberto L. Sangiovanni-Vincentelli
1988	J	`jnl`	Optimization-based transistor sizing. IEEE J. Solid State Circuits Jyuo-Min Shyu, Alberto L. Sangiovanni-Vincentelli, John P. Fishburn, Alfred E. Dunlop
1988	A	`conf`	Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines. ITC Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1988	J	`jnl`	Techniques for multilayer channel routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Douglas Braun, Jeffrey L. Burns, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli, Kartikeya Mayaram, Srinivas Devadas, Hi-Keung Tony Ma
1988	J	`jnl`	Test generation for sequential circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hi-Keung Tony Ma, Srinivas Devadas, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1988	J	`jnl`	Three-dimensional capacitance evaluation on a Connection Machine. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Roberto Guerrieri, Alberto L. Sangiovanni-Vincentelli
1988	J	`jnl`	ThunderBird: a complete standard cell layout package. IEEE J. Solid State Circuits Carl Sechen, Douglas Braun, Alberto L. Sangiovanni-Vincentelli
1988	A	`conf`	Timing optimization of combinational logic. ICCAD Kanwar Jit Singh, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1987	J	`jnl`	A Detailed Router Based on Incremental Routing Modifications: Mighty. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hyunchul Shin, Alberto L. Sangiovanni-Vincentelli
1987	J	`jnl`	A Parallel Simulated Annealing Algorithm for the Placement of Macro-Cells. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Andrea Casotto, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli
1987	J	`jnl`	CAD tools for ASIC design. Proc. IEEE Arthur R. Newton, Alberto L. Sangiovanni-Vincentelli
1987	A*	`conf`	Circuit Simulation on the Connection Machine. DAC Donald M. Webber, Alberto L. Sangiovanni-Vincentelli
1987	A*	`conf`	Logic Verification Algorithms and Their Parallel Implementation. DAC Hi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei
1987	J	`jnl`	MIS: A Multiple-Level Logic Optimization System. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Robert K. Brayton, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang
1987	J	`jnl`	Multiple-Valued Minimization for PLA Optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli
1986	A*	`conf`	Chameleon: a new multi-layer channel router. DAC Douglas Braun, Jeffrey L. Burns, Srinivas Devadas, Hi-Keung Tony Ma, Kartikeya Mayaram, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli
1986	J	`jnl`	Computer-Aided Design for VLSI Circuits. Computer A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1986	J	`jnl`	Correction to "Optimal State Assignment for Finite State Machines". IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Giovanni De Micheli, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1986	A*	`conf`	Floor planning systems (panel session). DAC Howard S. Rifkin, William R. Heller, Steve Law, Misha Burich, Alberto L. Sangiovanni-Vincentelli
1986	—	`conf`	Highlights of VLSI Research at Berkeley. FJCC Carlo H. Séquin, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1986	A*	`conf`	Mixed-level fault coverage estimation. DAC Hi-Keung Tony Ma, Alberto L. Sangiovanni-Vincentelli
1986	J	`jnl`	Models for a New Profit-Based Methodology for Statistical Design of Integrated Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. David C. Riley, Alberto L. Sangiovanni-Vincentelli
1986	A	`conf`	New Front-End and Line Justification Algorithm for Automatic Test Generation. ITC Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli
1986	J	`jnl`	PLATYPUS: A PLA Test Pattern Generation Tool. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli
1986	A	`conf`	PROTEUS : A Logic Verification System for Combinational Circuits. ITC Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei
1986	J	`jnl`	Simulation of Nonlinear Circuits in the Frequency Domain. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Kenneth S. Kundert, Alberto L. Sangiovanni-Vincentelli
1986	A*	`conf`	TimberWolf3.2: a new standard cell placement and global routing package. DAC Carl Sechen, Alberto L. Sangiovanni-Vincentelli
1986	A*	`conf`	Two-dimensional compaction by "zone refining". DAC Hyunchul Shin, Alberto L. Sangiovanni-Vincentelli, Carlo H. Séquin
1985	J	`jnl`	A New Symbolic Channel Router: YACR2. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. James Reed, Alberto L. Sangiovanni-Vincentelli, Mauro Santomauro
1985	J	`jnl`	Design Aids for VLSI: A Perspective Revisited. IEEE Des. Test A. Richard Newton, Donald O. Pederson, Alberto L. Sangiovanni-Vincentelli
1985	J	`jnl`	Optimal State Assignment for Finite State Machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Giovanni De Micheli, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1985	A*	`conf`	PLATYPUS: a PLA test pattern generation tool. DAC Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli
1984	J	`jnl`	A Computational Approach for the Diagnosability of Dynamical Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. V. Visvanathan, Alberto L. Sangiovanni-Vincentelli
1984	J	`jnl`	Correction to "Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications". IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Giovanni De Micheli, Alberto L. Sangiovanni-Vincentelli
1984	—	`book`	Logic Minimization Algorithms for VLSI Synthesis Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli
1984	J	`jnl`	Relaxation-Based Electrical Simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1983	J	`jnl`	Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Giovanni De Micheli, Alberto L. Sangiovanni-Vincentelli
1983	A*	`conf`	PLEASURE: a computer program for simple/multiple constrained/unconstrained folding of Programmable Logic Arrays. DAC Giovanni De Micheli, Alberto L. Sangiovanni-Vincentelli
1983	J	`jnl`	Solution of piecewise-linear ordinary differential equations using waveform relaxation and laplace transforms. IEEE Trans. Syst. Man Cybern. R. John Kaye, Alberto L. Sangiovanni-Vincentelli
1983	J	`jnl`	Symmetric Displacement Algorithms for the Timing Analysis of Large Scale Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Giovanni De Micheli, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1982	J	`jnl`	An Algorithm for Optimal PLA Folding. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gary D. Hachtel, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1982	J	`jnl`	Computer-aided design via optimization : A review. Autom. David Q. Mayne, Elijah Polak, Alberto L. Sangiovanni-Vincentelli
1982	A*	`conf`	Relax: A new circuit for large scale MOS integrated circuits. DAC Ekachai Lelarasmee, Alberto L. Sangiovanni-Vincentelli
1982	A*	`conf`	Techniques for programmable logic array folding. DAC Gary D. Hachtel, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli
1982	J	`jnl`	The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ekachai Lelarasmee, Albert E. Ruehli, Alberto L. Sangiovanni-Vincentelli
1982	A	`conf`	VICTOR : A Fast VLSI Testability Analysis Program. ITC Ion M. Ratiu, Alberto L. Sangiovanni-Vincentelli, Donald O. Pederson
1981	J	`jnl`	Diagnosability of Nonlinear Circuits and Systems - Part I: The dc Case. IEEE Trans. Computers V. Visvanathan, Alberto L. Sangiovanni-Vincentelli
1981	J	`jnl`	Diagnosability of Nonlinear Circuits and Systems - Part II: Dynamical Systems. IEEE Trans. Computers Richard Saeks, Alberto L. Sangiovanni-Vincentelli, V. Visvanathan
1978	J	`jnl`	A new shortest path updating algorithm. Networks S. Goto, Alberto L. Sangiovanni-Vincentelli
1973	—	`conf`	State-Space Approach in Problem-solving Optimization. Optimization Techniques Alberto L. Sangiovanni-Vincentelli, Marco Somalvico