default search action

combined dblp search
author search
venue search
publication search

ask others

Sanjit A. Seshia

Sanjit Seshia

> Home > Persons

Person information

affiliation: University of California, Berkeley, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/QiuCBHSC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/QiuCBHSC24
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact). Dagstuhl Artifacts Ser. 10(2): 17:1-17:2 (2024)
[c201]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ShahMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ShahMS24
Amar Shah, Federico Mora, Sanjit A. Seshia:
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. AAAI 2024: 8099-8107
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/GodboleCMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/GodboleCMS24
Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia:
Lifting Micro-Update Models from RTL for Formal Security Analysis. ASPLOS (2) 2024: 631-648
[c199]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/QiuCBHSC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/QiuCBHSC24
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. ECOOP 2024: 32:1-32:28
[c198]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/TuckCFHOSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/TuckCFHOSS24
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia:
SMT-Based Dynamic Multi-Robot Task Allocation. NFM 2024: 331-351
[c197]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ChangXKSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChangXKSS24
Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Dynamic, Multi-objective Specification and Falsification of Autonomous CPS. RV 2024: 40-58
[i106]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-07051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-07051
Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia:
L^*LM: Learning Automata from Examples using Natural Language Oracles. CoRR abs/2402.07051 (2024)
[i105]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-11737
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-11737
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia:
SMT-Based Dynamic Multi-Robot Task Allocation. CoRR abs/2403.11737 (2024)
[i104]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-11578
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-11578
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia:
Deep Policy Optimization with Temporal Logic Constraints. CoRR abs/2404.11578 (2024)
[i103]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-18249
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-18249
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations. CoRR abs/2404.18249 (2024)
[i102]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-03709
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-03709
Karim Elmaaroufi, Devan Shanker, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto L. Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia:
Generating Probabilistic Scenario Programs from Natural Language. CoRR abs/2405.03709 (2024)
[i101]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-06624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-06624
David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, Joshua B. Tenenbaum:
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR abs/2405.06624 (2024)
[i100]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-03003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-03003
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Verified Code Transpilation with LLMs. CoRR abs/2406.03003 (2024)
[i99]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-03636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-03636
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia:
Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages. CoRR abs/2406.03636 (2024)
[i98]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-05403
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-05403
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia:
SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns. CoRR abs/2406.05403 (2024)
[i97]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-06253
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-06253
Shaokai Lin, Erling Rennemo Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jerónimo Castrillón, Sanjit Seshia, Edward A. Lee:
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. CoRR abs/2406.06253 (2024)
2023
[j40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ml/FremontKDGYSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ml/FremontKDGYSS23
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: a language for scenario specification and data generation. Mach. Learn. 112(10): 3805-3849 (2023)
[j39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/MoraDPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/MoraDPS23
Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia:
Message Chains for Distributed System Verification. Proc. ACM Program. Lang. 7(OOPSLA2): 2224-2250 (2023)
[j38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcad/YalcinkayaTDS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/YalcinkayaTDS23
Beyazit Yalcinkaya, Hazem Torfah, Ankush Desai, Sanjit A. Seshia:
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11): 3679-3692 (2023)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/LinMLPYJLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/LinMLPYJLS23
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia:
Towards Building Verifiable CPS using Lingua Franca. ACM Trans. Embed. Comput. Syst. 22(5s): 155:1-155:24 (2023)
[c196]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/VinKRFKDGYSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/VinKRFKDGYSS23
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CAV (1) 2023: 253-265
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/cpsweek/YuIPCVFMS0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/YuIPCVFMS0S23
Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry, Sanjit A. Seshia:
Symbiotic CPS Design-Space Exploration through Iterated Optimization. CPS-IoT Week Workshops 2023: 92-99
[c194]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/BhatiaKSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BhatiaKSC23
Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung:
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). ECOOP 2023: 38:1-38:30
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GodboleYMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GodboleYMS23
Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia:
Modelling and Verification of Security-Oriented Resource Partitioning Schemes. FMCAD 2023: 268-273
[c192]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/YalcinkayaTFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/YalcinkayaTFS23
Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia:
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. RV 2023: 191-212
[c191]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/TorfahJSACS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/TorfahJSACS23
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia:
Learning Monitor Ensembles for Operational Design Domains. RV 2023: 271-290
[i96]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-13980
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-13980
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli:
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies. CoRR abs/2302.13980 (2023)
[i95]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-17010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-17010
Ameesh Shah, Jonathan A. DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia:
Specification-Guided Data Aggregation for Semantically Aware Imitation Learning. CoRR abs/2303.17010 (2023)
[i94]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-17751
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-17751
Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design. CoRR abs/2303.17751 (2023)
[i93]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-17596
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-17596
Inigo Incer, Albert Benveniste, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Context-Aided Variable Elimination for Requirement Engineering. CoRR abs/2305.17596 (2023)
[i92]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-00521
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-00521
Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia:
Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis. CoRR abs/2306.00521 (2023)
[i91]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-03325
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-03325
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
3D Environment Modeling for Falsification and Beyond with Scenic 3.0. CoRR abs/2307.03325 (2023)
[i90]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-10434
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-10434
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia:
Learning Formal Specifications from Membership and Preference Queries. CoRR abs/2307.10434 (2023)
[i89]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-12234
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-12234
Amar Shah, Federico Mora, Sanjit A. Seshia:
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. CoRR abs/2310.12234 (2023)
2022
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Seshia22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Seshia22
Sanjit A. Seshia:
Explorations in cyber-physical systems education. Commun. ACM 65(5): 60-69 (2022)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/SeshiaSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/SeshiaSS22
Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry:
Toward verified artificial intelligence. Commun. ACM 65(7): 46-55 (2022)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GaneshSJ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GaneshSJ22
Vijay Ganesh, Sanjit A. Seshia, Somesh Jha:
Machine learning and logic: a new frontier in artificial intelligence. Formal Methods Syst. Des. 60(3): 426-451 (2022)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/tnn/ZhaoYZLZWKGSSK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnn/ZhaoYZLZWKGSSK22
Sicheng Zhao, Xiangyu Yue, Shanghang Zhang, Bo Li, Han Zhao, Bichen Wu, Ravi Krishna, Joseph E. Gonzalez, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Kurt Keutzer:
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. IEEE Trans. Neural Networks Learn. Syst. 33(2): 473-493 (2022)
[c190]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AzadKWLSASS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AzadKWLSASS22
Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning. AAAI 2022: 6028-6036
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/TorfahXJVS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/TorfahXJVS22
Hazem Torfah, Carol Xie, Sebastian Junges, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Monitorable Operational Design Domains for Assured Autonomy. ATVA 2022: 3-22
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/IncerBSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/IncerBSS22
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
From Interface Automata to Hypercontracts. Principles of Systems Design 2022: 477-493
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/PolgreenCGGLLMM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PolgreenCGGLLMM22
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia:
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. CAV (1) 2022: 538-551
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/LeeCTLGVVSSA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/LeeCTLGVVSSA22
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic:
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. CCS 2022: 1871-1885
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/LaufferYVSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LaufferYVSS22
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia:
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. FMCAD 2022: 1-6
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GodboleMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GodboleMS22
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia:
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. FMCAD 2022: 331-342
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/KimSJFSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/KimSJFSS22
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS 2022: 34-45
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/KimSJFSS22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/KimSJFSS22a
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. ICCPS 2022: 322-323
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/PantKSKVKHS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/PantKSKVKHS22
Yash Vardhan Pant, Balasaravanan Thoravi Kumaravel, Ameesh Shah, Erin Kraemer, Marcell Vazquez-Chanlatte, Kshitij Kulkarni, Bjoern Hartmann, Sanjit A. Seshia:
Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs. ITSC 2022: 2585-2592
[c180]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/IncerBSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/IncerBSS22
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. NFM 2022: 674-692
[c179]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/PolgreenRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/PolgreenRS22
Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia:
Satisfiability and Synthesis Modulo Oracles. VMCAI 2022: 263-284
[i88]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2203-02609
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2203-02609
Victoria Tuck, Yash Vardhan Pant, Sanjit A. Seshia, S. Shankar Sastry:
DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication. CoRR abs/2203.02609 (2022)
[i87]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-13013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-13013
Niklas Lauffer, Beyazit Yalcinkaya, Marcell Vazquez-Chanlatte, Ameesh Shah, Sanjit A. Seshia:
Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations. CoRR abs/2205.13013 (2022)
[i86]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-03699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-03699
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia:
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis. CoRR abs/2208.03699 (2022)
[i85]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-06733
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-06733
Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia:
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. CoRR abs/2208.06733 (2022)
[i84]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-15253
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-15253
Dayeol Lee, Kevin Cheang, Alexander Thomas, Catherine Lu, Pranav Gaddamadugu, Anjo Vahldiek-Oberwagner, Mona Vij, Dawn Song, Sanjit A. Seshia, Krste Asanovic:
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing. CoRR abs/2209.15253 (2022)
[i83]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-02179
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-02179
Kevin Cheang, Cameron Rasmussen, Dayeol Lee, David W. Kohlbrenner, Krste Asanovic, Sanjit A. Seshia:
Verifying RISC-V Physical Memory Protection. CoRR abs/2211.02179 (2022)
[i82]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-02795
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-02795
Ritwik Gupta, Alexander M. Bayen, Sarah Rohrschneider, Adrienne Fulk, Andrew W. Reddie, Sanjit A. Seshia, Shankar Sastry, Janet Napolitano:
Emerging Technology and Policy Co-Design Considerations for the Safe and Transparent Use of Small Unmanned Aerial Systems. CoRR abs/2212.02795 (2022)
2021
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/AlexandruGSSTP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/AlexandruGSSTP21
Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas:
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. IEEE Trans. Autom. Control. 66(5): 2357-2364 (2021)
[c178]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/VaezipoorLWMGSB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/VaezipoorLWMGSB21
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Sanjit A. Seshia, Fahiem Bacchus:
Learning Branching Heuristics for Propositional Model Counting. AAAI 2021: 12427-12435
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/aitest/ViswanadhaIWKKP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aitest/ViswanadhaIWKKP21
Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia:
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. AITest 2021: 136-142
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/GhoshPRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/GhoshPRS21
Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, Sanjit A. Seshia:
Counterexample-Guided Synthesis of Perception Models and Control. ACC 2021: 3447-3454
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/PantYAS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/PantYAS21
Yash Vardhan Pant, He Yin, Murat Arcak, Sanjit A. Seshia:
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. ACC 2021: 4209-4216
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/asiaccs/KushwahDSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asiaccs/KushwahDSS21
Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia:
PSec: Programming Secure Distributed Systems using Enclaves. AsiaCCS 2021: 802-816
[c173]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JungesTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JungesTS20
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitors for Markov Decision Processes. CAV (2) 2021: 553-576
[c172]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/HoltzenJVMSB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HoltzenJVMSB20
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CAV (2) 2021: 577-601
[c171]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JungesJS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JungesJS20
Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) 2021: 602-625
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/ccta/TuckPSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccta/TuckPSS21
Victoria Tuck, Yash Vardhan Pant, Sanjit A. Seshia, S. Shankar Sastry:
DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication. CCTA 2021: 103-110
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/FremontSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/FremontSS21
Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Safety in Autonomous Driving: Can Tools Offer Guarantees? DAC 2021: 1311-1314
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/TorfahSCAS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/TorfahSCAS21
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia:
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. FMCAD 2021: 153-162
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/Vazquez-Chanlatte21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/Vazquez-Chanlatte21
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. Robotics: Science and Systems 2021
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ViswanadhaKIFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ViswanadhaKIFS21
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia:
Parallel and Multi-objective Falsification with Scenic and VerifAI. RV 2021: 265-276
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/TorfahJFS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/TorfahJFS21
Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia:
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV 2021: 311-330
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PimpalkhareMPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PimpalkhareMPS21
Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia:
MedleySolver: Online SMT Algorithm Selection. SAT 2021: 453-470
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/faia/BarrettSST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BarrettSST21
Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli:
Satisfiability Modulo Theories. Handbook of Satisfiability 2021: 1267-1329
[d4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/HoltzenJVMSB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HoltzenJVMSB21
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference'. Zenodo, 2021
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/JungesJS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/JungesJS21
Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. Version 1. Zenodo, 2021 [all versions]
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/JungesJS21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/JungesJS21a
Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. Version 2. Zenodo, 2021 [all versions]
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/JungesTS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/JungesTS21
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Experiments for 'Runtime Monitoring for Markov Decision Processes'. Zenodo, 2021
[i81]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-05672
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-05672
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. CoRR abs/2103.05672 (2021)
[i80]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-12322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-12322
Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitoring for Markov Decision Processes. CoRR abs/2105.12322 (2021)
[i79]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-12326
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-12326
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte, Todd D. Millstein, Sanjit A. Seshia, Guy Van den Broeck:
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. CoRR abs/2105.12326 (2021)
[i78]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-02449
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-02449
Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. CoRR abs/2106.02449 (2021)
[i77]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-10365
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-10365
Abdus Salam Azad, Edward Kim, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Sanjit A. Seshia:
Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments. CoRR abs/2106.10365 (2021)
[i76]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-04164
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-04164
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia:
Parallel and Multi-Objective Falsification with Scenic and VerifAI. CoRR abs/2107.04164 (2021)
[i75]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-13477
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-13477
Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia:
Satisfiability and Synthesis Modulo Oracles. CoRR abs/2107.13477 (2021)
[i74]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-07307
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-07307
Hazem Torfah, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia:
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. CoRR abs/2108.07307 (2021)
[i73]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-13796
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-13796
Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel J. Fremont, Sanjit A. Seshia:
Addressing the IEEE AV Test Challenge with Scenic and VerifAI. CoRR abs/2108.13796 (2021)
[i72]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-14870
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-14870
Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia:
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation. CoRR abs/2110.14870 (2021)
[i71]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-00206
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-00206
Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia:
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation. CoRR abs/2112.00206 (2021)
[i70]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-10807
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-10807
Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia:
Demonstration Informed Specification Search. CoRR abs/2112.10807 (2021)
2020
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/SeshiaJD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/SeshiaJD20
Sanjit A. Seshia, Somesh Jha, Tommaso Dreossi:
Semantic Adversarial Deep Learning. IEEE Des. Test 37(2): 8-18 (2020)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/WeberJLSLSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/WeberJLSLSS20
Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit Seshia, Alberto L. Sangiovanni-Vincentelli:
Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. 4(4): 43:1-43:27 (2020)
[c163]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FremontCMOS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FremontCMOS20
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia:
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CAV (1) 2020: 122-134
[c162]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/Vazquez-Chanlatte20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Vazquez-Chanlatte20
Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Maximum Causal Entropy Specification Inference from Demonstrations. CAV (2) 2020: 255-278
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/cvpr/KimGPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cvpr/KimGPS20
Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia:
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. CVPR 2020: 11125-11134
[c160]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/Seshia20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/Seshia20
Sanjit A. Seshia:
Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk). FSTTCS 2020: 5:1-5:3
[c159]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/LedermanRSL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/LedermanRSL20
Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee:
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR 2020
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/FremontKPSABWLL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/FremontKPSABWLL20
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta:
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. ITSC 2020: 1-8
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ShivakumarTDS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ShivakumarTDS20
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia:
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. RV 2020: 184-194
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/2020
Aaron D. Ames, Sanjit A. Seshia, Jyotirmoy Deshmukh:
HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020. ACM 2020, ISBN 978-1-4503-7018-9 [contents]
[i69]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-07739
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-07739
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit A. Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta:
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World. CoRR abs/2003.07739 (2020)
[i68]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-07173
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-07173
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia:
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI. CoRR abs/2005.07173 (2020)
[i67]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-00085
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-00085
Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CoRR abs/2007.00085 (2020)
[i66]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-03204
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-03204
Pashootan Vaezipoor, Gil Lederman, Yuhuai Wu, Chris J. Maddison, Roger B. Grosse, Edward A. Lee, Sanjit A. Seshia, Fahiem Bacchus:
Learning Branching Heuristics for Propositional Model Counting. CoRR abs/2007.03204 (2020)
[i65]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-06677
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-06677
Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia:
Gradient Descent over Metagrammars for Syntax-Guided Synthesis. CoRR abs/2007.06677 (2020)
[i64]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-06760
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-06760
Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia:
Synthesis in Uclid5. CoRR abs/2007.06760 (2020)
[i63]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-10519
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-10519
Elizabeth Polgreen, Sanjit A. Seshia:
SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers. CoRR abs/2007.10519 (2020)
[i62]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-09707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-09707
Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia:
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. CoRR abs/2008.09707 (2020)
[i61]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-00155
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-00155
Sicheng Zhao, Xiangyu Yue, Shanghang Zhang, Bo Li, Han Zhao, Bichen Wu, Ravi Krishna, Joseph E. Gonzalez, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Kurt Keutzer:
A Review of Single-Source Deep Unsupervised Visual Domain Adaptation. CoRR abs/2009.00155 (2020)
[i60]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-14363
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-14363
Yash Vardhan Pant, He Yin, Murat Arcak, Sanjit A. Seshia:
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications. CoRR abs/2009.14363 (2020)
[i59]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-06580
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-06580
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: A Language for Scenario Specification and Data Generation. CoRR abs/2010.06580 (2020)
[i58]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-14551
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-14551
Jay Shenoy, Edward Kim, Xiangyu Yue, Taesung Park, Daniel J. Fremont, Alberto L. Sangiovanni-Vincentelli, Sanjit Seshia:
A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving. CoRR abs/2011.14551 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/JhaTSSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JhaTSSS19
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar:
TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods Syst. Des. 54(3): 364-387 (2019)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/DreossiDS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/DreossiDS19
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. J. Autom. Reason. 63(4): 1031-1053 (2019)
[c156]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DreossiFGKRVS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DreossiFGKRVS19
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems. CAV (1) 2019: 432-442
[c155]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KimAS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KimAS19
Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. CAV (1) 2019: 591-608
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/CheangRSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/CheangRSS19
Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan:
A Formal Approach to Secure Speculation. CSF 2019: 288-303
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/DesaiGSST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/DesaiGSST19
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari:
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems. DSN 2019: 138-150
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GhoshBSST19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GhoshBSST19
Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin:
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. HSCC 2019: 185-196
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/MagyarBKSBA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/MagyarBKSBA19
Albert Magyar, David Biancolin, John Koenig, Sanjit Seshia, Jonathan Bachrach, Krste Asanovic:
Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes. ICCAD 2019: 1-8
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/RavanbakhshSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/RavanbakhshSS19
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia:
Formal Policy Learning from Demonstrations for Reachability Properties. ICRA 2019: 6037-6043
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/IyerKNS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/IyerKNS19
Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia:
RTL bug localization through LTL specification mining (WIP). MEMOCODE 2019: 5:1-5:5
[c148]
- view
- export record
  dblp key:
  - conf/nips/CarrollSHGSAD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/CarrollSHGSAD19
