Alberto L. Sangiovanni-Vincentelli

ORCID

Publication Activity (10 Years)

Years Active: 1973-2024
Publications (10 Years): 154

Top Venues

Publications

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) (2024)
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) (2024)
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 (2023)
Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Context-Aided Variable Elimination for Requirement Engineering. CoRR (2023)
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 (2023)
Min Liu, Alberto L. Sangiovanni-Vincentelli, Xiangyu Yue
Beating Backdoor Attack at Its Own Game. ICCV (2023)
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
Contract-Based Specification Refinement and Repair for Mission Planning. FormaliSE (2023)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli
Some Algebraic Aspects of Assume-Guarantee Reasoning. CoRR (2023)
Min Liu, Alberto L. Sangiovanni-Vincentelli, Xiangyu Yue
Backdoor Defense with Non-Adversarial Backdoor. CoRR (2023)
Mirco Theile, Harald Bayerlein, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli
Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning. CoRR (2023)
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)
Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. MEMOCODE (2023)
Mirco Theile, Daniele Bernardini, Raphael Trumpp, Cristina Piazza, Marco Caccamo, Alberto L. Sangiovanni-Vincentelli
Learning to Generate All Feasible Actions. CoRR (2023)
Alberto L. Sangiovanni-Vincentelli, Zheng Liang, Zhe Zhou, Jiaxi Zhang
Automated Design of Chiplets. ISPD (2023)
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 (2023)
Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. MEMOCODE (2023)
Alberto L. Sangiovanni-Vincentelli
Quo Vadis IC System Design? IWASI (2023)
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) (2023)
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 (2023)
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 (2023)
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)
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)
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)
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)
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) (2022)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
From Interface Automata to Hypercontracts. Principles of Systems Design (2022)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Hypercontracts. NFM (2022)
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)
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) (2022)
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) (2022)
Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
Contract-Based Specification Refinement and Repair for Mission Planning. CoRR (2022)
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)
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 (2021)
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) (2021)
Bo Pang, Ashank Verma, Jingchao Zhou, Inigo Incer, Alberto L. Sangiovanni-Vincentelli
The cyber-physical immune system: work-in-progress. EMSOFT (2021)
Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Safety in Autonomous Driving: Can Tools Offer Guarantees? DAC (2021)
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 (2021)
Zangwei Zheng, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
Scene-aware Learning Network for Radar Object Detection. ICMR (2021)
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) (2021)
Matteo Guarrera, Baihong Jin, Tung-Wei Lin, Maria Zuluaga, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli
Class-wise Thresholding for Detecting Out-of-Distribution Data. CoRR (2021)
Xiangyu Yue, Zangwei Zheng, Colorado Reed, Hari Prasanna Das, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
Multi-source Few-shot Domain Adaptation. CoRR (2021)
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 (2021)
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)
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) (2021)
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 (2021)
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 (2021)
Zangwei Zheng, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli
Scene-aware Learning Network for Radar Object Detection. CoRR (2021)
Florian Hofer, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo
Industrial control via application containers: Maintaining determinism in IAAS. Syst. Eng. 24 (5) (2021)
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Hypercontracts. CoRR (2021)
Florian Hofer, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo
Industrial Control via Application Containers: Maintaining determinism in IAAS. CoRR (2020)
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) (2020)
Baihong Jin, Yingshui Tan, Albert Liu, Xiangyu Yue, Yuxin Chen, Alberto L. Sangiovanni-Vincentelli
Using Ensemble Classifiers to Detect Incipient Anomalies. CoRR (2020)
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) (2020)
Yingshui Tan, Baihong Jin, Qiushi Cui, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli
Generalizing Fault Detection Against Domain Shifts Using Stratification-Aware Cross-Validation. CoRR (2020)
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 (2020)
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 (2020)
Florian Hofer, Martin A. Sehr, Barbara Russo, Alberto L. Sangiovanni-Vincentelli
ODRE Workshop: Probabilistic Dynamic Hard Real-Time Scheduling in HPC. ISORC (2020)
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 (2020)
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 (2020)
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 (2020)
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 (2020)
Íñigo X. Íncer Romeo, Leonardo Mangeruca, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
The Quotient in Preorder Theories. GandALF (2020)
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)
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 (2019)
Pan Li, Baihong Jin, Ruoxuan Xiong, Dai Wang, Alberto L. Sangiovanni-Vincentelli, Baosen Zhang
A tractable ellipsoidal approximation for voltage regulation problems. ACC (2019)
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 (2019)
Pan Li, Baihong Jin, Ruoxuan Xiong, Dai Wang, Alberto L. Sangiovanni-Vincentelli, Baosen Zhang
A tractable ellipsoidal approximation for voltage regulation problems. CoRR (2019)
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) (2019)
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)
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)
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)
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)
Florian Hofer, Martin A. Sehr, Alberto L. Sangiovanni-Vincentelli, Barbara Russo
Probabilistic Dynamic Hard Real-Time Scheduling in HPC. CoRR (2019)
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)
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
A Formalization of Robustness for Deep Neural Networks. CoRR (2019)
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)
Alberto L. Sangiovanni-Vincentelli
My 50-Year Journey from Punched Cards to Swarm Systems. ISPD (2019)
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 (2019)
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)
Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
Constrained synthesis from component libraries. Sci. Comput. Program. 171 (2019)
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 (2019)
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)
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 (2019)
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)
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 (2019)
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 (2019)
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) (2019)
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) (2019)
Alberto L. Sangiovanni-Vincentelli
Comparing Innovation ecosystems. IWASI (2019)
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) (2018)
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) (2018)
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) (2018)
Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang
Quotient for Assume-Guarantee Contracts. MEMOCODE (2018)
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)
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 (2018)
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
Time Series Learning using Monotonic Logical Properties. CoRR (2018)
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)
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) (2018)
Qi Zhu, Alberto L. Sangiovanni-Vincentelli, Shiyan Hu, Xin Li
Design Automation for Cyber-Physical Systems [Scanning the Issue]. Proc. IEEE 106 (9) (2018)
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) (2018)

Alberto L. Sangiovanni-Vincentelli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alberto L. Sangiovanni-Vincentelli