Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alberto L. Sangiovanni-Vincentelli
conf.researchr.org general profile
ICSE 2023 profile
PLDI 2019 profile
Not registered as user
Name:
Alberto L. Sangiovanni-Vincentelli
Affiliation:
University of California at Berkeley, USA
Contributions
2023
FormaliSE
Author of Contract-Based Specification Refinement and Repair for Mission Planning within the FormaliSE 2023-track
2019
PLDI
Author of Scenic: A Language for Scenario Specification and Scene Generation within the PLDI Research Papers-track
Share
x
Wed 25 Dec 21:34