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
- 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) - [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 - [i57]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) - [i56]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) - [i55]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) - 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]