default search action
BibTeX records: Sanjit A. Seshia
@article{DBLP:journals/darts/QiuCBHSC24, author = {Jie Qiu and Colin Cai and Sahil Bhatia and Niranjan Hasabnis and Sanjit A. Seshia and Alvin Cheung}, title = {Tenspiler: {A} Verified-Lifting-Based Compiler for Tensor Operations (Artifact)}, journal = {Dagstuhl Artifacts Ser.}, volume = {10}, number = {2}, pages = {17:1--17:2}, year = {2024}, url = {https://doi.org/10.4230/DARTS.10.2.17}, doi = {10.4230/DARTS.10.2.17}, timestamp = {Thu, 12 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/darts/QiuCBHSC24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ShahMS24, author = {Amar Shah and Federico Mora and Sanjit A. Seshia}, editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan}, title = {An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes}, booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver, Canada}, pages = {8099--8107}, publisher = {{AAAI} Press}, year = {2024}, url = {https://doi.org/10.1609/aaai.v38i8.28649}, doi = {10.1609/AAAI.V38I8.28649}, timestamp = {Wed, 17 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ShahMS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asplos/GodboleCMS24, author = {Adwait Godbole and Kevin Cheang and Yatin A. Manerkar and Sanjit A. Seshia}, editor = {Rajiv Gupta and Nael B. Abu{-}Ghazaleh and Madan Musuvathi and Dan Tsafrir}, title = {Lifting Micro-Update Models from {RTL} for Formal Security Analysis}, booktitle = {Proceedings of the 29th {ACM} International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, {ASPLOS} 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024}, pages = {631--648}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3620665.3640418}, doi = {10.1145/3620665.3640418}, timestamp = {Sat, 04 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asplos/GodboleCMS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/QiuCBHSC24, author = {Jie Qiu and Colin Cai and Sahil Bhatia and Niranjan Hasabnis and Sanjit A. Seshia and Alvin Cheung}, editor = {Jonathan Aldrich and Guido Salvaneschi}, title = {Tenspiler: {A} Verified-Lifting-Based Compiler for Tensor Operations}, booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024, September 16-20, 2024, Vienna, Austria}, series = {LIPIcs}, volume = {313}, pages = {32:1--32:28}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2024}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.32}, doi = {10.4230/LIPICS.ECOOP.2024.32}, timestamp = {Thu, 12 Sep 2024 13:29:32 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/QiuCBHSC24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/TuckCFHOSS24, author = {Victoria Marie Tuck and Pei{-}Wei Chen and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and S. Shankar Sastry and Sanjit A. Seshia}, editor = {Nathaniel Benz and Divya Gopinath and Nija Shi}, title = {SMT-Based Dynamic Multi-Robot Task Allocation}, booktitle = {{NASA} Formal Methods - 16th International Symposium, {NFM} 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14627}, pages = {331--351}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-60698-4\_20}, doi = {10.1007/978-3-031-60698-4\_20}, timestamp = {Tue, 04 Jun 2024 15:39:38 +0200}, biburl = {https://dblp.org/rec/conf/nfm/TuckCFHOSS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2402-07051, author = {Marcell Vazquez{-}Chanlatte and Karim Elmaaroufi and Stefan J. Witwicki and Sanjit A. Seshia}, title = {L\({}^{\mbox{*}}\)LM: Learning Automata from Examples using Natural Language Oracles}, journal = {CoRR}, volume = {abs/2402.07051}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2402.07051}, doi = {10.48550/ARXIV.2402.07051}, eprinttype = {arXiv}, eprint = {2402.07051}, timestamp = {Fri, 16 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-07051.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2403-11737, author = {Victoria Marie Tuck and Pei{-}Wei Chen and Georgios Fainekos and Bardh Hoxha and Hideki Okamoto and S. Shankar Sastry and Sanjit A. Seshia}, title = {SMT-Based Dynamic Multi-Robot Task Allocation}, journal = {CoRR}, volume = {abs/2403.11737}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.11737}, doi = {10.48550/ARXIV.2403.11737}, eprinttype = {arXiv}, eprint = {2403.11737}, timestamp = {Mon, 08 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-11737.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2404-11578, author = {Ameesh Shah and Cameron Voloshin and Chenxi Yang and Abhinav Verma and Swarat Chaudhuri and Sanjit A. Seshia}, title = {Deep Policy Optimization with Temporal Logic Constraints}, journal = {CoRR}, volume = {abs/2404.11578}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.11578}, doi = {10.48550/ARXIV.2404.11578}, eprinttype = {arXiv}, eprint = {2404.11578}, timestamp = {Wed, 22 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-11578.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2404-18249, author = {Jie Qiu and Colin Cai and Sahil Bhatia and Niranjan Hasabnis and Sanjit A. Seshia and Alvin Cheung}, title = {Tenspiler: {A} Verified Lifting-Based Compiler for Tensor Operations}, journal = {CoRR}, volume = {abs/2404.18249}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2404.18249}, doi = {10.48550/ARXIV.2404.18249}, eprinttype = {arXiv}, eprint = {2404.18249}, timestamp = {Mon, 27 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-18249.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2405-03709, author = {Karim Elmaaroufi and Devan Shanker and Ana Cismaru and Marcell Vazquez{-}Chanlatte and Alberto L. Sangiovanni{-}Vincentelli and Matei Zaharia and Sanjit A. Seshia}, title = {Generating Probabilistic Scenario Programs from Natural Language}, journal = {CoRR}, volume = {abs/2405.03709}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2405.03709}, doi = {10.48550/ARXIV.2405.03709}, eprinttype = {arXiv}, eprint = {2405.03709}, timestamp = {Fri, 07 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2405-03709.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2405-06624, author = {David Dalrymple and Joar Skalse and Yoshua Bengio and Stuart Russell and Max Tegmark and Sanjit Seshia and Steve Omohundro and Christian Szegedy and Ben Goldhaber and Nora Ammann and Alessandro Abate and Joe Halpern and Clark W. Barrett and Ding Zhao and Tan Zhi{-}Xuan and Jeannette Wing and Joshua B. Tenenbaum}, title = {Towards Guaranteed Safe {AI:} {A} Framework for Ensuring Robust and Reliable {AI} Systems}, journal = {CoRR}, volume = {abs/2405.06624}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2405.06624}, doi = {10.48550/ARXIV.2405.06624}, eprinttype = {arXiv}, eprint = {2405.06624}, timestamp = {Wed, 19 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2405-06624.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2406-03003, author = {Sahil Bhatia and Jie Qiu and Niranjan Hasabnis and Sanjit A. Seshia and Alvin Cheung}, title = {Verified Code Transpilation with LLMs}, journal = {CoRR}, volume = {abs/2406.03003}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2406.03003}, doi = {10.48550/ARXIV.2406.03003}, eprinttype = {arXiv}, eprint = {2406.03003}, timestamp = {Fri, 05 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2406-03003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2406-03636, author = {Federico Mora and Justin Wong and Haley Lepe and Sahil Bhatia and Karim Elmaaroufi and George Varghese and Joseph E. Gonzalez and Elizabeth Polgreen and Sanjit A. Seshia}, title = {Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages}, journal = {CoRR}, volume = {abs/2406.03636}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2406.03636}, doi = {10.48550/ARXIV.2406.03636}, eprinttype = {arXiv}, eprint = {2406.03636}, timestamp = {Fri, 05 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2406-03636.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2406-05403, author = {Adwait Godbole and Yatin A. Manerkar and Sanjit A. Seshia}, title = {SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns}, journal = {CoRR}, volume = {abs/2406.05403}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2406.05403}, doi = {10.48550/ARXIV.2406.05403}, eprinttype = {arXiv}, eprint = {2406.05403}, timestamp = {Sat, 13 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2406-05403.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2406-06253, author = {Shaokai Lin and Erling Rennemo Jellum and Mirco Theile and Tassilo Tanneberger and Binqi Sun and Chadlia Jerad and Ruomu Xu and Guangyu Feng and Christian Menard and Marten Lohstroh and Jer{\'{o}}nimo Castrill{\'{o}}n and Sanjit Seshia and Edward A. Lee}, title = {PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency}, journal = {CoRR}, volume = {abs/2406.06253}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2406.06253}, doi = {10.48550/ARXIV.2406.06253}, eprinttype = {arXiv}, eprint = {2406.06253}, timestamp = {Sat, 13 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2406-06253.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ml/FremontKDGYSS23, author = {Daniel J. Fremont and Edward Kim and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Scenic: a language for scenario specification and data generation}, journal = {Mach. Learn.}, volume = {112}, number = {10}, pages = {3805--3849}, year = {2023}, url = {https://doi.org/10.1007/s10994-021-06120-5}, doi = {10.1007/S10994-021-06120-5}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ml/FremontKDGYSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/MoraDPS23, author = {Federico Mora and Ankush Desai and Elizabeth Polgreen and Sanjit A. Seshia}, title = {Message Chains for Distributed System Verification}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{OOPSLA2}}, pages = {2224--2250}, year = {2023}, url = {https://doi.org/10.1145/3622876}, doi = {10.1145/3622876}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/MoraDPS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/YalcinkayaTDS23, author = {Beyazit Yalcinkaya and Hazem Torfah and Ankush Desai and Sanjit A. Seshia}, title = {Ulgen: {A} Runtime Assurance Framework for Programming Safe Cyber-Physical Systems}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {42}, number = {11}, pages = {3679--3692}, year = {2023}, url = {https://doi.org/10.1109/TCAD.2023.3246386}, doi = {10.1109/TCAD.2023.3246386}, timestamp = {Thu, 09 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcad/YalcinkayaTDS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/LinMLPYJLS23, author = {Shaokai Lin and Yatin A. Manerkar and Marten Lohstroh and Elizabeth Polgreen and Sheng{-}Jung Yu and Chadlia Jerad and Edward A. Lee and Sanjit A. Seshia}, title = {Towards Building Verifiable {CPS} using Lingua Franca}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {22}, number = {5s}, pages = {155:1--155:24}, year = {2023}, url = {https://doi.org/10.1145/3609134}, doi = {10.1145/3609134}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/LinMLPYJLS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/VinKRFKDGYSS23, author = {Eric Vin and Shun Kashiwa and Matthew Rhea and Daniel J. Fremont and Edward Kim and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, editor = {Constantin Enea and Akash Lal}, title = {3D Environment Modeling for Falsification and Beyond with Scenic 3.0}, booktitle = {Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13964}, pages = {253--265}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-37706-8\_13}, doi = {10.1007/978-3-031-37706-8\_13}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/VinKRFKDGYSS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpsweek/YuIPCVFMS0S23, author = {Sheng{-}Jung Yu and Inigo Incer and Valmik Prabhu and Anwesha Chattoraj and Eric Vin and Daniel J. Fremont and Ankur Mehta and Alberto L. Sangiovanni{-}Vincentelli and Shankar Sastry and Sanjit A. Seshia}, title = {Symbiotic {CPS} Design-Space Exploration through Iterated Optimization}, booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12, 2023}, pages = {92--99}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3576914.3587525}, doi = {10.1145/3576914.3587525}, timestamp = {Wed, 17 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpsweek/YuIPCVFMS0S23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/BhatiaKSC23, author = {Sahil Bhatia and Sumer Kohli and Sanjit A. Seshia and Alvin Cheung}, editor = {Karim Ali and Guido Salvaneschi}, title = {Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper)}, booktitle = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023, July 17-21, 2023, Seattle, Washington, United States}, series = {LIPIcs}, volume = {263}, pages = {38:1--38:30}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2023}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.38}, doi = {10.4230/LIPICS.ECOOP.2023.38}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/BhatiaKSC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/GodboleYMS23, author = {Adwait Godbole and Leiqi Ye and Yatin A. Manerkar and Sanjit A. Seshia}, editor = {Alexander Nadel and Kristin Yvonne Rozier}, title = {Modelling and Verification of Security-Oriented Resource Partitioning Schemes}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2023, Ames, IA, USA, October 24-27, 2023}, pages = {268--273}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.34727/2023/isbn.978-3-85448-060-0\_35}, doi = {10.34727/2023/ISBN.978-3-85448-060-0\_35}, timestamp = {Wed, 13 Dec 2023 14:38:51 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/GodboleYMS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/YalcinkayaTFS23, author = {Beyazit Yalcinkaya and Hazem Torfah and Daniel J. Fremont and Sanjit A. Seshia}, editor = {Panagiotis Katsaros and Laura Nenzi}, title = {Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications}, booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14245}, pages = {191--212}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-44267-4\_10}, doi = {10.1007/978-3-031-44267-4\_10}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/YalcinkayaTFS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/TorfahJSACS23, author = {Hazem Torfah and Aniruddha R. Joshi and Shetal Shah and S. Akshay and Supratik Chakraborty and Sanjit A. Seshia}, editor = {Panagiotis Katsaros and Laura Nenzi}, title = {Learning Monitor Ensembles for Operational Design Domains}, booktitle = {Runtime Verification - 23rd International Conference, {RV} 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14245}, pages = {271--290}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-44267-4\_14}, doi = {10.1007/978-3-031-44267-4\_14}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/TorfahJSACS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2302-13980, author = {Piergiuseppe Mallozzi and Hussein Sibai and Inigo Incer and Sanjit A. Seshia and Alberto L. Sangiovanni{-}Vincentelli}, title = {A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies}, journal = {CoRR}, volume = {abs/2302.13980}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2302.13980}, doi = {10.48550/ARXIV.2302.13980}, eprinttype = {arXiv}, eprint = {2302.13980}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2302-13980.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-17010, author = {Ameesh Shah and Jonathan A. DeCastro and John Gideon and Beyazit Yalcinkaya and Guy Rosman and Sanjit A. Seshia}, title = {Specification-Guided Data Aggregation for Semantically Aware Imitation Learning}, journal = {CoRR}, volume = {abs/2303.17010}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.17010}, doi = {10.48550/ARXIV.2303.17010}, eprinttype = {arXiv}, eprint = {2303.17010}, timestamp = {Fri, 14 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-17010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-17751, author = {Inigo Incer and Apurva Badithela and Josefine Graebener and Piergiuseppe Mallozzi and Ayush Pandey and Sheng{-}Jung Yu and Albert Benveniste and Beno{\^{\i}}t Caillaud and Richard M. Murray and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design}, journal = {CoRR}, volume = {abs/2303.17751}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.17751}, doi = {10.48550/ARXIV.2303.17751}, eprinttype = {arXiv}, eprint = {2303.17751}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-17751.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-17596, author = {Inigo Incer and Albert Benveniste and Richard M. Murray and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Context-Aided Variable Elimination for Requirement Engineering}, journal = {CoRR}, volume = {abs/2305.17596}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.17596}, doi = {10.48550/ARXIV.2305.17596}, eprinttype = {arXiv}, eprint = {2305.17596}, timestamp = {Wed, 07 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-17596.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-00521, author = {Yixuan Li and Federico Mora and Elizabeth Polgreen and Sanjit A. Seshia}, title = {Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis}, journal = {CoRR}, volume = {abs/2306.00521}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.00521}, doi = {10.48550/ARXIV.2306.00521}, eprinttype = {arXiv}, eprint = {2306.00521}, timestamp = {Mon, 12 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-00521.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-03325, author = {Eric Vin and Shun Kashiwa and Matthew Rhea and Daniel J. Fremont and Edward Kim and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {3D Environment Modeling for Falsification and Beyond with Scenic 3.0}, journal = {CoRR}, volume = {abs/2307.03325}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.03325}, doi = {10.48550/ARXIV.2307.03325}, eprinttype = {arXiv}, eprint = {2307.03325}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-03325.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-10434, author = {Ameesh Shah and Marcell Vazquez{-}Chanlatte and Sebastian Junges and Sanjit A. Seshia}, title = {Learning Formal Specifications from Membership and Preference Queries}, journal = {CoRR}, volume = {abs/2307.10434}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.10434}, doi = {10.48550/ARXIV.2307.10434}, eprinttype = {arXiv}, eprint = {2307.10434}, timestamp = {Wed, 26 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-10434.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2310-12234, author = {Amar Shah and Federico Mora and Sanjit A. Seshia}, title = {An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes}, journal = {CoRR}, volume = {abs/2310.12234}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.12234}, doi = {10.48550/ARXIV.2310.12234}, eprinttype = {arXiv}, eprint = {2310.12234}, timestamp = {Wed, 17 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-12234.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/Seshia22, author = {Sanjit A. Seshia}, title = {Explorations in cyber-physical systems education}, journal = {Commun. {ACM}}, volume = {65}, number = {5}, pages = {60--69}, year = {2022}, url = {https://doi.org/10.1145/3490442}, doi = {10.1145/3490442}, timestamp = {Wed, 25 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cacm/Seshia22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cacm/SeshiaSS22, author = {Sanjit A. Seshia and Dorsa Sadigh and S. Shankar Sastry}, title = {Toward verified artificial intelligence}, journal = {Commun. {ACM}}, volume = {65}, number = {7}, pages = {46--55}, year = {2022}, url = {https://doi.org/10.1145/3503914}, doi = {10.1145/3503914}, timestamp = {Thu, 30 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cacm/SeshiaSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/GaneshSJ22, author = {Vijay Ganesh and Sanjit A. Seshia and Somesh Jha}, title = {Machine learning and logic: a new frontier in artificial intelligence}, journal = {Formal Methods Syst. Des.}, volume = {60}, number = {3}, pages = {426--451}, year = {2022}, url = {https://doi.org/10.1007/s10703-023-00430-1}, doi = {10.1007/S10703-023-00430-1}, timestamp = {Thu, 27 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/GaneshSJ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tnn/ZhaoYZLZWKGSSK22, author = {Sicheng Zhao and Xiangyu Yue and Shanghang Zhang and Bo Li and Han Zhao and Bichen Wu and Ravi Krishna and Joseph E. Gonzalez and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Kurt Keutzer}, title = {A Review of Single-Source Deep Unsupervised Visual Domain Adaptation}, journal = {{IEEE} Trans. Neural Networks Learn. Syst.}, volume = {33}, number = {2}, pages = {473--493}, year = {2022}, url = {https://doi.org/10.1109/TNNLS.2020.3028503}, doi = {10.1109/TNNLS.2020.3028503}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tnn/ZhaoYZLZWKGSSK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/AzadKWLSASS22, author = {Abdus Salam Azad and Edward Kim and Qiancheng Wu and Kimin Lee and Ion Stoica and Pieter Abbeel and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Programmatic Modeling and Generation of Real-Time Strategic Soccer Environments for Reinforcement Learning}, booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022}, pages = {6028--6036}, publisher = {{AAAI} Press}, year = {2022}, url = {https://doi.org/10.1609/aaai.v36i6.20549}, doi = {10.1609/AAAI.V36I6.20549}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/AzadKWLSASS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/TorfahXJVS22, author = {Hazem Torfah and Carol Xie and Sebastian Junges and Marcell Vazquez{-}Chanlatte and Sanjit A. Seshia}, editor = {Ahmed Bouajjani and Luk{\'{a}}s Hol{\'{\i}}k and Zhilin Wu}, title = {Learning Monitorable Operational Design Domains for Assured Autonomy}, booktitle = {Automated Technology for Verification and Analysis - 20th International Symposium, {ATVA} 2022, Virtual Event, October 25-28, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13505}, pages = {3--22}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-19992-9\_1}, doi = {10.1007/978-3-031-19992-9\_1}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/TorfahXJVS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/IncerBSS22, author = {Inigo Incer and Albert Benveniste and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, editor = {Jean{-}Fran{\c{c}}ois Raskin and Krishnendu Chatterjee and Laurent Doyen and Rupak Majumdar}, title = {From Interface Automata to Hypercontracts}, booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {13660}, pages = {477--493}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-22337-2\_23}, doi = {10.1007/978-3-031-22337-2\_23}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/IncerBSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/PolgreenCGGLLMM22, author = {Elizabeth Polgreen and Kevin Cheang and Pranav Gaddamadugu and Adwait Godbole and Kevin Laeufer and Shaokai Lin and Yatin A. Manerkar and Federico Mora and Sanjit A. Seshia}, editor = {Sharon Shoham and Yakir Vizel}, title = {{UCLID5:} Multi-modal Formal Modeling, Verification, and Synthesis}, booktitle = {Computer Aided Verification - 34th International Conference, {CAV} 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13371}, pages = {538--551}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-13185-1\_27}, doi = {10.1007/978-3-031-13185-1\_27}, timestamp = {Thu, 25 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/PolgreenCGGLLMM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/LeeCTLGVVSSA22, author = {Dayeol Lee and Kevin Cheang and Alexander Thomas and Catherine Lu and Pranav Gaddamadugu and Anjo Vahldiek{-}Oberwagner and Mona Vij and Dawn Song and Sanjit A. Seshia and Krste Asanovic}, editor = {Heng Yin and Angelos Stavrou and Cas Cremers and Elaine Shi}, title = {Cerberus: {A} Formal Approach to Secure and Efficient Enclave Memory Sharing}, booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2022, Los Angeles, CA, USA, November 7-11, 2022}, pages = {1871--1885}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3548606.3560595}, doi = {10.1145/3548606.3560595}, timestamp = {Sat, 17 Dec 2022 01:15:29 +0100}, biburl = {https://dblp.org/rec/conf/ccs/LeeCTLGVVSSA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/LaufferYVSS22, author = {Niklas Lauffer and Beyazit Yalcinkaya and Marcell Vazquez{-}Chanlatte and Ameesh Shah and Sanjit A. Seshia}, editor = {Alberto Griggio and Neha Rungta}, title = {Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations}, booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento, Italy, October 17-21, 2022}, pages = {1--6}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_39}, doi = {10.34727/2022/ISBN.978-3-85448-053-2\_39}, timestamp = {Mon, 13 Feb 2023 21:53:10 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/LaufferYVSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/GodboleMS22, author = {Adwait Godbole and Yatin A. Manerkar and Sanjit A. Seshia}, editor = {Alberto Griggio and Neha Rungta}, title = {Automated Conversion of Axiomatic to Operational Models: Theory and Practice}, booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento, Italy, October 17-21, 2022}, pages = {331--342}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_40}, doi = {10.34727/2022/ISBN.978-3-85448-053-2\_40}, timestamp = {Mon, 13 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/GodboleMS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/KimSJFSS22, author = {Edward Kim and Jay Shenoy and Sebastian Junges and Daniel J. Fremont and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Querying Labelled Data with Scenario Programs for Sim-to-Real Validation}, booktitle = {13th {ACM/IEEE} International Conference on Cyber-Physical Systems, {ICCPS} 2022, Milano, Italy, May 4-6, 2022}, pages = {34--45}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICCPS54341.2022.00010}, doi = {10.1109/ICCPS54341.2022.00010}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccps/KimSJFSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/KimSJFSS22a, author = {Edward Kim and Jay Shenoy and Sebastian Junges and Daniel J. Fremont and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Demo: Querying Labelled Data with Scenario Programs for Sim-to-Real Validation}, booktitle = {13th {ACM/IEEE} International Conference on Cyber-Physical Systems, {ICCPS} 2022, Milano, Italy, May 4-6, 2022}, pages = {322--323}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ICCPS54341.2022.00052}, doi = {10.1109/ICCPS54341.2022.00052}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccps/KimSJFSS22a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itsc/PantKSKVKHS22, author = {Yash Vardhan Pant and Balasaravanan Thoravi Kumaravel and Ameesh Shah and Erin Kraemer and Marcell Vazquez{-}Chanlatte and Kshitij Kulkarni and Bjoern Hartmann and Sanjit A. Seshia}, title = {Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs}, booktitle = {25th {IEEE} International Conference on Intelligent Transportation Systems, {ITSC} 2022, Macau, China, October 8-12, 2022}, pages = {2585--2592}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/ITSC55140.2022.9921935}, doi = {10.1109/ITSC55140.2022.9921935}, timestamp = {Thu, 10 Nov 2022 21:13:36 +0100}, biburl = {https://dblp.org/rec/conf/itsc/PantKSKVKHS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/IncerBSS22, author = {Inigo Incer and Albert Benveniste and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, editor = {Jyotirmoy V. Deshmukh and Klaus Havelund and Ivan Perez}, title = {Hypercontracts}, booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13260}, pages = {674--692}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-06773-0\_36}, doi = {10.1007/978-3-031-06773-0\_36}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/IncerBSS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/PolgreenRS22, author = {Elizabeth Polgreen and Andrew Reynolds and Sanjit A. Seshia}, editor = {Bernd Finkbeiner and Thomas Wies}, title = {Satisfiability and Synthesis Modulo Oracles}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13182}, pages = {263--284}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-030-94583-1\_13}, doi = {10.1007/978-3-030-94583-1\_13}, timestamp = {Wed, 19 Jan 2022 09:36:10 +0100}, biburl = {https://dblp.org/rec/conf/vmcai/PolgreenRS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-02609, author = {Victoria Tuck and Yash Vardhan Pant and Sanjit A. Seshia and S. Shankar Sastry}, title = {{DEC-LOS-RRT:} Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication}, journal = {CoRR}, volume = {abs/2203.02609}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.02609}, doi = {10.48550/ARXIV.2203.02609}, eprinttype = {arXiv}, eprint = {2203.02609}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-02609.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-13013, author = {Niklas Lauffer and Beyazit Yalcinkaya and Marcell Vazquez{-}Chanlatte and Ameesh Shah and Sanjit A. Seshia}, title = {Learning Deterministic Finite Automata Decompositions from Examples and Demonstrations}, journal = {CoRR}, volume = {abs/2205.13013}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.13013}, doi = {10.48550/ARXIV.2205.13013}, eprinttype = {arXiv}, eprint = {2205.13013}, timestamp = {Mon, 30 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-13013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-03699, author = {Elizabeth Polgreen and Kevin Cheang and Pranav Gaddamadugu and Adwait Godbole and Kevin Laeufer and Shaokai Lin and Yatin A. Manerkar and Federico Mora and Sanjit A. Seshia}, title = {{UCLID5:} Multi-Modal Formal Modeling, Verification, and Synthesis}, journal = {CoRR}, volume = {abs/2208.03699}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.03699}, doi = {10.48550/ARXIV.2208.03699}, eprinttype = {arXiv}, eprint = {2208.03699}, timestamp = {Wed, 10 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-03699.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-06733, author = {Adwait Godbole and Yatin A. Manerkar and Sanjit A. Seshia}, title = {Automated Conversion of Axiomatic to Operational Models: Theory and Practice}, journal = {CoRR}, volume = {abs/2208.06733}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.06733}, doi = {10.48550/ARXIV.2208.06733}, eprinttype = {arXiv}, eprint = {2208.06733}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-06733.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-15253, author = {Dayeol Lee and Kevin Cheang and Alexander Thomas and Catherine Lu and Pranav Gaddamadugu and Anjo Vahldiek{-}Oberwagner and Mona Vij and Dawn Song and Sanjit A. Seshia and Krste Asanovic}, title = {Cerberus: {A} Formal Approach to Secure and Efficient Enclave Memory Sharing}, journal = {CoRR}, volume = {abs/2209.15253}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.15253}, doi = {10.48550/ARXIV.2209.15253}, eprinttype = {arXiv}, eprint = {2209.15253}, timestamp = {Thu, 06 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-15253.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2211-02179, author = {Kevin Cheang and Cameron Rasmussen and Dayeol Lee and David W. Kohlbrenner and Krste Asanovic and Sanjit A. Seshia}, title = {Verifying {RISC-V} Physical Memory Protection}, journal = {CoRR}, volume = {abs/2211.02179}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2211.02179}, doi = {10.48550/ARXIV.2211.02179}, eprinttype = {arXiv}, eprint = {2211.02179}, timestamp = {Wed, 09 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-02179.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2212-02795, author = {Ritwik Gupta and Alexander M. Bayen and Sarah Rohrschneider and Adrienne Fulk and Andrew W. Reddie and Sanjit A. Seshia and Shankar Sastry and Janet Napolitano}, title = {Emerging Technology and Policy Co-Design Considerations for the Safe and Transparent Use of Small Unmanned Aerial Systems}, journal = {CoRR}, volume = {abs/2212.02795}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2212.02795}, doi = {10.48550/ARXIV.2212.02795}, eprinttype = {arXiv}, eprint = {2212.02795}, timestamp = {Wed, 19 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2212-02795.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tac/AlexandruGSSTP21, author = {Andreea B. Alexandru and Konstantinos Gatsis and Yasser Shoukry and Sanjit A. Seshia and Paulo Tabuada and George J. Pappas}, title = {Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption}, journal = {{IEEE} Trans. Autom. Control.}, volume = {66}, number = {5}, pages = {2357--2364}, year = {2021}, url = {https://doi.org/10.1109/TAC.2020.3005920}, doi = {10.1109/TAC.2020.3005920}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tac/AlexandruGSSTP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/VaezipoorLWMGSB21, author = {Pashootan Vaezipoor and Gil Lederman and Yuhuai Wu and Chris J. Maddison and Roger B. Grosse and Sanjit A. Seshia and Fahiem Bacchus}, title = {Learning Branching Heuristics for Propositional Model Counting}, booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021}, pages = {12427--12435}, publisher = {{AAAI} Press}, year = {2021}, url = {https://doi.org/10.1609/aaai.v35i14.17474}, doi = {10.1609/AAAI.V35I14.17474}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/VaezipoorLWMGSB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aitest/ViswanadhaIWKKP21, author = {Kesav Viswanadha and Francis Indaheng and Justin Wong and Edward Kim and Ellen Kalvan and Yash Pant and Daniel J. Fremont and Sanjit A. Seshia}, title = {Addressing the {IEEE} {AV} Test Challenge with Scenic and VerifAI}, booktitle = {2021 {IEEE} International Conference on Artificial Intelligence Testing, AITest 2021, Oxford, United Kingdom, August 23-26, 2021}, pages = {136--142}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/AITEST52744.2021.00034}, doi = {10.1109/AITEST52744.2021.00034}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aitest/ViswanadhaIWKKP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/GhoshPRS21, author = {Shromona Ghosh and Yash Vardhan Pant and Hadi Ravanbakhsh and Sanjit A. Seshia}, title = {Counterexample-Guided Synthesis of Perception Models and Control}, booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA, May 25-28, 2021}, pages = {3447--3454}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.23919/ACC50511.2021.9482896}, doi = {10.23919/ACC50511.2021.9482896}, timestamp = {Fri, 30 Jul 2021 11:11:12 +0200}, biburl = {https://dblp.org/rec/conf/amcc/GhoshPRS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/PantYAS21, author = {Yash Vardhan Pant and He Yin and Murat Arcak and Sanjit A. Seshia}, title = {Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications}, booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA, May 25-28, 2021}, pages = {4209--4216}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.23919/ACC50511.2021.9483206}, doi = {10.23919/ACC50511.2021.9483206}, timestamp = {Fri, 30 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amcc/PantYAS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asiaccs/KushwahDSS21, author = {Shivendra Kushwah and Ankush Desai and Pramod Subramanyan and Sanjit A. Seshia}, editor = {Jiannong Cao and Man Ho Au and Zhiqiang Lin and Moti Yung}, title = {PSec: Programming Secure Distributed Systems using Enclaves}, booktitle = {{ASIA} {CCS} '21: {ACM} Asia Conference on Computer and Communications Security, Virtual Event, Hong Kong, June 7-11, 2021}, pages = {802--816}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3433210.3453113}, doi = {10.1145/3433210.3453113}, timestamp = {Wed, 09 Jun 2021 15:14:39 +0200}, biburl = {https://dblp.org/rec/conf/asiaccs/KushwahDSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/JungesTS20, author = {Sebastian Junges and Hazem Torfah and Sanjit A. Seshia}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Runtime Monitors for Markov Decision Processes}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12760}, pages = {553--576}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81688-9\_26}, doi = {10.1007/978-3-030-81688-9\_26}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/JungesTS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/HoltzenJVMSB20, author = {Steven Holtzen and Sebastian Junges and Marcell Vazquez{-}Chanlatte and Todd D. Millstein and Sanjit A. Seshia and Guy Van den Broeck}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Model Checking Finite-Horizon Markov Chains with Probabilistic Inference}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12760}, pages = {577--601}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81688-9\_27}, doi = {10.1007/978-3-030-81688-9\_27}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/HoltzenJVMSB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/JungesJS20, author = {Sebastian Junges and Nils Jansen and Sanjit A. Seshia}, editor = {Alexandra Silva and K. Rustan M. Leino}, title = {Enforcing Almost-Sure Reachability in POMDPs}, booktitle = {Computer Aided Verification - 33rd International Conference, {CAV} 2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12760}, pages = {602--625}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81688-9\_28}, doi = {10.1007/978-3-030-81688-9\_28}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/JungesJS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccta/TuckPSS21, author = {Victoria Tuck and Yash Vardhan Pant and Sanjit A. Seshia and S. Shankar Sastry}, title = {{DEC-LOS-RRT:} Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication}, booktitle = {{IEEE} Conference on Control Technology and Applications, {CCTA} 2021, San Diego, CA, USA, August 9-11, 2021}, pages = {103--110}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/CCTA48906.2021.9659247}, doi = {10.1109/CCTA48906.2021.9659247}, timestamp = {Tue, 11 Jan 2022 10:54:45 +0100}, biburl = {https://dblp.org/rec/conf/ccta/TuckPSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/FremontSS21, author = {Daniel J. Fremont and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Safety in Autonomous Driving: Can Tools Offer Guarantees?}, booktitle = {58th {ACM/IEEE} Design Automation Conference, {DAC} 2021, San Francisco, CA, USA, December 5-9, 2021}, pages = {1311--1314}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/DAC18074.2021.9586292}, doi = {10.1109/DAC18074.2021.9586292}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/FremontSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/TorfahSCAS21, author = {Hazem Torfah and Shetal Shah and Supratik Chakraborty and S. Akshay and Sanjit A. Seshia}, title = {Synthesizing Pareto-Optimal Interpretations for Black-Box Models}, booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven, CT, USA, October 19-22, 2021}, pages = {153--162}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_24}, doi = {10.34727/2021/ISBN.978-3-85448-046-4\_24}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/TorfahSCAS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rss/Vazquez-Chanlatte21, author = {Marcell Vazquez{-}Chanlatte and Sebastian Junges and Daniel J. Fremont and Sanjit Seshia}, editor = {Dylan A. Shell and Marc Toussaint and M. Ani Hsieh}, title = {Entropy-Guided Control Improvisation}, booktitle = {Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021}, year = {2021}, url = {https://doi.org/10.15607/RSS.2021.XVII.051}, doi = {10.15607/RSS.2021.XVII.051}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rss/Vazquez-Chanlatte21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/ViswanadhaKIFS21, author = {Kesav Viswanadha and Edward Kim and Francis Indaheng and Daniel J. Fremont and Sanjit A. Seshia}, editor = {Lu Feng and Dana Fisman}, title = {Parallel and Multi-objective Falsification with Scenic and VerifAI}, booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual Event, October 11-14, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12974}, pages = {265--276}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88494-9\_15}, doi = {10.1007/978-3-030-88494-9\_15}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/ViswanadhaKIFS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/TorfahJFS21, author = {Hazem Torfah and Sebastian Junges and Daniel J. Fremont and Sanjit A. Seshia}, editor = {Lu Feng and Dana Fisman}, title = {Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance}, booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual Event, October 11-14, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12974}, pages = {311--330}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-88494-9\_19}, doi = {10.1007/978-3-030-88494-9\_19}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rv/TorfahJFS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/PimpalkhareMPS21, author = {Nikhil Pimpalkhare and Federico Mora and Elizabeth Polgreen and Sanjit A. Seshia}, editor = {Chu{-}Min Li and Felip Many{\`{a}}}, title = {MedleySolver: Online {SMT} Algorithm Selection}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12831}, pages = {453--470}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-80223-3\_31}, doi = {10.1007/978-3-030-80223-3\_31}, timestamp = {Wed, 21 Jul 2021 15:31:29 +0200}, biburl = {https://dblp.org/rec/conf/sat/PimpalkhareMPS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/BarrettSST21, author = {Clark W. Barrett and Roberto Sebastiani and Sanjit A. Seshia and Cesare Tinelli}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Satisfiability Modulo Theories}, booktitle = {Handbook of Satisfiability - Second Edition}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {336}, pages = {1267--1329}, publisher = {{IOS} Press}, year = {2021}, url = {https://doi.org/10.3233/FAIA201017}, doi = {10.3233/FAIA201017}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/faia/BarrettSST21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/HoltzenJVMSB21, author = {Steven Holtzen and Sebastian Junges and Marcell Vazquez{-}Chanlatte and Todd D. Millstein and Sanjit A. Seshia and Guy Van den Broeck}, title = {Experiments for 'Model Checking Finite-Horizon Markov Chains with Probabilistic Inference' (Version 1)}, publisher = {Zenodo}, year = {2021}, month = apr, howpublished = {\url{https://doi.org/10.5281/zenodo.4726264}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.4726264}, doi = {10.5281/ZENODO.4726264}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/HoltzenJVMSB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/JungesJS21, author = {Sebastian Junges and Nils Jansen and Sanjit A. Seshia}, title = {Experiments for 'Enforcing Almost-Sure Reachability in POMDPs' (Version 1)}, publisher = {Zenodo}, year = {2021}, month = apr, howpublished = {\url{https://doi.org/10.5281/zenodo.4726249}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.4726249}, doi = {10.5281/ZENODO.4726249}, timestamp = {Fri, 16 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/JungesJS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/JungesJS21a, author = {Sebastian Junges and Nils Jansen and Sanjit A. Seshia}, title = {Experiments for 'Enforcing Almost-Sure Reachability in POMDPs' (Version 2)}, publisher = {Zenodo}, year = {2021}, month = apr, howpublished = {\url{https://doi.org/10.5281/zenodo.4784940}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.4784940}, doi = {10.5281/ZENODO.4784940}, timestamp = {Fri, 16 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/JungesJS21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@misc{DBLP:data/10/JungesTS21, author = {Sebastian Junges and Hazem Torfah and Sanjit A. Seshia}, title = {Experiments for 'Runtime Monitoring for Markov Decision Processes' (Version 1)}, publisher = {Zenodo}, year = {2021}, month = apr, howpublished = {\url{https://doi.org/10.5281/zenodo.4724623}}, note = {Accessed on YYYY-MM-DD.}, url = {https://doi.org/10.5281/zenodo.4724623}, doi = {10.5281/ZENODO.4724623}, timestamp = {Fri, 19 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/data/10/JungesTS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2103-05672, author = {Marcell Vazquez{-}Chanlatte and Sebastian Junges and Daniel J. Fremont and Sanjit Seshia}, title = {Entropy-Guided Control Improvisation}, journal = {CoRR}, volume = {abs/2103.05672}, year = {2021}, url = {https://arxiv.org/abs/2103.05672}, eprinttype = {arXiv}, eprint = {2103.05672}, timestamp = {Tue, 16 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-05672.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-12322, author = {Sebastian Junges and Hazem Torfah and Sanjit A. Seshia}, title = {Runtime Monitoring for Markov Decision Processes}, journal = {CoRR}, volume = {abs/2105.12322}, year = {2021}, url = {https://arxiv.org/abs/2105.12322}, eprinttype = {arXiv}, eprint = {2105.12322}, timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-12322.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-12326, author = {Steven Holtzen and Sebastian Junges and Marcell Vazquez{-}Chanlatte and Todd D. Millstein and Sanjit A. Seshia and Guy Van den Broeck}, title = {Model Checking Finite-Horizon Markov Chains with Probabilistic Inference}, journal = {CoRR}, volume = {abs/2105.12326}, year = {2021}, url = {https://arxiv.org/abs/2105.12326}, eprinttype = {arXiv}, eprint = {2105.12326}, timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-12326.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-02449, author = {Inigo Incer and Albert Benveniste and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Hypercontracts}, journal = {CoRR}, volume = {abs/2106.02449}, year = {2021}, url = {https://arxiv.org/abs/2106.02449}, eprinttype = {arXiv}, eprint = {2106.02449}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-02449.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-10365, author = {Abdus Salam Azad and Edward Kim and Qiancheng Wu and Kimin Lee and Ion Stoica and Pieter Abbeel and Sanjit A. Seshia}, title = {Scenic4RL: Programmatic Modeling and Generation of Reinforcement Learning Environments}, journal = {CoRR}, volume = {abs/2106.10365}, year = {2021}, url = {https://arxiv.org/abs/2106.10365}, eprinttype = {arXiv}, eprint = {2106.10365}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-10365.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-04164, author = {Kesav Viswanadha and Edward Kim and Francis Indaheng and Daniel J. Fremont and Sanjit A. Seshia}, title = {Parallel and Multi-Objective Falsification with Scenic and VerifAI}, journal = {CoRR}, volume = {abs/2107.04164}, year = {2021}, url = {https://arxiv.org/abs/2107.04164}, eprinttype = {arXiv}, eprint = {2107.04164}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-04164.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-13477, author = {Elizabeth Polgreen and Andrew Reynolds and Sanjit A. Seshia}, title = {Satisfiability and Synthesis Modulo Oracles}, journal = {CoRR}, volume = {abs/2107.13477}, year = {2021}, url = {https://arxiv.org/abs/2107.13477}, eprinttype = {arXiv}, eprint = {2107.13477}, timestamp = {Tue, 03 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-13477.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-07307, author = {Hazem Torfah and Shetal Shah and Supratik Chakraborty and S. Akshay and Sanjit A. Seshia}, title = {Synthesizing Pareto-Optimal Interpretations for Black-Box Models}, journal = {CoRR}, volume = {abs/2108.07307}, year = {2021}, url = {https://arxiv.org/abs/2108.07307}, eprinttype = {arXiv}, eprint = {2108.07307}, timestamp = {Tue, 30 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-07307.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-13796, author = {Kesav Viswanadha and Francis Indaheng and Justin Wong and Edward Kim and Ellen Kalvan and Yash Pant and Daniel J. Fremont and Sanjit A. Seshia}, title = {Addressing the {IEEE} {AV} Test Challenge with Scenic and VerifAI}, journal = {CoRR}, volume = {abs/2108.13796}, year = {2021}, url = {https://arxiv.org/abs/2108.13796}, eprinttype = {arXiv}, eprint = {2108.13796}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-13796.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-14870, author = {Francis Indaheng and Edward Kim and Kesav Viswanadha and Jay Shenoy and Jinkyu Kim and Daniel J. Fremont and Sanjit A. Seshia}, title = {A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation}, journal = {CoRR}, volume = {abs/2110.14870}, year = {2021}, url = {https://arxiv.org/abs/2110.14870}, eprinttype = {arXiv}, eprint = {2110.14870}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-14870.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-00206, author = {Edward Kim and Jay Shenoy and Sebastian Junges and Daniel J. Fremont and Alberto L. Sangiovanni{-}Vincentelli and Sanjit Seshia}, title = {Querying Labelled Data with Scenario Programs for Sim-to-Real Validation}, journal = {CoRR}, volume = {abs/2112.00206}, year = {2021}, url = {https://arxiv.org/abs/2112.00206}, eprinttype = {arXiv}, eprint = {2112.00206}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-00206.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-10807, author = {Marcell Vazquez{-}Chanlatte and Ameesh Shah and Gil Lederman and Sanjit A. Seshia}, title = {Demonstration Informed Specification Search}, journal = {CoRR}, volume = {abs/2112.10807}, year = {2021}, url = {https://arxiv.org/abs/2112.10807}, eprinttype = {arXiv}, eprint = {2112.10807}, timestamp = {Tue, 04 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-10807.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dt/SeshiaJD20, author = {Sanjit A. Seshia and Somesh Jha and Tommaso Dreossi}, title = {Semantic Adversarial Deep Learning}, journal = {{IEEE} Des. Test}, volume = {37}, number = {2}, pages = {8--18}, year = {2020}, url = {https://doi.org/10.1109/MDAT.2020.2968274}, doi = {10.1109/MDAT.2020.2968274}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dt/SeshiaJD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcps/WeberJLSLSS20, author = {Matthew Weber and Baihong Jin and Gil Lederman and Yasser Shoukry and Edward A. Lee and Sanjit Seshia and Alberto L. Sangiovanni{-}Vincentelli}, title = {Gordian: Formal Reasoning-based Outlier Detection for Secure Localization}, journal = {{ACM} Trans. Cyber Phys. Syst.}, volume = {4}, number = {4}, pages = {43:1--43:27}, year = {2020}, url = {https://doi.org/10.1145/3386568}, doi = {10.1145/3386568}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcps/WeberJLSLSS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FremontCMOS20, author = {Daniel J. Fremont and Johnathan Chiu and Dragos D. Margineantu and Denis Osipychev and Sanjit A. Seshia}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI}, booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {12224}, pages = {122--134}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53288-8\_6}, doi = {10.1007/978-3-030-53288-8\_6}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/FremontCMOS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Vazquez-Chanlatte20, author = {Marcell Vazquez{-}Chanlatte and Sanjit A. Seshia}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {Maximum Causal Entropy Specification Inference from Demonstrations}, booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12225}, pages = {255--278}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-53291-8\_15}, doi = {10.1007/978-3-030-53291-8\_15}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/Vazquez-Chanlatte20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cvpr/KimGPS20, author = {Edward Kim and Divya Gopinath and Corina S. Pasareanu and Sanjit A. Seshia}, title = {A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors}, booktitle = {2020 {IEEE/CVF} Conference on Computer Vision and Pattern Recognition, {CVPR} 2020, Seattle, WA, USA, June 13-19, 2020}, pages = {11125--11134}, publisher = {Computer Vision Foundation / {IEEE}}, year = {2020}, url = {https://openaccess.thecvf.com/content\_CVPR\_2020/html/Kim\_A\_Programmatic\_and\_Semantic\_Approach\_to\_Explaining\_and\_Debugging\_Neural\_CVPR\_2020\_paper.html}, doi = {10.1109/CVPR42600.2020.01114}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cvpr/KimGPS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/Seshia20, author = {Sanjit A. Seshia}, editor = {Nitin Saxena and Sunil Simon}, title = {Algorithmic Improvisation for Dependable Intelligent Autonomy (Invited Talk)}, booktitle = {40th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020, {BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)}, series = {LIPIcs}, volume = {182}, pages = {5:1--5:3}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.5}, doi = {10.4230/LIPICS.FSTTCS.2020.5}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/Seshia20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclr/LedermanRSL20, author = {Gil Lederman and Markus N. Rabe and Sanjit Seshia and Edward A. Lee}, title = {Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning}, booktitle = {8th International Conference on Learning Representations, {ICLR} 2020, Addis Ababa, Ethiopia, April 26-30, 2020}, publisher = {OpenReview.net}, year = {2020}, url = {https://openreview.net/forum?id=BJluxREKDB}, timestamp = {Thu, 07 May 2020 17:11:47 +0200}, biburl = {https://dblp.org/rec/conf/iclr/LedermanRSL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itsc/FremontKPSABWLL20, author = {Daniel J. Fremont and Edward Kim and Yash Vardhan Pant and Sanjit A. Seshia and Atul Acharya and Xantha Bruso and Paul Wells and Steve Lemke and Qiang Lu and Shalin Mehta}, title = {Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World}, booktitle = {23rd {IEEE} International Conference on Intelligent Transportation Systems, {ITSC} 2020, Rhodes, Greece, September 20-23, 2020}, pages = {1--8}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/ITSC45102.2020.9294368}, doi = {10.1109/ITSC45102.2020.9294368}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/itsc/FremontKPSABWLL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/ShivakumarTDS20, author = {Sumukh Shivakumar and Hazem Torfah and Ankush Desai and Sanjit A. Seshia}, editor = {Jyotirmoy Deshmukh and Dejan Nickovic}, title = {{SOTER} on {ROS:} {A} Run-Time Assurance Framework on the Robot Operating System}, booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12399}, pages = {184--194}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-60508-7\_10}, doi = {10.1007/978-3-030-60508-7\_10}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/ShivakumarTDS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hybrid/2020, editor = {Aaron D. Ames and Sanjit A. Seshia and Jyotirmoy Deshmukh}, title = {{HSCC} '20: 23rd {ACM} International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3365365}, doi = {10.1145/3365365}, isbn = {978-1-4503-7018-9}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-07739, author = {Daniel J. Fremont and Edward Kim and Yash Vardhan Pant and Sanjit A. Seshia and Atul Acharya and Xantha Bruso and Paul Wells and Steve Lemke and Qiang Lu and Shalin Mehta}, title = {Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World}, journal = {CoRR}, volume = {abs/2003.07739}, year = {2020}, url = {https://arxiv.org/abs/2003.07739}, eprinttype = {arXiv}, eprint = {2003.07739}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-07739.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2005-07173, author = {Daniel J. Fremont and Johnathan Chiu and Dragos D. Margineantu and Denis Osipychev and Sanjit A. Seshia}, title = {Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI}, journal = {CoRR}, volume = {abs/2005.07173}, year = {2020}, url = {https://arxiv.org/abs/2005.07173}, eprinttype = {arXiv}, eprint = {2005.07173}, timestamp = {Fri, 22 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-07173.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-00085, author = {Sebastian Junges and Nils Jansen and Sanjit A. Seshia}, title = {Enforcing Almost-Sure Reachability in POMDPs}, journal = {CoRR}, volume = {abs/2007.00085}, year = {2020}, url = {https://arxiv.org/abs/2007.00085}, eprinttype = {arXiv}, eprint = {2007.00085}, timestamp = {Mon, 06 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-00085.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-03204, author = {Pashootan Vaezipoor and Gil Lederman and Yuhuai Wu and Chris J. Maddison and Roger B. Grosse and Edward A. Lee and Sanjit A. Seshia and Fahiem Bacchus}, title = {Learning Branching Heuristics for Propositional Model Counting}, journal = {CoRR}, volume = {abs/2007.03204}, year = {2020}, url = {https://arxiv.org/abs/2007.03204}, eprinttype = {arXiv}, eprint = {2007.03204}, timestamp = {Mon, 20 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-03204.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-06677, author = {Nicolas Chan and Elizabeth Polgreen and Sanjit A. Seshia}, title = {Gradient Descent over Metagrammars for Syntax-Guided Synthesis}, journal = {CoRR}, volume = {abs/2007.06677}, year = {2020}, url = {https://arxiv.org/abs/2007.06677}, eprinttype = {arXiv}, eprint = {2007.06677}, timestamp = {Tue, 21 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-06677.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-06760, author = {Federico Mora and Kevin Cheang and Elizabeth Polgreen and Sanjit A. Seshia}, title = {Synthesis in Uclid5}, journal = {CoRR}, volume = {abs/2007.06760}, year = {2020}, url = {https://arxiv.org/abs/2007.06760}, eprinttype = {arXiv}, eprint = {2007.06760}, timestamp = {Tue, 21 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-06760.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2007-10519, author = {Elizabeth Polgreen and Sanjit A. Seshia}, title = {SynRG: Syntax Guided Synthesis of Invariants with Alternating Quantifiers}, journal = {CoRR}, volume = {abs/2007.10519}, year = {2020}, url = {https://arxiv.org/abs/2007.10519}, eprinttype = {arXiv}, eprint = {2007.10519}, timestamp = {Tue, 28 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2007-10519.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2008-09707, author = {Sumukh Shivakumar and Hazem Torfah and Ankush Desai and Sanjit A. Seshia}, title = {{SOTER} on {ROS:} {A} Run-Time Assurance Framework on the Robot Operating System}, journal = {CoRR}, volume = {abs/2008.09707}, year = {2020}, url = {https://arxiv.org/abs/2008.09707}, eprinttype = {arXiv}, eprint = {2008.09707}, timestamp = {Fri, 28 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2008-09707.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2009-00155, author = {Sicheng Zhao and Xiangyu Yue and Shanghang Zhang and Bo Li and Han Zhao and Bichen Wu and Ravi Krishna and Joseph E. Gonzalez and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Kurt Keutzer}, title = {A Review of Single-Source Deep Unsupervised Visual Domain Adaptation}, journal = {CoRR}, volume = {abs/2009.00155}, year = {2020}, url = {https://arxiv.org/abs/2009.00155}, eprinttype = {arXiv}, eprint = {2009.00155}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2009-00155.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2009-14363, author = {Yash Vardhan Pant and He Yin and Murat Arcak and Sanjit A. Seshia}, title = {Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications}, journal = {CoRR}, volume = {abs/2009.14363}, year = {2020}, url = {https://arxiv.org/abs/2009.14363}, eprinttype = {arXiv}, eprint = {2009.14363}, timestamp = {Wed, 07 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2009-14363.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-06580, author = {Daniel J. Fremont and Edward Kim and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Scenic: {A} Language for Scenario Specification and Data Generation}, journal = {CoRR}, volume = {abs/2010.06580}, year = {2020}, url = {https://arxiv.org/abs/2010.06580}, eprinttype = {arXiv}, eprint = {2010.06580}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-06580.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2011-14551, author = {Jay Shenoy and Edward Kim and Xiangyu Yue and Taesung Park and Daniel J. Fremont and Alberto L. Sangiovanni{-}Vincentelli and Sanjit Seshia}, title = {A Customizable Dynamic Scenario Modeling and Data Generation Platform for Autonomous Driving}, journal = {CoRR}, volume = {abs/2011.14551}, year = {2020}, url = {https://arxiv.org/abs/2011.14551}, eprinttype = {arXiv}, eprint = {2011.14551}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2011-14551.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/JhaTSSS19, author = {Susmit Jha and Ashish Tiwari and Sanjit A. Seshia and Tuhin Sahai and Natarajan Shankar}, title = {TeLEx: learning signal temporal logic from positive examples using tightness metric}, journal = {Formal Methods Syst. Des.}, volume = {54}, number = {3}, pages = {364--387}, year = {2019}, url = {https://doi.org/10.1007/s10703-019-00332-1}, doi = {10.1007/S10703-019-00332-1}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/JhaTSSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/DreossiDS19, author = {Tommaso Dreossi and Alexandre Donz{\'{e}} and Sanjit A. Seshia}, title = {Compositional Falsification of Cyber-Physical Systems with Machine Learning Components}, journal = {J. Autom. Reason.}, volume = {63}, number = {4}, pages = {1031--1053}, year = {2019}, url = {https://doi.org/10.1007/s10817-018-09509-5}, doi = {10.1007/S10817-018-09509-5}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/DreossiDS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/DreossiFGKRVS19, author = {Tommaso Dreossi and Daniel J. Fremont and Shromona Ghosh and Edward Kim and Hadi Ravanbakhsh and Marcell Vazquez{-}Chanlatte and Sanjit A. Seshia}, editor = {Isil Dillig and Serdar Tasiran}, title = {VerifAI: {A} Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11561}, pages = {432--442}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25540-4\_25}, doi = {10.1007/978-3-030-25540-4\_25}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/DreossiFGKRVS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KimAS19, author = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia}, editor = {Isil Dillig and Serdar Tasiran}, title = {Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis}, booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11561}, pages = {591--608}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-25540-4\_34}, doi = {10.1007/978-3-030-25540-4\_34}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/KimAS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/CheangRSS19, author = {Kevin Cheang and Cameron Rasmussen and Sanjit A. Seshia and Pramod Subramanyan}, title = {A Formal Approach to Secure Speculation}, booktitle = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken, NJ, USA, June 25-28, 2019}, pages = {288--303}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/CSF.2019.00027}, doi = {10.1109/CSF.2019.00027}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/csfw/CheangRSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsn/DesaiGSST19, author = {Ankush Desai and Shromona Ghosh and Sanjit A. Seshia and Natarajan Shankar and Ashish Tiwari}, title = {{SOTER:} {A} Runtime Assurance Framework for Programming Safe Robotics Systems}, booktitle = {49th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2019, Portland, OR, USA, June 24-27, 2019}, pages = {138--150}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/DSN.2019.00027}, doi = {10.1109/DSN.2019.00027}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsn/DesaiGSST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GhoshBSST19, author = {Shromona Ghosh and Somil Bansal and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Claire J. Tomlin}, editor = {Necmiye Ozay and Pavithra Prabhakar}, title = {A new simulation metric to determine safe environments and controllers for systems with unknown dynamics}, booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems: Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April 16-18, 2019}, pages = {185--196}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3302504.3311795}, doi = {10.1145/3302504.3311795}, timestamp = {Thu, 26 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/GhoshBSST19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/MagyarBKSBA19, author = {Albert Magyar and David Biancolin and John Koenig and Sanjit Seshia and Jonathan Bachrach and Krste Asanovic}, editor = {David Z. Pan}, title = {Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and {FPGA} Prototypes}, booktitle = {Proceedings of the International Conference on Computer-Aided Design, {ICCAD} 2019, Westminster, CO, USA, November 4-7, 2019}, pages = {1--8}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1109/ICCAD45719.2019.8942087}, doi = {10.1109/ICCAD45719.2019.8942087}, timestamp = {Wed, 19 Feb 2020 16:38:01 +0100}, biburl = {https://dblp.org/rec/conf/iccad/MagyarBKSBA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icra/RavanbakhshSS19, author = {Hadi Ravanbakhsh and Sriram Sankaranarayanan and Sanjit A. Seshia}, title = {Formal Policy Learning from Demonstrations for Reachability Properties}, booktitle = {International Conference on Robotics and Automation, {ICRA} 2019, Montreal, QC, Canada, May 20-24, 2019}, pages = {6037--6043}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ICRA.2019.8793828}, doi = {10.1109/ICRA.2019.8793828}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/icra/RavanbakhshSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/IyerKNS19, author = {Vighnesh Iyer and Donggyu Kim and Borivoje Nikolic and Sanjit A. Seshia}, editor = {Partha S. Roop and Naijun Zhan and Sicun Gao and Pierluigi Nuzzo}, title = {{RTL} bug localization through {LTL} specification mining {(WIP)}}, booktitle = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA, USA, October 9-11, 2019}, pages = {5:1--5:5}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3359986.3361202}, doi = {10.1145/3359986.3361202}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/memocode/IyerKNS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/CarrollSHGSAD19, author = {Micah Carroll and Rohin Shah and Mark K. Ho and Tom Griffiths and Sanjit A. Seshia and Pieter Abbeel and Anca D. Dragan}, editor = {Hanna M. Wallach and Hugo Larochelle and Alina Beygelzimer and Florence d'Alch{\'{e}}{-}Buc and Emily B. Fox and Roman Garnett}, title = {On the Utility of Learning about Humans for Human-AI Coordination}, booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada}, pages = {5175--5186}, year = {2019}, url = {https://proceedings.neurips.cc/paper/2019/hash/f5b1b89d98b7286673128a5fb112cb9a-Abstract.html}, timestamp = {Thu, 28 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nips/CarrollSHGSAD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/FremontDGYSS19, author = {Daniel J. Fremont and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, editor = {Kathryn S. McKinley and Kathleen Fisher}, title = {Scenic: a language for scenario specification and scene generation}, booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA, June 22-26, 2019}, pages = {63--78}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3314221.3314633}, doi = {10.1145/3314221.3314633}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/FremontDGYSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/Seshia19, author = {Sanjit A. Seshia}, editor = {Bernd Finkbeiner and Leonardo Mariani}, title = {Introspective Environment Modeling}, booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto, Portugal, October 8-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11757}, pages = {15--26}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-32079-9\_2}, doi = {10.1007/978-3-030-32079-9\_2}, timestamp = {Mon, 07 Oct 2019 11:22:34 +0200}, biburl = {https://dblp.org/rec/conf/rv/Seshia19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-04245, author = {Tommaso Dreossi and Daniel J. Fremont and Shromona Ghosh and Edward Kim and Hadi Ravanbakhsh and Marcell Vazquez{-}Chanlatte and Sanjit A. Seshia}, title = {{VERIFAI:} {A} Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems}, journal = {CoRR}, volume = {abs/1902.04245}, year = {2019}, url = {http://arxiv.org/abs/1902.04245}, eprinttype = {arXiv}, eprint = {1902.04245}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-04245.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1902-10320, author = {Shromona Ghosh and Somil Bansal and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Claire J. Tomlin}, title = {A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics}, journal = {CoRR}, volume = {abs/1902.10320}, year = {2019}, url = {http://arxiv.org/abs/1902.10320}, eprinttype = {arXiv}, eprint = {1902.10320}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-10320.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-00589, author = {Hadi Ravanbakhsh and Sriram Sankaranarayanan and Sanjit A. Seshia}, title = {Formal Policy Learning from Demonstrations for Reachability Properties}, journal = {CoRR}, volume = {abs/1903.00589}, year = {2019}, url = {http://arxiv.org/abs/1903.00589}, eprinttype = {arXiv}, eprint = {1903.00589}, timestamp = {Fri, 06 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-00589.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-09354, author = {Marcell Vazquez{-}Chanlatte and Markus N. Rabe and Sanjit A. Seshia}, title = {A Model Counter's Guide to Probabilistic Systems}, journal = {CoRR}, volume = {abs/1903.09354}, year = {2019}, url = {http://arxiv.org/abs/1903.09354}, eprinttype = {arXiv}, eprint = {1903.09354}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-09354.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1903-10033, author = {Tommaso Dreossi and Shromona Ghosh and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {A Formalization of Robustness for Deep Neural Networks}, journal = {CoRR}, volume = {abs/1903.10033}, year = {2019}, url = {http://arxiv.org/abs/1903.10033}, eprinttype = {arXiv}, eprint = {1903.10033}, timestamp = {Mon, 01 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-10033.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-09503, author = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia}, title = {Flexible Computational Pipelines for Robust Abstraction-Based Control Synthesis}, journal = {CoRR}, volume = {abs/1905.09503}, year = {2019}, url = {http://arxiv.org/abs/1905.09503}, eprinttype = {arXiv}, eprint = {1905.09503}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-09503.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-13411, author = {Markus N. Rabe and Leander Tentrup and Cameron Rasmussen and Sanjit A. Seshia}, title = {Understanding and Extending Incremental Determinization for 2QBF}, journal = {CoRR}, volume = {abs/1905.13411}, year = {2019}, url = {http://arxiv.org/abs/1905.13411}, eprinttype = {arXiv}, eprint = {1905.13411}, timestamp = {Mon, 03 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-13411.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1907-11792, author = {Marcell Vazquez{-}Chanlatte and Sanjit A. Seshia}, title = {Learning Task Specifications from Demonstrations via the Principle of Maximum Causal Entropy}, journal = {CoRR}, volume = {abs/1907.11792}, year = {2019}, url = {http://arxiv.org/abs/1907.11792}, eprinttype = {arXiv}, eprint = {1907.11792}, timestamp = {Thu, 01 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-11792.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-00727, author = {Lakshya Jain and Wilson Wu and Steven Chen and Uyeong Jang and Varun Chandrasekaran and Sanjit A. Seshia and Somesh Jha}, title = {Generating Semantic Adversarial Examples with Differentiable Rendering}, journal = {CoRR}, volume = {abs/1910.00727}, year = {2019}, url = {http://arxiv.org/abs/1910.00727}, eprinttype = {arXiv}, eprint = {1910.00727}, timestamp = {Fri, 04 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-00727.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-05789, author = {Micah Carroll and Rohin Shah and Mark K. Ho and Thomas L. Griffiths and Sanjit A. Seshia and Pieter Abbeel and Anca D. Dragan}, title = {On the Utility of Learning about Humans for Human-AI Coordination}, journal = {CoRR}, volume = {abs/1910.05789}, year = {2019}, url = {http://arxiv.org/abs/1910.05789}, eprinttype = {arXiv}, eprint = {1910.05789}, timestamp = {Thu, 28 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-05789.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-01523, author = {Shromona Ghosh and Hadi Ravanbakhsh and Sanjit A. Seshia}, title = {Counterexample-Guided Synthesis of Perception Models and Control}, journal = {CoRR}, volume = {abs/1911.01523}, year = {2019}, url = {http://arxiv.org/abs/1911.01523}, eprinttype = {arXiv}, eprint = {1911.01523}, timestamp = {Mon, 11 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-01523.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-01532, author = {Hadi Ravanbakhsh and Forrest Laine and Sanjit A. Seshia}, title = {Real-time Funnel Generation for Restricted Motion Planning}, journal = {CoRR}, volume = {abs/1911.01532}, year = {2019}, url = {http://arxiv.org/abs/1911.01532}, eprinttype = {arXiv}, eprint = {1911.01532}, timestamp = {Mon, 11 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-01532.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-02714, author = {Benjamin Caulfield and Sanjit A. Seshia}, title = {Modularity in Query-Based Concept Learning}, journal = {CoRR}, volume = {abs/1911.02714}, year = {2019}, url = {http://arxiv.org/abs/1911.02714}, eprinttype = {arXiv}, eprint = {1911.02714}, timestamp = {Mon, 11 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-02714.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-00289, author = {Edward Kim and Divya Gopinath and Corina S. Pasareanu and Sanjit A. Seshia}, title = {A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors}, journal = {CoRR}, volume = {abs/1912.00289}, year = {2019}, url = {http://arxiv.org/abs/1912.00289}, eprinttype = {arXiv}, eprint = {1912.00289}, timestamp = {Thu, 26 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-00289.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/CheangRSS19, author = {Kevin Cheang and Cameron Rasmussen and Sanjit A. Seshia and Pramod Subramanyan}, title = {A Formal Approach to Secure Speculation}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {310}, year = {2019}, url = {https://eprint.iacr.org/2019/310}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/CheangRSS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/arobots/SadighLSSD18, author = {Dorsa Sadigh and Nick Landolfi and Shankar S. Sastry and Sanjit A. Seshia and Anca D. Dragan}, title = {Planning for cars that coordinate with people: leveraging effects on human actions for planning and active information gathering over human internal state}, journal = {Auton. Robots}, volume = {42}, number = {7}, pages = {1405--1426}, year = {2018}, url = {https://doi.org/10.1007/s10514-018-9746-1}, doi = {10.1007/S10514-018-9746-1}, timestamp = {Sat, 11 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/arobots/SadighLSSD18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/AbdelzaherABDDG18, author = {Tarek F. Abdelzaher and Nora Ayanian and Tamer Basar and Suhas N. Diggavi and Jana Diesner and Deepak Ganesan and Ramesh Govindan and Susmit Jha and Tancr{\`{e}}de Lepoint and Benjamin M. Marlin and Klara Nahrstedt and David M. Nicol and Raj Rajkumar and Stephen Russell and Sanjit A. Seshia and Fei Sha and Prashant J. Shenoy and Mani B. Srivastava and Gaurav S. Sukhatme and Ananthram Swami and Paulo Tabuada and Don Towsley and Nitin H. Vaidya and Venugopal V. Veeravalli}, title = {Toward an Internet of Battlefield Things: {A} Resilience Perspective}, journal = {Computer}, volume = {51}, number = {11}, pages = {24--36}, year = {2018}, url = {https://doi.org/10.1109/MC.2018.2876048}, doi = {10.1109/MC.2018.2876048}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/computer/AbdelzaherABDDG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/JhaRSS18, author = {Susmit Jha and Vasumathi Raman and Dorsa Sadigh and Sanjit A. Seshia}, title = {Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic}, journal = {J. Autom. Reason.}, volume = {60}, number = {1}, pages = {43--62}, year = {2018}, url = {https://doi.org/10.1007/s10817-017-9413-9}, doi = {10.1007/S10817-017-9413-9}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/JhaRSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/WuRRLS18, author = {Yi{-}Chin Wu and Vasumathi Raman and Blake C. Rawlings and St{\'{e}}phane Lafortune and Sanjit A. Seshia}, title = {Synthesis of Obfuscation Policies to Ensure Privacy and Utility}, journal = {J. Autom. Reason.}, volume = {60}, number = {1}, pages = {107--131}, year = {2018}, url = {https://doi.org/10.1007/s10817-017-9420-x}, doi = {10.1007/S10817-017-9420-X}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/WuRRLS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/DesaiPQS18, author = {Ankush Desai and Amar Phanishayee and Shaz Qadeer and Sanjit A. Seshia}, title = {Compositional programming and testing of dynamic distributed systems}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{OOPSLA}}, pages = {159:1--159:30}, year = {2018}, url = {https://doi.org/10.1145/3276529}, doi = {10.1145/3276529}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/DesaiPQS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/ShoukryNSSPT18, author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and George J. Pappas and Paulo Tabuada}, title = {{SMC:} Satisfiability Modulo Convex Programming}, journal = {Proc. {IEEE}}, volume = {106}, number = {9}, pages = {1655--1679}, year = {2018}, url = {https://doi.org/10.1109/JPROC.2018.2849003}, doi = {10.1109/JPROC.2018.2849003}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/ShoukryNSSPT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcps/ShoukryCWNSSHT18, author = {Yasser Shoukry and Michelle Chong and Masashi Wakaiki and Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Jo{\~{a}}o Pedro Hespanha and Paulo Tabuada}, title = {SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks}, journal = {{ACM} Trans. Cyber Phys. Syst.}, volume = {2}, number = {1}, pages = {5:1--5:27}, year = {2018}, url = {https://doi.org/10.1145/3078621}, doi = {10.1145/3078621}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcps/ShoukryCWNSSHT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adhs/Vazquez-Chanlatte18, author = {Marcell Vazquez{-}Chanlatte and Shromona Ghosh and Vasumathi Raman and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, editor = {Alessandro Abate and Antoine Girard and Maurice Heemels}, title = {Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games}, booktitle = {6th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS} 2018, Oxford, UK, July 11-13, 2018}, series = {IFAC-PapersOnLine}, volume = {51}, number = {16}, pages = {7--12}, publisher = {Elsevier}, year = {2018}, url = {https://doi.org/10.1016/j.ifacol.2018.08.002}, doi = {10.1016/J.IFACOL.2018.08.002}, timestamp = {Mon, 08 Oct 2018 13:49:16 +0200}, biburl = {https://dblp.org/rec/conf/adhs/Vazquez-Chanlatte18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/SeshiaDDFGKSVY18, author = {Sanjit A. Seshia and Ankush Desai and Tommaso Dreossi and Daniel J. Fremont and Shromona Ghosh and Edward Kim and Sumukh Shivakumar and Marcell Vazquez{-}Chanlatte and Xiangyu Yue}, editor = {Shuvendu K. Lahiri and Chao Wang}, title = {Formal Specification for Deep Neural Networks}, booktitle = {Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11138}, pages = {20--34}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-01090-4\_2}, doi = {10.1007/978-3-030-01090-4\_2}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atva/SeshiaDDFGKSVY18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Seshia18, author = {Sanjit A. Seshia}, editor = {Marten Lohstroh and Patricia Derler and Marjan Sirjani}, title = {Cyber-Physical Systems Education: Explorations and Dreams}, booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {10760}, pages = {407--422}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-95246-8\_24}, doi = {10.1007/978-3-319-95246-8\_24}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Seshia18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/DreossiJS18, author = {Tommaso Dreossi and Somesh Jha and Sanjit A. Seshia}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Semantic Adversarial Deep Learning}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10981}, pages = {3--26}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96145-3\_1}, doi = {10.1007/978-3-319-96145-3\_1}, timestamp = {Fri, 09 Apr 2021 18:35:27 +0200}, biburl = {https://dblp.org/rec/conf/cav/DreossiJS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/RabeTRS18, author = {Markus N. Rabe and Leander Tentrup and Cameron Rasmussen and Sanjit A. Seshia}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Understanding and Extending Incremental Determinization for 2QBF}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10982}, pages = {256--274}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96142-2\_17}, doi = {10.1007/978-3-319-96142-2\_17}, timestamp = {Fri, 09 Apr 2021 18:35:26 +0200}, biburl = {https://dblp.org/rec/conf/cav/RabeTRS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FremontS18, author = {Daniel J. Fremont and Sanjit A. Seshia}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Reactive Control Improvisation}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10981}, pages = {307--326}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96145-3\_17}, doi = {10.1007/978-3-319-96145-3\_17}, timestamp = {Wed, 03 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FremontS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/AbdelzaherABDDG18, author = {Tarek F. Abdelzaher and Nora Ayanian and Tamer Basar and Suhas N. Diggavi and Jana Diesner and Deepak Ganesan and Ramesh Govindan and Susmit Jha and Tancr{\`{e}}de Lepoint and Benjamin M. Marlin and Klara Nahrstedt and David M. Nicol and Raj Rajkumar and Stephen Russell and Sanjit A. Seshia and Fei Sha and Prashant J. Shenoy and Mani B. Srivastava and Gaurav S. Sukhatme and Ananthram Swami and Paulo Tabuada and Don Towsley and Nitin H. Vaidya and Venugopal V. Veeravalli}, title = {Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT}, booktitle = {38th {IEEE} International Conference on Distributed Computing Systems, {ICDCS} 2018, Vienna, Austria, July 2-6, 2018}, pages = {1129--1138}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/ICDCS.2018.00112}, doi = {10.1109/ICDCS.2018.00112}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/AbdelzaherABDDG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/DreossiGYKSS18, author = {Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Kurt Keutzer and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, editor = {J{\'{e}}r{\^{o}}me Lang}, title = {Counterexample-Guided Data Augmentation}, booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden}, pages = {2071--2078}, publisher = {ijcai.org}, year = {2018}, url = {https://doi.org/10.24963/ijcai.2018/286}, doi = {10.24963/IJCAI.2018/286}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/DreossiGYKSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/DesaiQS18, author = {Ankush Desai and Shaz Qadeer and Sanjit A. Seshia}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Programming Safe Robotics Systems: Challenges and Advances}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {11245}, pages = {103--119}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03421-4\_8}, doi = {10.1007/978-3-030-03421-4\_8}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/isola/DesaiQS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/SeshiaS18, author = {Sanjit A. Seshia and Pramod Subramanyan}, title = {{UCLID5:} Integrating Modeling, Verification, Synthesis and Learning}, booktitle = {16th {ACM/IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2018, Beijing, China, October 15-18, 2018}, pages = {1--10}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/MEMCOD.2018.8556946}, doi = {10.1109/MEMCOD.2018.8556946}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/memocode/SeshiaS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mir/YueWSKS18, author = {Xiangyu Yue and Bichen Wu and Sanjit A. Seshia and Kurt Keutzer and Alberto L. Sangiovanni{-}Vincentelli}, editor = {Kiyoharu Aizawa and Michael S. Lew and Shin'ichi Satoh}, title = {A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving}, booktitle = {Proceedings of the 2018 {ACM} on International Conference on Multimedia Retrieval, {ICMR} 2018, Yokohama, Japan, June 11-14, 2018}, pages = {458--464}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3206025.3206080}, doi = {10.1145/3206025.3206080}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mir/YueWSKS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nips/Vazquez-Chanlatte18, author = {Marcell Vazquez{-}Chanlatte and Susmit Jha and Ashish Tiwari and Mark K. Ho and Sanjit A. Seshia}, editor = {Samy Bengio and Hanna M. Wallach and Hugo Larochelle and Kristen Grauman and Nicol{\`{o}} Cesa{-}Bianchi and Roman Garnett}, title = {Learning Task Specifications from Demonstrations}, booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, December 3-8, 2018, Montr{\'{e}}al, Canada}, pages = {5372--5382}, year = {2018}, url = {https://proceedings.neurips.cc/paper/2018/hash/74934548253bcab8490ebd74afed7031-Abstract.html}, timestamp = {Mon, 16 May 2022 15:41:51 +0200}, biburl = {https://dblp.org/rec/conf/nips/Vazquez-Chanlatte18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/Vazquez-Chanlatte18, author = {Marcell Vazquez{-}Chanlatte and Shromona Ghosh and Jyotirmoy V. Deshmukh and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, editor = {Christian Colombo and Martin Leucker}, title = {Time-Series Learning Using Monotonic Logical Properties}, booktitle = {Runtime Verification - 18th International Conference, {RV} 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11237}, pages = {389--405}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03769-7\_22}, doi = {10.1007/978-3-030-03769-7\_22}, timestamp = {Sat, 12 Jun 2021 11:01:04 +0200}, biburl = {https://dblp.org/rec/conf/rv/Vazquez-Chanlatte18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1804-04345, author = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia and BaekGyu Kim and Shinichi Shiraishi}, editor = {Mario Gleirscher and Stefan Kugele and Sven Linker}, title = {Automatic Generation of Communication Requirements for Enforcing Multi-Agent Safety}, booktitle = {Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018}, series = {{EPTCS}}, volume = {269}, pages = {3--16}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.269.2}, doi = {10.4204/EPTCS.269.2}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-04345.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/mc/SeshiaST18, author = {Sanjit A. Seshia and Natasha Sharygina and Stavros Tripakis}, editor = {Edmund M. Clarke and Thomas A. Henzinger and Helmut Veith and Roderick Bloem}, title = {Modeling for Verification}, booktitle = {Handbook of Model Checking}, pages = {75--105}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-10575-8\_3}, doi = {10.1007/978-3-319-10575-8\_3}, timestamp = {Mon, 03 Jan 2022 22:13:30 +0100}, biburl = {https://dblp.org/rec/reference/mc/SeshiaST18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-04929, author = {Somil Bansal and Shromona Ghosh and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Claire J. Tomlin}, title = {Context-Specific Validation of Data-Driven Models}, journal = {CoRR}, volume = {abs/1802.04929}, year = {2018}, url = {http://arxiv.org/abs/1802.04929}, eprinttype = {arXiv}, eprint = {1802.04929}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-04929.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-08924, author = {Marcell Vazquez{-}Chanlatte and Shromona Ghosh and Jyotirmoy V. Deshmukh and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Time Series Learning using Monotonic Logical Properties}, journal = {CoRR}, volume = {abs/1802.08924}, year = {2018}, url = {http://arxiv.org/abs/1802.08924}, eprinttype = {arXiv}, eprint = {1802.08924}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-08924.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1803-09180, author = {Sicheng Zhao and Bichen Wu and Joseph Gonzalez and Sanjit A. Seshia and Kurt Keutzer}, title = {Unsupervised Domain Adaptation: from Simulation Engine to the RealWorld}, journal = {CoRR}, volume = {abs/1803.09180}, year = {2018}, url = {http://arxiv.org/abs/1803.09180}, eprinttype = {arXiv}, eprint = {1803.09180}, timestamp = {Fri, 01 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-09180.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-00103, author = {Xiangyu Yue and Bichen Wu and Sanjit A. Seshia and Kurt Keutzer and Alberto L. Sangiovanni{-}Vincentelli}, title = {A LiDAR Point Cloud Generator: from a Virtual World to Autonomous Driving}, journal = {CoRR}, volume = {abs/1804.00103}, year = {2018}, url = {http://arxiv.org/abs/1804.00103}, eprinttype = {arXiv}, eprint = {1804.00103}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-00103.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-05037, author = {Daniel J. Fremont and Sanjit A. Seshia}, title = {Reactive Control Improvisation}, journal = {CoRR}, volume = {abs/1804.05037}, year = {2018}, url = {http://arxiv.org/abs/1804.05037}, eprinttype = {arXiv}, eprint = {1804.05037}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-05037.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1804-07045, author = {Tommaso Dreossi and Somesh Jha and Sanjit A. Seshia}, title = {Semantic Adversarial Deep Learning}, journal = {CoRR}, volume = {abs/1804.07045}, year = {2018}, url = {http://arxiv.org/abs/1804.07045}, eprinttype = {arXiv}, eprint = {1804.07045}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1804-07045.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1805-06962, author = {Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Kurt Keutzer and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Counterexample-Guided Data Augmentation}, journal = {CoRR}, volume = {abs/1805.06962}, year = {2018}, url = {http://arxiv.org/abs/1805.06962}, eprinttype = {arXiv}, eprint = {1805.06962}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-06962.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1807-08058, author = {Gil Lederman and Markus N. Rabe and Sanjit A. Seshia}, title = {Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning}, journal = {CoRR}, volume = {abs/1807.08058}, year = {2018}, url = {http://arxiv.org/abs/1807.08058}, eprinttype = {arXiv}, eprint = {1807.08058}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1807-08058.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1808-07921, author = {Ankush Desai and Shromona Ghosh and Sanjit A. Seshia and Natarajan Shankar and Ashish Tiwari}, title = {{SOTER:} Programming Safe Robotics System using Runtime Assurance}, journal = {CoRR}, volume = {abs/1808.07921}, year = {2018}, url = {http://arxiv.org/abs/1808.07921}, eprinttype = {arXiv}, eprint = {1808.07921}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1808-07921.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-02267, author = {Andreea B. Alexandru and Konstantinos Gatsis and Yasser Shoukry and Sanjit A. Seshia and Paulo Tabuada and George J. Pappas}, title = {Cloud-based Quadratic Optimization with Partially Homomorphic Encryption}, journal = {CoRR}, volume = {abs/1809.02267}, year = {2018}, url = {http://arxiv.org/abs/1809.02267}, eprinttype = {arXiv}, eprint = {1809.02267}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-02267.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-09310, author = {Daniel J. Fremont and Xiangyu Yue and Tommaso Dreossi and Shromona Ghosh and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Scenic: Language-Based Scene Generation}, journal = {CoRR}, volume = {abs/1809.09310}, year = {2018}, url = {http://arxiv.org/abs/1809.09310}, eprinttype = {arXiv}, eprint = {1809.09310}, timestamp = {Wed, 14 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-09310.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/JhaS17, author = {Susmit Jha and Sanjit A. Seshia}, title = {A theory of formal synthesis via inductive learning}, journal = {Acta Informatica}, volume = {54}, number = {7}, pages = {693--726}, year = {2017}, url = {https://doi.org/10.1007/s00236-017-0294-5}, doi = {10.1007/S00236-017-0294-5}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/JhaS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/automatica/KimAS17, author = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia}, title = {Symbolic control design for monotone systems with directed specifications}, journal = {Autom.}, volume = {83}, pages = {10--19}, year = {2017}, url = {https://doi.org/10.1016/j.automatica.2017.04.060}, doi = {10.1016/J.AUTOMATICA.2017.04.060}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/automatica/KimAS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/DeshmukhDGJJS17, author = {Jyotirmoy V. Deshmukh and Alexandre Donz{\'{e}} and Shromona Ghosh and Xiaoqing Jin and Garvit Juniwal and Sanjit A. Seshia}, title = {Robust online monitoring of signal temporal logic}, journal = {Formal Methods Syst. Des.}, volume = {51}, number = {1}, pages = {5--30}, year = {2017}, url = {https://doi.org/10.1007/s10703-017-0286-7}, doi = {10.1007/S10703-017-0286-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/DeshmukhDGJJS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HarrisJRS17, author = {William R. Harris and Somesh Jha and Thomas W. Reps and Sanjit A. Seshia}, title = {Program synthesis for interactive-security systems}, journal = {Formal Methods Syst. Des.}, volume = {51}, number = {2}, pages = {362--394}, year = {2017}, url = {https://doi.org/10.1007/s10703-017-0296-5}, doi = {10.1007/S10703-017-0296-5}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/HarrisJRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tac/ShoukryNPSST17, author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto Puggelli and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Paulo Tabuada}, title = {Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: {A} Satisfiability Modulo Theory Approach}, journal = {{IEEE} Trans. Autom. Control.}, volume = {62}, number = {10}, pages = {4917--4932}, year = {2017}, url = {https://doi.org/10.1109/TAC.2017.2676679}, doi = {10.1109/TAC.2017.2676679}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tac/ShoukryNPSST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/SeshiaHLZ17, author = {Sanjit A. Seshia and Shiyan Hu and Wenchao Li and Qi Zhu}, title = {Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {36}, number = {9}, pages = {1421--1434}, year = {2017}, url = {https://doi.org/10.1109/TCAD.2016.2633961}, doi = {10.1109/TCAD.2016.2633961}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/SeshiaHLZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/te/JonesWSLAPLPNAL17, author = {Edwin C. Jones and Kathleen E. Wage and Sanjit A. Seshia and Susan M. Lord and Michael E. Auer and Lance C. P{\'{e}}rez and Katherine Shu{-}Min Li and S. L. Krishna Priya and Sasha Nikolic and Francisco Arcega and Richard A. Layton and Matthew W. Ohland and Kayode Peter Ayodele and Isaac A. Inyang and Lawrence O. Kehinde and Jana Reisslein and Amy M. Johnson and Martin Reisslein and James L. Huff and Joachim Walther and Brent K. Jesiek and Carla B. Zoltowski and William C. Oakes and Natasha Nesiba and Enrico Pontelli and Timothy Staley and Melany M. Ciampi and John Heywood and Diane T. Rover and Raman M. Unnikrishnan and Agnieszka Miguel}, title = {2016 {IEEE} Education Society Awards, 2016 Frontiers in Education Conference Awards, and Selected {IEEE} Awards}, journal = {{IEEE} Trans. Educ.}, volume = {60}, number = {1}, pages = {67--77}, year = {2017}, url = {https://doi.org/10.1109/TE.2016.2636038}, doi = {10.1109/TE.2016.2636038}, timestamp = {Tue, 06 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/te/JonesWSLAPLPNAL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/FremontRS17, author = {Daniel J. Fremont and Markus N. Rabe and Sanjit A. Seshia}, editor = {Satinder Singh and Shaul Markovitch}, title = {Maximum Model Counting}, booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, {USA}}, pages = {3885--3892}, publisher = {{AAAI} Press}, year = {2017}, url = {https://doi.org/10.1609/aaai.v31i1.11138}, doi = {10.1609/AAAI.V31I1.11138}, timestamp = {Mon, 04 Sep 2023 14:40:32 +0200}, biburl = {https://dblp.org/rec/conf/aaai/FremontRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/MehrSHSS17, author = {Negar Mehr and Dorsa Sadigh and Roberto Horowitz and S. Shankar Sastry and Sanjit A. Seshia}, title = {Stochastic predictive freeway ramp metering from Signal Temporal Logic specifications}, booktitle = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May 24-26, 2017}, pages = {4884--4889}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.23919/ACC.2017.7963711}, doi = {10.23919/ACC.2017.7963711}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amcc/MehrSHSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Vazquez-Chanlatte17, author = {Marcell Vazquez{-}Chanlatte and Jyotirmoy V. Deshmukh and Xiaoqing Jin and Sanjit A. Seshia}, editor = {Rupak Majumdar and Viktor Kuncak}, title = {Logical Clustering and Learning for Time-Series Data}, booktitle = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {10426}, pages = {305--325}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63387-9\_15}, doi = {10.1007/978-3-319-63387-9\_15}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/Vazquez-Chanlatte17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/Subramanyan0LDS17, author = {Pramod Subramanyan and Rohit Sinha and Ilia A. Lebedev and Srinivas Devadas and Sanjit A. Seshia}, editor = {Bhavani Thuraisingham and David Evans and Tal Malkin and Dongyan Xu}, title = {A Formal Foundation for Secure Remote Execution of Enclaves}, booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 - November 03, 2017}, pages = {2435--2450}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3133956.3134098}, doi = {10.1145/3133956.3134098}, timestamp = {Wed, 29 Jun 2022 15:37:41 +0200}, biburl = {https://dblp.org/rec/conf/ccs/Subramanyan0LDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/ShoukryNBSSSPT17, author = {Yasser Shoukry and Pierluigi Nuzzo and Ayca Balkan and Indranil Saha and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and George J. Pappas and Paulo Tabuada}, title = {Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming}, booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017, Melbourne, Australia, December 12-15, 2017}, pages = {1132--1137}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/CDC.2017.8263808}, doi = {10.1109/CDC.2017.8263808}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/ShoukryNBSSSPT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/KimSBAS17, author = {Eric S. Kim and Sadra Sadraddini and Calin Belta and Murat Arcak and Sanjit A. Seshia}, title = {Dynamic contracts for distributed temporal logic control of traffic networks}, booktitle = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017, Melbourne, Australia, December 12-15, 2017}, pages = {3640--3645}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/CDC.2017.8264194}, doi = {10.1109/CDC.2017.8264194}, timestamp = {Wed, 24 Jan 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cdc/KimSBAS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ShoukryNSSPT17, author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and George J. Pappas and Paulo Tabuada}, editor = {Goran Frehse and Sayan Mitra}, title = {{SMC:} Satisfiability Modulo Convex Optimization}, booktitle = {Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017}, pages = {19--28}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3049797.3049819}, doi = {10.1145/3049797.3049819}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/ShoukryNSSPT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/KimAS17, author = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia}, editor = {Goran Frehse and Sayan Mitra}, title = {A Small Gain Theorem for Parametric Assume-Guarantee Contracts}, booktitle = {Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017}, pages = {207--216}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3049797.3049805}, doi = {10.1145/3049797.3049805}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/KimAS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/DesaiSYQS17, author = {Ankush Desai and Indranil Saha and Jianqiao Yang and Shaz Qadeer and Sanjit A. Seshia}, editor = {Sonia Mart{\'{\i}}nez and Eduardo Tovar and Chris Gill and Bruno Sinopoli}, title = {{DRONA:} a framework for safe distributed mobile robotics}, booktitle = {Proceedings of the 8th International Conference on Cyber-Physical Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017}, pages = {239--248}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3055004.3055022}, doi = {10.1145/3055004.3055022}, timestamp = {Fri, 03 Sep 2021 09:01:40 +0200}, biburl = {https://dblp.org/rec/conf/iccps/DesaiSYQS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/DreossiDS17, author = {Tommaso Dreossi and Alexandre Donz{\'{e}} and Sanjit A. Seshia}, editor = {Clark W. Barrett and Misty D. Davies and Temesghen Kahsai}, title = {Compositional Falsification of Cyber-Physical Systems with Machine Learning Components}, booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10227}, pages = {357--372}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-57288-8\_26}, doi = {10.1007/978-3-319-57288-8\_26}, timestamp = {Sat, 19 Aug 2023 09:51:51 +0200}, biburl = {https://dblp.org/rec/conf/nfm/DreossiDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rss/SadighDSS17, author = {Dorsa Sadigh and Anca D. Dragan and Shankar Sastry and Sanjit A. Seshia}, editor = {Nancy M. Amato and Siddhartha S. Srinivasa and Nora Ayanian and Scott Kuindersma}, title = {Active Preference-Based Learning of Reward Functions}, booktitle = {Robotics: Science and Systems XIII, Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, July 12-16, 2017}, year = {2017}, url = {http://www.roboticsproceedings.org/rss13/p53.html}, doi = {10.15607/RSS.2017.XIII.053}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rss/SadighDSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/DesaiDS17, author = {Ankush Desai and Tommaso Dreossi and Sanjit A. Seshia}, editor = {Shuvendu K. Lahiri and Giles Reger}, title = {Combining Model Checking and Runtime Verification for Safe Robotics}, booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10548}, pages = {172--189}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67531-2\_11}, doi = {10.1007/978-3-319-67531-2\_11}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/DesaiDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/JhaTSSS17, author = {Susmit Jha and Ashish Tiwari and Sanjit A. Seshia and Tuhin Sahai and Natarajan Shankar}, editor = {Shuvendu K. Lahiri and Giles Reger}, title = {TeLEx: Passive {STL} Learning Using Only Positive Examples}, booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10548}, pages = {208--224}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67531-2\_13}, doi = {10.1007/978-3-319-67531-2\_13}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/JhaTSSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/0001RS17, author = {Rohit Sinha and Sriram K. Rajamani and Sanjit A. Seshia}, editor = {Eric Bodden and Wilhelm Sch{\"{a}}fer and Arie van Deursen and Andrea Zisman}, title = {A compiler and verifier for page access oblivious computation}, booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017}, pages = {649--660}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3106237.3106248}, doi = {10.1145/3106237.3106248}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/0001RS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DreossiDS17, author = {Tommaso Dreossi and Alexandre Donz{\'{e}} and Sanjit A. Seshia}, title = {Compositional Falsification of Cyber-Physical Systems with Machine Learning Components}, journal = {CoRR}, volume = {abs/1703.00978}, year = {2017}, url = {http://arxiv.org/abs/1703.00978}, eprinttype = {arXiv}, eprint = {1703.00978}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DreossiDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/RamanDMMSS17, author = {Vasumathi Raman and Alexandre Donz{\'{e}} and Mehdi Maasoumy and Richard M. Murray and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Model Predictive Control for Signal Temporal Logic Specification}, journal = {CoRR}, volume = {abs/1703.09563}, year = {2017}, url = {http://arxiv.org/abs/1703.09563}, eprinttype = {arXiv}, eprint = {1703.09563}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/RamanDMMSS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FremontDS17, author = {Daniel J. Fremont and Alexandre Donz{\'{e}} and Sanjit A. Seshia}, title = {Control Improvisation}, journal = {CoRR}, volume = {abs/1704.06319}, year = {2017}, url = {http://arxiv.org/abs/1704.06319}, eprinttype = {arXiv}, eprint = {1704.06319}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/FremontDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Vazquez-Chanlatte17, author = {Marcell Vazquez{-}Chanlatte and Shromona Ghosh and Vasumathi Raman and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications}, journal = {CoRR}, volume = {abs/1707.03529}, year = {2017}, url = {http://arxiv.org/abs/1707.03529}, eprinttype = {arXiv}, eprint = {1707.03529}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Vazquez-Chanlatte17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1708-03309, author = {Tommaso Dreossi and Shromona Ghosh and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Systematic Testing of Convolutional Neural Networks for Autonomous Driving}, journal = {CoRR}, volume = {abs/1708.03309}, year = {2017}, url = {http://arxiv.org/abs/1708.03309}, eprinttype = {arXiv}, eprint = {1708.03309}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1708-03309.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-03875, author = {Marcell Vazquez{-}Chanlatte and Susmit Jha and Ashish Tiwari and Sanjit A. Seshia}, title = {Specification Inference from Demonstrations}, journal = {CoRR}, volume = {abs/1710.03875}, year = {2017}, url = {http://arxiv.org/abs/1710.03875}, eprinttype = {arXiv}, eprint = {1710.03875}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-03875.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/SeshiaZKJ17, author = {Sanjit A. Seshia and Xiaojin (Jerry) Zhu and Andreas Krause and Susmit Jha}, title = {Machine Learning and Formal Method (Dagstuhl Seminar 17351)}, journal = {Dagstuhl Reports}, volume = {7}, number = {8}, pages = {55--73}, year = {2017}, url = {https://doi.org/10.4230/DagRep.7.8.55}, doi = {10.4230/DAGREP.7.8.55}, timestamp = {Sun, 11 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/SeshiaZKJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iacr/SubramanyanSLDS17, author = {Pramod Subramanyan and Rohit Sinha and Ilia A. Lebedev and Srinivas Devadas and Sanjit A. Seshia}, title = {A Formal Foundation for Secure Remote Execution of Enclaves}, journal = {{IACR} Cryptol. ePrint Arch.}, pages = {565}, year = {2017}, url = {http://eprint.iacr.org/2017/565}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iacr/SubramanyanSLDS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cie/ValleDFASFW16, author = {Rafael Valle and Alexandre Donz{\'{e}} and Daniel J. Fremont and Ilge Akkaya and Sanjit A. Seshia and Adrian Freed and David Wessel}, title = {Specification Mining for Machine Improvisation with Formal Specifications}, journal = {Comput. Entertain.}, volume = {14}, number = {3}, pages = {6:1--6:20}, year = {2016}, url = {https://doi.org/10.1145/2967504}, doi = {10.1145/2967504}, timestamp = {Sun, 10 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cie/ValleDFASFW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/MeelVCFSFIM16, author = {Kuldeep S. Meel and Moshe Y. Vardi and Supratik Chakraborty and Daniel J. Fremont and Sanjit A. Seshia and Dror Fried and Alexander Ivrii and Sharad Malik}, editor = {Adnan Darwiche}, title = {Constrained Sampling and Counting: Universal Hashing Meets {SAT} Solving}, booktitle = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona, USA, February 12, 2016}, series = {{AAAI} Technical Report}, volume = {{WS-16-05}}, publisher = {{AAAI} Press}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12618}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/MeelVCFSFIM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/KimAS16, author = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia}, title = {Assume-guarantee contracts and controller synthesis for vehicular traffic networks}, booktitle = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July 6-8, 2016}, pages = {882}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ACC.2016.7525025}, doi = {10.1109/ACC.2016.7525025}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/amcc/KimAS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/ShoukryGAPSST16, author = {Yasser Shoukry and Konstantinos Gatsis and Amr Al{-}Anwar and George J. Pappas and Sanjit A. Seshia and Mani B. Srivastava and Paulo Tabuada}, title = {Privacy-aware quadratic optimization using partially homomorphic encryption}, booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas, NV, USA, December 12-14, 2016}, pages = {5053--5058}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/CDC.2016.7799042}, doi = {10.1109/CDC.2016.7799042}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/ShoukryGAPSST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/ShoukryNSSSPT16, author = {Yasser Shoukry and Pierluigi Nuzzo and Indranil Saha and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and George J. Pappas and Paulo Tabuada}, title = {Scalable lazy SMT-based motion planning}, booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas, NV, USA, December 12-14, 2016}, pages = {6683--6688}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/CDC.2016.7799298}, doi = {10.1109/CDC.2016.7799298}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/ShoukryNSSSPT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/JhaRS16, author = {Susmit Jha and Vasumathi Raman and Sanjit A. Seshia}, editor = {Ruzica Piskac and Muralidhar Talupur}, title = {On {\(\exists\)} {\(\forall\)} {\(\exists\)}! solving: {A} case study on automated synthesis of magic card tricks}, booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain View, CA, USA, October 3-6, 2016}, pages = {81--84}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/FMCAD.2016.7886664}, doi = {10.1109/FMCAD.2016.7886664}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/JhaRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/YamaguchiKDS16, author = {Tomoya Yamaguchi and Tomoyuki Kaga and Alexandre Donz{\'{e}} and Sanjit A. Seshia}, editor = {Ruzica Piskac and Muralidhar Talupur}, title = {Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems}, booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain View, CA, USA, October 3-6, 2016}, pages = {201--204}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/FMCAD.2016.7886680}, doi = {10.1109/FMCAD.2016.7886680}, timestamp = {Mon, 07 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/YamaguchiKDS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/BjornerJMSV16, author = {Nikolaj S. Bj{\o}rner and Garvit Juniwal and Ratul Mahajan and Sanjit A. Seshia and George Varghese}, editor = {Roderick Bloem and Eli Arbel}, title = {ddNF: An Efficient Data Structure for Header Spaces}, booktitle = {Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, {HVC} 2016, Haifa, Israel, November 14-17, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10028}, pages = {49--64}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49052-6\_4}, doi = {10.1007/978-3-319-49052-6\_4}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hvc/BjornerJMSV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/KimAS16, author = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia}, editor = {Alessandro Abate and Georgios Fainekos}, title = {Directed Specifications and Assumption Mining for Monotone Dynamical Systems}, booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14, 2016}, pages = {21--30}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2883817.2883833}, doi = {10.1145/2883817.2883833}, timestamp = {Fri, 13 Aug 2021 11:37:40 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/KimAS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GhoshSNRDSSS16, author = {Shromona Ghosh and Dorsa Sadigh and Pierluigi Nuzzo and Vasumathi Raman and Alexandre Donz{\'{e}} and Alberto L. Sangiovanni{-}Vincentelli and S. Shankar Sastry and Sanjit A. Seshia}, editor = {Alessandro Abate and Georgios Fainekos}, title = {Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications}, booktitle = {Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14, 2016}, pages = {31--40}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2883817.2883847}, doi = {10.1145/2883817.2883847}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GhoshSNRDSSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/ShoukryCWNSSHT16, author = {Yasser Shoukry and Michelle Chong and Masashi Wakaiki and Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Jo{\~{a}}o Pedro Hespanha and Paulo Tabuada}, title = {SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks}, booktitle = {7th {ACM/IEEE} International Conference on Cyber-Physical Systems, {ICCPS} 2016, Vienna, Austria, April 11-14, 2016}, pages = {29:1--29:10}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ICCPS.2016.7479119}, doi = {10.1109/ICCPS.2016.7479119}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccps/ShoukryCWNSSHT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/SahaR0PS16, author = {Indranil Saha and Rattanachai Ramaithitima and Vijay Kumar and George J. Pappas and Sanjit A. Seshia}, title = {Implan: Scalable Incremental Motion Planning for Multi-Robot Systems}, booktitle = {7th {ACM/IEEE} International Conference on Cyber-Physical Systems, {ICCPS} 2016, Vienna, Austria, April 11-14, 2016}, pages = {43:1--43:10}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ICCPS.2016.7479105}, doi = {10.1109/ICCPS.2016.7479105}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iccps/SahaR0PS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iotdi/AkkayaFVDLS16, author = {Ilge Akkaya and Daniel J. Fremont and Rafael Valle and Alexandre Donz{\'{e}} and Edward A. Lee and Sanjit A. Seshia}, title = {Control Improvisation with Probabilistic Temporal Specifications}, booktitle = {First {IEEE} International Conference on Internet-of-Things Design and Implementation, IoTDI 2016, Berlin, Germany, April 4-8, 2016}, pages = {187--198}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/IoTDI.2015.33}, doi = {10.1109/IOTDI.2015.33}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iotdi/AkkayaFVDLS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/SadighSSD16, author = {Dorsa Sadigh and S. Shankar Sastry and Sanjit A. Seshia and Anca D. Dragan}, title = {Information gathering actions over human internal state}, booktitle = {2016 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2016, Daejeon, South Korea, October 9-14, 2016}, pages = {66--73}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/IROS.2016.7759036}, doi = {10.1109/IROS.2016.7759036}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/iros/SadighSSD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ismir/ValleFADFS16, author = {Rafael Valle and Daniel J. Fremont and Ilge Akkaya and Alexandre Donz{\'{e}} and Adrian Freed and Sanjit A. Seshia}, editor = {Michael I. Mandel and Johanna Devaney and Douglas Turnbull and George Tzanetakis}, title = {Learning and Visualizing Music Specifications Using Pattern Graphs}, booktitle = {Proceedings of the 17th International Society for Music Information Retrieval Conference, {ISMIR} 2016, New York City, United States, August 7-11, 2016}, pages = {192--198}, year = {2016}, url = {https://wp.nyu.edu/ismir2016/wp-content/uploads/sites/2294/2016/07/280\_Paper.pdf}, timestamp = {Thu, 12 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ismir/ValleFADFS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itsc/RezvaniDSSSB16, author = {Tara Rezvani and Katherine Rose Driggs{-}Campbell and Dorsa Sadigh and S. Shankar Sastry and Sanjit A. Seshia and Ruzena Bajcsy}, title = {Towards trustworthy automation: User interfaces that convey internal and external awareness}, booktitle = {19th {IEEE} International Conference on Intelligent Transportation Systems, {ITSC} 2016, Rio de Janeiro, Brazil, November 1-4, 2016}, pages = {682--688}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/ITSC.2016.7795627}, doi = {10.1109/ITSC.2016.7795627}, timestamp = {Wed, 16 Oct 2019 14:14:57 +0200}, biburl = {https://dblp.org/rec/conf/itsc/RezvaniDSSSB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/WuRLS16, author = {Yi{-}Chin Wu and Vasumathi Raman and St{\'{e}}phane Lafortune and Sanjit A. Seshia}, editor = {Sanjai Rayadurgam and Oksana Tkachuk}, title = {Obfuscator Synthesis for Privacy and Utility}, booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9690}, pages = {133--149}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40648-0\_11}, doi = {10.1007/978-3-319-40648-0\_11}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/WuRLS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/0001CLLRSV16, author = {Rohit Sinha and Manuel Costa and Akash Lal and Nuno P. Lopes and Sriram K. Rajamani and Sanjit A. Seshia and Kapil Vaswani}, editor = {Chandra Krintz and Emery D. Berger}, title = {A design and verification methodology for secure isolated regions}, booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA, USA, June 13-17, 2016}, pages = {665--681}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2908080.2908113}, doi = {10.1145/2908080.2908113}, timestamp = {Sat, 30 Sep 2023 09:54:48 +0200}, biburl = {https://dblp.org/rec/conf/pldi/0001CLLRSV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rss/SadighSSD16, author = {Dorsa Sadigh and Shankar Sastry and Sanjit A. Seshia and Anca D. Dragan}, editor = {David Hsu and Nancy M. Amato and Spring Berman and Sam Ade Jacobs}, title = {Planning for Autonomous Cars that Leverage Effects on Human Actions}, booktitle = {Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18 - June 22, 2016}, year = {2016}, url = {http://www.roboticsproceedings.org/rss12/p29.html}, doi = {10.15607/RSS.2016.XII.029}, timestamp = {Mon, 02 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rss/SadighSSD16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/MullFS16, author = {Nathan Mull and Daniel J. Fremont and Sanjit A. Seshia}, editor = {Nadia Creignou and Daniel Le Berre}, title = {On the Hardness of {SAT} with Community Structure}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9710}, pages = {141--159}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40970-2\_10}, doi = {10.1007/978-3-319-40970-2\_10}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/sat/MullFS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sat/RabeS16, author = {Markus N. Rabe and Sanjit A. Seshia}, editor = {Nadia Creignou and Daniel Le Berre}, title = {Incremental Determinization}, booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9710}, pages = {375--392}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40970-2\_23}, doi = {10.1007/978-3-319-40970-2\_23}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sat/RabeS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/vstte/2015, editor = {Arie Gurfinkel and Sanjit A. Seshia}, title = {Verified Software: Theories, Tools, and Experiments - 7th International Conference, {VSTTE} 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9593}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-29613-5}, doi = {10.1007/978-3-319-29613-5}, isbn = {978-3-319-29612-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vstte/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GhoshSNRDSSS16, author = {Shromona Ghosh and Dorsa Sadigh and Pierluigi Nuzzo and Vasumathi Raman and Alexandre Donz{\'{e}} and Alberto L. Sangiovanni{-}Vincentelli and S. Shankar Sastry and Sanjit A. Seshia}, title = {Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications}, journal = {CoRR}, volume = {abs/1602.01883}, year = {2016}, url = {http://arxiv.org/abs/1602.01883}, eprinttype = {arXiv}, eprint = {1602.01883}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GhoshSNRDSSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MullFS16, author = {Nathan Mull and Daniel J. Fremont and Sanjit A. Seshia}, title = {On the Hardness of {SAT} with Community Structure}, journal = {CoRR}, volume = {abs/1602.08620}, year = {2016}, url = {http://arxiv.org/abs/1602.08620}, eprinttype = {arXiv}, eprint = {1602.08620}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/MullFS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SeshiaS16, author = {Sanjit A. Seshia and Dorsa Sadigh}, title = {Towards Verified Artificial Intelligence}, journal = {CoRR}, volume = {abs/1606.08514}, year = {2016}, url = {http://arxiv.org/abs/1606.08514}, eprinttype = {arXiv}, eprint = {1606.08514}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SeshiaS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/V-ChanlatteDJS16, author = {Marcell V.{-}Chanlatte and Jyotirmoy V. Deshmukh and Xiaoqing Jin and Sanjit A. Seshia}, title = {Learning Auditable Features from Signals Using Unsupervised Temporal Projection}, journal = {CoRR}, volume = {abs/1612.07823}, year = {2016}, url = {http://arxiv.org/abs/1612.07823}, eprinttype = {arXiv}, eprint = {1612.07823}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/V-ChanlatteDJS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/Seshia15, author = {Sanjit A. Seshia}, title = {Combining Induction, Deduction, and Structure for Verification and Synthesis}, journal = {Proc. {IEEE}}, volume = {103}, number = {11}, pages = {2036--2051}, year = {2015}, url = {https://doi.org/10.1109/JPROC.2015.2471838}, doi = {10.1109/JPROC.2015.2471838}, timestamp = {Fri, 02 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/Seshia15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/JinDDS15, author = {Xiaoqing Jin and Alexandre Donz{\'{e}} and Jyotirmoy V. Deshmukh and Sanjit A. Seshia}, title = {Mining Requirements From Closed-Loop Control Models}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {34}, number = {11}, pages = {1704--1717}, year = {2015}, url = {https://doi.org/10.1109/TCAD.2015.2421907}, doi = {10.1109/TCAD.2015.2421907}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/JinDDS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/ShoukryPNSST15, author = {Yasser Shoukry and Alberto Puggelli and Pierluigi Nuzzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Paulo Tabuada}, title = {Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving}, booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3, 2015}, pages = {3818--3823}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ACC.2015.7171925}, doi = {10.1109/ACC.2015.7171925}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amcc/ShoukryPNSST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/DonzeJDS15, author = {Alexandre Donz{\'{e}} and Xiaoqing Jin and Jyotirmoy V. Deshmukh and Sanjit A. Seshia}, title = {Automotive systems requirement mining using breach}, booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3, 2015}, pages = {4097}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/ACC.2015.7171970}, doi = {10.1109/ACC.2015.7171970}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/amcc/DonzeJDS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/DesaiSQBE15, author = {Ankush Desai and Sanjit A. Seshia and Shaz Qadeer and David Broman and John C. Eidson}, editor = {Daniel Kroening and Corina S. Pasareanu}, title = {Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems}, booktitle = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9207}, pages = {429--448}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21668-3\_25}, doi = {10.1007/978-3-319-21668-3\_25}, timestamp = {Fri, 27 Mar 2020 08:45:57 +0100}, biburl = {https://dblp.org/rec/conf/cav/DesaiSQBE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/SinhaRSV15, author = {Rohit Sinha and Sriram K. Rajamani and Sanjit A. Seshia and Kapil Vaswani}, editor = {Indrajit Ray and Ninghui Li and Christopher Kruegel}, title = {Moat: Verifying Confidentiality of Enclave Programs}, booktitle = {Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015}, pages = {1169--1184}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2810103.2813608}, doi = {10.1145/2810103.2813608}, timestamp = {Tue, 10 Nov 2020 19:58:09 +0100}, biburl = {https://dblp.org/rec/conf/ccs/SinhaRSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/ShoukryNBSST15, author = {Yasser Shoukry and Pierluigi Nuzzo and Nicola Bezzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Paulo Tabuada}, title = {Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving}, booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka, Japan, December 15-18, 2015}, pages = {3804--3809}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/CDC.2015.7402810}, doi = {10.1109/CDC.2015.7402810}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/ShoukryNBSST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/KimAS15, author = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia}, title = {Compositional controller synthesis for vehicular traffic networks}, booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka, Japan, December 15-18, 2015}, pages = {6165--6171}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/CDC.2015.7403189}, doi = {10.1109/CDC.2015.7403189}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/KimAS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/SeshiaSS15, author = {Sanjit A. Seshia and Dorsa Sadigh and S. Shankar Sastry}, title = {Formal methods for semi-autonomous driving}, booktitle = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015}, pages = {148:1--148:5}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2744769.2747927}, doi = {10.1145/2744769.2747927}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/SeshiaSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/FremontDSW15, author = {Daniel J. Fremont and Alexandre Donz{\'{e}} and Sanjit A. Seshia and David Wessel}, editor = {Prahladh Harsha and G. Ramalingam}, title = {Control Improvisation}, booktitle = {35th {IARCS} Annual Conference on Foundation of Software Technology and Theoretical Computer Science, {FSTTCS} 2015, December 16-18, 2015, Bangalore, India}, series = {LIPIcs}, volume = {45}, pages = {463--474}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2015.463}, doi = {10.4230/LIPICS.FSTTCS.2015.463}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/fsttcs/FremontDSW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/RamanDSMS15, author = {Vasumathi Raman and Alexandre Donz{\'{e}} and Dorsa Sadigh and Richard M. Murray and Sanjit A. Seshia}, editor = {Antoine Girard and Sriram Sankaranarayanan}, title = {Reactive synthesis from signal temporal logic specifications}, booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015}, pages = {239--248}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2728606.2728628}, doi = {10.1145/2728606.2728628}, timestamp = {Fri, 06 Sep 2019 10:57:13 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/RamanDSMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lats/JuniwalJDS15, author = {Garvit Juniwal and Sakshi Jain and Alexandre Donz{\'{e}} and Sanjit A. Seshia}, editor = {Gregor Kiczales and Daniel M. Russell and Beverly P. Woolf}, title = {Clustering-Based Active Learning for CPSGrader}, booktitle = {Proceedings of the Second {ACM} Conference on Learning @ Scale, L@S 2015, Vancouver, BC, Canada, March 14 - 18, 2015}, pages = {399--403}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2724660.2728702}, doi = {10.1145/2724660.2728702}, timestamp = {Thu, 02 Jun 2022 09:40:26 +0200}, biburl = {https://dblp.org/rec/conf/lats/JuniwalJDS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/DeshmukhDGJJS15, author = {Jyotirmoy V. Deshmukh and Alexandre Donz{\'{e}} and Shromona Ghosh and Xiaoqing Jin and Garvit Juniwal and Sanjit A. Seshia}, editor = {Ezio Bartocci and Rupak Majumdar}, title = {Robust Online Monitoring of Signal Temporal Logic}, booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna, Austria, September 22-25, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9333}, pages = {55--70}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-23820-3\_4}, doi = {10.1007/978-3-319-23820-3\_4}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/rv/DeshmukhDGJJS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/DesaiQS15, author = {Ankush Desai and Shaz Qadeer and Sanjit A. Seshia}, editor = {Elisabetta Di Nitto and Mark Harman and Patrick Heymans}, title = {Systematic testing of asynchronous reactive systems}, booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September 4, 2015}, pages = {73--83}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2786805.2786861}, doi = {10.1145/2786805.2786861}, timestamp = {Tue, 06 Nov 2018 16:59:22 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/DesaiQS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/ChakrabortyFMSV15, author = {Supratik Chakraborty and Daniel J. Fremont and Kuldeep S. Meel and Sanjit A. Seshia and Moshe Y. Vardi}, editor = {Christel Baier and Cesare Tinelli}, title = {On Parallel Scalable Uniform {SAT} Witness Generation}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9035}, pages = {304--319}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46681-0\_25}, doi = {10.1007/978-3-662-46681-0\_25}, timestamp = {Sat, 30 Sep 2023 09:57:43 +0200}, biburl = {https://dblp.org/rec/conf/tacas/ChakrabortyFMSV15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15, author = {Rajeev Alur and Rastislav Bod{\'{\i}}k and Eric Dallal and Dana Fisman and Pranav Garg and Garvit Juniwal and Hadas Kress{-}Gazit and P. Madhusudan and Milo M. K. Martin and Mukund Raghothaman and Shambwaditya Saha and Sanjit A. Seshia and Rishabh Singh and Armando Solar{-}Lezama and Emina Torlak and Abhishek Udupa}, editor = {Maximilian Irlbeck and Doron A. Peled and Alexander Pretschner}, title = {Syntax-Guided Synthesis}, booktitle = {Dependable Software Systems Engineering}, series = {{NATO} Science for Peace and Security Series, {D:} Information and Communication Security}, volume = {40}, pages = {1--25}, publisher = {{IOS} Press}, year = {2015}, url = {https://doi.org/10.3233/978-1-61499-495-4-1}, doi = {10.3233/978-1-61499-495-4-1}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JhaS15, author = {Susmit Jha and Sanjit A. Seshia}, title = {A Theory of Formal Synthesis via Inductive Learning}, journal = {CoRR}, volume = {abs/1505.03953}, year = {2015}, url = {http://arxiv.org/abs/1505.03953}, eprinttype = {arXiv}, eprint = {1505.03953}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JhaS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BundalaS15, author = {Daniel Bundala and Sanjit A. Seshia}, title = {On Systematic Testing for Execution-Time Analysis}, journal = {CoRR}, volume = {abs/1506.05893}, year = {2015}, url = {http://arxiv.org/abs/1506.05893}, eprinttype = {arXiv}, eprint = {1506.05893}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BundalaS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/DeshmukhDGJJS15, author = {Jyotirmoy V. Deshmukh and Alexandre Donz{\'{e}} and Shromona Ghosh and Xiaoqing Jin and Garvit Juniwal and Sanjit A. Seshia}, title = {Robust Online Monitoring of Signal Temporal Logic}, journal = {CoRR}, volume = {abs/1506.08234}, year = {2015}, url = {http://arxiv.org/abs/1506.08234}, eprinttype = {arXiv}, eprint = {1506.08234}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DeshmukhDGJJS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ShoukryNBSST15, author = {Yasser Shoukry and Pierluigi Nuzzo and Nicola Bezzo and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Paulo Tabuada}, title = {A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks}, journal = {CoRR}, volume = {abs/1509.03262}, year = {2015}, url = {http://arxiv.org/abs/1509.03262}, eprinttype = {arXiv}, eprint = {1509.03262}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ShoukryNBSST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CaulfieldRST15, author = {Benjamin Caulfield and Markus N. Rabe and Sanjit A. Seshia and Stavros Tripakis}, title = {What's Decidable about Syntax-Guided Synthesis?}, journal = {CoRR}, volume = {abs/1510.08393}, year = {2015}, url = {http://arxiv.org/abs/1510.08393}, eprinttype = {arXiv}, eprint = {1510.08393}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CaulfieldRST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AkkayaFVDLS15, author = {Ilge Akkaya and Daniel J. Fremont and Rafael Valle and Alexandre Donz{\'{e}} and Edward A. Lee and Sanjit A. Seshia}, title = {Control Improvisation with Probabilistic Temporal Specifications}, journal = {CoRR}, volume = {abs/1511.02279}, year = {2015}, url = {http://arxiv.org/abs/1511.02279}, eprinttype = {arXiv}, eprint = {1511.02279}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AkkayaFVDLS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MeelVCFSFIM15, author = {Kuldeep S. Meel and Moshe Y. Vardi and Supratik Chakraborty and Daniel J. Fremont and Sanjit A. Seshia and Dror Fried and Alexander Ivrii and Sharad Malik}, title = {Constrained Sampling and Counting: Universal Hashing Meets {SAT} Solving}, journal = {CoRR}, volume = {abs/1512.06633}, year = {2015}, url = {http://arxiv.org/abs/1512.06633}, eprinttype = {arXiv}, eprint = {1512.06633}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MeelVCFSFIM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/NuzzoXOFSMDS14, author = {Pierluigi Nuzzo and Huan Xu and Necmiye Ozay and John B. Finn and Alberto L. Sangiovanni{-}Vincentelli and Richard M. Murray and Alexandre Donz{\'{e}} and Sanjit A. Seshia}, title = {A Contract-Based Methodology for Aircraft Electric Power System Design}, journal = {{IEEE} Access}, volume = {2}, pages = {1--25}, year = {2014}, url = {https://doi.org/10.1109/ACCESS.2013.2295764}, doi = {10.1109/ACCESS.2013.2295764}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/NuzzoXOFSMDS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dt/LeeHKRWWRPSSBDFGTJJKMPMR14, author = {Edward A. Lee and Bj{\"{o}}rn Hartmann and John Kubiatowicz and Tajana Simunic Rosing and John Wawrzynek and David Wessel and Jan M. Rabaey and Kris Pister and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and David T. Blaauw and Prabal Dutta and Kevin Fu and Carlos Guestrin and Ben Taskar and Roozbeh Jafari and Douglas L. Jones and Vijay Kumar and Rahul Mangharam and George J. Pappas and Richard M. Murray and Anthony Rowe}, title = {The Swarm at the Edge of the Cloud}, journal = {{IEEE} Des. Test}, volume = {31}, number = {3}, pages = {8--20}, year = {2014}, url = {https://doi.org/10.1109/MDAT.2014.2314600}, doi = {10.1109/MDAT.2014.2314600}, timestamp = {Tue, 23 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dt/LeeHKRWWRPSSBDFGTJJKMPMR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcad/HolcombS14, author = {Daniel E. Holcomb and Sanjit A. Seshia}, title = {Compositional Performance Verification of Network-on-Chip Designs}, journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.}, volume = {33}, number = {9}, pages = {1370--1383}, year = {2014}, url = {https://doi.org/10.1109/TCAD.2014.2331342}, doi = {10.1109/TCAD.2014.2331342}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcad/HolcombS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tetc/SubramanyanTLGTTSSM14, author = {Pramod Subramanyan and Nestan Tsiskaridze and Wenchao Li and Adri{\`{a}} Gasc{\'{o}}n and Wei Yang Tan and Ashish Tiwari and Natarajan Shankar and Sanjit A. Seshia and Sharad Malik}, title = {Reverse Engineering Digital Circuits Using Structural and Functional Analyses}, journal = {{IEEE} Trans. Emerg. Top. Comput.}, volume = {2}, number = {1}, pages = {63--80}, year = {2014}, url = {https://doi.org/10.1109/TETC.2013.2294918}, doi = {10.1109/TETC.2013.2294918}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tetc/SubramanyanTLGTTSSM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ChakrabortyFMSV14, author = {Supratik Chakraborty and Daniel J. Fremont and Kuldeep S. Meel and Sanjit A. Seshia and Moshe Y. Vardi}, editor = {Carla E. Brodley and Peter Stone}, title = {Distribution-Aware Sampling and Weighted Model Counting for {SAT}}, booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence, July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada}, pages = {1722--1730}, publisher = {{AAAI} Press}, year = {2014}, url = {https://doi.org/10.1609/aaai.v28i1.8990}, doi = {10.1609/AAAI.V28I1.8990}, timestamp = {Mon, 04 Sep 2023 15:06:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ChakrabortyFMSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaaiss/SadighDPLSBSSS14, author = {Dorsa Sadigh and Katherine Rose Driggs{-}Campbell and Alberto Puggelli and Wenchao Li and Victor Shia and Ruzena Bajcsy and Alberto L. Sangiovanni{-}Vincentelli and S. Shankar Sastry and Sanjit A. Seshia}, title = {Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior}, booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014}, publisher = {{AAAI} Press}, year = {2014}, url = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7749}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaaiss/SadighDPLSBSSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/RamanDMMSS14, author = {Vasumathi Raman and Alexandre Donz{\'{e}} and Mehdi Maasoumy and Richard M. Murray and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, title = {Model predictive control with signal temporal logic specifications}, booktitle = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles, CA, USA, December 15-17, 2014}, pages = {81--87}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/CDC.2014.7039363}, doi = {10.1109/CDC.2014.7039363}, timestamp = {Fri, 04 Mar 2022 13:29:15 +0100}, biburl = {https://dblp.org/rec/conf/cdc/RamanDMMSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/SadighKCSS14, author = {Dorsa Sadigh and Eric S. Kim and Samuel Coogan and S. Shankar Sastry and Sanjit A. Seshia}, title = {A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications}, booktitle = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles, CA, USA, December 15-17, 2014}, pages = {1091--1096}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/CDC.2014.7039527}, doi = {10.1109/CDC.2014.7039527}, timestamp = {Wed, 19 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cdc/SadighKCSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/PuggelliSS14, author = {Alberto Puggelli and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, editor = {Tulika Mitra and Jan Reineke}, title = {Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing}, booktitle = {2014 International Conference on Embedded Software, {EMSOFT} 2014, New Delhi, India, October 12-17, 2014}, pages = {13:1--13:10}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2656045.2656069}, doi = {10.1145/2656045.2656069}, timestamp = {Wed, 04 Jan 2023 16:50:45 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/PuggelliSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/JuniwalDJS14, author = {Garvit Juniwal and Alexandre Donz{\'{e}} and Jeff C. Jensen and Sanjit A. Seshia}, editor = {Tulika Mitra and Jan Reineke}, title = {CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory}, booktitle = {2014 International Conference on Embedded Software, {EMSOFT} 2014, New Delhi, India, October 12-17, 2014}, pages = {24:1--24:10}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2656045.2656053}, doi = {10.1145/2656045.2656053}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/JuniwalDJS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicons/SadighDBSS14, author = {Dorsa Sadigh and Katherine Rose Driggs{-}Campbell and Ruzena Bajcsy and S. Shankar Sastry and Sanjit A. Seshia}, editor = {Linda Bushnell and Larry Rohrbough and Saurabh Amin and Xenofon D. Koutsoukos}, title = {User interface design and verification for semi-autonomous driving}, booktitle = {3rd International Conference on High Confidence Networked Systems (part of {CPS} Week), HiCoNS '14, Berlin, Germany, April 15-17, 2014}, pages = {63--64}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2566468.2576851}, doi = {10.1145/2566468.2576851}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicons/SadighDBSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicons/TiwariDJCLRSS14, author = {Ashish Tiwari and Bruno Dutertre and Dejan Jovanovic and Thomas de Candia and Patrick Lincoln and John M. Rushby and Dorsa Sadigh and Sanjit A. Seshia}, editor = {Linda Bushnell and Larry Rohrbough and Saurabh Amin and Xenofon D. Koutsoukos}, title = {Safety envelope for security}, booktitle = {3rd International Conference on High Confidence Networked Systems (part of {CPS} Week), HiCoNS '14, Berlin, Germany, April 15-17, 2014}, pages = {85--94}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2566468.2566483}, doi = {10.1145/2566468.2566483}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicons/TiwariDJCLRSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icmc/DonzeVALSW14, author = {Alexandre Donz{\'{e}} and Rafael Valle and Ilge Akkaya and Sophie Libkind and Sanjit A. Seshia and David Wessel}, title = {Machine Improvisation with Formal Specifications}, booktitle = {Music Technology meets Philosophy - From Digital Echos to Virtual Ethos: Joint Proceedings of the 40th International Computer Music Conference, {ICMC} 2014, and the 11th Sound and Music Computing Conference, {SMC} 2014, Athens, Greece, September 14-20, 2014}, publisher = {Michigan Publishing}, year = {2014}, url = {https://hdl.handle.net/2027/spo.bbp2372.2014.196}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icmc/DonzeVALSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iot/JhaTSC14, author = {Susmit Jha and Stavros Tripakis and Sanjit A. Seshia and Krishnendu Chatterjee}, title = {Game theoretic secure localization in wireless sensor networks}, booktitle = {4th International Conference on the Internet of Things, {IOT} 2014, Cambridge, MA, USA, October 6-8, 2014}, pages = {85--90}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/IOT.2014.7030120}, doi = {10.1109/IOT.2014.7030120}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/iot/JhaTSC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iros/SahaRKPS14, author = {Indranil Saha and Rattanachai Ramaithitima and Vijay Kumar and George J. Pappas and Sanjit A. Seshia}, title = {Automated composition of motion primitives for multi-robot systems from safe {LTL} specifications}, booktitle = {2014 {IEEE/RSJ} International Conference on Intelligent Robots and Systems, {IROS} 2014, Chicago, IL, USA, September 14-18, 2014}, pages = {1525--1532}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/IROS.2014.6942758}, doi = {10.1109/IROS.2014.6942758}, timestamp = {Tue, 05 Sep 2023 15:07:47 +0200}, biburl = {https://dblp.org/rec/conf/iros/SahaRKPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sensys/AksanliABCDDLMMNRRSSRV14, author = {Baris Aksanli and Alper Sinan Akyurek and Madhur Behl and Meghan Clark and Alexandre Donz{\'{e}} and Prabal Dutta and Patrick Lazik and Mehdi Maasoumy and Rahul Mangharam and Truong X. Nghiem and Vasumathi Raman and Anthony Rowe and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Tajana Simunic Rosing and Jagannathan Venkatesh}, editor = {Mani Srivastava}, title = {Distributed control of a swarm of buildings connected to a smart grid: demo abstract}, booktitle = {Proceedings of the 1st {ACM} Conference on Embedded Systems for Energy-Efficient Buildings, BuildSys 2014, Memphis, TN, USA, November 3-6, 2014}, pages = {172--173}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2674061.2675019}, doi = {10.1145/2674061.2675019}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sensys/AksanliABCDDLMMNRRSSRV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/smt/FremontS14, author = {Daniel J. Fremont and Sanjit A. Seshia}, editor = {Philipp R{\"{u}}mmer and Christoph M. Wintersteiger}, title = {Speeding Up SMT-Based Quantitative Program Analysis}, booktitle = {Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, {SMT} 2014, affiliated with the 26th International Conference on Computer Aided Verification {(CAV} 2014), the 7th International Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1163}, pages = {3--13}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1163/paper-02.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:48 +0100}, biburl = {https://dblp.org/rec/conf/smt/FremontS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/LiSSS14, author = {Wenchao Li and Dorsa Sadigh and S. Shankar Sastry and Sanjit A. Seshia}, editor = {Erika {\'{A}}brah{\'{a}}m and Klaus Havelund}, title = {Synthesis for Human-in-the-Loop Control Systems}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8413}, pages = {470--484}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54862-8\_40}, doi = {10.1007/978-3-642-54862-8\_40}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/LiSSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/EhlersSK14, author = {R{\"{u}}diger Ehlers and Sanjit A. Seshia and Hadas Kress{-}Gazit}, editor = {Kenneth L. McMillan and Xavier Rival}, title = {Synthesis with Identifiers}, booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8318}, pages = {415--433}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54013-4\_23}, doi = {10.1007/978-3-642-54013-4\_23}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/EhlersSK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/TanSMS14, author = {Wei Yang Tan and Rohit Sinha and John L. Manferdelli and Sanjit A. Seshia}, editor = {Dimitra Giannakopoulou and Daniel Kroening}, title = {Formal Modeling and Verification of CloudProxy}, booktitle = {Verified Software: Theories, Tools and Experiments - 6th International Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8471}, pages = {87--104}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-12154-3\_6}, doi = {10.1007/978-3-319-12154-3\_6}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/vstte/TanSMS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/JhaS14a, author = {Susmit Jha and Sanjit A. Seshia}, editor = {Krishnendu Chatterjee and R{\"{u}}diger Ehlers and Susmit Jha}, title = {Are There Good Mistakes? {A} Theoretical Analysis of {CEGIS}}, booktitle = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria, July 23-24, 2014}, series = {{EPTCS}}, volume = {157}, pages = {84--99}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.157.10}, doi = {10.4204/EPTCS.157.10}, timestamp = {Wed, 12 Sep 2018 01:05:15 +0200}, biburl = {https://dblp.org/rec/journals/corr/JhaS14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ChakrabortyFMSV14, author = {Supratik Chakraborty and Daniel J. Fremont and Kuldeep S. Meel and Sanjit A. Seshia and Moshe Y. Vardi}, title = {Distribution-Aware Sampling and Weighted Model Counting for {SAT}}, journal = {CoRR}, volume = {abs/1404.2984}, year = {2014}, url = {http://arxiv.org/abs/1404.2984}, eprinttype = {arXiv}, eprint = {1404.2984}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ChakrabortyFMSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FremontS14, author = {Daniel J. Fremont and Sanjit A. Seshia}, title = {Speeding Up SMT-Based Quantitative Program Analysis}, journal = {CoRR}, volume = {abs/1405.7320}, year = {2014}, url = {http://arxiv.org/abs/1405.7320}, eprinttype = {arXiv}, eprint = {1405.7320}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/FremontS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SadighKCSS14, author = {Dorsa Sadigh and Eric S. Kim and Samuel Coogan and S. Shankar Sastry and Sanjit A. Seshia}, title = {A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications}, journal = {CoRR}, volume = {abs/1409.5486}, year = {2014}, url = {http://arxiv.org/abs/1409.5486}, eprinttype = {arXiv}, eprint = {1409.5486}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SadighKCSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FremontDSW14, author = {Daniel J. Fremont and Alexandre Donz{\'{e}} and Sanjit A. Seshia and David Wessel}, title = {Control Improvisation}, journal = {CoRR}, volume = {abs/1411.0698}, year = {2014}, url = {http://arxiv.org/abs/1411.0698}, eprinttype = {arXiv}, eprint = {1411.0698}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/FremontDSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ShoukryNPSST14, author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto Puggelli and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia and Paulo Tabuada}, title = {Secure State Estimation Under Sensor Attacks: {A} Satisfiability Modulo Theory Approach}, journal = {CoRR}, volume = {abs/1412.4324}, year = {2014}, url = {http://arxiv.org/abs/1412.4324}, eprinttype = {arXiv}, eprint = {1412.4324}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ShoukryNPSST14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/KroeningRST14, author = {Daniel Kroening and Thomas W. Reps and Sanjit A. Seshia and Aditya V. Thakur}, title = {Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351)}, journal = {Dagstuhl Reports}, volume = {4}, number = {8}, pages = {89--106}, year = {2014}, url = {https://doi.org/10.4230/DagRep.4.8.89}, doi = {10.4230/DAGREP.4.8.89}, timestamp = {Wed, 06 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/KroeningRST14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/PuggelliLSS13, author = {Alberto Puggelli and Wenchao Li and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, editor = {Natasha Sharygina and Helmut Veith}, title = {Polynomial-Time Verification of {PCTL} Properties of MDPs with Convex Uncertainties}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {527--542}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_35}, doi = {10.1007/978-3-642-39799-8\_35}, timestamp = {Wed, 07 Dec 2022 23:12:58 +0100}, biburl = {https://dblp.org/rec/conf/cav/PuggelliLSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fedcsis/GuglielmoSV13, author = {Luigi Di Guglielmo and Sanjit A. Seshia and Tiziano Villa}, editor = {Maria Ganzha and Leszek A. Maciaszek and Marcin Paprzycki}, title = {Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata}, booktitle = {Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Krak{\'{o}}w, Poland, September 8-11, 2013}, pages = {1369--1376}, year = {2013}, url = {https://ieeexplore.ieee.org/document/6644197/}, timestamp = {Mon, 09 Aug 2021 14:54:05 +0200}, biburl = {https://dblp.org/rec/conf/fedcsis/GuglielmoSV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/AlurBJMRSSSTU13, author = {Rajeev Alur and Rastislav Bod{\'{\i}}k and Garvit Juniwal and Milo M. K. Martin and Mukund Raghothaman and Sanjit A. Seshia and Rishabh Singh and Armando Solar{-}Lezama and Emina Torlak and Abhishek Udupa}, title = {Syntax-guided synthesis}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR, USA, October 20-23, 2013}, pages = {1--8}, publisher = {{IEEE}}, year = {2013}, url = {https://ieeexplore.ieee.org/document/6679385/}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/AlurBJMRSSSTU13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/host/LiGSTTMSS13, author = {Wenchao Li and Adri{\`{a}} Gasc{\'{o}}n and Pramod Subramanyan and Wei Yang Tan and Ashish Tiwari and Sharad Malik and Natarajan Shankar and Sanjit A. Seshia}, title = {WordRev: Finding word-level structures in a sea of bit-level gates}, booktitle = {2013 {IEEE} International Symposium on Hardware-Oriented Security and Trust, {HOST} 2013, Austin, TX, USA, June 2-3, 2013}, pages = {67--74}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/HST.2013.6581568}, doi = {10.1109/HST.2013.6581568}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/host/LiGSTTMSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/JinDDS13, author = {Xiaoqing Jin and Alexandre Donz{\'{e}} and Jyotirmoy V. Deshmukh and Sanjit A. Seshia}, editor = {Calin Belta and Franjo Ivancic}, title = {Mining requirements from closed-loop control models}, booktitle = {Proceedings of the 16th international conference on Hybrid systems: computation and control, {HSCC} 2013, April 8-11, 2013, Philadelphia, PA, {USA}}, pages = {43--52}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2461328.2461337}, doi = {10.1145/2461328.2461337}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/JinDDS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcn/Seshia13, author = {Sanjit A. Seshia}, editor = {Davide Frey and Michel Raynal and Saswati Sarkar and Rudrapatna K. Shyamasundar and Prasun Sinha}, title = {Verifying High-Confidence Interactive Systems: Electronic Voting and Beyond}, booktitle = {Distributed Computing and Networking, 14th International Conference, {ICDCN} 2013, Mumbai, India, January 3-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7730}, pages = {1--10}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-35668-1\_1}, doi = {10.1007/978-3-642-35668-1\_1}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/icdcn/Seshia13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/SturtonSDJMTMSW13, author = {Cynthia Sturton and Rohit Sinha and Thurston H. Y. Dang and Sakshi Jain and Michael McCoyd and Wei Yang Tan and Petros Maniatis and Sanjit A. Seshia and David A. Wagner}, title = {Symbolic software model validation}, booktitle = {11th {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMCODE} 2013, Portland, OR, USA, October 18-20, 2013}, pages = {97--108}, publisher = {{IEEE}}, year = {2013}, url = {https://ieeexplore.ieee.org/document/6670946/}, timestamp = {Wed, 11 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/memocode/SturtonSDJMTMSW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1302-1920, author = {Susmit Jha and Sanjit A. Seshia}, title = {{SWATI:} Synthesizing Wordlengths Automatically Using Testing and Induction}, journal = {CoRR}, volume = {abs/1302.1920}, year = {2013}, url = {http://arxiv.org/abs/1302.1920}, eprinttype = {arXiv}, eprint = {1302.1920}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1302-1920.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SadighOSS13, author = {Dorsa Sadigh and Henrik Ohlsson and S. Shankar Sastry and Sanjit A. Seshia}, title = {Robust Subspace System Identification via Weighted Nuclear Norm Optimization}, journal = {CoRR}, volume = {abs/1312.2132}, year = {2013}, url = {http://arxiv.org/abs/1312.2132}, eprinttype = {arXiv}, eprint = {1312.2132}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SadighOSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pieee/EidsonLMSZ12, author = {John C. Eidson and Edward A. Lee and Slobodan Matic and Sanjit A. Seshia and Jia Zou}, title = {Distributed Real-Time Software for Cyber-Physical Systems}, journal = {Proc. {IEEE}}, volume = {100}, number = {1}, pages = {45--59}, year = {2012}, url = {https://doi.org/10.1109/JPROC.2011.2161237}, doi = {10.1109/JPROC.2011.2161237}, timestamp = {Fri, 02 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pieee/EidsonLMSZ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tecs/SeshiaR12, author = {Sanjit A. Seshia and Alexander Rakhlin}, title = {Quantitative Analysis of Systems Using Game-Theoretic Learning}, journal = {{ACM} Trans. Embed. Comput. Syst.}, volume = {11}, number = {{S2}}, pages = {55:1--55:27}, year = {2012}, url = {https://doi.org/10.1145/2331147.2331165}, doi = {10.1145/2331147.2331165}, timestamp = {Tue, 08 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tecs/SeshiaR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/Seshia12, author = {Sanjit A. Seshia}, editor = {Patrick Groeneveld and Donatella Sciuto and Soha Hassoun}, title = {Sciduction: combining induction, deduction, and structure for verification and synthesis}, booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San Francisco, CA, USA, June 3-7, 2012}, pages = {356--365}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2228360.2228425}, doi = {10.1145/2228360.2228425}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/Seshia12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/LiSJ12, author = {Wenchao Li and Sanjit A. Seshia and Somesh Jha}, editor = {Patrick Groeneveld and Donatella Sciuto and Soha Hassoun}, title = {CrowdMine: towards crowdsourced human-assisted verification}, booktitle = {The 49th Annual Design Automation Conference 2012, {DAC} '12, San Francisco, CA, USA, June 3-7, 2012}, pages = {1254--1255}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2228360.2228590}, doi = {10.1145/2228360.2228590}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dac/LiSJ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esweek/LeeSJ12, author = {Edward A. Lee and Sanjit A. Seshia and Jeff C. Jensen}, editor = {Peter Marwedel}, title = {Teaching embedded systems the Berkeley way}, booktitle = {Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, {WESE} 2012, Tampere, Finland, October 12, 2012}, pages = {1}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2530544.2530545}, doi = {10.1145/2530544.2530545}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esweek/LeeSJ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esweek/SadighSG12, author = {Dorsa Sadigh and Sanjit A. Seshia and Mona Gupta}, editor = {Peter Marwedel}, title = {Automating exercise generation: a step towards meeting the {MOOC} challenge for embedded systems}, booktitle = {Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, {WESE} 2012, Tampere, Finland, October 12, 2012}, pages = {2}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2530544.2530546}, doi = {10.1145/2530544.2530546}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esweek/SadighSG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/SinhaSMSW12, author = {Rohit Sinha and Cynthia Sturton and Petros Maniatis and Sanjit A. Seshia and David A. Wagner}, editor = {Gianpiero Cabodi and Satnam Singh}, title = {Verification with small and short worlds}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge, UK, October 22-25, 2012}, pages = {68--77}, publisher = {{IEEE}}, year = {2012}, url = {https://ieeexplore.ieee.org/document/6462557/}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/SinhaSMSW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/host/LiWS12, author = {Wenchao Li and Zach Wasson and Sanjit A. Seshia}, title = {Reverse engineering circuits using behavioral pattern mining}, booktitle = {2012 {IEEE} International Symposium on Hardware-Oriented Security and Trust, {HOST} 2012, San Francisco, CA, USA, June 3-4, 2012}, pages = {83--88}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/HST.2012.6224325}, doi = {10.1109/HST.2012.6224325}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/host/LiWS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/HolcombGKS12, author = {Daniel E. Holcomb and Alexander Gotmanov and Michael Kishinevsky and Sanjit A. Seshia}, title = {Compositional performance verification of NoC designs}, booktitle = {Tenth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMCODE} 2012, Arlington, VA, USA, July 16-17, 2012}, pages = {1--10}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/MEMCOD.2012.6292294}, doi = {10.1109/MEMCOD.2012.6292294}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/memocode/HolcombGKS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/LiS12, author = {Wenchao Li and Sanjit A. Seshia}, editor = {Shaz Qadeer and Serdar Tasiran}, title = {Sparse Coding for Specification Mining and Error Localization}, booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7687}, pages = {64--81}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35632-2\_9}, doi = {10.1007/978-3-642-35632-2\_9}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rv/LiS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2012, editor = {P. Madhusudan and Sanjit A. Seshia}, title = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7358}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31424-7}, doi = {10.1007/978-3-642-31424-7}, isbn = {978-3-642-31423-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1201-0979, author = {Sanjit A. Seshia}, title = {Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis}, journal = {CoRR}, volume = {abs/1201.0979}, year = {2012}, url = {http://arxiv.org/abs/1201.0979}, eprinttype = {arXiv}, eprint = {1201.0979}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1201-0979.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/HolcombBS11, author = {Daniel E. Holcomb and Bryan A. Brady and Sanjit A. Seshia}, editor = {Leon Stok and Nikil D. Dutt and Soha Hassoun}, title = {Abstraction-based performance verification of NoCs}, booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011, San Diego, California, USA, June 5-10, 2011}, pages = {492--497}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2024724.2024840}, doi = {10.1145/2024724.2024840}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/HolcombBS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/BradyHS11, author = {Bryan A. Brady and Daniel E. Holcomb and Sanjit A. Seshia}, title = {Counterexample-guided SMT-driven optimal buffer sizing}, booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France, March 14-18, 2011}, pages = {329--334}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/DATE.2011.5763058}, doi = {10.1109/DATE.2011.5763058}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/BradyHS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/JhaST11, author = {Susmit Jha and Sanjit A. Seshia and Ashish Tiwari}, editor = {Samarjit Chakraborty and Ahmed Jerraya and Sanjoy K. Baruah and Sebastian Fischmeister}, title = {Synthesis of optimal switching logic for hybrid systems}, booktitle = {Proceedings of the 11th International Conference on Embedded Software, {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011}, pages = {107--116}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2038642.2038660}, doi = {10.1145/2038642.2038660}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/JhaST11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/KotkerSS11, author = {Jonathan Kotker and Dorsa Sadigh and Sanjit A. Seshia}, editor = {Per Bjesse and Anna Slobodov{\'{a}}}, title = {Timing analysis of interrupt-driven programs under context bounds}, booktitle = {International Conference on Formal Methods in Computer-Aided Design, {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011}, pages = {81--90}, publisher = {{FMCAD} Inc.}, year = {2011}, url = {http://dl.acm.org/citation.cfm?id=2157670}, timestamp = {Mon, 09 Aug 2021 15:21:44 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/KotkerSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/BradyBS11, author = {Bryan A. Brady and Randal E. Bryant and Sanjit A. Seshia}, editor = {Per Bjesse and Anna Slobodov{\'{a}}}, title = {Learning conditional abstractions}, booktitle = {International Conference on Formal Methods in Computer-Aided Design, {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011}, pages = {116--124}, publisher = {{FMCAD} Inc.}, year = {2011}, url = {http://dl.acm.org/citation.cfm?id=2157674}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/BradyBS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hvc/KupfermanSS11, author = {Orna Kupferman and Dorsa Sadigh and Sanjit A. Seshia}, editor = {Kerstin Eder and Jo{\~{a}}o Louren{\c{c}}o and Onn Shehory}, title = {Synthesis with Clairvoyance}, booktitle = {Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7261}, pages = {5--19}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-34188-5\_5}, doi = {10.1007/978-3-642-34188-5\_5}, timestamp = {Fri, 27 Mar 2020 08:58:09 +0100}, biburl = {https://dblp.org/rec/conf/hvc/KupfermanSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscas/JensenLS11, author = {Jeff C. Jensen and Edward A. Lee and Sanjit A. Seshia}, title = {An introductory capstone design course on embedded systems}, booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2011), May 15-19 2011, Rio de Janeiro, Brazil}, pages = {1199--1202}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/ISCAS.2011.5937784}, doi = {10.1109/ISCAS.2011.5937784}, timestamp = {Wed, 16 Oct 2019 14:14:49 +0200}, biburl = {https://dblp.org/rec/conf/iscas/JensenLS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/LiDS11, author = {Wenchao Li and Lili Dworkin and Sanjit A. Seshia}, editor = {Satnam Singh and Barbara Jobstmann and Michael Kishinevsky and Jens Brandt}, title = {Mining assumptions for synthesis}, booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011}, pages = {43--50}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/MEMCOD.2011.5970509}, doi = {10.1109/MEMCOD.2011.5970509}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/memocode/LiDS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/SeshiaK11, author = {Sanjit A. Seshia and Jonathan Kotker}, editor = {Parosh Aziz Abdulla and K. Rustan M. Leino}, title = {GameTime: {A} Toolkit for Timing Analysis of Software}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, {TACAS} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6605}, pages = {388--392}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19835-9\_34}, doi = {10.1007/978-3-642-19835-9\_34}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/SeshiaK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1103-0800, author = {Susmit Jha and Sanjit A. Seshia and Ashish Tiwari}, title = {Synthesizing Switching Logic to Minimize Long-Run Cost}, journal = {CoRR}, volume = {abs/1103.0800}, year = {2011}, url = {http://arxiv.org/abs/1103.0800}, eprinttype = {arXiv}, eprint = {1103.0800}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1103-0800.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/MitraSN10, author = {Subhasish Mitra and Sanjit A. Seshia and Nicola Nicolici}, editor = {Sachin S. Sapatnekar}, title = {Post-silicon validation opportunities, challenges and recent advances}, booktitle = {Proceedings of the 47th Design Automation Conference, {DAC} 2010, Anaheim, California, USA, July 13-18, 2010}, pages = {12--17}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1837274.1837280}, doi = {10.1145/1837274.1837280}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/MitraSN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/LiFS10, author = {Wenchao Li and Alessandro Forin and Sanjit A. Seshia}, editor = {Sachin S. Sapatnekar}, title = {Scalable specification mining for verification and diagnosis}, booktitle = {Proceedings of the 47th Design Automation Conference, {DAC} 2010, Anaheim, California, USA, July 13-18, 2010}, pages = {755--760}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1837274.1837466}, doi = {10.1145/1837274.1837466}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dac/LiFS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/KingJMJJS10, author = {Dave King and Susmit Jha and Divya Muthukumaran and Trent Jaeger and Somesh Jha and Sanjit A. Seshia}, editor = {Andrew D. Gordon}, title = {Automating Security Mediation Placement}, booktitle = {Programming Languages and Systems, 19th European Symposium on Programming, {ESOP} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6012}, pages = {327--344}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11957-6\_18}, doi = {10.1007/978-3-642-11957-6\_18}, timestamp = {Mon, 14 Feb 2022 09:20:30 +0100}, biburl = {https://dblp.org/rec/conf/esop/KingJMJJS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esweek/LeeS10, author = {Edward A. Lee and Sanjit A. Seshia}, editor = {Peter Marwedel and David Jeff Jackson and Kenneth G. Ricks}, title = {An introductory textbook on cyber-physical systems}, booktitle = {Proceedings of the 2010 Workshop on Embedded Systems Education, {WESE} 2010, Scottsdale, AZ, USA, October 28, 2010}, pages = {1}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1930277.1930278}, doi = {10.1145/1930277.1930278}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/esweek/LeeS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/facs2/Seshia10, author = {Sanjit A. Seshia}, editor = {Lu{\'{\i}}s Soares Barbosa and Markus Lumpe}, title = {Quantitative Analysis of Software: Challenges and Recent Advances}, booktitle = {Formal Aspects of Component Software - 7th International Workshop, {FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6921}, pages = {1--5}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-27269-1\_1}, doi = {10.1007/978-3-642-27269-1\_1}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/facs2/Seshia10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/NuzzoPSS10, author = {Pierluigi Nuzzo and Alberto Puggelli and Sanjit A. Seshia and Alberto L. Sangiovanni{-}Vincentelli}, editor = {Roderick Bloem and Natasha Sharygina}, title = {CalCS: {SMT} solving for non-linear convex constraints}, booktitle = {Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October 20-23}, pages = {71--79}, publisher = {{IEEE}}, year = {2010}, url = {https://ieeexplore.ieee.org/document/5770935/}, timestamp = {Mon, 15 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/NuzzoPSS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccps/JhaGST10, author = {Susmit Jha and Sumit Gulwani and Sanjit A. Seshia and Ashish Tiwari}, editor = {Janos Sztipanovits and Raj Rajkumar}, title = {Synthesizing switching logic for safety and dwell-time requirements}, booktitle = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems, {ICCPS} '10, Stockholm, Sweden, April 12-15, 2010}, pages = {22--31}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1795194.1795198}, doi = {10.1145/1795194.1795198}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccps/JhaGST10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/JhaGST10, author = {Susmit Jha and Sumit Gulwani and Sanjit A. Seshia and Ashish Tiwari}, editor = {Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and Sebasti{\'{a}}n Uchitel}, title = {Oracle-guided component-based program synthesis}, booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010}, pages = {215--224}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1806799.1806833}, doi = {10.1145/1806799.1806833}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/JhaGST10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/memocode/BradyBSO10, author = {Bryan A. Brady and Randal E. Bryant and Sanjit A. Seshia and John W. O'Leary}, title = {{ATLAS:} Automatic Term-level abstraction of {RTL} designs}, booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010}, pages = {31--40}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/MEMCOD.2010.5558624}, doi = {10.1109/MEMCOD.2010.5558624}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/memocode/BradyBSO10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BryantKOSSB09, author = {Randal E. Bryant and Daniel Kroening and Jo{\"{e}}l Ouaknine and Sanjit A. Seshia and Ofer Strichman and Bryan A. Brady}, title = {An abstraction-based decision procedure for bit-vector arithmetic}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {11}, number = {2}, pages = {95--104}, year = {2009}, url = {https://doi.org/10.1007/s10009-009-0101-x}, doi = {10.1007/S10009-009-0101-X}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/BryantKOSSB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/JhaLS09, author = {Susmit Jha and Rhishikesh Limaye and Sanjit A. Seshia}, editor = {Ahmed Bouajjani and Oded Maler}, title = {Beaver: Engineering an Efficient {SMT} Solver for Bit-Vector Arithmetic}, booktitle = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5643}, pages = {668--674}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02658-4\_53}, doi = {10.1007/978-3-642-02658-4\_53}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/JhaLS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/SturtonJSW09, author = {Cynthia Sturton and Susmit Jha and Sanjit A. Seshia and David A. Wagner}, editor = {Ehab Al{-}Shaer and Somesh Jha and Angelos D. Keromytis}, title = {On voting machine design for verification and testability}, booktitle = {Proceedings of the 2009 {ACM} Conference on Computer and Communications Security, {CCS} 2009, Chicago, Illinois, USA, November 9-13, 2009}, pages = {463--476}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1653662.1653719}, doi = {10.1145/1653662.1653719}, timestamp = {Tue, 10 Nov 2020 19:58:07 +0100}, biburl = {https://dblp.org/rec/conf/ccs/SturtonJSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/HolcombLS09, author = {Daniel E. Holcomb and Wenchao Li and Sanjit A. Seshia}, editor = {Luca Benini and Giovanni De Micheli and Bashir M. Al{-}Hashimi and Wolfgang M{\"{u}}ller}, title = {Design as you see {FIT:} System-level soft error analysis of sequential circuits}, booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France, April 20-24, 2009}, pages = {785--790}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/DATE.2009.5090770}, doi = {10.1109/DATE.2009.5090770}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/date/HolcombLS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/LiNZGSS09, author = {Wenchao Li and Marco Di Natale and Wei Zheng and Paolo Giusto and Alberto L. Sangiovanni{-}Vincentelli and Sanjit A. Seshia}, editor = {Luca Benini and Giovanni De Micheli and Bashir M. Al{-}Hashimi and Wolfgang M{\"{u}}ller}, title = {Optimizations of an application-level protocol for enhanced dependability in FlexRay}, booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France, April 20-24, 2009}, pages = {1076--1081}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/DATE.2009.5090824}, doi = {10.1109/DATE.2009.5090824}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/date/LiNZGSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hldvt/JhaLS09, author = {Susmit Jha and Wenchao Li and Sanjit A. Seshia}, title = {Localizing transient faults using dynamic bayesian networks}, booktitle = {{IEEE} International High Level Design Validation and Test Workshop, {HLDVT} 2009, San Francisco, CA, USA, 4-6 November 2009}, pages = {82--87}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/HLDVT.2009.5340170}, doi = {10.1109/HLDVT.2009.5340170}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hldvt/JhaLS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcsw/LeeMSZ09, author = {Edward A. Lee and Slobodan Matic and Sanjit A. Seshia and Jia Zou}, title = {The Case for Timing-Centric Distributed Software Invited Paper}, booktitle = {29th {IEEE} International Conference on Distributed Computing Systems Workshops {(ICDCS} 2009 Workshops), 22-26 June 2009, Montreal, Qu{\'{e}}bec, Canada}, pages = {57--64}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ICDCSW.2009.108}, doi = {10.1109/ICDCSW.2009.108}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcsw/LeeMSZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/faia/BarrettSST09, author = {Clark W. Barrett and Roberto Sebastiani and Sanjit A. Seshia and Cesare Tinelli}, editor = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh}, title = {Satisfiability Modulo Theories}, booktitle = {Handbook of Satisfiability}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {185}, pages = {825--885}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-58603-929-5-825}, doi = {10.3233/978-1-58603-929-5-825}, timestamp = {Fri, 06 May 2022 08:00:40 +0200}, biburl = {https://dblp.org/rec/series/faia/BarrettSST09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0903-2825, author = {Susmit Jha and Sanjit A. Seshia and Rhishikesh Limaye}, title = {On the Computational Complexity of Satisfiability Solving for String Theories}, journal = {CoRR}, volume = {abs/0903.2825}, year = {2009}, url = {http://arxiv.org/abs/0903.2825}, eprinttype = {arXiv}, eprint = {0903.2825}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0903-2825.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/KupfermanLS08, author = {Orna Kupferman and Wenchao Li and Sanjit A. Seshia}, editor = {Alessandro Cimatti and Robert B. Jones}, title = {A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2008, Portland, Oregon, USA, 17-20 November 2008}, pages = {1--9}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/FMCAD.2008.ECP.29}, doi = {10.1109/FMCAD.2008.ECP.29}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/KupfermanLS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/SeshiaR08, author = {Sanjit A. Seshia and Alexander Rakhlin}, editor = {Sani R. Nassif and Jaijeet S. Roychowdhury}, title = {Game-theoretic timing analysis}, booktitle = {2008 International Conference on Computer-Aided Design, {ICCAD} 2008, San Jose, CA, USA, November 10-13, 2008}, pages = {575--582}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ICCAD.2008.4681634}, doi = {10.1109/ICCAD.2008.4681634}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/SeshiaR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/KingJJS08, author = {Dave King and Trent Jaeger and Somesh Jha and Sanjit A. Seshia}, editor = {Mary Jean Harrold and Gail C. Murphy}, title = {Effective blame for information-flow violations}, booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008}, pages = {250--260}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1453101.1453135}, doi = {10.1145/1453101.1453135}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/KingJJS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsat/SeshiaSB07, author = {Sanjit A. Seshia and K. Subramani and Randal E. Bryant}, title = {On Solving Boolean Combinations of {UTVPI} Constraints}, journal = {J. Satisf. Boolean Model. Comput.}, volume = {3}, number = {1-2}, pages = {67--90}, year = {2007}, url = {https://doi.org/10.3233/sat190030}, doi = {10.3233/SAT190030}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsat/SeshiaSB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/FengWZKS07, author = {Thomas Huining Feng and Lynn Wang and Wei Zheng and Sri Kanajan and Sanjit A. Seshia}, editor = {Rudy Lauwereins and Jan Madsen}, title = {Interactive presentation: Automatic model generation for black box real-time systems}, booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition, {DATE} 2007, Nice, France, April 16-20, 2007}, pages = {930--935}, publisher = {{EDA} Consortium, San Jose, CA, {USA}}, year = {2007}, url = {https://doi.org/10.1109/DATE.2007.364412}, doi = {10.1109/DATE.2007.364412}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/FengWZKS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/SeshiaLM07, author = {Sanjit A. Seshia and Wenchao Li and Subhasish Mitra}, editor = {Rudy Lauwereins and Jan Madsen}, title = {Verification-guided soft error resilience}, booktitle = {2007 Design, Automation and Test in Europe Conference and Exposition, {DATE} 2007, Nice, France, April 16-20, 2007}, pages = {1442--1447}, publisher = {{EDA} Consortium, San Jose, CA, {USA}}, year = {2007}, url = {https://dl.acm.org/citation.cfm?id=1266681}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/date/SeshiaLM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/formats/JhaBS07, author = {Susmit Jha and Bryan A. Brady and Sanjit A. Seshia}, editor = {Jean{-}Fran{\c{c}}ois Raskin and P. S. Thiagarajan}, title = {Symbolic Reachability Analysis of Lazy Linear Hybrid Automata}, booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference, {FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4763}, pages = {241--256}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75454-1\_18}, doi = {10.1007/978-3-540-75454-1\_18}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/formats/JhaBS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icac/Seshia07, author = {Sanjit A. Seshia}, title = {Autonomic Reactive Systems via Online Learning}, booktitle = {Fourth International Conference on Autonomic Computing (ICAC'07), Jacksonville, Florida, USA, June 11-15, 2007}, pages = {30}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICAC.2007.10}, doi = {10.1109/ICAC.2007.10}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icac/Seshia07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccad/KroeningS07, author = {Daniel Kroening and Sanjit A. Seshia}, editor = {Georges G. E. Gielen}, title = {Formal verification at higher levels of abstraction}, booktitle = {2007 International Conference on Computer-Aided Design, {ICCAD} 2007, San Jose, CA, USA, November 5-8, 2007}, pages = {572--578}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICCAD.2007.4397326}, doi = {10.1109/ICCAD.2007.4397326}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccad/KroeningS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/BeyerCHS07, author = {Dirk Beyer and Arindam Chakrabarti and Thomas A. Henzinger and Sanjit A. Seshia}, title = {An Application ofWeb-Service Interfaces}, booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007), July 9-13, 2007, Salt Lake City, Utah, {USA}}, pages = {831--838}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICWS.2007.32}, doi = {10.1109/ICWS.2007.32}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/BeyerCHS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/Solar-LezamaATBSS07, author = {Armando Solar{-}Lezama and Gilad Arnold and Liviu Tancau and Rastislav Bod{\'{\i}}k and Vijay A. Saraswat and Sanjit A. Seshia}, editor = {Jeanne Ferrante and Kathryn S. McKinley}, title = {Sketching stencils}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007}, pages = {167--178}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1250734.1250754}, doi = {10.1145/1250734.1250754}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/Solar-LezamaATBSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/BryantKOSSB07, author = {Randal E. Bryant and Daniel Kroening and Jo{\"{e}}l Ouaknine and Sanjit A. Seshia and Ofer Strichman and Bryan A. Brady}, editor = {Orna Grumberg and Michael Huth}, title = {Deciding Bit-Vector Arithmetic with Abstraction}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, {TACAS} 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4424}, pages = {358--372}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71209-1\_28}, doi = {10.1007/978-3-540-71209-1\_28}, timestamp = {Mon, 11 Sep 2023 15:43:49 +0200}, biburl = {https://dblp.org/rec/conf/tacas/BryantKOSSB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asplos/Solar-LezamaTBSS06, author = {Armando Solar{-}Lezama and Liviu Tancau and Rastislav Bod{\'{\i}}k and Sanjit A. Seshia and Vijay A. Saraswat}, editor = {John Paul Shen and Margaret Martonosi}, title = {Combinatorial sketching for finite programs}, booktitle = {Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, {ASPLOS} 2006, San Jose, CA, USA, October 21-25, 2006}, pages = {404--415}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1168857.1168907}, doi = {10.1145/1168857.1168907}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/asplos/Solar-LezamaTBSS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/SeshiaB05, author = {Sanjit A. Seshia and Randal E. Bryant}, title = {Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds}, journal = {Log. Methods Comput. Sci.}, volume = {1}, number = {2}, year = {2005}, url = {https://doi.org/10.2168/LMCS-1(2:6)2005}, doi = {10.2168/LMCS-1(2:6)2005}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/SeshiaB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FlanaganFQS05, author = {Cormac Flanagan and Stephen N. Freund and Shaz Qadeer and Sanjit A. Seshia}, title = {Modular verification of multithreaded programs}, journal = {Theor. Comput. Sci.}, volume = {338}, number = {1-3}, pages = {153--183}, year = {2005}, url = {https://doi.org/10.1016/j.tcs.2004.12.006}, doi = {10.1016/J.TCS.2004.12.006}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FlanaganFQS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/async/SeshiaBS05, author = {Sanjit A. Seshia and Randal E. Bryant and Kenneth S. Stevens}, title = {Modeling and Verifying Circuits Using Generalized Relative Timing}, booktitle = {11th International Symposium on Advanced Research in Asynchronous Circuits and Systems {(ASYNC} 2005), 14-16 March 2005, New York, NY, {USA}}, pages = {98--108}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ASYNC.2005.24}, doi = {10.1109/ASYNC.2005.24}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/async/SeshiaBS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/BryantS05, author = {Randal E. Bryant and Sanjit A. Seshia}, editor = {Robert Nieuwenhuis}, title = {Decision Procedures Customized for Formal Verification}, booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3632}, pages = {255--259}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11532231\_19}, doi = {10.1007/11532231\_19}, timestamp = {Sun, 02 Oct 2022 15:55:55 +0200}, biburl = {https://dblp.org/rec/conf/cade/BryantS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/GanapathySJRB05, author = {Vinod Ganapathy and Sanjit A. Seshia and Somesh Jha and Thomas W. Reps and Randal E. Bryant}, editor = {Gruia{-}Catalin Roman and William G. Griswold and Bashar Nuseibeh}, title = {Automatic discovery of API-level exploits}, booktitle = {27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}}, pages = {312--321}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1062455.1062518}, doi = {10.1145/1062455.1062518}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/GanapathySJRB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/ChristodorescuJSSB05, author = {Mihai Christodorescu and Somesh Jha and Sanjit A. Seshia and Dawn Xiaodong Song and Randal E. Bryant}, title = {Semantics-Aware Malware Detection}, booktitle = {2005 {IEEE} Symposium on Security and Privacy (S{\&}P 2005), 8-11 May 2005, Oakland, CA, {USA}}, pages = {32--46}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/SP.2005.20}, doi = {10.1109/SP.2005.20}, timestamp = {Thu, 21 Sep 2023 15:57:31 +0200}, biburl = {https://dblp.org/rec/conf/sp/ChristodorescuJSSB05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0508044, author = {Sanjit A. Seshia and Randal E. Bryant}, title = {Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds}, journal = {CoRR}, volume = {abs/cs/0508044}, year = {2005}, url = {http://arxiv.org/abs/cs/0508044}, eprinttype = {arXiv}, eprint = {cs/0508044}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508044.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KroeningOSS04, author = {Daniel Kroening and Jo{\"{e}}l Ouaknine and Sanjit A. Seshia and Ofer Strichman}, editor = {Rajeev Alur and Doron A. Peled}, title = {Abstraction-Based Satisfiability Solving of Presburger Arithmetic}, booktitle = {Computer Aided Verification, 16th International Conference, {CAV} 2004, Boston, MA, USA, July 13-17, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3114}, pages = {308--320}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27813-9\_24}, doi = {10.1007/978-3-540-27813-9\_24}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/KroeningOSS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/LahiriS04, author = {Shuvendu K. Lahiri and Sanjit A. Seshia}, editor = {Rajeev Alur and Doron A. Peled}, title = {The {UCLID} Decision Procedure}, booktitle = {Computer Aided Verification, 16th International Conference, {CAV} 2004, Boston, MA, USA, July 13-17, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3114}, pages = {475--478}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27813-9\_40}, doi = {10.1007/978-3-540-27813-9\_40}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/LahiriS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/SeshiaB04, author = {Sanjit A. Seshia and Randal E. Bryant}, title = {Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds}, booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004), 14-17 July 2004, Turku, Finland, Proceedings}, pages = {100--109}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/LICS.2004.1319604}, doi = {10.1109/LICS.2004.1319604}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/SeshiaB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/SeshiaB03, author = {Sanjit A. Seshia and Randal E. Bryant}, editor = {Warren A. Hunt Jr. and Fabio Somenzi}, title = {Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods}, booktitle = {Computer Aided Verification, 15th International Conference, {CAV} 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2725}, pages = {154--166}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45069-6\_16}, doi = {10.1007/978-3-540-45069-6\_16}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/SeshiaB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/charme/BryantLS03, author = {Randal E. Bryant and Shuvendu K. Lahiri and Sanjit A. Seshia}, editor = {Daniel Geist and Enrico Tronci}, title = {Convergence Testing in Term-Level Bounded Model Checking}, booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG} 10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2860}, pages = {348--362}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39724-3\_31}, doi = {10.1007/978-3-540-39724-3\_31}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/charme/BryantLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/SeshiaLB03, author = {Sanjit A. Seshia and Shuvendu K. Lahiri and Randal E. Bryant}, title = {A hybrid SAT-based decision procedure for separation logic with uninterpreted functions}, booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003, Anaheim, CA, USA, June 2-6, 2003}, pages = {425--430}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/775832.775945}, doi = {10.1145/775832.775945}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/SeshiaLB03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BryantLS02, author = {Randal E. Bryant and Shuvendu K. Lahiri and Sanjit A. Seshia}, editor = {Ed Brinksma and Kim Guldstrand Larsen}, title = {Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions}, booktitle = {Computer Aided Verification, 14th International Conference, {CAV} 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2404}, pages = {78--92}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45657-0\_7}, doi = {10.1007/3-540-45657-0\_7}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/BryantLS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/FlanaganQS02, author = {Cormac Flanagan and Shaz Qadeer and Sanjit A. Seshia}, editor = {Ed Brinksma and Kim Guldstrand Larsen}, title = {A Modular Checker for Multithreaded Programs}, booktitle = {Computer Aided Verification, 14th International Conference, {CAV} 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2404}, pages = {180--194}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45657-0\_14}, doi = {10.1007/3-540-45657-0\_14}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/FlanaganQS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/StrichmanSB02, author = {Ofer Strichman and Sanjit A. Seshia and Randal E. Bryant}, editor = {Ed Brinksma and Kim Guldstrand Larsen}, title = {Deciding Separation Formulas with {SAT}}, booktitle = {Computer Aided Verification, 14th International Conference, {CAV} 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2404}, pages = {209--222}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45657-0\_16}, doi = {10.1007/3-540-45657-0\_16}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/StrichmanSB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/LahiriSB02, author = {Shuvendu K. Lahiri and Sanjit A. Seshia and Randal E. Bryant}, editor = {Mark D. Aagaard and John W. O'Leary}, title = {Modeling and Verification of Out-of-Order Microprocessors in {UCLID}}, booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference, {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2517}, pages = {142--159}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36126-X\_9}, doi = {10.1007/3-540-36126-X\_9}, timestamp = {Fri, 10 Jan 2020 14:50:18 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/LahiriSB02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/SeshiaSBD99, author = {Sanjit A. Seshia and R. K. Shyamasundar and A. K. Bhattacharjee and S. D. Dhodapkar}, editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies}, title = {A Translation of Statecharts to Esterel}, booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}, series = {Lecture Notes in Computer Science}, volume = {1709}, pages = {983--1007}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48118-4\_3}, doi = {10.1007/3-540-48118-4\_3}, timestamp = {Fri, 17 Feb 2023 09:02:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/SeshiaSBD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/safecomp/BhattacharjeeDSS99, author = {A. K. Bhattacharjee and S. D. Dhodapkar and Sanjit A. Seshia and R. K. Shyamasundar}, editor = {Massimo Felici and Karama Kanoun and Alberto Pasquini}, title = {A Graphical Environment for the Specification and Verification of Reactive Systems}, booktitle = {Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1698}, pages = {431--444}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48249-0\_37}, doi = {10.1007/3-540-48249-0\_37}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/safecomp/BhattacharjeeDSS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.