Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlberto L. Sangiovanni-Vincentelli
Person information
- affiliation: University of California, Berkeley, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c457]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- [c456]Alberto L. Sangiovanni-Vincentelli, Zheng Liang, Zhe Zhou, Jiaxi Zhang:
Automated Design of Chiplets. ISPD 2023: 1-8 - [i49]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) - [i48]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) - [i47]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) - [i46]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) - [i45]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) - 2022
- [j222]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) - [j221]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) - [j220]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) - [c455]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 - [c454]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 - [c453]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
From Interface Automata to Hypercontracts. Principles of Systems Design 2022: 477-493 - [c452]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 - [c451]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 - [c450]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 - [c449]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
- [j219]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) - [j218]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) - [j217]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) - [j216]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) - [j215]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) - [c448]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 - [c447]Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Safety in Autonomous Driving: Can Tools Offer Guarantees? DAC 2021: 1311-1314 - [c446]Bo Pang, Ashank Verma, Jingchao Zhou, Inigo Incer, Alberto L. Sangiovanni-Vincentelli:
The cyber-physical immune system: work-in-progress. EMSOFT 2021: 43-44 - [c445]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
- [j214]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) - [j213]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) - [c444]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 - [c443]Íñ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
- [j212]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Constrained synthesis from component libraries. Sci. Comput. Program. 171: 21-41 (2019) - [j211]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) - [j210]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) - [j209]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) - [c442]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 - [c441]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 - [c440]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 - [c439]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 - [c438]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 - [c437]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 - [c436]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 - [c435]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 - [c434]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 - [c433]Alberto L. Sangiovanni-Vincentelli:
My 50-Year Journey from Punched Cards to Swarm Systems. ISPD 2019: 123-125 - [c432]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 - [c431]Alberto L. Sangiovanni-Vincentelli:
Comparing Innovation ecosystems. IWASI 2019: 7 - [c430]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
- [j208]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) - [j207]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) - [j206]Qi Zhu, Alberto L. Sangiovanni-Vincentelli:
Codesign Methodologies and Tools for Cyber-Physical Systems. Proc. IEEE 106(9): 1484-1500 (2018) - [j205]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) - [j204]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) - [j203]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) - [j202]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) - [j201]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) - [c429]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 - [c428]Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Hierarchical System Design with Vertical Contracts. Principles of Modeling 2018: 360-382 - [c427]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 - [c426]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 - [c425]Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. DATE 2018: 1574-1579 - [c424]Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Counterexample-Guided Data Augmentation. IJCAI 2018: 2071-2078 - [c423]Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang:
Quotient for Assume-Guarantee Contracts. MEMOCODE 2018: 67-77 - [c422]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 - [c421]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
- [j200]Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli:
CSL4P: A Contract Specification Language for Platforms. Syst. Eng. 20(3): 220-234 (2017) - [j199]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) - [j198]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) - [j197]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) - [c420]Baihong Jin, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Online computation of polytopic flexibility models for demand shifting applications. CASE 2017: 900-905 - [c419]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 - [c418]Ali Moin, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey:
Optimized Design of a Human Intranet Network. DAC 2017: 30:1-30:6 - [c417]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 - [c416]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 - [c415]Alberto L. Sangiovanni-Vincentelli, Benedetto Vigna:
Autonomous vehicles: A playground for sensors. IWASI 2017: 2 - [c414]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 - [c413]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]