Shromona Ghosh
Shromona Ghosh
Graduate Student Researcher, University of California, Berkeley
Verified email at berkeley.edu - Homepage
Title
Cited by
Cited by
Year
Measurement of jet fragmentation in PbPb and collisions at TeV
S Chatrchyan, V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, ...
Physical Review C 90 (2), 024908, 2014
2702014
Robust online monitoring of signal temporal logic
JV Deshmukh, A Donzé, S Ghosh, X Jin, G Juniwal, SA Seshia
Formal Methods in System Design 51 (1), 5-30, 2017
792017
Search for a singly produced third-generation scalar leptoquark decaying to a τ lepton and a bottom quark in proton-proton collisions at TeV
AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ...
Journal of High Energy Physics 2018 (7), 115, 2018
432018
Scenic: a language for scenario specification and scene generation
DJ Fremont, T Dreossi, S Ghosh, X Yue, AL Sangiovanni-Vincentelli, ...
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
37*2019
Formal specification for deep neural networks
SA Seshia, A Desai, T Dreossi, DJ Fremont, S Ghosh, E Kim, ...
International Symposium on Automated Technology for Verification and …, 2018
322018
Measurement of b hadron lifetimes in pp collisions at TeV
AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ...
The European Physical Journal C 78 (6), 457, 2018
322018
CMS Collaboration
AM Sirunyan, A Tumasyan, W Adam, E Asilar, T Bergauer, J Brandstetter, ...
322017
Diagnosis and repair for synthesis from signal temporal logic specifications
S Ghosh, D Sadigh, P Nuzzo, V Raman, A Donzé, ...
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
322016
Systematic testing of convolutional neural networks for autonomous driving
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
Reliable Machine Learning in the Wild (RMLW) Workshop at International …, 2017
312017
Counterexample-guided data augmentation
T Dreossi, S Ghosh, X Yue, K Keutzer, A Sangiovanni-Vincentelli, ...
Proceedings of the Twenty-Seventh International Joint Conference on …, 2018
302018
Erratum: Search for the associated production of the Higgs boson with a top-quark pair
V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, T Bergauer, ...
Journal of High Energy Physics 2014 (10), 106, 2014
292014
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems
T Dreossi, DJ Fremont, S Ghosh, E Kim, H Ravanbakhsh, ...
International Conference on Computer Aided Verification, 432-442, 2019
262019
Biosurfactants in food
D Sharma
Springer International Publishing, 2016
192016
Measurement of exclusive ρ(770)0 photoproduction in ultraperipheral pPb collisions at √sNN=5.02Te
A Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ...
European Physical Journal C 79 (8), 2019
162019
Verifying Controllers Against Adversarial Examples with Bayesian Optimization
S Ghosh, F Berkenkamp, G Ranade, S Qadeer, A Kapoor
IEEE International Conference on Robotics and Automation, (ICRA) 2018 …, 2018
152018
A Formalization of Robustness for Deep Neural Networks
T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia
AAAI Spring Symposium on Verification of Neural Networks 2019, 2019
122019
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
A Desai, S Ghosh, SA Seshia, N Shankar, A Tiwari
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems …, 2019
102019
Bridging hamilton-jacobi safety analysis and reinforcement learning
JF Fisac, NF Lugovoy, V Rubies-Royo, S Ghosh, CJ Tomlin
2019 International Conference on Robotics and Automation (ICRA), 8550-8556, 2019
92019
Studies of Beauty Suppression via Nonprompt Mesons in Pb-Pb Collisions at
AM Sirunyan, A Tumasyan, W Adam, F Ambrogi, E Asilar, T Bergauer, ...
Physical review letters 123 (2), 022001, 2019
82019
Time-series learning using monotonic logical properties
M Vazquez-Chanlatte, S Ghosh, JV Deshmukh, A Sangiovanni-Vincentelli, ...
International Conference on Runtime Verification, 389-405, 2018
82018
The system can't perform the operation now. Try again later.
Articles 1–20