Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sanjit A. Seshia
@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 = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ShahMS24.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/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, 01 Nov 2023 00:00:00 +0100},
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 = {Thu, 26 Oct 2023 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 = {Sun, 12 Nov 2023 00:00:00 +0100},
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 = {Sun, 12 Nov 2023 00:00:00 +0100},
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 = {Sat, 30 Sep 2023 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 = {Mon, 17 Apr 2023 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 = {Thu, 26 Oct 2023 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 = {Fri, 27 Oct 2023 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 = {Fri, 27 Oct 2023 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 = {Sun, 12 Nov 2023 00:00:00 +0100},
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 = {Fri, 06 Jan 2023 08:06:45 +0100},
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 = {Mon, 23 May 2022 16:36:23 +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 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 = {Thu, 08 Dec 2022 00:00:00 +0100},
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}
}
@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 = {Thu, 16 Sep 2021 01:00: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 = {Mon, 28 Sep 2020 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 = {Thu, 26 Oct 2023 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 = {Thu, 26 Oct 2023 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 = {Thu, 26 Oct 2023 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, 25 Sep 2019 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 = {Thu, 26 Oct 2023 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 = {Tue, 20 Aug 2019 16:19:08 +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 = {Thu, 29 Jul 2021 12:11:15 +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 = {Mon, 13 Aug 2018 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 = {Mon, 13 Aug 2018 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 = {Fri, 05 Oct 2018 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 = {Mon, 26 Jun 2023 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 = {Mon, 26 Jun 2023 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 = {Mon, 26 Jun 2023 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 = {Mon, 26 Jun 2023 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 = {Fri, 24 Mar 2023 00:00:00 +0100},
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 = {Mon, 22 May 2023 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}
}
a service of 
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.
last updated on 2024-04-09 20:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
