


default search action
Alberto 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
- [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) - 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 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 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 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, R. 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]