I agree that this site is using cookies. You can find further informations here.
X
Seshia, Sanjit
417  results:
Search for persons X
?
1

SMT-Based Dynamic Multi-Robot Task Allocation:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Tuck, Victoria Marie ; Chen, Pei-Wei ; Fainekos, Georgios... - p. 331-351 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Lifting Micro-Update Models from RTL for Formal Security An..:

, In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2,
Godbole, Adwait ; Cheang, Kevin ; Manerkar, Yatin A.. - p. 631-648 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Learning Monitor Ensembles for Operational Design Domains:

, In: Runtime Verification; Lecture Notes in Computer Science,
Torfah, Hazem ; Joshi, Aniruddha ; Shah, Shetal... - p. 271-290 , 2023
Link: https://doi.org/10.1007/..
 
?
4

3D Environment Modeling for Falsification and Beyond with S..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Vin, Eric ; Kashiwa, Shun ; Rhea, Matthew... - p. 253-265 , 2023
Link: https://doi.org/10.1007/..
 
?
5

WGT: Tools and algorithms for recognizing, visualizing, and..:

Chao, Kuan-Hao ; Chen, Pei-Wei ; Seshia, Sanjit A..
iScience.  26 (2023)  8 - p. 107402 , 2023
Link: https://doi.org/10.1016/..
 
?
6

Symbiotic CPS Design-Space Exploration through Iterated Opt..:

, In: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023,
Yu, Sheng-Jung ; Incer, Inigo ; Prabhu, Valmik... - p. 92-99 , 2023
Link: https://dl.acm.org/doi/1..
 
?
7

Towards Building Verifiable CPS using Lingua Franca:

Lin, Shaokai ; Manerkar, Yatin A. ; Lohstroh, Marten...
ACM Transactions on Embedded Computing Systems.  22 (2023)  5s - p. 1-24 , 2023
Link: https://doi.org/10.1145/..
 
?
8

Compositional Simulation-Based Analysis of AI-Based Autonom..:

, In: Runtime Verification; Lecture Notes in Computer Science,
Yalcinkaya, Beyazit ; Torfah, Hazem ; Fremont, Daniel J.. - p. 191-212 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Modelling and Verification of Security-Oriented Resource Pa..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Godbole, Adwait ; Ye, Leiqi ; Manerkar, Yatin A.. - p. 268-273 , 2023
Link: https://doi.org/10.34727..
 
?
10

Ulgen: A Runtime Assurance Framework for Programming Safe C..:

Yalcinkaya, Beyazit ; Torfah, Hazem ; Desai, Ankush.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  42 (2023)  11 - p. 3679-3692 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Message Chains for Distributed System Verification:

Mora, Federico ; Desai, Ankush ; Polgreen, Elizabeth.
Proceedings of the ACM on Programming Languages.  7 (2023)  OOPSLA2 - p. 2224-2250 , 2023
Link: https://doi.org/10.1145/..
 
?
12

Satisfiability and Synthesis Modulo Oracles:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,
Polgreen, Elizabeth ; Reynolds, Andrew ; Seshia, Sanjit A. - p. 263-284 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Machine learning and logic: a new frontier in artificial in..:

Ganesh, Vijay ; Seshia, Sanjit A. ; Jha, Somesh
Formal Methods in System Design.  60 (2022)  3 - p. 426-451 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Learning Deterministic Finite Automata Decompositions from ..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Lauffer, Niklas ; Yalcinkaya, Beyazit ; Vazquez-Chanlatte, Marcell.. - p. 1-6 , 2022
Link: https://doi.org/10.34727..
 
?
15

Automated Conversion of Axiomatic to Operational Models: Th..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Godbole, Adwait ; Manerkar, Yatin A. ; Seshia, Sanjit A. - p. 331-342 , 2022
Link: https://doi.org/10.34727..
 
1-15