![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Sanjit A. Seshia
- > Startseite > Persons
Person information
- affiliation: University of California, Berkeley, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c199]Amar Shah, Federico Mora, Sanjit A. Seshia:
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. AAAI 2024: 8099-8107 - [c198]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 - [c197]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 - [i106]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]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]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]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]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]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]Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung:
Verified Code Transpilation with LLMs. CoRR abs/2406.03003 (2024) - [i99]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]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]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]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]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]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]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]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]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]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]Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia:
Modelling and Verification of Security-Oriented Resource Partitioning Schemes. FMCAD 2023: 268-273 - [c192]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]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]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]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]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]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]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]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]Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia:
Learning Formal Specifications from Membership and Preference Queries. CoRR abs/2307.10434 (2023) - [i89]Amar Shah, Federico Mora, Sanjit A. Seshia:
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. CoRR abs/2310.12234 (2023) - 2022
- [j36]Sanjit A. Seshia:
Explorations in cyber-physical systems education. Commun. ACM 65(5): 60-69 (2022) - [j35]Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry:
Toward verified artificial intelligence. Commun. ACM 65(7): 46-55 (2022) - [j34]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]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]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]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]Inigo Incer
, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
From Interface Automata to Hypercontracts. Principles of Systems Design 2022: 477-493 - [c187]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]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]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]Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia:
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. FMCAD 2022: 331-342 - [c183]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]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]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]Inigo Incer
, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. NFM 2022: 674-692 - [c179]Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia:
Satisfiability and Synthesis Modulo Oracles. VMCAI 2022: 263-284 - [i88]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]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]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]Adwait Godbole, Yatin A. Manerkar, Sanjit A. Seshia:
Automated Conversion of Axiomatic to Operational Models: Theory and Practice. CoRR abs/2208.06733 (2022) - [i84]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]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]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]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]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]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]Shromona Ghosh, Yash Vardhan Pant, Hadi Ravanbakhsh, Sanjit A. Seshia:
Counterexample-Guided Synthesis of Perception Models and Control. ACC 2021: 3447-3454 - [c175]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]Shivendra Kushwah, Ankush Desai, Pramod Subramanyan, Sanjit A. Seshia:
PSec: Programming Secure Distributed Systems using Enclaves. AsiaCCS 2021: 802-816 - [c173]Sebastian Junges
, Hazem Torfah
, Sanjit A. Seshia
:
Runtime Monitors for Markov Decision Processes. CAV (2) 2021: 553-576 - [c172]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]Sebastian Junges
, Nils Jansen
, Sanjit A. Seshia
:
Enforcing Almost-Sure Reachability in POMDPs. CAV (2) 2021: 602-625 - [c170]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]Daniel J. Fremont
, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Safety in Autonomous Driving: Can Tools Offer Guarantees? DAC 2021: 1311-1314 - [c168]Hazem Torfah
, Shetal Shah, Supratik Chakraborty, S. Akshay, Sanjit A. Seshia:
Synthesizing Pareto-Optimal Interpretations for Black-Box Models. FMCAD 2021: 153-162 - [c167]Marcell Vazquez-Chanlatte, Sebastian Junges
, Daniel J. Fremont
, Sanjit Seshia:
Entropy-Guided Control Improvisation. Robotics: Science and Systems 2021 - [c166]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]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]Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia:
MedleySolver: Online SMT Algorithm Selection. SAT 2021: 453-470 - [p4]Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli
:
Satisfiability Modulo Theories. Handbook of Satisfiability 2021: 1267-1329 - [d4]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]Sebastian Junges
, Nils Jansen
, Sanjit A. Seshia
:
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. Version 1. Zenodo, 2021 [all versions] - [d2]Sebastian Junges
, Nils Jansen
, Sanjit A. Seshia
:
Experiments for 'Enforcing Almost-Sure Reachability in POMDPs'. Version 2. Zenodo, 2021 [all versions] - [d1]Sebastian Junges
, Hazem Torfah
, Sanjit A. Seshia
:
Experiments for 'Runtime Monitoring for Markov Decision Processes'. Zenodo, 2021 - [i81]Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, Sanjit Seshia:
Entropy-Guided Control Improvisation. CoRR abs/2103.05672 (2021) - [i80]Sebastian Junges, Hazem Torfah, Sanjit A. Seshia:
Runtime Monitoring for Markov Decision Processes. CoRR abs/2105.12322 (2021) - [i79]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]Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Hypercontracts. CoRR abs/2106.02449 (2021) - [i77]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]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]Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia:
Satisfiability and Synthesis Modulo Oracles. CoRR abs/2107.13477 (2021) - [i74]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]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]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]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]Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia:
Demonstration Informed Specification Search. CoRR abs/2112.10807 (2021) - 2020
- [j31]Sanjit A. Seshia
, Somesh Jha, Tommaso Dreossi:
Semantic Adversarial Deep Learning. IEEE Des. Test 37(2): 8-18 (2020) - [j30]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]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]Marcell Vazquez-Chanlatte
, Sanjit A. Seshia:
Maximum Causal Entropy Specification Inference from Demonstrations. CAV (2) 2020: 255-278 - [c161]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]Sanjit A. Seshia
:
Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk). FSTTCS 2020: 5:1-5:3 - [c159]Gil Lederman, Markus N. Rabe, Sanjit Seshia, Edward A. Lee:
Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning. ICLR 2020 - [c158]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]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]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]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]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]Sebastian Junges, Nils Jansen, Sanjit A. Seshia:
Enforcing Almost-Sure Reachability in POMDPs. CoRR abs/2007.00085 (2020) - [i66]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]Nicolas Chan, Elizabeth Polgreen, Sanjit A. Seshia:
Gradient Descent over Metagrammars for Syntax-Guided Synthesis. CoRR abs/2007.06677 (2020) - [i64]Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia:
Synthesis in Uclid5. CoRR abs/2007.06760 (2020) - [i63]Elizabeth Polgreen, Sanjit A. Seshia:
SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers. CoRR abs/2007.10519 (2020) - [i62]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]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]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]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]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
- 2019
- [j29]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]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]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]Eric S. Kim
, Murat Arcak
, Sanjit A. Seshia
:
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. CAV (1) 2019: 591-608 - [c154]Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan:
A Formal Approach to Secure Speculation. CSF 2019: 288-303 - [c153]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]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]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]Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia:
Formal Policy Learning from Demonstrations for Reachability Properties. ICRA 2019: 6037-6043 - [c149]Vighnesh Iyer
, Donggyu Kim, Borivoje Nikolic
, Sanjit A. Seshia:
RTL bug localization through LTL specification mining (WIP). MEMOCODE 2019: 5:1-5:5 - [c148]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]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]Sanjit A. Seshia:
Introspective Environment Modeling. RV 2019: 15-26 - [i57]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]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]Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia:
Formal Policy Learning from Demonstrations for Reachability Properties. CoRR abs/1903.00589 (2019) - [i54]Marcell Vazquez-Chanlatte
, Markus N. Rabe, Sanjit A. Seshia:
A Model Counter's Guide to Probabilistic Systems. CoRR abs/1903.09354 (2019) - [i53]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]Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis. CoRR abs/1905.09503 (2019) - [i51]Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia:
Understanding and Extending Incremental Determinization for 2QBF. CoRR abs/1905.13411 (2019) - [i50]Marcell Vazquez-Chanlatte, Sanjit A. Seshia:
Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy. CoRR abs/1907.11792 (2019) - [i49]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]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]Shromona Ghosh, Hadi Ravanbakhsh, Sanjit A. Seshia:
Counterexample-Guided Synthesis of Perception Models and Control. CoRR abs/1911.01523 (2019) - [i46]Hadi Ravanbakhsh, Forrest Laine, Sanjit A. Seshia:
Real-time Funnel Generation for Restricted Motion Planning. CoRR abs/1911.01532 (2019) - [i45]Benjamin Caulfield, Sanjit A. Seshia:
Modularity in Query-Based Concept Learning. CoRR abs/1911.02714 (2019) - [i44]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]Kevin Cheang, Cameron Rasmussen, Sanjit A. Seshia, Pramod Subramanyan:
A Formal Approach to Secure Speculation. IACR Cryptol. ePrint Arch. 2019: 310 (2019) - 2018
- [j27]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]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]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]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]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]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]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]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]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]Sanjit A. Seshia:
Cyber-Physical Systems Education: Explorations and Dreams. Principles of Modeling 2018: 407-422 - [c142]Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia:
Semantic Adversarial Deep Learning. CAV (1) 2018: 3-26 - [c141]Markus N. Rabe, Leander Tentrup, Cameron Rasmussen, Sanjit A. Seshia:
Understanding and Extending Incremental Determinization for 2QBF. CAV (2) 2018: 256-274 - [c140]Daniel J. Fremont
, Sanjit A. Seshia
:
Reactive Control Improvisation. CAV (1) 2018: 307-326 - [c139]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]Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Counterexample-Guided Data Augmentation. IJCAI 2018: 2071-2078 - [c137]Ankush Desai, Shaz Qadeer, Sanjit A. Seshia:
Programming Safe Robotics Systems: Challenges and Advances. ISoLA (2) 2018: 103-119 - [c136]Sanjit A. Seshia, Pramod Subramanyan:
UCLID5: Integrating Modeling, Verification, Synthesis and Learning. MEMOCODE 2018: 1-10 - [c135]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]Marcell Vazquez-Chanlatte
, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia:
Learning Task Specifications from Demonstrations. NeurIPS 2018: 5372-5382 - [c133]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]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]Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis:
Modeling for Verification. Handbook of Model Checking 2018: 75-105 - [i42]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]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]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]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]Daniel J. Fremont, Sanjit A. Seshia:
Reactive Control Improvisation. CoRR abs/1804.05037 (2018) - [i37]Tommaso Dreossi, Somesh Jha, Sanjit A. Seshia:
Semantic Adversarial Deep Learning. CoRR abs/1804.07045 (2018) - [i36]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]Gil Lederman, Markus N. Rabe, Sanjit A. Seshia:
Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning. CoRR abs/1807.08058 (2018) - [i34]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]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]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]Susmit Jha, Sanjit A. Seshia:
A theory of formal synthesis via inductive learning. Acta Informatica 54(7): 693-726 (2017) - [j19]Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Symbolic control design for monotone systems with directed specifications. Autom. 83: 10-19 (2017) - [j18]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]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]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]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]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]Daniel J. Fremont, Markus N. Rabe, Sanjit A. Seshia:
Maximum Model Counting. AAAI 2017: 3885-3892 - [c130]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]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]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]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]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]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]Eric S. Kim, Murat Arcak
, Sanjit A. Seshia:
A Small Gain Theorem for Parametric Assume-Guarantee Contracts. HSCC 2017: 207-216 - [c123]Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia:
DRONA: a framework for safe distributed mobile robotics. ICCPS 2017: 239-248 - [c122]Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. NFM 2017: 357-372 - [c121]Dorsa Sadigh, Anca D. Dragan, Shankar Sastry, Sanjit A. Seshia:
Active Preference-Based Learning of Reward Functions. Robotics: Science and Systems 2017 - [c120]Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia:
Combining Model Checking and Runtime Verification for Safe Robotics. RV 2017: 172-189 - [c119]Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai
, Natarajan Shankar:
TeLEx: Passive STL Learning Using Only Positive Examples. RV 2017: 208-224 - [c118]Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia:
A compiler and verifier for page access oblivious computation. ESEC/SIGSOFT FSE 2017: 649-660 - [i31]Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia:
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. CoRR abs/1703.00978 (2017) - [i30]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]Daniel J. Fremont, Alexandre Donzé, Sanjit A. Seshia:
Control Improvisation. CoRR abs/1704.06319 (2017) - [i28]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]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]Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia:
Specification Inference from Demonstrations. CoRR abs/1710.03875 (2017) - [i25]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]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]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]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]Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Assume-guarantee contracts and controller synthesis for vehicular traffic networks. ACC 2016: 882 - [c115]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]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]Susmit Jha, Vasumathi Raman, Sanjit A. Seshia:
On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. FMCAD 2016: 81-84 - [c112]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]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]Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Directed Specifications and Assumption Mining for Monotone Dynamical Systems. HSCC 2016: 21-30 - [c109]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]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]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]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]Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia, Anca D. Dragan:
Information gathering actions over human internal state. IROS 2016: 66-73 - [c104]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]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]Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune
, Sanjit A. Seshia:
Obfuscator Synthesis for Privacy and Utility. NFM 2016: 133-149 - [c101]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]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]Nathan Mull, Daniel J. Fremont
, Sanjit A. Seshia:
On the Hardness of SAT with Community Structure. SAT 2016: 141-159 - [c98]Markus N. Rabe, Sanjit A. Seshia:
Incremental Determinization. SAT 2016: 375-392 - [e2]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]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]Nathan Mull, Daniel J. Fremont
, Sanjit A. Seshia:
On the Hardness of SAT with Community Structure. CoRR abs/1602.08620 (2016) - [i21]Sanjit A. Seshia, Dorsa Sadigh:
Towards Verified Artificial Intelligence. CoRR abs/1606.08514 (2016) - [i20]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]Sanjit A. Seshia:
Combining Induction, Deduction, and Structure for Verification and Synthesis. Proc. IEEE 103(11): 2036-2051 (2015) - [j11]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]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]Alexandre Donzé, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Automotive systems requirement mining using breach. ACC 2015: 4097 - [c95]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]Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani:
Moat: Verifying Confidentiality of Enclave Programs. CCS 2015: 1169-1184 - [c93]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]Eric S. Kim, Murat Arcak, Sanjit A. Seshia:
Compositional controller synthesis for vehicular traffic networks. CDC 2015: 6165-6171 - [c91]Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry:
Formal methods for semi-autonomous driving. DAC 2015: 148:1-148:5 - [c90]Daniel J. Fremont
, Alexandre Donzé, Sanjit A. Seshia, David Wessel:
Control Improvisation. FSTTCS 2015: 463-474 - [c89]Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray
, Sanjit A. Seshia:
Reactive synthesis from signal temporal logic specifications. HSCC 2015: 239-248 - [c88]Garvit Juniwal, Sakshi Jain, Alexandre Donzé, Sanjit A. Seshia:
Clustering-Based Active Learning for CPSGrader. L@S 2015: 399-403 - [c87]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]Ankush Desai, Shaz Qadeer, Sanjit A. Seshia:
Systematic testing of asynchronous reactive systems. ESEC/SIGSOFT FSE 2015: 73-83 - [c85]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]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]Susmit Jha, Sanjit A. Seshia:
A Theory of Formal Synthesis via Inductive Learning. CoRR abs/1505.03953 (2015) - [i18]Daniel Bundala, Sanjit A. Seshia:
On Systematic Testing for Execution-Time Analysis. CoRR abs/1506.05893 (2015) - [i17]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]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]Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis:
What's Decidable about Syntax-Guided Synthesis? CoRR abs/1510.08393 (2015) - [i14]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]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]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]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]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]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]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]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]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]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]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]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]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]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]Alexandre Donzé, Rafael Valle, Ilge Akkaya, Sophie Libkind, Sanjit A. Seshia, David Wessel:
Machine Improvisation with Formal Specifications. ICMC 2014 - [c75]Susmit Jha, Stavros Tripakis
, Sanjit A. Seshia, Krishnendu Chatterjee:
Game theoretic secure localization in wireless sensor networks. IOT 2014: 85-90 - [c74]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]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]Daniel J. Fremont, Sanjit A. Seshia:
Speeding Up SMT-Based Quantitative Program Analysis. SMT 2014: 3-13 - [c71]Wenchao Li, Dorsa Sadigh, S. Shankar Sastry, Sanjit A. Seshia:
Synthesis for Human-in-the-Loop Control Systems. TACAS 2014: 470-484 - [c70]Rüdiger Ehlers
, Sanjit A. Seshia, Hadas Kress-Gazit:
Synthesis with Identifiers. VMCAI 2014: 415-433 - [c69]Wei Yang Tan, Rohit Sinha, John L. Manferdelli, Sanjit A. Seshia:
Formal Modeling and Verification of CloudProxy. VSTTE 2014: 87-104 - [c68]Susmit Jha, Sanjit A. Seshia:
Are There Good Mistakes? A Theoretical Analysis of CEGIS. SYNT 2014: 84-99 - [i12]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]Daniel J. Fremont
, Sanjit A. Seshia:
Speeding Up SMT-Based Quantitative Program Analysis. CoRR abs/1405.7320 (2014) - [i10]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]Daniel J. Fremont
, Alexandre Donzé, Sanjit A. Seshia, David Wessel:
Control Improvisation. CoRR abs/1411.0698 (2014) - [i8]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]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]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]Luigi Di Guglielmo, Sanjit A. Seshia, Tiziano Villa:
Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata. FedCSIS 2013: 1369-1376 - [c65]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]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]Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, Sanjit A. Seshia:
Mining requirements from closed-loop control models. HSCC 2013: 43-52 - [c62]Sanjit A. Seshia:
Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond. ICDCN 2013: 1-10 - [c61]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]Susmit Jha, Sanjit A. Seshia:
SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction. CoRR abs/1302.1920 (2013) - [i5]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]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]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]Sanjit A. Seshia:
Sciduction: combining induction, deduction, and structure for verification and synthesis. DAC 2012: 356-365 - [c59]Wenchao Li, Sanjit A. Seshia, Somesh Jha:
CrowdMine: towards crowdsourced human-assisted verification. DAC 2012: 1254-1255 - [c58]Edward A. Lee, Sanjit A. Seshia, Jeff C. Jensen:
Teaching embedded systems the Berkeley way. WESE 2012: 1 - [c57]Dorsa Sadigh, Sanjit A. Seshia, Mona Gupta:
Automating exercise generation: a step towards meeting the MOOC challenge for embedded systems. WESE 2012: 2 - [c56]Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner:
Verification with small and short worlds. FMCAD 2012: 68-77 - [c55]Wenchao Li, Zach Wasson, Sanjit A. Seshia:
Reverse engineering circuits using behavioral pattern mining. HOST 2012: 83-88 - [c54]Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia:
Compositional performance verification of NoC designs. MEMOCODE 2012: 1-10 - [c53]Wenchao Li, Sanjit A. Seshia:
Sparse Coding for Specification Mining and Error Localization. RV 2012: 64-81 - [e1]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]Sanjit A. Seshia:
Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis. CoRR abs/1201.0979 (2012) - 2011
- [c52]Daniel E. Holcomb, Bryan A. Brady, Sanjit A. Seshia:
Abstraction-based performance verification of NoCs. DAC 2011: 492-497 - [c51]Bryan A. Brady, Daniel E. Holcomb, Sanjit A. Seshia:
Counterexample-guided SMT-driven optimal buffer sizing. DATE 2011: 329-334 - [c50]Susmit Jha
, Sanjit A. Seshia, Ashish Tiwari:
Synthesis of optimal switching logic for hybrid systems. EMSOFT 2011: 107-116 - [c49]Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia:
Timing analysis of interrupt-driven programs under context bounds. FMCAD 2011: 81-90 - [c48]Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia:
Learning conditional abstractions. FMCAD 2011: 116-124 - [c47]Orna Kupferman, Dorsa Sadigh, Sanjit A. Seshia:
Synthesis with Clairvoyance. Haifa Verification Conference 2011: 5-19 - [c46]Jeff C. Jensen, Edward A. Lee
, Sanjit A. Seshia:
An introductory capstone design course on embedded systems. ISCAS 2011: 1199-1202 - [c45]Wenchao Li, Lili Dworkin, Sanjit A. Seshia:
Mining assumptions for synthesis. MEMOCODE 2011: 43-50 - [c44]Sanjit A. Seshia, Jonathan Kotker:
GameTime: A Toolkit for Timing Analysis of Software. TACAS 2011: 388-392 - [i3]Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing Switching Logic to Minimize Long-Run Cost. CoRR abs/1103.0800 (2011) - 2010
- [c43]Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici:
Post-silicon validation opportunities, challenges and recent advances. DAC 2010: 12-17 - [c42]Wenchao Li, Alessandro Forin, Sanjit A. Seshia:
Scalable specification mining for verification and diagnosis. DAC 2010: 755-760 - [c41]Dave King, Susmit Jha
, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia:
Automating Security Mediation Placement. ESOP 2010: 327-344 - [c40]Edward A. Lee
, Sanjit A. Seshia:
An introductory textbook on cyber-physical systems. WESE 2010: 1 - [c39]Sanjit A. Seshia:
Quantitative Analysis of Software: Challenges and Recent Advances. FACS 2010: 1-5 - [c38]Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli:
CalCS: SMT solving for non-linear convex constraints. FMCAD 2010: 71-79 - [c37]Susmit Jha
, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing switching logic for safety and dwell-time requirements. ICCPS 2010: 22-31 - [c36]Susmit Jha
, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224 - [c35]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
- 2009
- [j4]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]Susmit Jha
, Rhishikesh Limaye, Sanjit A. Seshia:
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. CAV 2009: 668-674 - [c33]Cynthia Sturton, Susmit Jha
, Sanjit A. Seshia, David A. Wagner:
On voting machine design for verification and testability. CCS 2009: 463-476 - [c32]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]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]Susmit Jha
, Wenchao Li, Sanjit A. Seshia:
Localizing transient faults using dynamic bayesian networks. HLDVT 2009: 82-87 - [c29]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]Clark W. Barrett
, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli:
Satisfiability Modulo Theories. Handbook of Satisfiability 2009: 825-885 - [i2]Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye:
On the Computational Complexity of Satisfiability Solving for String Theories. CoRR abs/0903.2825 (2009) - 2008
- [c28]Orna Kupferman, Wenchao Li, Sanjit A. Seshia:
A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. FMCAD 2008: 1-9 - [c27]Sanjit A. Seshia, Alexander Rakhlin:
Game-theoretic timing analysis. ICCAD 2008: 575-582 - [c26]Dave King, Trent Jaeger, Somesh Jha, Sanjit A. Seshia:
Effective blame for information-flow violations. SIGSOFT FSE 2008: 250-260 - 2007
- [j3]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]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]Sanjit A. Seshia, Wenchao Li, Subhasish Mitra:
Verification-guided soft error resilience. DATE 2007: 1442-1447 - [c23]Susmit Jha
, Bryan A. Brady, Sanjit A. Seshia:
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS 2007: 241-256 - [c22]Sanjit A. Seshia:
Autonomic Reactive Systems via Online Learning. ICAC 2007: 30 - [c21]Daniel Kroening
, Sanjit A. Seshia:
Formal verification at higher levels of abstraction. ICCAD 2007: 572-578 - [c20]Dirk Beyer
, Arindam Chakrabarti, Thomas A. Henzinger, Sanjit A. Seshia:
An Application ofWeb-Service Interfaces. ICWS 2007: 831-838 - [c19]Armando Solar-Lezama
, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia:
Sketching stencils. PLDI 2007: 167-178 - [c18]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]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]Sanjit A. Seshia, Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. Log. Methods Comput. Sci. 1(2) (2005) - [j1]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]Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Stevens:
Modeling and Verifying Circuits Using Generalized Relative Timing. ASYNC 2005: 98-108 - [c15]Randal E. Bryant, Sanjit A. Seshia:
Decision Procedures Customized for Formal Verification. CADE 2005: 255-259 - [c14]Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant:
Automatic discovery of API-level exploits. ICSE 2005: 312-321 - [c13]Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant:
Semantics-Aware Malware Detection. S&P 2005: 32-46 - [i1]Sanjit A. Seshia, Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. CoRR abs/cs/0508044 (2005) - 2004
- [c12]Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman:
Abstraction-Based Satisfiability Solving of Presburger Arithmetic. CAV 2004: 308-320 - [c11]Shuvendu K. Lahiri, Sanjit A. Seshia:
The UCLID Decision Procedure. CAV 2004: 475-478 - [c10]Sanjit A. Seshia, Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. LICS 2004: 100-109 - 2003
- [c9]Sanjit A. Seshia, Randal E. Bryant:
Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods. CAV 2003: 154-166 - [c8]Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia:
Convergence Testing in Term-Level Bounded Model Checking. CHARME 2003: 348-362 - [c7]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]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]Cormac Flanagan, Shaz Qadeer, Sanjit A. Seshia:
A Modular Checker for Multithreaded Programs. CAV 2002: 180-194 - [c4]Ofer Strichman
, Sanjit A. Seshia, Randal E. Bryant:
Deciding Separation Formulas with SAT. CAV 2002: 209-222 - [c3]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
- 1999
- [c2]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]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
aka: Jyotirmoy Deshmukh
aka: Marcell V.-Chanlatte
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-18 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint