| : Learning Automata from Examples using Natural Language Oracles M Vazquez-Chanlatte, K Elmaaroufi, SJ Witwicki, SA Seshia arXiv preprint arXiv:2402.07051, 2024 | | 2024 |
| 2005 Theses by Author UA ACAR, A AKELLA, DK BLANDFORD, AD BROWN, H BURCH, ... | | |
| 2016 IEEE Education Society Awards, 2016 Frontiers in Education Conference Awards, and Selected IEEE Awards EC Jones, KE Wage, SA Seshia, SM Lord, ME Auer, LC Pérez, KSM Li, ... IEEE Transactions on Education 60 (1), 67-77, 2017 | 1 | 2017 |
| 2021 IEEE International Conference On Artificial Intelligence Testing (AITest)| 978-1-6654-3481-2/21/$31.00© 2021 IEEE| DOI: 10.1109/AITEST52744. 2021.00029 S Ali, P Arcaini, MM Arıcı, M Azhar, C Bartelt, MB Bescos del Castillo, ... | | |
| 3.13 Formal Inductive Synthesis/Oracle-Guided Inductive Synthesis SA Seshia Machine Learning and Formal Methods, 65, 0 | | |
| 3.24 Oracle-Guided Synthesis of Machine Learning Models SA Seshia Machine Learning and Model Checking Join Forces, 90, 0 | | |
| 3D Environment Modeling for Falsification and Beyond with Scenic 3.0 E Vin, S Kashiwa, M Rhea, DJ Fremont, E Kim, T Dreossi, S Ghosh, X Yue, ... International Conference on Computer Aided Verification, 253-265, 2023 | 1 | 2023 |
| A boolean approach to unbounded, fully symbolic model checking of timed automata SA Seshia, R Bryant School of Computer Science, Carnegie Mellon University, 2003 | 4 | 2003 |
| A comparison and combination of theory generation and model checking for security protocol analysis NJ Hopper, SA Seshia, JM Wing, A Ebnenasir, Z Yang Proceedings of the Workshop on Formal Methods in Computer Security, 100-107, 2000 | 4 | 2000 |
| A compiler and verifier for page access oblivious computation R Sinha, S Rajamani, SA Seshia Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 36 | 2017 |
| A contract-based methodology for aircraft electric power system design P Nuzzo, H Xu, N Ozay, JB Finn, AL Sangiovanni-Vincentelli, RM Murray, ... IEEE Access 2, 1-25, 2013 | 182 | 2013 |
| A customizable dynamic scenario modeling and data generation platform for autonomous driving J Shenoy, E Kim, X Yue, T Park, D Fremont, A Sangiovanni-Vincentelli, ... arXiv preprint arXiv:2011.14551, 2020 | 2 | 2020 |
| A design and verification methodology for secure isolated regions R Sinha, M Costa, A Lal, NP Lopes, S Rajamani, SA Seshia, K Vaswani ACM SIGPLAN Notices 51 (6), 665-681, 2016 | 81 | 2016 |
| A formal approach to secure speculation K Cheang, C Rasmussen, S Seshia, P Subramanyan 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 288-28815, 2019 | 92 | 2019 |
| A formal foundation for secure remote execution of enclaves P Subramanyan, R Sinha, I Lebedev, S Devadas, SA Seshia Proceedings of the 2017 ACM SIGSAC conference on computer and communications …, 2017 | 157 | 2017 |
| A formalization of robustness for deep neural networks T Dreossi, S Ghosh, A Sangiovanni-Vincentelli, SA Seshia arXiv preprint arXiv:1903.10033, 2019 | 33 | 2019 |
| A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies P Mallozzi, H Sibai, I Incer, SA Seshia, A Sangiovanni-Vincentelli arXiv preprint arXiv:2302.13980, 2023 | | 2023 |
| A graphical environment for the specification and verification of reactive systems A Pasquini, AK Bhattacharjee, SD Dhodapkar, S Seshia, ... Computer Safety, Reliability and Security: 18th International Conference …, 1999 | 9 | 1999 |
| A hybrid SAT-based decision procedure for separation logic with uninterpreted functions SA Seshia, SK Lahiri, RE Bryant Proceedings of the 40th annual Design Automation Conference, 425-430, 2003 | 119 | 2003 |
| A learning based approach to control synthesis of markov decision processes for linear temporal logic specifications D Sadigh, ES Kim, S Coogan, SS Sastry, SA Seshia 53rd IEEE Conference on Decision and Control, 1091-1096, 2014 | 203 | 2014 |
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
