default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlberto L. Sangiovanni-Vincentelli
Person information
- affiliation: University of California, Berkeley, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j236]Inigo Incer
, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. Formal Methods Syst. Des. 66(3): 455-497 (2025)- [j235]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Correction: Hypercontracts. Formal Methods Syst. Des. 66(3): 529-530 (2025) - [j234]Tung-Wei Lin, Padmaksha Roy, Yi Zeng, Ming Jin, Ruoxi Jia, Chen-Ching Liu, Alberto L. Sangiovanni-Vincentelli:
Model Residuals as Shields: A Two-Level Formulation to Defend Smart Grids From Poisoning Attacks. IEEE Internet Things J. 12(15): 31112-31125 (2025) - [j233]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:
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. ACM Trans. Cyber Phys. Syst. 9(1): 3:1-3:35 (2025) - [i61]Mirco Theile, Andres R. Zapata Rodriguez, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli:
Continuous World Coverage Path Planning for Fixed-Wing UAVs using Deep Reinforcement Learning. CoRR abs/2505.08382 (2025) - [i60]Tung-Wei Lin, Gabe Fierro, Han Li, Tianzhen Hong, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Systematic Evaluation of Knowledge Graph Repair with Large Language Models. CoRR abs/2507.22419 (2025) - [i59]Carlo Bosio, Matteo Guarrera, Alberto L. Sangiovanni-Vincentelli, Mark W. Mueller:
Combining Large Language Models and Gradient-Free Optimization for Automatic Control Policy Synthesis. CoRR abs/2510.00373 (2025) - 2024
- [j232]Mirco Theile, Daniele Bernardini, Raphael Trumpp, Cristina Piazza, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli:
Learning to Generate All Feasible Actions. IEEE Access 12: 40668-40681 (2024) - [j231]Xiangkun He, Jingda Wu, Zhiyu Huang, Zhongxu Hu, Jun Wang, Alberto L. Sangiovanni-Vincentelli, Chen Lv:
Fear-Neuro-Inspired Reinforcement Learning for Safe Autonomous Driving. IEEE Trans. Pattern Anal. Mach. Intell. 46(1): 267-279 (2024) - [j230]Antonio Iannopollo, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
Synthesizing LTL contracts from component libraries using rich counterexamples. Sci. Comput. Program. 236: 103116 (2024) - [j229]Dmitrii Kirov, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone:
Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(1): 30-43 (2024) - [j228]Shixin Chen, Shanyi Li, Zhen Zhuang, Su Zheng, Zheng Liang, Tsung-Yi Ho, Bei Yu, Alberto L. Sangiovanni-Vincentelli:
Floorplet: Performance-Aware Floorplan Framework for Chiplet Integration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(6): 1638-1649 (2024) - [c466]Mirco Theile, Hongpeng Cao, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli:
Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning. IROS 2024: 14164-14171 - [c465]Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Dynamic, Multi-objective Specification and Falsification of Autonomous CPS. RV 2024: 40-58 - [i58]Mirco Theile, Hongpeng Cao, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli:
Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning. CoRR abs/2403.12856 (2024) - [i57]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:
Defense against Joint Poison and Evasion Attacks: A Case Study of DERMS. CoRR abs/2405.02989 (2024) - [i56]Karim Elmaaroufi, Devan Shanker, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto L. Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia:
Generating Probabilistic Scenario Programs from Natural Language. CoRR abs/2405.03709 (2024) - [i55]Mirco Theile, Lukas Dirnberger, Raphael Trumpp, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli:
Action Mapping for Reinforcement Learning in Continuous Environments with Constraints. CoRR abs/2412.04327 (2024) - 2023
- [j227]Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: a language for scenario specification and data generation. Mach. Learn. 112(10): 3805-3849 (2023) - [c464]Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) 2023: 253-265 - [c463]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:
Symbiotic CPS Design-Space Exploration through Iterated Optimization. CPS-IoT Week Workshops 2023: 92-99 - [c462]Min Liu, Alberto L. Sangiovanni-Vincentelli, Xiangyu Yue:
Beating Backdoor Attack at Its Own Game. ICCV 2023: 4597-4606 - [c461]Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Contract-Based Specification Refinement and Repair for Mission Planning. FormaliSE 2023: 29-38 - [c460]Alberto L. Sangiovanni-Vincentelli, Zheng Liang, Zhe Zhou, Jiaxi Zhang:
Automated Design of Chiplets. ISPD 2023: 1-8 - [c459]Alberto L. Sangiovanni-Vincentelli:
Quo Vadis IC System Design? IWASI 2023: 234 - [c458]Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. MEMOCODE 2023: 111-121 - [c457]Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. MEMOCODE 2023: 180-190 - [i54]Mirco Theile, Daniele Bernardini, Raphael Trumpp, Cristina Piazza, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli:
Learning to Generate All Feasible Actions. CoRR abs/2301.11461 (2023) - [i53]Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli:
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. CoRR abs/2302.13980 (2023) - [i52]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:
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR abs/2303.17751 (2023) - [i51]Yu-Wen Lin, Tsz Ling Elaine Tang, Alberto L. Sangiovanni-Vincentelli, Stefano Schiavon, Costas J. Spanos:
From Electronic Design Automation to Building Design Automation: Challenges and Opportunities. CoRR abs/2305.06380 (2023) - [i50]Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Context-Aided Variable Elimination for Requirement Engineering. CoRR abs/2305.17596 (2023) - [i49]Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CoRR abs/2307.03325 (2023) - [i48]Min Liu, Alberto L. Sangiovanni-Vincentelli, Xiangyu Yue:
Backdoor Defense with Non-Adversarial Backdoor. CoRR abs/2307.15539 (2023) - [i47]Shixin Chen, Shanyi Li, Zhen Zhuang, Su Zheng, Zheng Liang, Tsung-Yi Ho, Bei Yu, Alberto L. Sangiovanni-Vincentelli:
Floorplet: Performance-aware Floorplan Framework for Chiplet Integration. CoRR abs/2308.01672 (2023) - [i46]Mirco Theile, Harald Bayerlein, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli:
Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning. CoRR abs/2309.03157 (2023) - [i45]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli:
Some Algebraic Aspects of Assume-Guarantee Reasoning. CoRR abs/2309.08875 (2023) - 2022
- [j226]Alessio Iovine, Miguel Jiménez Carrizosa, Elena De Santis, Maria Domenica Di Benedetto, Pierdomenico Pepe, Alberto L. Sangiovanni-Vincentelli:
Voltage Regulation and Current Sharing in DC Microgrids With Different Information Scenarios. IEEE Trans. Control. Syst. Technol. 30(5): 1905-1919 (2022) - [j225]Sicheng Zhao, Xuanbai Chen, Xiangyu Yue, Chuang Lin, Pengfei Xu, Ravi Krishna, Jufeng Yang, Guiguang Ding, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer:
Emotional Semantics-Preserved and Feature-Aligned CycleGAN for Visual Emotion Adaptation. IEEE Trans. Cybern. 52(10): 10000-10013 (2022) - [j224]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:
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. IEEE Trans. Neural Networks Learn. Syst. 33(2): 473-493 (2022) - [c456]Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning. AAAI 2022: 6028-6036 - [c455]Hari Prasanna Das, Ryan Tran, Japjot Singh, Xiangyu Yue, Geoffrey H. Tison, Alberto L. Sangiovanni-Vincentelli, Costas J. Spanos:
Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data. AAAI 2022: 11792-11800 - [c454]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
From Interface Automata to Hypercontracts. Principles of Systems Design 2022: 477-493 - [c453]Matteo Guarrera, Baihong Jin, Tung-Wei Lin, Maria A. Zuluaga, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli:
Class-wise Thresholding for Robust Out-of-Distribution Detection. CVPR Workshops 2022: 2836-2845 - [c452]Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS 2022: 34-45 - [c451]Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS 2022: 322-323 - [c450]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. NFM 2022: 674-692 - [i44]Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Contract-Based Specification Refinement and Repair for Mission Planning. CoRR abs/2211.11908 (2022) - 2021
- [j223]Thomas Braud, Jordan Ivanchev, Corvin Deboeser, Alois C. Knoll, David Eckhoff, Alberto L. Sangiovanni-Vincentelli:
AVDM: A hierarchical command-and-control system architecture for cooperative autonomous vehicles in highways scenario using microscopic simulations. Auton. Agents Multi Agent Syst. 35(1): 16 (2021) - [j222]Jordan Ivanchev, Corvin Deboeser, Thomas Braud, Alois C. Knoll, David Eckhoff, Alberto L. Sangiovanni-Vincentelli:
A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions. IEEE Access 9: 128393-128406 (2021) - [j221]Seshadhri Srinivasan, Pandarasamy Arjunan, Baihong Jin, Alberto L. Sangiovanni-Vincentelli, Zuraimi Sultan, Kameshwar Poolla:
Explainable AI for Chiller Fault-Detection Systems: Gaining Human Trust. Computer 54(10): 60-68 (2021) - [j220]Florian Hofer, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo:
Industrial control via application containers: Maintaining determinism in IAAS. Syst. Eng. 24(5): 352-368 (2021) - [j219]Ali Moin, Arno Thielens, Álvaro Araujo, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey:
Adaptive Body Area Networks Using Kinematics and Biosignals. IEEE J. Biomed. Health Informatics 25(3): 623-633 (2021) - [c449]Xiangyu Yue, Zangwei Zheng, Shanghang Zhang, Yang Gao, Trevor Darrell, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli:
Prototypical Cross-Domain Self-Supervised Learning for Few-Shot Unsupervised Domain Adaptation. CVPR 2021: 13834-13844 - [c448]Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Safety in Autonomous Driving: Can Tools Offer Guarantees? DAC 2021: 1311-1314 - [c447]Bo Pang, Ashank Verma, Jingchao Zhou, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
The cyber-physical immune system: work-in-progress. EMSOFT 2021: 43-44 - [c446]Zangwei Zheng, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli:
Scene-aware Learning Network for Radar Object Detection. ICMR 2021: 573-579 - [i43]Xiangyu Yue, Zangwei Zheng, Shanghang Zhang, Yang Gao, Trevor Darrell, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli:
Prototypical Cross-domain Self-supervised Learning for Few-shot Unsupervised Domain Adaptation. CoRR abs/2103.16765 (2021) - [i42]Corvin Deboeser, Jordan Ivanchev, Thomas Braud, Alois C. Knoll, David Eckhoff, Alberto L. Sangiovanni-Vincentelli:
A Hierarchical State-Machine-Based Framework for Platoon Manoeuvre Descriptions. CoRR abs/2104.05305 (2021) - [i41]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. CoRR abs/2106.02449 (2021) - [i40]Zangwei Zheng, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli:
Scene-aware Learning Network for Radar Object Detection. CoRR abs/2107.01469 (2021) - [i39]Hari Prasanna Das, Ryan Tran, Japjot Singh, Xiangyu Yue, Geoff Tison, Alberto L. Sangiovanni-Vincentelli, Costas J. Spanos:
Conditional Synthetic Data Generation for Robust Machine Learning Applications with Limited Pandemic Data. CoRR abs/2109.06486 (2021) - [i38]Xiangyu Yue, Zangwei Zheng, Colorado Reed, Hari Prasanna Das, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli:
Multi-source Few-shot Domain Adaptation. CoRR abs/2109.12391 (2021) - [i37]Matteo Guarrera, Baihong Jin, Tung-Wei Lin, Maria A. Zuluaga, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli:
Class-wise Thresholding for Detecting Out-of-Distribution Data. CoRR abs/2110.15292 (2021) - [i36]Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. CoRR abs/2112.00206 (2021) - 2020
- [j218]Pierluigi Nuzzo, Nikunj Bajaj, Michael Masin, Dmitrii Kirov, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10): 2109-2123 (2020) - [j217]Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli:
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. 4(4): 43:1-43:27 (2020) - [c445]Florian Hofer, Martin A. Sehr, Barbara Russo, Alberto L. Sangiovanni-Vincentelli:
ODRE Workshop: Probabilistic Dynamic Hard Real-Time Scheduling in HPC. ISORC 2020: 207-212 - [c444]Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
The Quotient in Preorder Theories. GandALF 2020: 216-233 - [i35]Florian Hofer, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo:
Industrial Control via Application Containers: Maintaining determinism in IAAS. CoRR abs/2005.01890 (2020) - [i34]Baihong Jin, Yingshui Tan, Yuxin Chen, Kameshwar Poolla, Alberto L. Sangiovanni-Vincentelli:
Are Ensemble Classifiers Powerful Enough for the Detection and Diagnosis of Intermediate-Severity Faults? CoRR abs/2007.03167 (2020) - [i33]Yingshui Tan, Baihong Jin, Xiangyu Yue, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli:
Exploiting Uncertainties from Ensemble Learners to Improve Decision-Making in Healthcare AI. CoRR abs/2007.06063 (2020) - [i32]Baihong Jin, Yingshui Tan, Albert Liu, Xiangyu Yue, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli:
Using Ensemble Classifiers to Detect Incipient Anomalies. CoRR abs/2008.08710 (2020) - [i31]Yingshui Tan, Baihong Jin, Qiushi Cui, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli:
Generalizing Fault Detection Against Domain Shifts Using Stratification-Aware Cross-Validation. CoRR abs/2008.08713 (2020) - [i30]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:
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. CoRR abs/2009.00155 (2020) - [i29]Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: A Language for Scenario Specification and Data Generation. CoRR abs/2010.06580 (2020) - [i28]Sicheng Zhao, Xuanbai Chen, Xiangyu Yue, Chuang Lin, Pengfei Xu, Ravi Krishna, Jufeng Yang, Guiguang Ding, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer:
Emotional Semantics-Preserved and Feature-Aligned CycleGAN for Visual Emotion Adaptation. CoRR abs/2011.12470 (2020) - [i27]Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. CoRR abs/2011.14551 (2020)
2010 – 2019
- 2019
- [j216]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Constrained synthesis from component libraries. Sci. Comput. Program. 171: 21-41 (2019) - [j215]Pierluigi Nuzzo, Jiwei Li, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li:
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. ACM Trans. Embed. Comput. Syst. 18(1): 2:1-2:26 (2019) - [j214]Roberto Passerone, Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli:
Coherent Extension, Composition, and Merging Operators in Contract Models for System Design. ACM Trans. Embed. Comput. Syst. 18(5s): 86:1-86:23 (2019) - [j213]Chen Lv, Xiaosong Hu, Alberto L. Sangiovanni-Vincentelli, Yutong Li, Clara Marina Martinez, Dongpu Cao:
Driving-Style-Based Codesign Optimization of an Automated Electric Vehicle: A Cyber-Physical System Approach. IEEE Trans. Ind. Electron. 66(4): 2965-2975 (2019) - [c443]Pan Li, Baihong Jin, Ruoxuan Xiong, Dai Wang, Alberto L. Sangiovanni-Vincentelli, Baosen Zhang:
A tractable ellipsoidal approximation for voltage regulation problems. ACC 2019: 1301-1306 - [c442]Richard Lin, Rohit Ramesh, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli, Prabal Dutta, Elad Alon, Björn Hartmann:
Beyond Schematic Capture: Meaningful Abstractions for Better Electronics Design Tools. CHI 2019: 283 - [c441]Florian Hofer, Martin A. Sehr, Antonio Iannopollo, Ines Ugalde, Alberto L. Sangiovanni-Vincentelli, Barbara Russo:
Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS. CloudCom 2019: 62-69 - [c440]Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Reactors: A Deterministic Model for Composable Reactive Systems. CyPhy/WESE 2019: 59-85 - [c439]Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin:
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. HSCC 2019: 185-196 - [c438]Xiangyu Yue, Yang Zhang, Sicheng Zhao, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Boqing Gong:
Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization Without Accessing Target Domain Data. ICCV 2019: 2100-2110 - [c437]Yingshui Tan, Baihong Jin, Alexander J. Nettekoven, Yuxin Chen, Yisong Yue, Ufuk Topcu, Alberto L. Sangiovanni-Vincentelli:
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. ICMLA 2019: 1008-1015 - [c436]Baihong Jin, Yuxin Chen, Dan Li, Kameshwar Poolla, Alberto L. Sangiovanni-Vincentelli:
A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection. ICPHM 2019: 1-5 - [c435]Baihong Jin, Dan Li, Seshadhri Srinivasan, See-Kiong Ng, Kameshwar Poolla, Alberto L. Sangiovanni-Vincentelli:
Detecting and Diagnosing Incipient Building Faults Using Uncertainty Information from Deep Neural Networks. ICPHM 2019: 1-8 - [c434]Alberto L. Sangiovanni-Vincentelli:
My 50-Year Journey from Punched Cards to Swarm Systems. ISPD 2019: 123-125 - [c433]Edgar Tamayo Cascan, Jordan Ivanchev, David Eckhoff, Alberto L. Sangiovanni-Vincentelli, Alois C. Knoll:
Multi-Objective Calibration of Microscopic Traffic Simulation for Highway Traffic Safety. ITSC 2019: 4548-4555 - [c432]Alberto L. Sangiovanni-Vincentelli:
Comparing Innovation ecosystems. IWASI 2019: 7 - [c431]Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: a language for scenario specification and scene generation. PLDI 2019: 63-78 - [e5]Alberto L. Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu:
Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019. ACM 2019, ISBN 978-1-4503-6699-1 [contents] - [i26]Baihong Jin, Yuxin Chen, Dan Li, Kameshwar Poolla, Alberto L. Sangiovanni-Vincentelli:
A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection. CoRR abs/1902.06361 (2019) - [i25]Baihong Jin, Dan Li, Seshadhri Srinivasan, See-Kiong Ng, Kameshwar Poolla, Alberto L. Sangiovanni-Vincentelli:
Detecting and Diagnosing Incipient Building Faults Using Uncertainty Information from Deep Neural Networks. CoRR abs/1902.06366 (2019) - [i24]Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin:
A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics. CoRR abs/1902.10320 (2019) - [i23]Pan Li, Baihong Jin, Ruoxuan Xiong, Dai Wang, Alberto L. Sangiovanni-Vincentelli, Baosen Zhang:
A tractable ellipsoidal approximation for voltage regulation problems. CoRR abs/1903.03763 (2019) - [i22]Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
A Formalization of Robustness for Deep Neural Networks. CoRR abs/1903.10033 (2019) - [i21]Baihong Jin, Yingshui Tan, Alexander J. Nettekoven, Yuxin Chen, Ufuk Topcu, Yisong Yue, Alberto L. Sangiovanni-Vincentelli:
An Encoder-Decoder Based Approach for Anomaly Detection with Application in Additive Manufacturing. CoRR abs/1907.11778 (2019) - [i20]Florian Hofer, Martin A. Sehr, Antonio Iannopollo, Ines Ugalde, Alberto L. Sangiovanni-Vincentelli, Barbara Russo:
Industrial Control via Application Containers: Migrating from Bare-Metal to IAAS. CoRR abs/1908.04465 (2019) - [i19]Xiangyu Yue, Yang Zhang, Sicheng Zhao, Alberto L. Sangiovanni-Vincentelli, Kurt Keutzer, Boqing Gong:
Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization without Accessing Target Domain Data. CoRR abs/1909.00889 (2019) - [i18]Baihong Jin, Yingshui Tan, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli:
Augmenting Monte Carlo Dropout Classification Models with Unsupervised Learning Tasks for Detecting and Diagnosing Out-of-Distribution Faults. CoRR abs/1909.04202 (2019) - [i17]Florian Hofer, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo:
Probabilistic Dynamic Hard Real-Time Scheduling in HPC. CoRR abs/1912.02531 (2019) - 2018
- [j212]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:
Contracts for System Design. Found. Trends Electron. Des. Autom. 12(2-3): 124-400 (2018) - [j211]Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Shiyan Hu, Xin Li:
Design Automation for Cyber-Physical Systems [Scanning the Issue]. Proc. IEEE 106(9): 1479-1483 (2018) - [j210]Qi Zhu, Alberto L. Sangiovanni-Vincentelli:
Codesign Methodologies and Tools for Cyber-Physical Systems. Proc. IEEE 106(9): 1484-1500 (2018) - [j209]Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Programming. Proc. IEEE 106(9): 1655-1679 (2018) - [j208]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:
Design Automation for Smart Building Systems. Proc. IEEE 106(9): 1680-1699 (2018) - [j207]Marco Di Natale, David Perillo, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli:
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components. Softw. Syst. Model. 17(1): 11-33 (2018) - [j206]Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada:
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. 2(1): 5:1-5:27 (2018) - [j205]Daniela De Venuto, Valerio F. Annese, Giovanni Mezzina, Floriano Scioscia, Michele Ruta, Eugenio Di Sciascio, Alberto L. Sangiovanni-Vincentelli:
A Mobile Health System for Neurocognitive Impairment Evaluation Based on P300 Detection. ACM Trans. Cyber Phys. Syst. 2(4): 31:1-31:21 (2018) - [c430]Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. ADHS 2018: 7-12 - [c429]Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Hierarchical System Design with Vertical Contracts. Principles of Modeling 2018: 360-382 - [c428]Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. DAC 2018: 179:1-179:6 - [c427]Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli:
CHASE: Contract-based requirement engineering for cyber-physical system design. DATE 2018: 839-844 - [c426]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. DATE 2018: 1574-1579 - [c425]Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Counterexample-Guided Data Augmentation. IJCAI 2018: 2071-2078 - [c424]Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang:
Quotient for Assume-Guarantee Contracts. MEMOCODE 2018: 67-77 - [c423]Xiangyu Yue, Bichen Wu, Sanjit A. Seshia, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli:
A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving. ICMR 2018: 458-464 - [c422]Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Time-Series Learning Using Monotonic Logical Properties. RV 2018: 389-405 - [i16]Somil Bansal, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin:
Context-Specific Validation of Data-Driven Models. CoRR abs/1802.04929 (2018) - [i15]Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Time Series Learning using Monotonic Logical Properties. CoRR abs/1802.08924 (2018) - [i14]Xiangyu Yue, Bichen Wu, Sanjit A. Seshia, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli:
A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving. CoRR abs/1804.00103 (2018) - [i13]Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Counterexample-Guided Data Augmentation. CoRR abs/1805.06962 (2018) - [i12]Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: Language-Based Scene Generation. CoRR abs/1809.09310 (2018) - [i11]Íñigo Íncer Romeo, Marten Lohstroh, Antonio Iannopollo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
A Metric for Linear Temporal Logic. CoRR abs/1812.03923 (2018) - 2017
- [j204]Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
CSL4P: A Contract Specification Language for Platforms. Syst. Eng. 20(3): 220-234 (2017) - [j203]Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Autom. Control. 62(10): 4917-4932 (2017) - [j202]Massimo Alioto, Edgar Sánchez-Sinencio, Alberto L. Sangiovanni-Vincentelli:
Guest Editorial Special Issue on Circuits and Systems for the Internet of Things - From Sensing to Sensemaking. IEEE Trans. Circuits Syst. I Regul. Pap. 64-I(9): 2221-2225 (2017) - [j201]Sinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli:
Intravehicular Energy-Harvesting Wireless Networks: Reducing Costs and Emissions. IEEE Veh. Technol. Mag. 12(4): 77-85 (2017) - [c421]Baihong Jin, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Online computation of polytopic flexibility models for demand shifting applications. CASE 2017: 900-905 - [c420]Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC 2017: 1132-1137 - [c419]Ali Moin, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey:
Optimized Design of a Human Intranet Network. DAC 2017: 30:1-30:6 - [c418]Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. DAC 2017: 31:1-31:6 - [c417]Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Optimization. HSCC 2017: 19-28 - [c416]Alberto L. Sangiovanni-Vincentelli, Benedetto Vigna:
Autonomous vehicles: A playground for sensors. IWASI 2017: 2 - [c415]Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li:
Stochastic contracts for cyber-physical system design under probabilistic requirements. MEMOCODE 2017: 5-14 - [c414]Rohit Ramesh, Richard Lin, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli, Björn Hartmann, Prabal Dutta:
Turning coders into makers: the promise of embedded design generation. SCF 2017: 4:1-4:10 - [i10]Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Model Predictive Control for Signal Temporal Logic Specification. CoRR abs/1703.09563 (2017) - [i9]Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li:
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements. CoRR abs/1705.09316 (2017) - [i8]Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications. CoRR abs/1707.03529 (2017) - [i7]Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Systematic Testing of Convolutional Neural Networks for Autonomous Driving. CoRR abs/1708.03309 (2017) - 2016
- [j200]Daniela De Venuto, Valerio F. Annese, Michele Ruta, Eugenio Di Sciascio, Alberto L. Sangiovanni-Vincentelli:
Designing a Cyber-Physical System for Fall Prevention by Cortico-Muscular Coupling Detection. IEEE Des. Test 33(3): 66-76 (2016) - [j199]Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli:
Smart Connected Buildings Design Automation: Foundations and Trends. Found. Trends Electron. Des. Autom. 10(1-2): 1-143 (2016) - [c413]Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
Scalable lazy SMT-based motion planning. CDC 2016: 6683-6688 - [c412]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Constrained Synthesis from Component Libraries. FACS 2016: 92-110 - [c411]Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC 2016: 31-40 - [c410]Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada:
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ICCPS 2016: 29:1-29:10 - [c409]Daniela De Venuto, Valerio F. Annese, Alberto L. Sangiovanni-Vincentelli:
The ultimate IoT application: A cyber-physical system for ambient assisted living. ISCAS 2016: 2042-2045 - [i6]Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. CoRR abs/1602.01883 (2016) - 2015
- [j198]Chung-Wei Lin, Qi Zhu, Alberto L. Sangiovanni-Vincentelli:
Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems. IEEE Embed. Syst. Lett. 7(1): 11-14 (2015) - [j197]Robert K. Brayton, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa:
Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue]. Proc. IEEE 103(11): 1952-1957 (2015) - [j196]Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa:
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. Proc. IEEE 103(11): 2104-2132 (2015) - [j195]Alberto Puggelli, Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Routing-Aware Design of Indoor Wireless Sensor Networks Using an Interactive Tool. IEEE Syst. J. 9(3): 714-727 (2015) - [j194]Chung-Wei Lin, Lei Rao, Paolo Giusto, Joseph D'Ambrosio, Alberto L. Sangiovanni-Vincentelli:
Efficient Wire Routing and Wire Sizing for Weight Minimization of Automotive Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(11): 1730-1741 (2015) - [j193]Chung-Wei Lin, Bowen Zheng, Qi Zhu, Alberto L. Sangiovanni-Vincentelli:
Security-Aware Design Methodology and Optimization for Automotive Systems. ACM Trans. Design Autom. Electr. Syst. 21(1): 18:1-18:26 (2015) - [c408]Behrooz Shahsavari, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli, Roberto Horowitz:
Stochastic model predictive control design for load management system of aircraft electrical power distribution. ACC 2015: 3649-3655 - [c407]Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. ACC 2015: 3818-3823 - [c406]Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. CDC 2015: 3804-3809 - [c405]Werner Damm, Alberto L. Sangiovanni-Vincentelli:
A conceptual model of system of systems. SWEC@CPSWeek 2015: 19-27 - [c404]Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto L. Sangiovanni-Vincentelli:
Optimized selection of reliable and cost-effective cyber-physical system architectures. DATE 2015: 561-566 - [c403]Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz:
Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering. WESE 2015: 8:1-8:5 - [c402]John B. Finn, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration. ICCAD 2015: 216-223 - [c401]Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli:
Buildings to Grid Integration: A Dynamic Contract Approach. ICCAD 2015: 473-478 - [c400]Alberto L. Sangiovanni-Vincentelli:
Let's get physical: Adding physical dimensions to cyber systems. ISLPED 2015: 1-2 - [c399]Yang Yang, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. SAMOS 2015: 113-122 - [c398]Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto L. Sangiovanni-Vincentelli:
A Contract-based Framework for Integrated Demand Response Management in Smart Grids. BuildSys 2015: 167-176 - [e4]Alberto L. Sangiovanni-Vincentelli:
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. ACM 2015, ISBN 978-1-4503-3595-9 [contents] - [i5]Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. CoRR abs/1509.03262 (2015) - 2014
- [j192]Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia:
A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access 2: 1-25 (2014) - [j191]Guoqiang Wang, Randy Allen, Hugo A. Andrade, Alberto L. Sangiovanni-Vincentelli:
Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint. Comput. Electr. Eng. 40(6): 1858-1873 (2014) - [j190]Alberto L. Sangiovanni-Vincentelli, Donatella Sciuto:
Looking into the Crystal Ball: From Transistors to the Smart Earth. IEEE Des. Test 31(2): 47-55 (2014) - [j189]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:
The Swarm at the Edge of the Cloud. IEEE Des. Test 31(3): 8-20 (2014) - [j188]Marco Di Natale, Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Optimized implementation of synchronous models on industrial LTTA systems. J. Syst. Archit. 60(4): 315-328 (2014) - [j187]Mohammad Mozumdar, Zhen Yu Song, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
A Model-Based Approach for Bridging Virtual and Physical Sensor Nodes in a Hybrid Simulation Framework. Sensors 14(6): 11070-11096 (2014) - [c397]Dorsa Sadigh, Katherine Rose Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. AAAI Spring Symposia 2014 - [c396]Mehdi Maasoumy, Meysam Razmara, Mahdi Shahbakhti, Alberto L. Sangiovanni-Vincentelli:
Selecting building predictive control based on model uncertainty. ACC 2014: 404-411 - [c395]Mehdi Maasoumy, Catherine Rosenberg, Alberto L. Sangiovanni-Vincentelli, Duncan S. Callaway:
Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following. ACC 2014: 1082-1089 - [c394]Mehdi Maasoumy, Borhan Molazem Sanandaji, Alberto L. Sangiovanni-Vincentelli, Kameshwar Poolla:
Model Predictive Control of regulation services from commercial buildings to the smart grid. ACC 2014: 2226-2233 - [c393]Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Model predictive control with signal temporal logic specifications. CDC 2014: 81-87 - [c392]Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee:
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS 2014: 24:1-24:10 - [c391]Chung-Wei Lin, Lei Rao, Paolo Giusto, Joseph D'Ambrosio, Alberto L. Sangiovanni-Vincentelli:
An Efficient Wire Routing and Wire Sizing Algorithm for Weight Minimization of Automotive Systems. DAC 2014: 19:1-19:6 - [c390]Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Library-based scalable refinement checking for contract-based design. DATE 2014: 1-6 - [c389]Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli:
Contract-based design of control protocols for safety-critical cyber-physical systems. DATE 2014: 1-4 - [c388]Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. EMSOFT 2014: 13:1-13:10 - [c387]Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Let's Get Physical: Computer Science Meets Systems. FPS@ETAPS 2014: 193-208 - [c386]Chung-Wei Lin, Qi Zhu, Alberto L. Sangiovanni-Vincentelli:
Security-aware mapping for TDMA-based real-time distributed systems. ICCAD 2014: 24-31 - [c385]Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Are interface theories equivalent to contract theories? MEMOCODE 2014: 104-113 - [c384]Marco Di Natale, Francesco Chirico, Andrea Sindico, Alberto L. Sangiovanni-Vincentelli:
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink. MoDELS 2014: 353-369 - [c383]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:
Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys 2014: 172-173 - [p6]Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel:
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems. Embedded Systems Development, From Functional Models to Implementations 2014: 1-16 - [e3]Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel:
Embedded Systems Development, From Functional Models to Implementations. Springer 2014, ISBN 978-1-4614-3878-6 [contents] - [i4]Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. CoRR abs/1412.4324 (2014) - 2013
- [j186]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem. Autom. 49(4): 915-925 (2013) - [j185]Arkadeb Ghosal, Haibo Zeng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Ragunathan Rajkumar, Marco Ernst, Rolf Di Natale:
Guest Editorial: Special Issue on System Level Design of Automotive Electronics/Software. IEEE Embed. Syst. Lett. 5(3): 29 (2013) - [j184]Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu:
metroII: A design environment for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 12(1s): 49:1-49:31 (2013) - [j183]Pan Gun Park, Sinem Coleri Ergen, Carlo Fischione, Alberto L. Sangiovanni-Vincentelli:
Duty-cycle optimization for IEEE 802.15.4 wireless sensor networks. ACM Trans. Sens. Networks 10(1): 12:1-12:32 (2013) - [c382]Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. CAV 2013: 527-542 - [c381]Mehdi Maasoumy, Pierluigi Nuzzo, Forrest N. Iandola, Maryam Kamgarpour, Alberto L. Sangiovanni-Vincentelli, Claire J. Tomlin:
Optimal load management system for Aircraft Electric Power distribution. CDC 2013: 2939-2945 - [c380]Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
A tool integration approach for architectural exploration of aircraft electric power systems. CPSNA 2013: 38-43 - [c379]Amit Fisher, Clas A. Jacobson, Edward A. Lee, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Eelco Scholte:
Industrial Cyber-Physical Systems - iCyPhy. CSDM 2013: 21-37 - [c378]Marco Casale-Rossi, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Bernard Courtois, Hugo De Man, Antun Domic, Jan M. Rabaey:
Panel: the heritage of Mead & Conway: what has remained the same, what was missed, what has changed, what lies ahead. DATE 2013: 171-175 - [c377]Daniela De Venuto, Alberto L. Sangiovanni-Vincentelli:
Dr. Frankenstein's dream made possible: implanted electronic devices. DATE 2013: 1531-1536 - [c376]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:
BAG: a designer-oriented integrated framework for the development of AMS circuit generators. ICCAD 2013: 74-81 - [c375]Chung-Wei Lin, Qi Zhu, Calvin Phung, Alberto L. Sangiovanni-Vincentelli:
Security-aware mapping for CAN-based real-time distributed automotive systems. ICCAD 2013: 115-121 - [c374]Mehdi Maasoumy, Qi Zhu, Cheng Li, Forrest Meggers, Alberto L. Sangiovanni-Vincentelli:
Co-design of control algorithm and embedded platform for building HVAC systems. ICCPS 2013: 61-70 - [c373]Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli:
Timing analysis of process graphs with finite communication buffers. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 227-236 - [c372]Liangpeng Guo, Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto:
A complexity metric for concurrent finite state machine based embedded software. SIES 2013: 189-195 - [i3]Pierluigi Nuzzo, John B. Finn, Mohammad Mostafizur Rahman Mozumdar, Alberto L. Sangiovanni-Vincentelli:
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems. CoRR abs/1311.6092 (2013) - [i2]Mehdi Maasoumy, Jorge Ortiz, David E. Culler, Alberto L. Sangiovanni-Vincentelli:
Flexibility of Commercial Building HVAC Fan as Ancillary Service for Smart Grid. CoRR abs/1311.6094 (2013) - 2012
- [j182]Alberto L. Sangiovanni-Vincentelli:
EDA meets biology! The bumpy road ahead [Perscetives]. IEEE Des. Test Comput. 29(3): 49-50 (2012) - [j181]Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli:
Total and Peak Energy Consumption Minimization of Building HVAC Systems Using Model Predictive Control. IEEE Des. Test Comput. 29(4): 26-35 (2012) - [j180]Yang Yang, Qi Zhu, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli:
Development of Building Automation and Control Systems. IEEE Des. Test Comput. 29(4): 45-55 (2012) - [j179]Alberto L. Sangiovanni-Vincentelli, Werner Damm, Roberto Passerone:
Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. Eur. J. Control 18(3): 217-238 (2012) - [j178]Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Modeling Cyber-Physical Systems. Proc. IEEE 100(1): 13-28 (2012) - [j177]Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli:
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. Sci. Comput. Program. 77(2): 96-112 (2012) - [j176]Pierluigi Nuzzo, Claudio Nani, Costantino Armiento, Alberto L. Sangiovanni-Vincentelli, Jan Craninckx, Geert Van der Plas:
A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS. IEEE Trans. Circuits Syst. I Regul. Pap. 59-I(1): 80-92 (2012) - [j175]Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst. 11(4): 85:1-85:30 (2012) - [c371]Chung-Wei Lin, Alberto L. Sangiovanni-Vincentelli:
Cyber-Security for the Controller Area Network (CAN) Communication Protocol. CyberSecurity 2012: 1-7 - [c370]Alberto Puggelli, Mohammad Mostafizur Rahman Mozumdar, Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno:
A routing-algorithm-aware design tool for indoor wireless sensor networks. ICNC 2012: 964-969 - [c369]Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. MoDELS 2012: 810-826 - 2011
- [j174]Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli:
Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Trans. Ind. Informatics 7(1): 1-17 (2011) - [j173]Pan Gun Park, Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli:
Breath: An Adaptive Protocol for Industrial Control Applications Using Wireless Sensor Networks. IEEE Trans. Mob. Comput. 10(6): 821-838 (2011) - [c368]Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli:
Are logic synthesis tools robust? DAC 2011: 633-638 - [c367]Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Component-based design for the future. DATE 2011: 1029 - [c366]Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Robustness in analog systems: Design techniques, methodologies and tools. SIES 2011: 194-203 - 2010
- [j172]Pierluigi Nuzzo, Xuening Sun, Chang-Ching Wu, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli:
A Platform-Based Methodology for System-Level Mixed-Signal Design. EURASIP J. Embed. Syst. 2010 (2010) - [j171]Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Moving From Federated to Integrated Architectures in Automotive: The Role of Standards, Methods and Tools. Proc. IEEE 98(4): 603-620 (2010) - [j170]Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli:
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems. IEEE Trans. Ind. Informatics 6(4): 621-636 (2010) - [j169]Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli:
Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. IEEE Trans. Ind. Informatics 6(4): 637-651 (2010) - [j168]Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Using Statistical Methods to Compute the Probability Distribution of Message Response Time in Controller Area Network. IEEE Trans. Ind. Informatics 6(4): 678-691 (2010) - [j167]Guoqiang Wang, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Optimal synthesis of communication procedures in real-time synchronous reactive models. IEEE Trans. Ind. Informatics 6(4): 729-743 (2010) - [c365]Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Joseph D'Ambrosio, Ed Nuckolls, Harald Wilhelm, Jim Tung, Markus Kuhl, Peter van Staa:
Education panel: designing the always connected car of the future. DAC 2010: 617-618 - [c364]Alberto L. Sangiovanni-Vincentelli:
All things are connected. DATE 2010: 1 - [c363]Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli:
CalCS: SMT solving for non-linear convex constraints. FMCAD 2010: 71-79 - [c362]Chang-Ching Wu, Xuening Sun, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey:
A 2.2mW CMOS LNA for 6-8.5GHz UWB receivers. ISCAS 2010: 1631-1634 - [c361]Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu:
A Design Flow for Building Automation and Control Systems. RTSS 2010: 105-116 - [c360]Mohammad Mostafizur Rahman Mozumdar, Luciano Lavagno, Laura Vanzago, Alberto L. Sangiovanni-Vincentelli:
HILAC: A framework for Hardware In the Loop simulation and multi-platform Automatic Code Generation of WSN Applications. SIES 2010: 88-97 - [p5]Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Yves Crama, Peter L. Hammer:
Synthesis of Multilevel Boolean Networks. Boolean Models and Methods 2010: 675-722
2000 – 2009
- 2009
- [j166]Eric Cheung, Xi Chen, Harry Hsieh, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe:
Runtime deadlock analysis for system level design. Des. Autom. Embed. Syst. 13(4): 287-310 (2009) - [j165]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:
Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 26(3): 38-53 (2009) - [j164]Alberto L. Sangiovanni-Vincentelli, Sandeep K. Shukla, Janos Sztipanovits, Guang Yang, Deepak Mathaikutty:
Metamodeling: An Emerging Representation Paradigm for System-Level Design. IEEE Des. Test Comput. 26(3): 54-69 (2009) - [j163]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
A Methodology for Constraint-Driven Synthesis of On-Chip Communications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(3): 364-377 (2009) - [j162]Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Challenges and Solutions in the Development of Automotive Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(7): 937-940 (2009) - [j161]Sinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli, Xuening Sun, Riccardo Tebano, S. Alalusi, G. Audisio, Marco Sabatini:
The Tire as an Intelligent Sensor. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(7): 941-955 (2009) - [j160]Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli:
Improving the size of communication buffers in synchronous models with time constraints. IEEE Trans. Ind. Informatics 5(3): 229-240 (2009) - [j159]Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Stochastic Analysis of Distributed Real-time Automotive Systems. IEEE Trans. Ind. Informatics 5(4): 388-401 (2009) - [j158]Carlo Fischione, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli, Benigno Zurita Ares:
Minimum Energy coding in CDMA Wireless Sensor Networks. IEEE Trans. Wirel. Commun. 8(2): 985-994 (2009) - [c359]Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli:
Contract-based system-level composition of analog circuits. DAC 2009: 605-610 - [c358]Haibo Zeng, Wei Zheng, Marco Di Natale, Arkadeb Ghosal, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Scheduling the FlexRay bus using optimization techniques. DAC 2009: 874-877 - [c357]Douglas Densmore, Alena Simalatsar, Abhijit Davare, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
UMTS MPSoC design evaluation using a system level design framework. DATE 2009: 478-483 - [c356]Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Optimizations of an application-level protocol for enhanced dependability in FlexRay. DATE 2009: 1076-1081 - [c355]Assane Gueye, Sinem Coleri Ergen, Alberto L. Sangiovanni-Vincentelli:
Iterative Node Deployment in an Unknown Environment. GLOBECOM 2009: 1-6 - [c354]Guoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli:
Automatic Code Generation for Synchronous Reactive Communication. ICESS 2009: 40-47 - [c353]Carlo Fischione, Alberto Speranzon, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli:
Peer-to-peer estimation over wireless sensor networks via Lipschitz optimization. IPSN 2009: 241-252 - [c352]Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Optimizing Extensibility in Hard Real-Time Distributed Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 275-284 - [c351]Carlo Fischione, Sinem Coleri Ergen, Pan Gun Park, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli:
Medium Access Control Analytical Modeling and Optimization in Unslotted IEEE 802.15.4 Wireless Sensor Networks. SECON 2009: 1-9 - [c350]Haibo Zeng, Marco Di Natale, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Statistical analysis of Controller Area Network message response times. SIES 2009: 1-10 - 2008
- [j157]Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Compositionally Progressive Solutions of Synchronous FSM Equations. Discret. Event Dyn. Syst. 18(1): 51-89 (2008) - [j156]Alberto L. Sangiovanni-Vincentelli:
Is a Unified Methodology for System-Level Design Possible? IEEE Des. Test Comput. 25(4): 346-357 (2008) - [j155]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
COSI: A Framework for the Design of Interconnection Networks. IEEE Des. Test Comput. 25(5): 402-415 (2008) - [j154]Reinaldo A. Bergamaschi, Luca Benini, Krisztián Flautner, Wido Kruijtzer, Alberto L. Sangiovanni-Vincentelli, Kazutoshi Wakabayashi:
The State of ESL Design [Roundtable]. IEEE Des. Test Comput. 25(6): 510-519 (2008) - [j153]Cong Liu, Alex Kondratyev, Yosinori Watanabe, Jörg Desel, Alberto L. Sangiovanni-Vincentelli:
Schedulability Analysis of Petri Nets Based on Structural Properties. Fundam. Informaticae 86(3): 325-341 (2008) - [j152]Alberto Speranzon, Carlo Fischione, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli:
A distributed minimum variance estimator for sensor networks. IEEE J. Sel. Areas Commun. 26(4): 609-621 (2008) - [j151]Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale:
Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers 57(10): 1300-1314 (2008) - [j150]Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Fault-Tolerant Distributed Deployment of Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(5): 906-919 (2008) - [j149]Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(6): 1159-1164 (2008) - [j148]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. 7(4): 43:1-43:36 (2008) - [c349]Alessandro Pinto, Massimiliano D'Angelo, Carlo Fischione, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli:
Synthesis of Embedded Networks for Building Automation and Control. ACC 2008: 920-925 - [c348]Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Approximating Behaviors in Embedded System Design. Concurrency, Graphs and Models 2008: 721-742 - [c347]Sameer Iyengar, Filippo Tempia Bonda, Raffaele Gravina, Antonio Guerrieri, Giancarlo Fortino, Alberto L. Sangiovanni-Vincentelli:
A framework for creating healthcare monitoring applications using wireless body sensor networks. BODYNETS 2008: 8 - [c346]Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Andrea Balluchi, Antonio Bicchi:
Hybrid system reduction. CDC 2008: 227-232 - [c345]Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli:
Composing hybrid systems. CDC 2008: 4693-4699 - [c344]Trevor Meyerowitz, Alberto L. Sangiovanni-Vincentelli, Mirko Sauermann, Dominik Langen:
Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor. DATE 2008: 276-279 - [c343]T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Physical Architectures of Automotive Systems. DATE 2008: 391-395 - [c342]Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Software Components for Reliable Automotive Systems. DATE 2008: 549-554 - [c341]E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures. DATE 2008: 659-663 - [c340]Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Scuola S. Anna, H. Hanselmann, Harald Heinecke, Amar Bouali, Hermann Kopetz, H. Fennel, Thomas Weber:
Panel Session - The Future Car: Technology, Methods and Tools. DATE 2008: 812 - [c339]Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli:
Logical Reliability of Interacting Real-Time Tasks. DATE 2008: 909-914 - [c338]Sinem Coleri Ergen, Carlo Fischione, Dimitri Marandin, Alberto L. Sangiovanni-Vincentelli:
Duty-Cycle Optimization in Unslotted 802.15.4 Wireless Sensor Networks. GLOBECOM 2008: 388-393 - [c337]M. D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
Outage-Based Rate Maximization in CDMA Wireless Networks. GLOBECOM 2008: 1310-1315 - [c336]Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli:
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. HSCC 2008: 58-71 - [c335]Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli:
Optimizing the Implementation of Communication in Synchronous Reactive Models. IEEE Real-Time and Embedded Technology and Applications Symposium 2008: 169-179 - [c334]Pan Gun Park, Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli:
Breath: A Self-Adapting Protocol for Wireless Sensor Networks in Control and Automation. SECON 2008: 323-331 - [c333]Yanmei Li, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli:
Analysis of Interference Effects in MB-OFDM UWB Systems. WCNC 2008: 165-170 - [i1]Carlo Fischione, Alberto Speranzon, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli:
Distributed Estimation over Wireless Sensor Networks with Packet Losses. CoRR abs/0810.3715 (2008) - 2007
- [j147]Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli:
FSM Encoding for BDD Representations. Int. J. Appl. Math. Comput. Sci. 17(1): 113-124 (2007) - [j146]Alberto L. Sangiovanni-Vincentelli, Marco Di Natale:
Embedded System Design for Automotive Applications. Computer 40(10): 42-51 (2007) - [j145]Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli:
Refinement preserving approximations for the design and verification of heterogeneous systems. Formal Methods Syst. Des. 31(1): 1-33 (2007) - [j144]Brian Otis, Simone Gambini, Rahul C. Shah, Dan Steingart, E. Quevy, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli, Paul K. Wright:
Modelling and simulation techniques for highly integrated, low-power wireless sensor networks. IET Comput. Digit. Tech. 1(5): 528-536 (2007) - [j143]Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra:
Hybrid modelling and control of the common rail injection system. Int. J. Control 80(11): 1780-1795 (2007) - [j142]Alberto L. Sangiovanni-Vincentelli:
Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design. Proc. IEEE 95(3): 467-506 (2007) - [j141]Alberto L. Sangiovanni-Vincentelli:
Remembering Richard [Obituary, Richard A.Newton]. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(8): 1357-1366 (2007) - [j140]Farinaz Koushanfar, Abhijit Davare, David T. Nguyen, Alberto L. Sangiovanni-Vincentelli, Miodrag Potkonjak:
Techniques for maintaining connectivity in wireless ad-hoc networks under energy constraints. ACM Trans. Embed. Comput. Syst. 6(3): 16 (2007) - [j139]Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli:
Uniprocessor scheduling under precedence constraints for embedded systems design. ACM Trans. Embed. Comput. Syst. 7(1): 6:1-6:30 (2007) - [j138]Alvise Bonivento, Carlo Fischione, Luca Necchi, Fernando Pianegiani, Alberto L. Sangiovanni-Vincentelli:
System Level Design for Clustered Wireless Sensor Networks. IEEE Trans. Ind. Informatics 3(3): 202-214 (2007) - [j137]Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli:
Semantics-Preserving Design of Embedded Control Software from Synchronous Models. IEEE Trans. Software Eng. 33(8): 497-509 (2007) - [c332]Radu Marculescu, Borivoje Nikolic, Alberto L. Sangiovanni-Vincentelli:
Fresh air: the emerging landscape of design for networked embedded systems. CODES+ISSS 2007: 124 - [c331]Rolf Ernst, Gernot Spiegelberg, Thomas Weber, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marek Jersak:
Automotive networks: are new busses and gateways the answer or just another challenge? CODES+ISSS 2007: 263 - [c330]Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli:
Period Optimization for Hard Real-time Distributed Automotive Systems. DAC 2007: 278-283 - [c329]Nick Smith, Andrew Chien, Christopher Hegarty, Walden C. Rhines, Alberto L. Sangiovanni-Vincentelli, Frank Winters:
Electronics: The New Differential in the Automotive Industry. DAC 2007: 446 - [c328]Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Synthesis of task and message activation models in real-time distributed automotive systems. DATE 2007: 93-98 - [c327]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. EMSOFT 2007: 21-29 - [c326]Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Loosely time-triggered architectures based on communication-by-sampling. EMSOFT 2007: 231-239 - [c325]Tiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
A new algorithm for the largest compositionally progressive solution of synchronous language equations. ACM Great Lakes Symposium on VLSI 2007: 441-444 - [c324]Andrea Balluchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli:
Complexity Reduction for the Design of Interacting Controllers. HSCC 2007: 46-60 - [c323]Marco Di Natale, Wei Zheng, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli:
Optimizing End-to-End Latencies by Adaptation of the Activation Events in Distributed Automotive Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2007: 293-302 - [c322]Wei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli:
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. RTSS 2007: 161-170 - [c321]Alberto L. Sangiovanni-Vincentelli:
Reasoning about the Trends and Challenges of Engineering Design Automation. VLSI Design 2007: 28-30 - [c320]Luca Necchi, Alvise Bonivento, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Laura Vanzago:
E2RINA: an Energy Efficient and Reliable In-Network Aggregation for Clustered Wireless Sensor Networks. WCNC 2007: 3364-3369 - 2006
- [j136]Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
A Framework for Modeling the Distributed Deployment of Synchronous Designs. Formal Methods Syst. Des. 28(2): 93-110 (2006) - [j135]Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
Languages and Tools for Hybrid Systems Design. Found. Trends Electron. Des. Autom. 1(1/2) (2006) - [j134]Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Platform based design for wireless sensor networks. Mob. Networks Appl. 11(4): 469-485 (2006) - [j133]Jan M. Rabaey, Fernando De Bernardinis, Ali M. Niknejad, Borivoje Nikolic, Alberto L. Sangiovanni-Vincentelli:
L. Embedding Mixed-Signal Design in Systems-on-Chip. Proc. IEEE 94(6): 1070-1088 (2006) - [j132]Christopher Umans, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
Complexity of two-level logic minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(7): 1230-1246 (2006) - [j131]Alessandro Pinto, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi:
System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Design Autom. Electr. Syst. 11(3): 537-563 (2006) - [c319]Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel:
Schedulability Analysis of Petri Nets Based on Structural Properties. ACSD 2006: 69-78 - [c318]Shinjiro Kakita, Yosinori Watanabe, Douglas Densmore, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli:
Functional Model Exploration for Multimedia Applications via Algebraic Operators. ACSD 2006: 229-238 - [c317]Alberto L. Sangiovanni-Vincentelli:
Challenges and Opportunities for System Theory in Embedded controller Design. ADHS 2006: 2-3 - [c316]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
Idle Speed control - a Benchmark for Hybrid System Research1. ADHS 2006: 259-264 - [c315]Alberto L. Sangiovanni-Vincentelli:
Automotive electronics: steady growth for years to come! ASP-DAC 2006 - [c314]Alvise Bonivento, Carlo Fischione, Alberto L. Sangiovanni-Vincentelli:
Randomized protocol stack for ubiquitous networks in indoor environment. CCNC 2006: 152-156 - [c313]Carlo Fischione, Alvise Bonivento, Alberto L. Sangiovanni-Vincentelli, Fortunato Santucci, Karl Henrik Johansson:
Performance analysis of collaborative spatio-temporal processing for wireless sensor networks. CCNC 2006: 325-329 - [c312]Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli:
SAT sweeping with local observability don't-cares. DAC 2006: 229-234 - [c311]Radu Marculescu, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli:
Is "Network" the next "Big Idea" in design? DATE 2006: 254-256 - [c310]Guang Yang, Xi Chen, Felice Balarin, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli:
Communication and co-simulation infrastructure for heterogeneous system integration. DATE 2006: 462-467 - [c309]Sri Kanajan, Haibo Zeng, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli:
Exploring trade-off's between centralized versus decentralized automotive architectures using a virtual integration environment. DATE 2006: 548-553 - [c308]Douglas Densmore, Adam Donlin, Alberto L. Sangiovanni-Vincentelli:
FPGA architecture characterization for system level performance analysis. DATE 2006: 734-739 - [c307]Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Platform-based design of wireless sensor networks for industrial applications. DATE 2006: 1103-1107 - [c306]Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan:
A hierarchical coordination language for interacting real-time tasks. EMSOFT 2006: 132-141 - [c305]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis:
Communication by sampling in time-sensitive distributed systems. EMSOFT 2006: 152-160 - [c304]Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra:
Hybrid Modelling and Control of the Common Rail Injection System. HSCC 2006: 79-92 - [c303]Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506 - [c302]Fernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Robust system level design with analog platforms. ICCAD 2006: 334-341 - [c301]Alberto Fazzi, Luca Magagni, Mario de Dominicis, Paolo Zoffoli, Roberto Canegallo, Pier Luigi Rolandi, Alberto L. Sangiovanni-Vincentelli, Roberto Guerrieri:
Yield prediction for 3D capacitive interconnections. ICCAD 2006: 809-814 - [c300]Qi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli:
A semantic-driven synthesis flow for platform-based design. MEMOCODE 2006: 199 - [c299]Antonia Bertolino, Alvise Bonivento, Guglielmo De Angelis, Alberto L. Sangiovanni-Vincentelli:
Modeling and Early Performance Estimation for Network Processor Applications. MoDELS 2006: 753-767 - [c298]Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli:
Uniprocessor Scheduling Under Precedence Constraints. IEEE Real Time Technology and Applications Symposium 2006: 157-166 - [c297]Carlo Fischione, Alvise Bonivento, Karl Henrik Johansson, Alberto L. Sangiovanni-Vincentelli:
Cooperative Diversity with Disconnection Constraints and Sleep Discipline for Power Control in Wireless Sensor Networks. VTC Spring 2006: 578-582 - 2005
- [j130]Arnon Amir, Lior Zimet, Alberto L. Sangiovanni-Vincentelli, Sean Kao:
An embedded system for an eye-detection sensor. Comput. Vis. Image Underst. 98(1): 104-123 (2005) - [j129]Alberto L. Sangiovanni-Vincentelli:
The importance of innovation in the economy of advanced countries. IEEE Des. Test Comput. 22(1): 14-16 (2005) - [j128]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:
Hybrid Control of Networked Embedded Systems. Eur. J. Control 11(4-5): 478-508 (2005) - [j127]Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli:
Efficient Solution of Optimal Control Problems Using Hybrid Systems. SIAM J. Control. Optim. 43(6): 1923-1952 (2005) - [j126]Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto:
Embedded system education: a new paradigm for engineering schools? SIGBED Rev. 2(4): 5-14 (2005) - [j125]Luigi Palopoli, Claudio Pinello, Antonio Bicchi, Alberto L. Sangiovanni-Vincentelli:
Maximizing the stability radius of a set of systems under real-time scheduling constraints. IEEE Trans. Autom. Control. 50(11): 1790-1795 (2005) - [j124]Alan Burns, Alberto L. Sangiovanni-Vincentelli:
Editorial. ACM Trans. Embed. Comput. Syst. 4(3): 469-471 (2005) - [j123]Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto:
An overview of embedded system design education at berkeley. ACM Trans. Embed. Comput. Syst. 4(3): 472-499 (2005) - [j122]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:
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4(3): 587-611 (2005) - [c296]Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli:
Extensible and Scalable Time Triggered Scheduling. ACSD 2005: 132-141 - [c295]Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
FSM re-engineering and its application in low power state encoding. ASP-DAC 2005: 254-259 - [c294]Andrea Balluchi, Luca Benvenuti, Alberto L. Sangiovanni-Vincentelli:
Hybrid Systems in Automotive Electronics Design. CDC/ECC 2005: 5618-5623 - [c293]Andrea Agostini, Andrea Balluchi, Antonio Bicchi, Benedetto Piccoli, Alberto L. Sangiovanni-Vincentelli, Katarzyna Zadarnowska:
Randomized Algorithms for Platform-based Design. CDC/ECC 2005: 6638-6643 - [c292]Yanmei Li, Fernando De Bernardinis, Brian P. Otis, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli:
A low-power mixed-signal baseband system design for wireless sensor networks. CICC 2005: 55-58 - [c291]Janos Sztipanovits, C. John Glossner, Trevor N. Mudge, Chris Rowen, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf, Feng Zhao:
Grand challenges in embedded systems. CODES+ISSS 2005: 333 - [c290]Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe:
Simulation based deadlock analysis for system level designs. DAC 2005: 260-265 - [c289]Fernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Mixed signal design space exploration through analog platforms. DAC 2005: 875-880 - [c288]Alberto L. Sangiovanni-Vincentelli:
Integrated Electronics in the Car and the Design Chain Evolution or Revolution? DATE 2005: 532-533 - [c287]Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff:
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. DATE 2005: 1044-1049 - [c286]Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli:
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. ECBS 2005: 229-235 - [c285]Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
A structural approach to quasi-static schedulability analysis of communicating concurrent programs. EMSOFT 2005: 10-16 - [c284]Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. EMSOFT 2005: 183-186 - [c283]Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli:
Efficient embedded software design with synchronous models. EMSOFT 2005: 187-190 - [c282]Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli:
A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. EMSOFT 2005: 237-246 - [c281]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Tag machines. EMSOFT 2005: 255-263 - [c280]Abhijit Davare, Qi Zhu, John Moondanos, Alberto L. Sangiovanni-Vincentelli:
JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study. ESTIMedia 2005: 89-94 - [c279]Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli:
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains. HSCC 2005: 118-133 - [c278]Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone:
Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541 - [c277]Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli:
Efficient analog platform characterization through analog constraint graphs. ICCAD 2005: 415-421 - [c276]Fernando De Bernardinis, Pierluigi Nuzzo, Pierangelo Terreni, Alberto L. Sangiovanni-Vincentelli:
Enriching an analog platform for analog-to-digital converter design. ISCAS (2) 2005: 1286-1289 - [c275]Alvise Bonivento, Carlo Fischione, Alberto L. Sangiovanni-Vincentelli, Fabio Graziosi, Fortunato Santucci:
SERAN: a semi random protocol solution for clustered wireless sensor networks. MASS 2005 - [c274]Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
A formal approach to system level design: metamodels and unified design environments. MEMOCODE 2005: 155-163 - [p4]Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi:
Platform-Based and Derivative Design. The Industrial Information Technology Handbook 2005: 1-15 - [p3]Marco Sgroi, Adam Wolisz, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey:
A Service-Based Universal Application Interface for Ad Hoc Wireless Sensor and Actuator Networks. Ambient Intelligence 2005: 149-172 - [r1]Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Fernando De Bernardinis, Claudio Pinello, Luca P. Carloni:
Platform-Based Design for Embedded Systems. Embedded Systems Handbook 2005 - 2004
- [j121]Alessandra Nardi, Alberto L. Sangiovanni-Vincentelli:
Logic Synthesis for Manufacturability. IEEE Des. Test Comput. 21(3): 192-199 (2004) - [j120]Sunil P. Khatri, Subarnarekha Sinha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
SPFD-based wire removal in standard-cell and network-of-PLA circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(7): 1020-1030 (2004) - [c273]Alberto Casagrande, Andrea Balluchi, Luca Benvenuti, Alberto Policriti, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
Improving reachability analysis of hybrid automata for engine control. CDC 2004: 2322-2327 - [c272]Pieter Mostennan, Michael Clune, Bert van Beek, Bruce H. Krogh, Alberto L. Sangiovanni-Vincentelli:
Challenges and solution techniques for hybrid simulation. CDC 2004 - [c271]Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi:
Benefits and challenges for platform-based design. DAC 2004: 409-414 - [c270]Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli:
The best of both worlds: the efficient asynchronous implementation of synchronous specifications. DAC 2004: 588-591 - [c269]Douglas Densmore, Sanjay Rekhi, Alberto L. Sangiovanni-Vincentelli:
Microarchitecture Development via Metropolis Successive Platform Refinement. DATE 2004: 346-351 - [c268]Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli:
A Methodology for System-Level Analog Design Space Exploration. DATE 2004: 676-677 - [c267]Alessandra Nardi, Alberto L. Sangiovanni-Vincentelli:
Synthesis for Manufacturability: A Sanity Check. DATE 2004: 796-803 - [c266]Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. DATE 2004: 1164-1169 - [c265]Guang Yang, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin:
Separation of concerns: overhead in modeling and efficient simulation techniques. EMSOFT 2004: 44-53 - [c264]Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli:
Conservative approximations for heterogeneous design. EMSOFT 2004: 155-164 - [c263]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT 2004: 220-229 - [c262]Andrea Balluchi, Federico Di Natale, Alberto L. Sangiovanni-Vincentelli, Jan H. van Schuppen:
Synthesis for Idle Speed Control of an Automotive Engine. HSCC 2004: 80-94 - [c261]Jana van Greunen, Dragan Petrovic, Alvise Bonivento, Jan M. Rabaey, Kannan Ramchandran, Alberto L. Sangiovanni-Vincentelli:
Adaptive sleep discipline for energy conservation and robustness in dense sensor networks. ICC 2004: 3657-3662 - [p2]Farinaz Koushanfar, Miodrag Potkonjak, Alberto L. Sangiovanni-Vincentelli:
Fault Tolerance in Wireless Sensor Networks. Handbook of Sensor Networks 2004 - 2003
- [j119]Luca Benvenuti, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli:
Individual cylinder characteristic estimation for a spark injection engine. Autom. 39(7): 1157-1169 (2003) - [j118]Felice Balarin, Yosinori Watanabe, Harry Hsieh, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli:
Metropolis: An Integrated Electronic System Design Environment. Computer 36(4): 45-52 (2003) - [j117]Alberto L. Sangiovanni-Vincentelli:
DAC Turns 40! IEEE Des. Test Comput. 20(3): 90-96 (2003) - [j116]Alberto L. Sangiovanni-Vincentelli:
The Tides of EDA. IEEE Des. Test Comput. 20(6): 59-75 (2003) - [j115]Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno:
Guest Editors' Introduction: Trends and Directions in Microelectronics. IEEE Micro 23(3): 6-7 (2003) - [j114]Alberto L. Sangiovanni-Vincentelli:
Electronic-System Design in the Automobile Industry. IEEE Micro 23(3): 8-18 (2003) - [j113]Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry:
Platform-based embedded software design and system integration for autonomous vehicles. Proc. IEEE 91(1): 198-211 (2003) - [c260]Leonardo Albertoni, Andrea Balluchi, Alessandro Casavola, Claudio Gambelli, Edoardo Mosca, Alberto L. Sangiovanni-Vincentelli:
Idle speed control for GDI engines using robust multirate hybrid command governors. CCA 2003: 140-145 - [c259]Leonardo Albertoni, Andrea Balluchi, Alessandro Casavola, Claudio Gambelli, Edoardo Mosca, Alberto L. Sangiovanni-Vincentelli:
Hybrid command governors for idle speed control in gasoline direct injection engines. ACC 2003: 773-778 - [c258]Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini:
Fault-tolerant platforms for automotive safety-critical applications. CASES 2003: 170-177 - [c257]Marco Zoncu, Andrea Balluchi, Alberto L. Sangiovanni-Vincentelli, Antonio Bicchi:
On the stabilization of linear discrete-time hybrid automata. CDC 2003: 1147-1152 - [c256]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
Observability for hybrid systems. CDC 2003: 1159-1164 - [c255]Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
On-chip communication design: roadblocks and avenues. CODES+ISSS 2003: 75-76 - [c254]Trevor Meyerowitz, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli:
A tool for describing and evaluating hierarchical real-time bus scheduling policies. DAC 2003: 312-317 - [c253]Fernando De Bernardinis, Michael I. Jordan, Alberto L. Sangiovanni-Vincentelli:
Support vector machines for analog circuit performance representation. DAC 2003: 964-969 - [c252]Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE 2003: 11154-11155 - [c251]Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Andrea Pierantoni, Michele Pennese:
System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain. DATE 2003: 20232-20237 - [c250]Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50 - [c249]Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli:
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO 2003: 1-16 - [c248]Alessandra Nardi, Haibo Zeng, Joshua L. Garrett, Luca Daniel, Alberto L. Sangiovanni-Vincentelli:
A Methodology for the Computation of an Upper Bound on Nose Current Spectrum of CMOS Switching Activity. ICCAD 2003: 778-785 - [c247]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Efficient Synthesis of Networks On Chip. ICCD 2003: 146-150 - [c246]Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli:
Structural Detection of Symmetries in Boolean Functions. ICCD 2003: 498-503 - [c245]Farinaz Koushanfar, Abhijit Davare, Dai Tho Nguyen, Miodrag Potkonjak, Alberto L. Sangiovanni-Vincentelli:
Low power coordination in wireless ad-hoc networks. ISLPED 2003: 475-480 - [c244]Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. SBCCI 2003: 47-52 - [p1]Rong Chen, Marco Sgroi, Luciano Lavagno, Grant Martin, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey:
UML and Platform-based Design. UML for Real 2003: 107-126 - 2002
- [j112]Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Formula-Dependent Equivalence for Compositional CTL Model Checking. Formal Methods Syst. Des. 21(2): 193-224 (2002) - [j111]Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Coping with Latency in SOC Design. IEEE Micro 22(5): 24-35 (2002) - [c243]Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Yosinori Watanabe:
Modeling and Designing Heterogeneous Systems. Concurrency and Hardware Design 2002: 228-273 - [c242]Andrea Balluchi, Luca Beradi, Maria Domenica Di Benedetto, Alberto Ferrari, Giovanni Girasole, Alberto L. Sangiovanni-Vincentelli:
Integrated control-implementation design. CDC 2002: 1337-1342 - [c241]Luigi Palopoli, Antonio Bicchi, Alberto L. Sangiovanni-Vincentelli:
Numerically efficient control of systems with communication constraints. CDC 2002: 1626-1631 - [c240]Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Guang Yang:
Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model. CODES 2002: 13-18 - [c239]Massimo Baleani, Frank Gennari, Yunjian Jiang, Yatish Patel, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform. CODES 2002: 151-156 - [c238]Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Constraint-driven communication synthesis. DAC 2002: 783-788 - [c237]Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry:
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. EMSOFT 2002: 32-45 - [c236]Gregor Gößler, Alberto L. Sangiovanni-Vincentelli:
Compositional Modeling in Metropolis. EMSOFT 2002: 93-107 - [c235]Massimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto L. Sangiovanni-Vincentelli:
An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms. FPL 2002: 677-686 - [c234]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
Design of Observers for Hybrid Systems. HSCC 2002: 76-89 - [c233]Luigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi:
Synthesis of Robust Control Systems under Resource Constraints. HSCC 2002: 337-350 - [c232]Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli:
Convertibility verification and converter synthesis: two faces of the same coin. ICCAD 2002: 132-139 - [c231]Luca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob K. White:
Proximity templates for modeling of skin and proximity effects on packages and high frequency interconnect. ICCAD 2002: 326-333 - [c230]Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Automotive Virtual Integration Platforms: Why's, What's, and How's. ICCD 2002: 370-378 - [c229]Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto:
Models of IP's for Automotive Virtual Integration Platforms. ICCD 2002: 379- - [c228]Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS 2002: 45-50 - [e2]Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis:
Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings. Lecture Notes in Computer Science 2491, Springer 2002, ISBN 3-540-44307-X [contents] - 2001
- [j110]Alberto L. Sangiovanni-Vincentelli, Grant Martin:
Platform-Based Design and Software Design Methodology for Embedded Systems. IEEE Des. Test Comput. 18(6): 23-33 (2001) - [j109]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:
Limitations and challenges of computer-aided design technology for CMOS VLSI. Proc. IEEE 89(3): 341-365 (2001) - [j108]Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa:
Model matching for finite-state machines. IEEE Trans. Autom. Control. 46(11): 1726-1743 (2001) - [j107]Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Synchronous approach to the functional equivalence of embeddedsystem implementations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(8): 1016-1033 (2001) - [j106]Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli:
Theory of latency-insensitive design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(9): 1059-1076 (2001) - [c227]Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems. ACSD 2001: 13- - [c226]Alberto L. Sangiovanni-Vincentelli, Grant Martin:
A vision for embedded software. CASES 2001: 1-7 - [c225]Marco Antoniotti, Alberto Ferrari, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich:
Embedded system design specification: merging reactive control and data computation. CDC 2001: 3302-3307 - [c224]Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli:
Mixed models of computation in the design of automotive engine control. CDC 2001: 3308-3313 - [c223]Luca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob White:
Using Conduction Modes Basis Functions for Efficient Electromagnetic Analysis of On-Chip and Off-Chip Interconnect. DAC 2001: 563-566 - [c222]Marco Sgroi, Michael Sheets, Andrew Mihal, Kurt Keutzer, Sharad Malik, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli:
Addressing the System-on-a-Chip Interconnect Woes Through Communication-Based Design. DAC 2001: 667-672 - [c221]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:
Design methodology for PicoRadio networks. DATE 2001: 314-325 - [c220]Gabriele Luculli, Alberto L. Sangiovanni-Vincentelli:
Analysis of DSP-Kernel Software by Implicit Cache Simulation. ECBS 2001: 282-288 - [c219]Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Using Multiple Levels of Abstractions in Embedded Software Design. EMSOFT 2001: 324-343 - [c218]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
A hybrid observer for the driveline dynamics. ECC 2001: 618-623 - [c217]Felice Balarin, Jerry R. Burch, Luciano Lavagno, Yosinori Watanabe, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Constraints specification at higher levels of abstraction. HLDVT 2001: 129-133 - [c216]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:
Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6 - [c215]Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli:
Optimal Control Using Bisimulations: Implementation. HSCC 2001: 175-188 - [c214]Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Solution of Parallel Language Equations for Logic Synthesis. ICCAD 2001: 103- - [c213]Radu Marculescu, Amit Nandi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
System-Level Power/Performance Analysis of Portable Multimedia Systems Communicating over Wireless Channels. ICCAD 2001: 207- - [c212]Wilsin Gosti, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli:
Addressing the Timing Closure Problem by Integrating Logic Optimization and Placement. ICCAD 2001: 224-231 - [c211]Luca Daniel, Alberto L. Sangiovanni-Vincentelli, Jacob K. White:
Techniques for Including Dielectrics when Extracting Passive Low-Order Models of High Speed Interconnect. ICCAD 2001: 240-244 - [c210]Stefano Zanella, Andrea Neviani, Enrico Zanoni, Paolo Miliozzi, Edoardo Charbon, Carlo Guardiani, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Modeling of Substrate Noise Injected by Digital Libraries. ISQED 2001: 488-492 - [c209]Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin:
Scheduling Reactive Task Graphs in Embedded Control Systems. IEEE Real Time Technology and Applications Symposium 2001: 191-201 - [c208]Alberto L. Sangiovanni-Vincentelli:
Embedded Software Design for Real-Time Applications. RTSS 2001 - [e1]Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings. Lecture Notes in Computer Science 2034, Springer 2001, ISBN 3-540-41866-0 [contents] - 2000
- [j105]Tullio Cuatto, Claudio Passerone, Claudio Sansoè, Francesco Gregoretti, Attila Jurecska, Alberto L. Sangiovanni-Vincentelli:
A Case Study in Embedded Systems Design: An Engine Control Unit. Des. Autom. Embed. Syst. 6(1): 71-88 (2000) - [j104]Marco Sgroi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Formal Models for Embedded System Design. IEEE Des. Test Comput. 17(2): 14-27 (2000) - [j103]Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, Ken Yamaguchi:
A new procedure for exact ring closure. J. Comput. Chem. 21(10): 870-881 (2000) - [j102]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli:
Automotive engine control and hybrid systems: challenges and opportunities. Proc. IEEE 88(7): 888-912 (2000) - [j101]Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(3): 281-294 (2000) - [j100]Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Sequential synthesis using S1S. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(10): 1149-1162 (2000) - [j99]Kurt Keutzer, A. Richard Newton, Jan M. Rabaey, Alberto L. Sangiovanni-Vincentelli:
System-level design: orthogonalization of concerns andplatform-based design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(12): 1523-1543 (2000) - [c207]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli:
Hybrid controller synthesis for idle speed management of an automotive engine. ACC 2000: 1181-1185 - [c206]Andrea Balluchi, Antonio Bicchi, Canio Caterini, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli:
Hybrid tracking control for spark-ignition engines. CDC 2000: 3126-3131 - [c205]Bassam Tabbara, Abdallah Tabbara, Alberto L. Sangiovanni-Vincentelli:
Task response time optimization using cost-based operation motion. CODES 2000: 110-114 - [c204]Julio Leao da Silva Jr., Marco Sgroi, Fernando De Bernardinis, Suet-Fei Li, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey:
Wireless protocols design: challenges and opportunities. CODES 2000: 147-151 - [c203]Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno:
Formal Models for Communication-Based Design. CONCUR 2000: 29-47 - [c202]Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli:
Performance analysis and optimization of latency insensitive systems. DAC 2000: 361-367 - [c201]Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin:
Task scheduling with RT constraints. DAC 2000: 483-488 - [c200]Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
Task generation and compile-time scheduling for mixed data-control embedded software. DAC 2000: 489-494 - [c199]Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf:
Embedded systems education (panel abstract). DAC 2000: 519 - [c198]Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Efficient methods for embedded system design space exploration. DAC 2000: 607-612 - [c197]Chunghee Kim, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Free MDD-Based Software Optimization Techniques for Embedded Systems. DATE 2000: 14-18 - [c196]Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti:
HW/SW Codesign of an Engine Management System. DATE 2000: 263-267 - [c195]Alberto L. Sangiovanni-Vincentelli:
Models of Computation and Simulation of Hybrid Systems. HSCC 2000: 5 - [c194]Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli:
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. HSCC 2000: 32-44 - [c193]Mireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro:
Theory of Optimal Control Using Bisimulations. HSCC 2000: 89-102 - [c192]Marco Sgroi, Julio Leao da Silva Jr., Fernando De Bernardinis, Fred L. Burghardt, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey:
Designing wireless protocols: methodology and applications. ICASSP 2000: 3726-3729 - [c191]Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Cross-Talk Immune VLSI Design Using a Network of PLAs Embedded in a Regular Layout Fabric. ICCAD 2000: 412-418 - [c190]Subarnarekha Sinha, Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks. ICCD 2000: 494-503 - [c189]Alberto L. Sangiovanni-Vincentelli:
Platform-Based Design: A Path to Efficient Design Re-Use. ISQED 2000: 209-210
1990 – 1999
- 1999
- [j98]Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli:
Hybrid control in automotive applications: the cut-off control. Autom. 35(3): 519-535 (1999) - [j97]Adnan Aziz, Felice Balarin, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Equivalences for Fair Kripke Structures. Chic. J. Theor. Comput. Sci. 1999 (1999) - [j96]Edoardo Charbon, Ranjit Gharpurey, Robert G. Meyer, Alberto L. Sangiovanni-Vincentelli:
Substrate optimization based on semi-analytical techniques. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(2): 172-190 (1999) - [j95]Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli:
Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(3): 301-310 (1999) - [j94]Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki:
Synthesis of software programs for embedded control applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(6): 834-849 (1999) - [c188]Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. ICATPN 1999: 208-227 - [c187]Marcello Lajolo, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment. ASP-DAC 1999: 347- - [c186]Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli:
Latency Insensitive Protocols. CAV 1999: 123-133 - [c185]Iason Vassiliou, Alberto L. Sangiovanni-Vincentelli:
A frequency-domain, Volterra series-based behavioral simulation tool for RF systems. CICC 1999: 21-24 - [c184]H. J. H. N. Kenter, Claudio Passerone, W. J. M. Smits, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli:
Designing digital video systems: modeling and scheduling. CODES 1999: 64-68 - [c183]Marcello Lajolo, Mihai T. Lazarescu, Alberto L. Sangiovanni-Vincentelli:
A compilation-based software estimation scheme for hardware/software co-simulation. CODES 1999: 85-89 - [c182]Raul Camposano, Kurt Keutzer, Jerry Fiddler, Alberto L. Sangiovanni-Vincentelli, Jim Lansford:
HW and SW in Embedded System Design: Loveboat, Shipwreck, or Ships Passing in the Night. DAC 1999: 76-77 - [c181]Sunil P. Khatri, Amit Mehrotra, Robert K. Brayton, Ralph H. J. M. Otten, Alberto L. Sangiovanni-Vincentelli:
A Novel VLSI Layout Fabric for Deep Sub-Micron Applications. DAC 1999: 491-496 - [c180]Kaustav Banerjee, Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli, Chenming Hu:
On Thermal Effects in Deep Sub-Micron VLSI Interconnects. DAC 1999: 885-891 - [c179]Bassam Tabbara, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Enrica Filippi, Luciano Lavagno:
Fast Hardware-Software Co-simulation Using VHDL Models. DATE 1999: 309- - [c178]A. Balluchif, Luca Benvenuti, T. Villas, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli:
A case study of hybrid controller synthesis of a heating system. ECC 1999: 1687-1692 - [c177]Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli:
Noise analysis of non-autonomous radio frequency circuits. ICCAD 1999: 55-60 - [c176]Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli:
A methodology for correct-by-construction latency insensitive design. ICCAD 1999: 309-315 - [c175]Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli:
System Design: Traditional Concepts and New Paradigms. ICCD 1999: 2-13 - [c174]Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI 1999: 346-361 - [c173]Alberto L. Sangiovanni-Vincentelli, Marco Re, Luciano Lavagno, Gian Carlo Cardarilli, Roberto Lojacono:
Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion. ISCAS (2) 1999: 334-338 - [c172]Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Sequential Multi-Valued Network Simplification using Redundancy Removal. VLSI Design 1999: 206-211 - 1998
- [j93]Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli:
Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. Des. Autom. Embed. Syst. 3(2-3): 149-161 (1998) - [j92]Felice Balarin, Luciano Lavagno, Praveen K. Murthy, Alberto L. Sangiovanni-Vincentelli:
Scheduling for Embedded Real-Time Systems. IEEE Des. Test Comput. 15(1): 71-82 (1998) - [j91]C. Mark Melliar-Smith, Michael G. Borrus, Douglas E. Haggan, Tyler Lowrey, Alberto L. Sangiovanni-Vincentelli, William W. Troutman:
The transistor: an invention becomes a big business. Proc. IEEE 86(1): 86-110 (1998) - [j90]Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli:
Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. IEEE Trans. Computers 47(11): 1282-1296 (1998) - [j89]Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Theory and algorithms for face hypercube embedding. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(6): 472-488 (1998) - [j88]Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
A framework for comparing models of computation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(12): 1217-1229 (1998) - [j87]Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Modeling reactive systems in Java. ACM Trans. Design Autom. Electr. Syst. 3(4): 515-523 (1998) - [c171]Claudio Passerone, Roberto Passerone, Claudio Sansoè, Jonathan Martin, Alberto L. Sangiovanni-Vincentelli, Rick McGeer:
Modeling reactive systems in Java. CODES 1998: 15-19 - [c170]Jie Liu, Marcello Lajolo, Alberto L. Sangiovanni-Vincentelli:
Software timing analysis using HW/SW cosimulation and instruction set simulator. CODES 1998: 65-69 - [c169]Marcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
A case study on modeling shared memory access effects during performance analysis of HW/SW systems. CODES 1998: 117-121 - [c168]Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli:
Automatic Synthesis of Interfaces Between Incompatible Protocols. DAC 1998: 8-13 - [c167]Tullio Cuatto, Claudio Passerone, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sansoè, Alberto L. Sangiovanni-Vincentelli:
A Case Study in Embedded System Design: An Engine Control Unit. DAC 1998: 804-807 - [c166]Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha:
An Exact Input Encoding Algorithm for BDDs Representing FSMs. Great Lakes Symposium on VLSI 1998: 294-300 - [c165]Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli:
Hybrid Control for Automotive Engine Management: The Cut-Off Case. HSCC 1998: 13-32 - [c164]Wilsin Gosti, Amit Narayan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Wireplanning in logic synthesis. ICCAD 1998: 26-33 - [c163]Enrica Filippi, Luciano Lavagno, L. Licciardi, Archille Montanaro, Maurizio Paolini, Roberto Passerone, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli:
Intellectual Property Re-use in Embedded System Co-design: An Industrial Case Study. ISSS 1998: 37-42 - 1997
- [j86]Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Design of embedded systems: formal models, validation, and synthesis. Proc. IEEE 85(3): 366-390 (1997) - [j85]Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Implicit computation of compatible sets for state minimization of ISFSMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(7): 657-676 (1997) - [j84]Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Explicit and implicit algorithms for binate covering problems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(7): 677-691 (1997) - [j83]Tiziano Villa, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Symbolic two-level minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(7): 692-708 (1997) - [j82]Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Theory and algorithms for state minimization of nondeterministic FSMs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(11): 1311-1322 (1997) - [c162]Claudio Passerone, Luciano Lavagno, Claudio Sansoè, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli:
Trade-off evaluation in embedded system design via co-simulation. ASP-DAC 1997: 291-297 - [c161]Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli:
Automatic Generation of a Real-Time Operating System for Embedded Systems. CODES 1997: 95-100 - [c160]Harry Hsieh, Alberto L. Sangiovanni-Vincentelli:
Modeling micro-controller peripherals for high-level co-simulation and synthesis. CODES 1997: 127-130 - [c159]Felice Balarin, Alberto L. Sangiovanni-Vincentelli:
Schedule Validation for Embedded Reactive Real-Time Systems. DAC 1997: 52-57 - [c158]James A. Rowson, Alberto L. Sangiovanni-Vincentelli:
Interface-Based Design. DAC 1997: 178-183 - [c157]Claudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli:
Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. DAC 1997: 389-394 - [c156]Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Negative thinking by incremental problem solving: application to unate covering. ICCAD 1997: 91-98 - [c155]Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli:
Sequential optimisation without state space exploration. ICCAD 1997: 208-215 - [c154]Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
A fast and robust exact algorithm for face embedding. ICCAD 1997: 296-303 - [c153]Amit Narayan, Adrian J. Isles, Jawahar Jain, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Reachability analysis using partitioned-ROBDDs. ICCAD 1997: 388-393 - [c152]Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli:
Trace driven logic synthesis - application to power minimization. ICCAD 1997: 581-588 - [c151]Premal Buch, Amit Narayan, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli:
Logic synthesis for large pass transistor circuits. ICCAD 1997: 663-670 - [c150]Rajeev K. Ranjan, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions. ICCD 1997: 344-351 - [c149]Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli:
A Survey of Techniques for Formal Verification of Combinational Circuits. ICCD 1997: 445-454 - [c148]Jawahar Jain, Amit Narayan, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli:
Formal Verification of Combinational Circuit. VLSI Design 1997: 218-225 - 1996
- [j81]Massimiliano Chiodo, Daniel W. Engels, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli:
A case study in computer-aided co-design of embedded controllers. Des. Autom. Embed. Syst. 1(1-2): 51-67 (1996) - [j80]Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
A Unified Signal Transition Graph Model for Asynchronous Control Circuit Synthesis. Formal Methods Syst. Des. 9(3): 139-188 (1996) - [j79]Robert R. Neff, Paul R. Gray, Alberto L. Sangiovanni-Vincentelli:
A module generator for high-speed CMOS current output digital/analog converters. IEEE J. Solid State Circuits 31(3): 448-451 (1996) - [j78]Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli:
Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs. Mach. Learn. 25(1): 23-50 (1996) - [j77]Alper Demir, Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli:
Time-domain non-Monte Carlo noise simulation for nonlinear dynamic circuits with arbitrary excitations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(5): 493-505 (1996) - [j76]William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Valid clock frequencies and their computation in wavepipelined circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(7): 791-807 (1996) - [j75]Enrico Malavasi, Edoardo Charbon, Eric Felt, Alberto L. Sangiovanni-Vincentelli:
Automation of IC layout with analog constraints. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(8): 923-942 (1996) - [j74]Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Combinational test generation using satisfiability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(9): 1167-1176 (1996) - [c147]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:
VIS: A System for Verification and Synthesis. CAV 1996: 428-432 - [c146]Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha:
Verification of Electronic Systems. DAC 1996: 106-111 - [c145]Paolo Miliozzi, Iasson Vassiliou, Edoardo Charbon, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli:
Use of Sensitivities and Generalized Substrate Models in Mixed-Signal IC Design. DAC 1996: 227-232 - [c144]Sunil P. Khatri, Amit Narayan, Sriram C. Krishnan, Kenneth L. McMillan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Engineering Change in a Non-Deterministic FSM Setting. DAC 1996: 451-456 - [c143]Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Formal Verification of Embedded Systems based on CFSM Networks. DAC 1996: 568-571 - [c142]Kei Suzuki, Alberto L. Sangiovanni-Vincentelli:
Efficient Software Performance Estimation Methods for Hardware/Software Codesign. DAC 1996: 605-610 - [c141]Jagesh V. Sanghavi, Rajeev K. Ranjan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
High Performance BDD Package By Exploiting Memory Hiercharchy. DAC 1996: 635-640 - [c140]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:
VIS. FMCAD 1996: 248-256 - [c139]Jawahar Jain, Amit Narayan, C. Coelho, Sunil P. Khatri, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Masahiro Fujita:
Decomposition Techniques for Efficient ROBDD Construction. FMCAD 1996: 419-434 - [c138]Edoardo Charbon, Paolo Miliozzi, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli:
Generalized constraint generation in the presence of non-deterministic parasitics. ICCAD 1996: 187-192 - [c137]Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Compact and complete test set generation for multiple stuck-faults. ICCAD 1996: 212-219 - [c136]Edward A. Lee, Alberto L. Sangiovanni-Vincentelli:
Comparing models of computation. ICCAD 1996: 234-241 - [c135]Eric Felt, Stefano Zanella, Carlo Guardiani, Alberto L. Sangiovanni-Vincentelli:
Hierarchical statistical characterization of mixed-signal circuits using behavioral modeling. ICCAD 1996: 374-380 - [c134]Edoardo Charbon, Ranjit Gharpurey, Alberto L. Sangiovanni-Vincentelli, Robert G. Meyer:
Semi-analytical techniques for substrate characterization in the design of mixed-signal ICs. ICCAD 1996: 455-462 - [c133]Iasson Vassiliou, Henry Chang, Alper Demir, Edoardo Charbon, Paolo Miliozzi, Alberto L. Sangiovanni-Vincentelli:
A video driver system designed using a top-down, constraint-driven methodology. ICCAD 1996: 463-468 - [c132]Desmond Kirkpatrick, Alberto L. Sangiovanni-Vincentelli:
Digital sensitivity: predicting signal interaction using functional analysis. ICCAD 1996: 536-541 - [c131]Amit Narayan, Jawahar Jain, Masahiro Fujita, Alberto L. Sangiovanni-Vincentelli:
Partitioned ROBDDs - a compact, canonical and efficiently manipulable representation for Boolean functions. ICCAD 1996: 547-554 - [c130]Rajeev K. Ranjan, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Binary decision diagrams on network of workstation. ICCD 1996: 358-364 - [c129]Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. RSP 1996: 133-139 - [c128]Amit Narayan, Sunil P. Khatri, Jawahar Jain, Masahiro Fujita, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
A study of composition schemes for mixed apply/compose based construction of ROBDDs. VLSI Design 1996: 249-253 - [c127]Eric Felt, Alberto L. Sangiovanni-Vincentelli:
Optimization of analog IC test structures. VTS 1996: 48-53 - 1995
- [j73]Felice Balarin, Alberto L. Sangiovanni-Vincentelli:
An Iterative Approach to Verification of Real-Time Systems. Formal Methods Syst. Des. 6(1): 67-95 (1995) - [j72]Enrico Malavasi, Eric Felt, Edoardo Charbon, Alberto L. Sangiovanni-Vincentelli:
Symbolic compaction with analogue constraints. Int. J. Circuit Theory Appl. 23(4): 433-452 (1995) - [j71]William K. C. Lam, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Delay fault coverage, test set size, and performance trade-offs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(1): 32-44 (1995) - [j70]Luciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
An efficient heuristic procedure for solving the state assignment problem for event-based specifications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(1): 45-60 (1995) - [j69]Luciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli:
Synthesis of hazard-free asynchronous circuits with bounded wire delays. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(1): 61-86 (1995) - [j68]Umakanta Choudhury, Alberto L. Sangiovanni-Vincentelli:
Automatic generation of analytical models for interconnect capacitances. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(4): 470-480 (1995) - [j67]Edward W. Y. Liu, Alberto L. Sangiovanni-Vincentelli:
Verification of Nyquist data converters using behavioral simulation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(4): 493-502 (1995) - [j66]Kurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli:
Synthesis for testability techniques for asynchronous circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(12): 1569-1577 (1995) - [c126]Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli:
Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. DAC 1995: 254-260 - [c125]Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich:
Synthesis of Software Programs for Embedded Control Applications. DAC 1995: 587-592 - [c124]Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Decomposition of logic functions for minimum transition activity. ED&TC 1995: 404-410 - [c123]Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia:
Fast discrete function evaluation using decision diagrams. ICCAD 1995: 402-407 - [c122]Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Sequential synthesis using S1S. ICCAD 1995: 612-617 - [c121]Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Implicit state minimization of non-deterministic FSMs. ICCD 1995: 250-257 - [c120]Arlindo L. Oliveira, Alberto L. Sangiovanni-Vincentelli:
Inferring Reduced Ordered Decision Graphs of Minimum Description Length. ICML 1995: 421-429 - [c119]Alexander Saldanha, Narendra V. Shenoy, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Functional clock schedule optimization. VLSI Design 1995: 93-98 - 1994
- [j65]Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Luciano Lavagno:
Hardware-software codesign of embedded systems. IEEE Micro 14(4): 26-36 (1994) - [j64]Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Satisfaction of input and output encoding constraints. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(5): 589-602 (1994) - [j63]Linda S. Milor, Alberto L. Sangiovanni-Vincentelli:
Minimizing production test time to detect faults in analog circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(6): 796-813 (1994) - [j62]Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Circuit structure relations to redundancy and delay. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(7): 875-883 (1994) - [j61]Luciano Lavagno, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli:
Linear programming for hazard elimination in asynchronous circuits. J. VLSI Signal Process. 7(1-2): 137-160 (1994) - [c118]Felice Balarin, Alberto L. Sangiovanni-Vincentelli:
On the Automatic Computation of Network Invariants. CAV 1994: 234-246 - [c117]Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Harry Hsieh, S. Yee, Alberto L. Sangiovanni-Vincentelli, Kei Suzuki:
A case study in computer-aided codesign of embedded controllers. CODES 1994: 220-224 - [c116]Edoardo Charbon, Enrico Malavasi, Davide Pandini, Alberto L. Sangiovanni-Vincentelli:
Simultaneous Placement and Module Optimization of Analog IC's. DAC 1994: 31-35 - [c115]William K. C. Lam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Exact Minimum Cycle Times for Finite State Machines. DAC 1994: 100-105 - [c114]Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton:
Heuristic Minimization of BDDs Using Don't Cares. DAC 1994: 225-231 - [c113]Ronald Collett, Mike Gianfagna, Michel Courtoy, Martin Baynes, Johan Van Ginderdeuren, Kenneth L. McMillan, Stephen Ricca, Alberto L. Sangiovanni-Vincentelli, Steve Sapiro, Naeem Zafar:
Panel: Complex System Verification: The Challenge Ahead. DAC 1994: 320 - [c112]Rajeev Murgai, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Optimum Functional Decomposition Using Encoding. DAC 1994: 408-414 - [c111]Alexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Performance Optimization Using Exact Sensitization. DAC 1994: 425-429 - [c110]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:
HSIS: A BDD-Based Environment for Formal Verification. DAC 1994: 454-459 - [c109]Maria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, Ken Yamaguchi:
Chain Closure: A Problem in Molecular CAD. DAC 1994: 497-502 - [c108]Patrick C. McGeer, Steven Trimberger, Erik Carlson, Dave Hightower, Ulrich Lauther, Alberto L. Sangiovanni-Vincentelli:
DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques? (Panel). DAC 1994: 503 - [c107]Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
A Fully Implicit Algorithm for Exact State Minimization. DAC 1994: 684-690 - [c106]