Micah Carroll, Rohin Shah, Mark K. Ho, Tom Griffiths, Sanjit A. Seshia, Pieter Abbeel, Anca D. Dragan:
On the Utility of Learning about Humans for Human-AI Coordination. NeurIPS 2019: 5175-5186
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FremontDGYSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FremontDGYSS19
Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: a language for scenario specification and scene generation. PLDI 2019: 63-78
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Seshia19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Seshia19
Sanjit A. Seshia:
Introspective Environment Modeling. RV 2019: 15-26
[i57]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-04245
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-04245
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. CoRR abs/1902.04245 (2019)
[i56]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1902-10320
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-10320
Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin:
A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics. CoRR abs/1902.10320 (2019)
[i55]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-00589
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-00589
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia:
Formal Policy Learning from Demonstrations for Reachability Properties. CoRR abs/1903.00589 (2019)
[i54]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-09354
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-09354
Marcell Vazquez-Chanlatte, Markus N. Rabe, Sanjit A. Seshia:
A Model Counter's Guide to Probabilistic Systems. CoRR abs/1903.09354 (2019)
[i53]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-10033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-10033
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
A Formalization of Robustness for Deep Neural Networks. CoRR abs/1903.10033 (2019)
[i52]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-09503
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-09503
Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. CoRR abs/1905.09503 (2019)
[i51]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-13411
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-13411
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia:
Understanding and Extending Incremental Determinization for 2QBF. CoRR abs/1905.13411 (2019)
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-11792
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-11792
Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy. CoRR abs/1907.11792 (2019)
[i49]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-00727
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-00727
Lakshya Jain, Wilson Wu, Steven Chen, Uyeong Jang, Varun Chandrasekaran, Sanjit A. Seshia, Somesh Jha:
Generating Semantic Adversarial Examples with Differentiable Rendering. CoRR abs/1910.00727 (2019)
[i48]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-05789
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-05789
Micah Carroll, Rohin Shah, Mark K. Ho, Thomas L. Griffiths, Sanjit A. Seshia, Pieter Abbeel, Anca D. Dragan:
On the Utility of Learning about Humans for Human-AI Coordination. CoRR abs/1910.05789 (2019)
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-01523
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-01523
Shromona Ghosh, Hadi Ravanbakhsh, Sanjit A. Seshia:
Counterexample-Guided Synthesis of Perception Models and Control. CoRR abs/1911.01523 (2019)
[i46]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-01532
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-01532
Hadi Ravanbakhsh, Forrest Laine, Sanjit A. Seshia:
Real-time Funnel Generation for Restricted Motion Planning. CoRR abs/1911.01532 (2019)
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-02714
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-02714
Benjamin Caulfield, Sanjit A. Seshia:
Modularity in Query-Based Concept Learning. CoRR abs/1911.02714 (2019)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-00289
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-00289
Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia:
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors. CoRR abs/1912.00289 (2019)
[i43]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/CheangRSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/CheangRSS19
Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan:
A Formal Approach to Secure Speculation. IACR Cryptol. ePrint Arch. 2019: 310 (2019)
2018
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/arobots/SadighLSSD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/arobots/SadighLSSD18
Dorsa Sadigh, Nick Landolfi, Shankar S. Sastry, Sanjit A. Seshia, Anca D. Dragan:
Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal state. Auton. Robots 42(7): 1405-1426 (2018)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/AbdelzaherABDDG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/AbdelzaherABDDG18
Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli:
Toward an Internet of Battlefield Things: A Resilience Perspective. Computer 51(11): 24-36 (2018)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/JhaRSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/JhaRSS18
Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia:
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. J. Autom. Reason. 60(1): 43-62 (2018)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/WuRRLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/WuRRLS18
Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia:
Synthesis of Obfuscation Policies to Ensure Privacy and Utility. J. Autom. Reason. 60(1): 107-131 (2018)
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/DesaiPQS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/DesaiPQS18
Ankush Desai, Amar Phanishayee, Shaz Qadeer, Sanjit A. Seshia:
Compositional programming and testing of dynamic distributed systems. Proc. ACM Program. Lang. 2(OOPSLA): 159:1-159:30 (2018)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/ShoukryNSSPT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/ShoukryNSSPT18
Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Programming. Proc. IEEE 106(9): 1655-1679 (2018)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/ShoukryCWNSSHT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/ShoukryCWNSSHT18
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada:
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. 2(1): 5:1-5:27 (2018)
[c145]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/Vazquez-Chanlatte18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/Vazquez-Chanlatte18
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. ADHS 2018: 7-12
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SeshiaDDFGKSVY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SeshiaDDFGKSVY18
Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue:
Formal Specification for Deep Neural Networks. ATVA 2018: 20-34
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Seshia18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Seshia18
Sanjit A. Seshia:
Cyber-Physical Systems Education: Explorations and Dreams. Principles of Modeling 2018: 407-422
[c142]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DreossiJS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DreossiJS18
Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia:
Semantic Adversarial Deep Learning. CAV (1) 2018: 3-26
[c141]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/RabeTRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/RabeTRS18
Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia:
Understanding and Extending Incremental Determinization for 2QBF. CAV (2) 2018: 256-274
[c140]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/FremontS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FremontS18
Daniel J. Fremont, Sanjit A. Seshia:
Reactive Control Improvisation. CAV (1) 2018: 307-326
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcs/AbdelzaherABDDG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/AbdelzaherABDDG18
Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli:
Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT. ICDCS 2018: 1129-1138
[c138]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DreossiGYKSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DreossiGYKSS18
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Counterexample-Guided Data Augmentation. IJCAI 2018: 2071-2078
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DesaiQS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DesaiQS18
Ankush Desai, Shaz Qadeer, Sanjit A. Seshia:
Programming Safe Robotics Systems: Challenges and Advances. ISoLA (2) 2018: 103-119
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/SeshiaS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/SeshiaS18
Sanjit A. Seshia, Pramod Subramanyan:
UCLID5: Integrating Modeling, Verification, Synthesis and Learning. MEMOCODE 2018: 1-10
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/mir/YueWSKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mir/YueWSKS18
Xiangyu Yue, Bichen Wu, Sanjit A. Seshia, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli:
A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving. ICMR 2018: 458-464
[c134]
- view
- export record
  dblp key:
  - conf/nips/Vazquez-Chanlatte18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/Vazquez-Chanlatte18
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia:
Learning Task Specifications from Demonstrations. NeurIPS 2018: 5372-5382
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Vazquez-Chanlatte18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Vazquez-Chanlatte18
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Time-Series Learning Using Monotonic Logical Properties. RV 2018: 389-405
[c132]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1804-04345
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04345
Eric S. Kim, Murat Arcak, Sanjit A. Seshia, BaekGyu Kim, Shinichi Shiraishi:
Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety. SCAV@CPSWeek 2018: 3-16
[p3]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/SeshiaST18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/SeshiaST18
Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis:
Modeling for Verification. Handbook of Model Checking 2018: 75-105
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-04929
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-04929
Somil Bansal, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire J. Tomlin:
Context-Specific Validation of Data-Driven Models. CoRR abs/1802.04929 (2018)
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-08924
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08924
Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Time Series Learning using Monotonic Logical Properties. CoRR abs/1802.08924 (2018)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-09180
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-09180
Sicheng Zhao, Bichen Wu, Joseph Gonzalez, Sanjit A. Seshia, Kurt Keutzer:
Unsupervised Domain Adaptation: from Simulation Engine to the RealWorld. CoRR abs/1803.09180 (2018)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-00103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-00103
Xiangyu Yue, Bichen Wu, Sanjit A. Seshia, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli:
A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving. CoRR abs/1804.00103 (2018)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-05037
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-05037
Daniel J. Fremont, Sanjit A. Seshia:
Reactive Control Improvisation. CoRR abs/1804.05037 (2018)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-07045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-07045
Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia:
Semantic Adversarial Deep Learning. CoRR abs/1804.07045 (2018)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-06962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-06962
Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Counterexample-Guided Data Augmentation. CoRR abs/1805.06962 (2018)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-08058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-08058
Gil Lederman, Markus N. Rabe, Sanjit A. Seshia:
Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning. CoRR abs/1807.08058 (2018)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1808-07921
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-07921
Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari:
SOTER: Programming Safe Robotics System using Runtime Assurance. CoRR abs/1808.07921 (2018)
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-02267
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-02267
Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas:
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption. CoRR abs/1809.02267 (2018)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1809-09310
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-09310
Daniel J. Fremont, Xiangyu Yue, Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Scenic: Language-Based Scene Generation. CoRR abs/1809.09310 (2018)
2017
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/JhaS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/JhaS17
Susmit Jha, Sanjit A. Seshia:
A theory of formal synthesis via inductive learning. Acta Informatica 54(7): 693-726 (2017)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/KimAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/KimAS17
Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Symbolic control design for monotone systems with directed specifications. Autom. 83: 10-19 (2017)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/DeshmukhDGJJS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/DeshmukhDGJJS17
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia:
Robust online monitoring of signal temporal logic. Formal Methods Syst. Des. 51(1): 5-30 (2017)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/HarrisJRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/HarrisJRS17
William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia:
Program synthesis for interactive-security systems. Formal Methods Syst. Des. 51(2): 362-394 (2017)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/ShoukryNPSST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/ShoukryNPSST17
Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Autom. Control. 62(10): 4917-4932 (2017)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/SeshiaHLZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/SeshiaHLZ17
Sanjit A. Seshia, Shiyan Hu, Wenchao Li, Qi Zhu:
Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(9): 1421-1434 (2017)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/te/JonesWSLAPLPNAL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/te/JonesWSLAPLPNAL17
Edwin C. Jones, Kathleen E. Wage, Sanjit A. Seshia, Susan M. Lord, Michael E. Auer, Lance C. Pérez, Katherine Shu-Min Li, S. L. Krishna Priya, Sasha Nikolic, Francisco Arcega, Richard A. Layton, Matthew W. Ohland, Kayode Peter Ayodele, Isaac A. Inyang, Lawrence O. Kehinde, Jana Reisslein, Amy M. Johnson, Martin Reisslein, James L. Huff, Joachim Walther, Brent K. Jesiek, Carla B. Zoltowski, William C. Oakes, Natasha Nesiba, Enrico Pontelli, Timothy Staley, Melany M. Ciampi, John Heywood, Diane T. Rover, Raman M. Unnikrishnan, Agnieszka Miguel:
2016 IEEE Education Society Awards, 2016 Frontiers in Education Conference Awards, and Selected IEEE Awards. IEEE Trans. Educ. 60(1): 67-77 (2017)
[c131]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/FremontRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FremontRS17
Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia:
Maximum Model Counting. AAAI 2017: 3885-3892
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/MehrSHSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/MehrSHSS17
Negar Mehr, Dorsa Sadigh, Roberto Horowitz, S. Shankar Sastry, Sanjit A. Seshia:
Stochastic predictive freeway ramp metering from Signal Temporal Logic specifications. ACC 2017: 4884-4889
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Vazquez-Chanlatte17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Vazquez-Chanlatte17
Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia:
Logical Clustering and Learning for Time-Series Data. CAV (1) 2017: 305-325
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/Subramanyan0LDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/Subramanyan0LDS17
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia:
A Formal Foundation for Secure Remote Execution of Enclaves. CCS 2017: 2435-2450
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/ShoukryNBSSSPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/ShoukryNBSSSPT17
Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC 2017: 1132-1137
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/KimSBAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/KimSBAS17
Eric S. Kim, Sadra Sadraddini, Calin Belta, Murat Arcak, Sanjit A. Seshia:
Dynamic contracts for distributed temporal logic control of traffic networks. CDC 2017: 3640-3645
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/ShoukryNSSPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/ShoukryNSSPT17
Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Optimization. HSCC 2017: 19-28
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KimAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KimAS17
Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
A Small Gain Theorem for Parametric Assume-Guarantee Contracts. HSCC 2017: 207-216
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/DesaiSYQS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/DesaiSYQS17
Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia:
DRONA: a framework for safe distributed mobile robotics. ICCPS 2017: 239-248
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/DreossiDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/DreossiDS17
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. NFM 2017: 357-372
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/SadighDSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/SadighDSS17
Dorsa Sadigh, Anca D. Dragan, Shankar Sastry, Sanjit A. Seshia:
Active Preference-Based Learning of Reward Functions. Robotics: Science and Systems 2017
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DesaiDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DesaiDS17
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia:
Combining Model Checking and Runtime Verification for Safe Robotics. RV 2017: 172-189
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/JhaTSSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/JhaTSSS17
Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar:
TeLEx: Passive STL Learning Using Only Positive Examples. RV 2017: 208-224
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/0001RS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/0001RS17
Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia:
A compiler and verifier for page access oblivious computation. ESEC/SIGSOFT FSE 2017: 649-660
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DreossiDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DreossiDS17
Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. CoRR abs/1703.00978 (2017)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RamanDMMSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RamanDMMSS17
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Model Predictive Control for Signal Temporal Logic Specification. CoRR abs/1703.09563 (2017)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FremontDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FremontDS17
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia:
Control Improvisation. CoRR abs/1704.06319 (2017)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Vazquez-Chanlatte17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Vazquez-Chanlatte17
Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications. CoRR abs/1707.03529 (2017)
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1708-03309
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-03309
Tommaso Dreossi, Shromona Ghosh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Systematic Testing of Convolutional Neural Networks for Autonomous Driving. CoRR abs/1708.03309 (2017)
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-03875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-03875
Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia:
Specification Inference from Demonstrations. CoRR abs/1710.03875 (2017)
[i25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/SeshiaZKJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/SeshiaZKJ17
Sanjit A. Seshia, Xiaojin (Jerry) Zhu, Andreas Krause, Susmit Jha:
Machine Learning and Formal Method (Dagstuhl Seminar 17351). Dagstuhl Reports 7(8): 55-73 (2017)
[i24]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/SubramanyanSLDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/SubramanyanSLDS17
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia:
A Formal Foundation for Secure Remote Execution of Enclaves. IACR Cryptol. ePrint Arch. 2017: 565 (2017)
2016
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/cie/ValleDFASFW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cie/ValleDFASFW16
Rafael Valle, Alexandre Donzé, Daniel J. Fremont, Ilge Akkaya, Sanjit A. Seshia, Adrian Freed, David Wessel:
Specification Mining for Machine Improvisation with Formal Specifications. Comput. Entertain. 14(3): 6:1-6:20 (2016)
[c117]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/MeelVCFSFIM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/MeelVCFSFIM16
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik:
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. AAAI Workshop: Beyond NP 2016
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/KimAS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/KimAS16
Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Assume-guarantee contracts and controller synthesis for vehicular traffic networks. ACC 2016: 882
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/ShoukryGAPSST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/ShoukryGAPSST16
Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada:
Privacy-aware quadratic optimization using partially homomorphic encryption. CDC 2016: 5053-5058
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/ShoukryNSSSPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/ShoukryNSSSPT16
Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
Scalable lazy SMT-based motion planning. CDC 2016: 6683-6688
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/JhaRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/JhaRS16
Susmit Jha, Vasumathi Raman, Sanjit A. Seshia:
On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. FMCAD 2016: 81-84
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/YamaguchiKDS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/YamaguchiKDS16
Tomoya Yamaguchi, Tomoyuki Kaga, Alexandre Donzé, Sanjit A. Seshia:
Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. FMCAD 2016: 201-204
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/BjornerJMSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/BjornerJMSV16
Nikolaj S. Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese:
ddNF: An Efficient Data Structure for Header Spaces. Haifa Verification Conference 2016: 49-64
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KimAS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KimAS16
Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Directed Specifications and Assumption Mining for Monotone Dynamical Systems. HSCC 2016: 21-30
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GhoshSNRDSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GhoshSNRDSSS16
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC 2016: 31-40
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/ShoukryCWNSSHT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/ShoukryCWNSSHT16
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada:
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ICCPS 2016: 29:1-29:10
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/SahaR0PS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/SahaR0PS16
Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia:
Implan: Scalable Incremental Motion Planning for Multi-Robot Systems. ICCPS 2016: 43:1-43:10
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/iotdi/AkkayaFVDLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iotdi/AkkayaFVDLS16
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia:
Control Improvisation with Probabilistic Temporal Specifications. IoTDI 2016: 187-198
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/SadighSSD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/SadighSSD16
Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia, Anca D. Dragan:
Information gathering actions over human internal state. IROS 2016: 66-73
[c104]
- view
  - electronic edition @ nyu.edu (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ismir/ValleFADFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismir/ValleFADFS16
Rafael Valle, Daniel J. Fremont, Ilge Akkaya, Alexandre Donzé, Adrian Freed, Sanjit A. Seshia:
Learning and Visualizing Music Specifications Using Pattern Graphs. ISMIR 2016: 192-198
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/RezvaniDSSSB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/RezvaniDSSSB16
Tara Rezvani, Katherine Rose Driggs-Campbell, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia, Ruzena Bajcsy:
Towards trustworthy automation: User interfaces that convey internal and external awareness. ITSC 2016: 682-688
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/WuRLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/WuRLS16
Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune, Sanjit A. Seshia:
Obfuscator Synthesis for Privacy and Utility. NFM 2016: 133-149
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0001CLLRSV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0001CLLRSV16
Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani:
A design and verification methodology for secure isolated regions. PLDI 2016: 665-681
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/rss/SadighSSD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rss/SadighSSD16
Dorsa Sadigh, Shankar Sastry, Sanjit A. Seshia, Anca D. Dragan:
Planning for Autonomous Cars that Leverage Effects on Human Actions. Robotics: Science and Systems 2016
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MullFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MullFS16
Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia:
On the Hardness of SAT with Community Structure. SAT 2016: 141-159
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/RabeS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/RabeS16
Markus N. Rabe, Sanjit A. Seshia:
Incremental Determinization. SAT 2016: 375-392
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2015
Arie Gurfinkel, Sanjit A. Seshia:
Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9593, Springer 2016, ISBN 978-3-319-29612-8 [contents]
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GhoshSNRDSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GhoshSNRDSSS16
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. CoRR abs/1602.01883 (2016)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MullFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MullFS16
Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia:
On the Hardness of SAT with Community Structure. CoRR abs/1602.08620 (2016)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SeshiaS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SeshiaS16
Sanjit A. Seshia, Dorsa Sadigh:
Towards Verified Artificial Intelligence. CoRR abs/1606.08514 (2016)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/V-ChanlatteDJS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/V-ChanlatteDJS16
Marcell V.-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia:
Learning Auditable Features from Signals Using Unsupervised Temporal Projection. CoRR abs/1612.07823 (2016)
2015
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/Seshia15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/Seshia15
Sanjit A. Seshia:
Combining Induction, Deduction, and Structure for Verification and Synthesis. Proc. IEEE 103(11): 2036-2051 (2015)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/JinDDS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/JinDDS15
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Mining Requirements From Closed-Loop Control Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(11): 1704-1717 (2015)
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/ShoukryPNSST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/ShoukryPNSST15
Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. ACC 2015: 3818-3823
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/DonzeJDS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/DonzeJDS15
Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Automotive systems requirement mining using breach. ACC 2015: 4097
[c95]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/DesaiSQBE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DesaiSQBE15
Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson:
Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. CAV (2) 2015: 429-448
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/SinhaRSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/SinhaRSV15
Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani:
Moat: Verifying Confidentiality of Enclave Programs. CCS 2015: 1169-1184
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/ShoukryNBSST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/ShoukryNBSST15
Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. CDC 2015: 3804-3809
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/KimAS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/KimAS15
Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Compositional controller synthesis for vehicular traffic networks. CDC 2015: 6165-6171
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/SeshiaSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/SeshiaSS15
Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry:
Formal methods for semi-autonomous driving. DAC 2015: 148:1-148:5
[c90]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/FremontDSW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/FremontDSW15
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel:
Control Improvisation. FSTTCS 2015: 463-474
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RamanDSMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RamanDSMS15
Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia:
Reactive synthesis from signal temporal logic specifications. HSCC 2015: 239-248
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/lats/JuniwalJDS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lats/JuniwalJDS15
Garvit Juniwal, Sakshi Jain, Alexandre Donzé, Sanjit A. Seshia:
Clustering-Based Active Learning for CPSGrader. L@S 2015: 399-403
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DeshmukhDGJJS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DeshmukhDGJJS15
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia:
Robust Online Monitoring of Signal Temporal Logic. RV 2015: 55-70
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/DesaiQS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/DesaiQS15
Ankush Desai, Shaz Qadeer, Sanjit A. Seshia:
Systematic testing of asynchronous reactive systems. ESEC/SIGSOFT FSE 2015: 73-83
[c85]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChakrabortyFMSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChakrabortyFMSV15
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
On Parallel Scalable Uniform SAT Witness Generation. TACAS 2015: 304-319
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/natosec/AlurBDF0JKMMRSSSSTU15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15
Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa:
Syntax-Guided Synthesis. Dependable Software Systems Engineering 2015: 1-25
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JhaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JhaS15
Susmit Jha, Sanjit A. Seshia:
A Theory of Formal Synthesis via Inductive Learning. CoRR abs/1505.03953 (2015)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BundalaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BundalaS15
Daniel Bundala, Sanjit A. Seshia:
On Systematic Testing for Execution-Time Analysis. CoRR abs/1506.05893 (2015)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DeshmukhDGJJS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DeshmukhDGJJS15
Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia:
Robust Online Monitoring of Signal Temporal Logic. CoRR abs/1506.08234 (2015)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ShoukryNBSST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ShoukryNBSST15
Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. CoRR abs/1509.03262 (2015)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CaulfieldRST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CaulfieldRST15
Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis:
What's Decidable about Syntax-Guided Synthesis? CoRR abs/1510.08393 (2015)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AkkayaFVDLS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AkkayaFVDLS15
Ilge Akkaya, Daniel J. Fremont, Rafael Valle, Alexandre Donzé, Edward A. Lee, Sanjit A. Seshia:
Control Improvisation with Probabilistic Temporal Specifications. CoRR abs/1511.02279 (2015)
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/MeelVCFSFIM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MeelVCFSFIM15
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik:
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. CoRR abs/1512.06633 (2015)
2014
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/NuzzoXOFSMDS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/NuzzoXOFSMDS14
Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia:
A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access 2: 1-25 (2014)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/LeeHKRWWRPSSBDFGTJJKMPMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/LeeHKRWWRPSSBDFGTJJKMPMR14
Edward A. Lee, Björn Hartmann, John Kubiatowicz, Tajana Simunic Rosing, John Wawrzynek, David Wessel, Jan M. Rabaey, Kris Pister, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, David T. Blaauw, Prabal Dutta, Kevin Fu, Carlos Guestrin, Ben Taskar, Roozbeh Jafari, Douglas L. Jones, Vijay Kumar, Rahul Mangharam, George J. Pappas, Richard M. Murray, Anthony Rowe:
The Swarm at the Edge of the Cloud. IEEE Des. Test 31(3): 8-20 (2014)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/HolcombS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/HolcombS14
Daniel E. Holcomb, Sanjit A. Seshia:
Compositional Performance Verification of Network-on-Chip Designs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33(9): 1370-1383 (2014)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tetc/SubramanyanTLGTTSSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tetc/SubramanyanTLGTTSSM14
Pramod Subramanyan, Nestan Tsiskaridze, Wenchao Li, Adrià Gascón, Wei Yang Tan, Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, Sharad Malik:
Reverse Engineering Digital Circuits Using Structural and Functional Analyses. IEEE Trans. Emerg. Top. Comput. 2(1): 63-80 (2014)
[c84]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChakrabortyFMSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChakrabortyFMSV14
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
Distribution-Aware Sampling and Weighted Model Counting for SAT. AAAI 2014: 1722-1730
[c83]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/SadighDPLSBSSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/SadighDPLSBSSS14
Dorsa Sadigh, Katherine Rose Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior. AAAI Spring Symposia 2014
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/RamanDMMSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/RamanDMMSS14
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Model predictive control with signal temporal logic specifications. CDC 2014: 81-87
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/SadighKCSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/SadighKCSS14
Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia:
A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications. CDC 2014: 1091-1096
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/PuggelliSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/PuggelliSS14
Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. EMSOFT 2014: 13:1-13:10
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/JuniwalDJS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/JuniwalDJS14
Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia:
CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. EMSOFT 2014: 24:1-24:10
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/hicons/SadighDBSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicons/SadighDBSS14
Dorsa Sadigh, Katherine Rose Driggs-Campbell, Ruzena Bajcsy, S. Shankar Sastry, Sanjit A. Seshia:
User interface design and verification for semi-autonomous driving. HiCoNS 2014: 63-64
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/hicons/TiwariDJCLRSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicons/TiwariDJCLRSS14
Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia:
Safety envelope for security. HiCoNS 2014: 85-94
[c76]
- view
  - electronic edition via handle.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icmc/DonzeVALSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmc/DonzeVALSW14
Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit A. Seshia, David Wessel:
Machine Improvisation with Formal Specifications. ICMC 2014
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/iot/JhaTSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iot/JhaTSC14
Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee:
Game theoretic secure localization in wireless sensor networks. IOT 2014: 85-90
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/SahaRKPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/SahaRKPS14
Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia:
Automated composition of motion primitives for multi-robot systems from safe LTL specifications. IROS 2014: 1525-1532
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/AksanliABCDDLMMNRRSSRV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/AksanliABCDDLMMNRRSSRV14
Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donzé, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh:
Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys@SenSys 2014: 172-173
[c72]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/smt/FremontS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smt/FremontS14
Daniel J. Fremont, Sanjit A. Seshia:
Speeding Up SMT-Based Quantitative Program Analysis. SMT 2014: 3-13
[c71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LiSSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LiSSS14
Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia:
Synthesis for Human-in-the-Loop Control Systems. TACAS 2014: 470-484
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/EhlersSK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/EhlersSK14
Rüdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit:
Synthesis with Identifiers. VMCAI 2014: 415-433
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/TanSMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/TanSMS14
Wei Yang Tan, Rohit Sinha, John L. Manferdelli, Sanjit A. Seshia:
Formal Modeling and Verification of CloudProxy. VSTTE 2014: 87-104
[c68]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JhaS14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JhaS14a
Susmit Jha, Sanjit A. Seshia:
Are There Good Mistakes? A Theoretical Analysis of CEGIS. SYNT 2014: 84-99
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ChakrabortyFMSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ChakrabortyFMSV14
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi:
Distribution-Aware Sampling and Weighted Model Counting for SAT. CoRR abs/1404.2984 (2014)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FremontS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FremontS14
Daniel J. Fremont, Sanjit A. Seshia:
Speeding Up SMT-Based Quantitative Program Analysis. CoRR abs/1405.7320 (2014)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SadighKCSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SadighKCSS14
Dorsa Sadigh, Eric S. Kim, Samuel Coogan, S. Shankar Sastry, Sanjit A. Seshia:
A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications. CoRR abs/1409.5486 (2014)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FremontDSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FremontDSW14
Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia, David Wessel:
Control Improvisation. CoRR abs/1411.0698 (2014)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ShoukryNPSST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ShoukryNPSST14
Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. CoRR abs/1412.4324 (2014)
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/KroeningRST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/KroeningRST14
Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur:
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). Dagstuhl Reports 4(8): 89-106 (2014)
2013
[c67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PuggelliLSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PuggelliLSS13
Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties. CAV 2013: 527-542
[c66]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fedcsis/GuglielmoSV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fedcsis/GuglielmoSV13
Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa:
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. FedCSIS 2013: 1369-1376
[c65]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/AlurBJMRSSSTU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/AlurBJMRSSSTU13
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa:
Syntax-guided synthesis. FMCAD 2013: 1-8
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/host/LiGSTTMSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/host/LiGSTTMSS13
Wenchao Li, Adrià Gascón, Pramod Subramanyan, Wei Yang Tan, Ashish Tiwari, Sharad Malik, Natarajan Shankar, Sanjit A. Seshia:
WordRev: Finding word-level structures in a sea of bit-level gates. HOST 2013: 67-74
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/JinDDS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/JinDDS13
Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Mining requirements from closed-loop control models. HSCC 2013: 43-52
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcn/Seshia13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcn/Seshia13
Sanjit A. Seshia:
Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond. ICDCN 2013: 1-10
[c61]
- view
- export record
  dblp key:
  - conf/memocode/SturtonSDJMTMSW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/SturtonSDJMTMSW13
Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner:
Symbolic software model validation. MEMOCODE 2013: 97-108
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1302-1920
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-1920
Susmit Jha, Sanjit A. Seshia:
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction. CoRR abs/1302.1920 (2013)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SadighOSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SadighOSS13
Dorsa Sadigh, Henrik Ohlsson, S. Shankar Sastry, Sanjit A. Seshia:
Robust Subspace System Identification via Weighted Nuclear Norm Optimization. CoRR abs/1312.2132 (2013)
2012
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/EidsonLMSZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/EidsonLMSZ12
John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou:
Distributed Real-Time Software for Cyber-Physical Systems. Proc. IEEE 100(1): 45-59 (2012)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/SeshiaR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/SeshiaR12
Sanjit A. Seshia, Alexander Rakhlin:
Quantitative Analysis of Systems Using Game-Theoretic Learning. ACM Trans. Embed. Comput. Syst. 11(S2): 55:1-55:27 (2012)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Seshia12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Seshia12
Sanjit A. Seshia:
Sciduction: combining induction, deduction, and structure for verification and synthesis. DAC 2012: 356-365
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/LiSJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LiSJ12
Wenchao Li, Sanjit A. Seshia, Somesh Jha:
CrowdMine: towards crowdsourced human-assisted verification. DAC 2012: 1254-1255
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/esweek/LeeSJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esweek/LeeSJ12
Edward A. Lee, Sanjit A. Seshia, Jeff C. Jensen:
Teaching embedded systems the Berkeley way. WESE 2012: 1
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/esweek/SadighSG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esweek/SadighSG12
Dorsa Sadigh, Sanjit A. Seshia, Mona Gupta:
Automating exercise generation: a step towards meeting the MOOC challenge for embedded systems. WESE 2012: 2
[c56]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/SinhaSMSW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/SinhaSMSW12
Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner:
Verification with small and short worlds. FMCAD 2012: 68-77
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/host/LiWS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/host/LiWS12
Wenchao Li, Zach Wasson, Sanjit A. Seshia:
Reverse engineering circuits using behavioral pattern mining. HOST 2012: 83-88
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/HolcombGKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/HolcombGKS12
Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia:
Compositional performance verification of NoC designs. MEMOCODE 2012: 1-10
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/LiS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/LiS12
Wenchao Li, Sanjit A. Seshia:
Sparse Coding for Specification Mining and Error Localization. RV 2012: 64-81
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2012
P. Madhusudan, Sanjit A. Seshia:
Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Lecture Notes in Computer Science 7358, Springer 2012, ISBN 978-3-642-31423-0 [contents]
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1201-0979
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-0979
Sanjit A. Seshia:
Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis. CoRR abs/1201.0979 (2012)
2011
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HolcombBS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HolcombBS11
Daniel E. Holcomb, Bryan A. Brady, Sanjit A. Seshia:
Abstraction-based performance verification of NoCs. DAC 2011: 492-497
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BradyHS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BradyHS11
Bryan A. Brady, Daniel E. Holcomb, Sanjit A. Seshia:
Counterexample-guided SMT-driven optimal buffer sizing. DATE 2011: 329-334
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/JhaST11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/JhaST11
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesis of optimal switching logic for hybrid systems. EMSOFT 2011: 107-116
[c49]
- view
- export record
  dblp key:
  - conf/fmcad/KotkerSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/KotkerSS11
Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia:
Timing analysis of interrupt-driven programs under context bounds. FMCAD 2011: 81-90
[c48]
- view
- export record
  dblp key:
  - conf/fmcad/BradyBS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BradyBS11
Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia:
Learning conditional abstractions. FMCAD 2011: 116-124
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/KupfermanSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/KupfermanSS11
Orna Kupferman, Dorsa Sadigh, Sanjit A. Seshia:
Synthesis with Clairvoyance. Haifa Verification Conference 2011: 5-19
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/JensenLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/JensenLS11
Jeff C. Jensen, Edward A. Lee, Sanjit A. Seshia:
An introductory capstone design course on embedded systems. ISCAS 2011: 1199-1202
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LiDS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LiDS11
Wenchao Li, Lili Dworkin, Sanjit A. Seshia:
Mining assumptions for synthesis. MEMOCODE 2011: 43-50
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SeshiaK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SeshiaK11
Sanjit A. Seshia, Jonathan Kotker:
GameTime: A Toolkit for Timing Analysis of Software. TACAS 2011: 388-392
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1103-0800
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-0800
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing Switching Logic to Minimize Long-Run Cost. CoRR abs/1103.0800 (2011)
2010
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/MitraSN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/MitraSN10
Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici:
Post-silicon validation opportunities, challenges and recent advances. DAC 2010: 12-17
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/LiFS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/LiFS10
Wenchao Li, Alessandro Forin, Sanjit A. Seshia:
Scalable specification mining for verification and diagnosis. DAC 2010: 755-760
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/KingJMJJS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KingJMJJS10
Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia:
Automating Security Mediation Placement. ESOP 2010: 327-344
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/esweek/LeeS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esweek/LeeS10
Edward A. Lee, Sanjit A. Seshia:
An introductory textbook on cyber-physical systems. WESE 2010: 1
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/Seshia10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/Seshia10
Sanjit A. Seshia:
Quantitative Analysis of Software: Challenges and Recent Advances. FACS 2010: 1-5
[c38]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/NuzzoPSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/NuzzoPSS10
Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli:
CalCS: SMT solving for non-linear convex constraints. FMCAD 2010: 71-79
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/iccps/JhaGST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccps/JhaGST10
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing switching logic for safety and dwell-time requirements. ICCPS 2010: 22-31
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JhaGST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JhaGST10
Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/BradyBSO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/BradyBSO10
Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary:
ATLAS: Automatic Term-level abstraction of RTL designs. MEMOCODE 2010: 31-40

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BryantKOSSB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BryantKOSSB09
Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady:
An abstraction-based decision procedure for bit-vector arithmetic. Int. J. Softw. Tools Technol. Transf. 11(2): 95-104 (2009)
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JhaLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JhaLS09
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia:
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. CAV 2009: 668-674
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/SturtonJSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/SturtonJSW09
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner:
On voting machine design for verification and testability. CCS 2009: 463-476
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/date/HolcombLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/HolcombLS09
Daniel E. Holcomb, Wenchao Li, Sanjit A. Seshia:
Design as you see FIT: System-level soft error analysis of sequential circuits. DATE 2009: 785-790
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/date/LiNZGSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/LiNZGSS09
Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Optimizations of an application-level protocol for enhanced dependability in FlexRay. DATE 2009: 1076-1081
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/JhaLS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/JhaLS09
Susmit Jha, Wenchao Li, Sanjit A. Seshia:
Localizing transient faults using dynamic bayesian networks. HLDVT 2009: 82-87
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcsw/LeeMSZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcsw/LeeMSZ09
Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou:
The Case for Timing-Centric Distributed Software Invited Paper. ICDCS Workshops 2009: 57-64
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/faia/BarrettSST09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/BarrettSST09
Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli:
Satisfiability Modulo Theories. Handbook of Satisfiability 2009: 825-885
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0903-2825
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-2825
Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye:
On the Computational Complexity of Satisfiability Solving for String Theories. CoRR abs/0903.2825 (2009)
2008
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/KupfermanLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/KupfermanLS08
Orna Kupferman, Wenchao Li, Sanjit A. Seshia:
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. FMCAD 2008: 1-9
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/SeshiaR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/SeshiaR08
Sanjit A. Seshia, Alexander Rakhlin:
Game-theoretic timing analysis. ICCAD 2008: 575-582
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KingJJS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KingJJS08
Dave King, Trent Jaeger, Somesh Jha, Sanjit A. Seshia:
Effective blame for information-flow violations. SIGSOFT FSE 2008: 250-260
2007
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/SeshiaSB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/SeshiaSB07
Sanjit A. Seshia, K. Subramani, Randal E. Bryant:
On Solving Boolean Combinations of UTVPI Constraints. J. Satisf. Boolean Model. Comput. 3(1-2): 67-90 (2007)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/date/FengWZKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/FengWZKS07
Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, Sanjit A. Seshia:
Interactive presentation: Automatic model generation for black box real-time systems. DATE 2007: 930-935
[c24]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/date/SeshiaLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/SeshiaLM07
Sanjit A. Seshia, Wenchao Li, Subhasish Mitra:
Verification-guided soft error resilience. DATE 2007: 1442-1447
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/JhaBS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/JhaBS07
Susmit Jha, Bryan A. Brady, Sanjit A. Seshia:
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS 2007: 241-256
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icac/Seshia07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icac/Seshia07
Sanjit A. Seshia:
Autonomic Reactive Systems via Online Learning. ICAC 2007: 30
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/KroeningS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/KroeningS07
Daniel Kroening, Sanjit A. Seshia:
Formal verification at higher levels of abstraction. ICCAD 2007: 572-578
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/BeyerCHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/BeyerCHS07
Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia:
An Application ofWeb-Service Interfaces. ICWS 2007: 831-838
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Solar-LezamaATBSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Solar-LezamaATBSS07
Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia:
Sketching stencils. PLDI 2007: 167-178
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BryantKOSSB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BryantKOSSB07
Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady:
Deciding Bit-Vector Arithmetic with Abstraction. TACAS 2007: 358-372
2006
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/Solar-LezamaTBSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/Solar-LezamaTBSS06
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat:
Combinatorial sketching for finite programs. ASPLOS 2006: 404-415
2005
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/SeshiaB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/SeshiaB05
Sanjit A. Seshia, Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. Log. Methods Comput. Sci. 1(2) (2005)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FlanaganFQS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FlanaganFQS05
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia:
Modular verification of multithreaded programs. Theor. Comput. Sci. 338(1-3): 153-183 (2005)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/async/SeshiaBS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/async/SeshiaBS05
Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Stevens:
Modeling and Verifying Circuits Using Generalized Relative Timing. ASYNC 2005: 98-108
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BryantS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BryantS05
Randal E. Bryant, Sanjit A. Seshia:
Decision Procedures Customized for Formal Verification. CADE 2005: 255-259
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GanapathySJRB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GanapathySJRB05
Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant:
Automatic discovery of API-level exploits. ICSE 2005: 312-321
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/ChristodorescuJSSB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/ChristodorescuJSSB05
Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant:
Semantics-Aware Malware Detection. S&P 2005: 32-46
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0508044
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0508044
Sanjit A. Seshia, Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. CoRR abs/cs/0508044 (2005)
2004
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/KroeningOSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KroeningOSS04
Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman:
Abstraction-Based Satisfiability Solving of Presburger Arithmetic. CAV 2004: 308-320
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/LahiriS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/LahiriS04
Shuvendu K. Lahiri, Sanjit A. Seshia:
The UCLID Decision Procedure. CAV 2004: 475-478
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/SeshiaB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/SeshiaB04
Sanjit A. Seshia, Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. LICS 2004: 100-109
2003
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/SeshiaB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SeshiaB03
Sanjit A. Seshia, Randal E. Bryant:
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods. CAV 2003: 154-166
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/BryantLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/BryantLS03
Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia:
Convergence Testing in Term-Level Bounded Model Checking. CHARME 2003: 348-362
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/SeshiaLB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/SeshiaLB03
Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Bryant:
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions. DAC 2003: 425-430
2002
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BryantLS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BryantLS02
Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia:
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions. CAV 2002: 78-92
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/FlanaganQS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/FlanaganQS02
Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia:
A Modular Checker for Multithreaded Programs. CAV 2002: 180-194
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/StrichmanSB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/StrichmanSB02
Ofer Strichman, Sanjit A. Seshia, Randal E. Bryant:
Deciding Separation Formulas with SAT. CAV 2002: 209-222
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/LahiriSB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LahiriSB02
Shuvendu K. Lahiri, Sanjit A. Seshia, Randal E. Bryant:
Modeling and Verification of Out-of-Order Microprocessors in UCLID. FMCAD 2002: 142-159

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SeshiaSBD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SeshiaSBD99
Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar:
A Translation of Statecharts to Esterel. World Congress on Formal Methods 1999: 983-1007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BhattacharjeeDSS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BhattacharjeeDSS99
A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar:
A Graphical Environment for the Specification and Verification of Reactive Systems. SAFECOMP 1999: 431-444

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.