Alberto Sangiovanni Vincentelli
University of California, Berkeley
H-index: 128
North America-United States
Top articles of Alberto Sangiovanni Vincentelli
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Learning to Generate All Feasible Actions | IEEE Access | Mirco Theile Daniele Bernardini Raphael Trumpp Cristina Piazza Marco Caccamo | 2024/3/13 |
Synthesizing LTL contracts from component libraries using rich counterexamples | Science of Computer Programming | Antonio Iannopollo Inigo Incer Alberto L Sangiovanni-Vincentelli | 2024/4/5 |
Equivariant Ensembles and Regularization for Reinforcement Learning in Map-based Path Planning | arXiv preprint arXiv:2403.12856 | Mirco Theile Hongpeng Cao Marco Caccamo Alberto L Sangiovanni-Vincentelli | 2024/3/19 |
Efficient encodings for scalable exploration of cyber-physical system architectures | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Dmitrii Kirov Pierluigi Nuzzo Alberto Sangiovanni-Vincentelli Roberto Passerone | 2023/8/22 |
Scenic: A language for scenario specification and data generation | Machine Learning | Daniel J Fremont Edward Kim Tommaso Dreossi Shromona Ghosh Xiangyu Yue | 2023/10 |
Algorithms for context-aided variable elimination | Inigo Incer Albert Benveniste Richard M Murray Alberto L Sangiovanni-Vincentelli Sanjit A Seshia | 2023/1/28 | |
Contract-based specification refinement and repair for mission planning | Piergiuseppe Mallozzi Inigo Incer Pierluigi Nuzzo Alberto Sangiovanni-Vincentelli | 2023/5/14 | |
Backdoor Defense with Non-Adversarial Backdoor | arXiv preprint arXiv:2307.15539 | Min Liu Alberto Sangiovanni-Vincentelli Xiangyu Yue | 2023/7/28 |
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems | Sheng-Jung Yu Inigo Incer Alberto Sangiovanni-Vincentelli | 2023/9/21 | |
Beating Backdoor Attack at Its Own Game | Min Liu Alberto Sangiovanni-Vincentelli Xiangyu Yue | 2023 | |
Floorplet: Performance-aware Floorplan Framework for Chiplet Integration | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Shixin Chen Shanyi Li Zhen Zhuang Su Zheng Zheng Liang | 2023/12/28 |
Symbiotic CPS Design-Space Exploration through Iterated Optimization | Sheng-Jung Yu Inigo Incer Valmik Prabhu Anwesha Chattoraj Eric Vin | 2023/5/9 | |
3D Environment Modeling for Falsification and Beyond with Scenic 3.0 | Eric Vin Shun Kashiwa Matthew Rhea Daniel J Fremont Edward Kim | 2023/7/17 | |
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts | Sheng-Jung Yu Inigo Incer Alberto Sangiovanni-Vincentelli | 2023/9/21 | |
Platform-based design for energy systems | Applied Energy | Matthias Sulzer Michael Wetter Robin Mutschler Alberto Sangiovanni-Vincentelli | 2023/12/15 |
Pacti: Scaling assume-guarantee reasoning for system analysis and design | arXiv preprint arXiv:2303.17751 | Inigo Incer Apurva Badithela Josefine Graebener Piergiuseppe Mallozzi Ayush Pandey | 2023/3/31 |
SARS-CoV-2 Inactivation in Aerosol by Means of Radiated Microwaves | Viruses | Antonio Manna Davide De Forni Marco Bartocci Nicola Pasculli Barbara Poddesu | 2023/6/27 |
Some Algebraic Aspects of Assume-Guarantee Reasoning | arXiv preprint arXiv:2309.08875 | Inigo Incer Albert Benveniste Alberto Sangiovanni-Vincentelli | 2023/9/16 |
Reply to Taylor et al. Comment on “Manna et al. SARS-CoV-2 Inactivation in Aerosol by Means of Radiated Microwaves. Viruses 2023, 15, 1443” | Viruses | Antonio Manna Davide De Forni Marco Bartocci Nicola Pasculli Barbara Poddesu | 2023/10/18 |
Automated design of chiplets | Alberto Sangiovanni-Vincentelli Zheng Liang Zhe Zhou Jiaxi Zhang | 2023/3/26 |