Shromona Ghosh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2015–2023
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CAV | 3D Environment Modeling for Falsification and Beyond with Scenic 3.0. | Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2019 | CAV | VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. | Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia |
| 2019 | DSN | SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. | Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari |
| 2019 | ICRA | Bridging Hamilton-Jacobi Safety Analysis and Reinforcement Learning. | Jaime F. Fisac, Neil F. Lugovoy, Vicenc Rubies-Royo, Shromona Ghosh, Claire J. Tomlin |
| 2019 | PLDI | Scenic: a language for scenario specification and scene generation. | Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2018 | ATVA | Formal Specification for Deep Neural Networks. | Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue |
| 2018 | IJCAI | Counterexample-Guided Data Augmentation. | Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2018 | ICRA | Verifying Controllers Against Adversarial Examples with Bayesian Optimization. | Shromona Ghosh, Felix Berkenkamp, Gireeja Ranade, Shaz Qadeer, Ashish Kapoor |
| 2018 | RV | Time-Series Learning Using Monotonic Logical Properties. | Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2015 | RV | Robust Online Monitoring of Signal Temporal Logic. | Jyotirmoy V. Deshmukh, Alexandre Donz, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia |