Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Susmit Jha
@inproceedings{DBLP:conf/aaai/CobbMERJ24,
author = {Adam D. Cobb and
Brian Matejek and
Daniel Elenius and
Anirban Roy and
Susmit Jha},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Direct Amortized Likelihood Ratio Estimation},
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 = {20362--20369},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i18.30018},
doi = {10.1609/AAAI.V38I18.30018},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CobbMERJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-02047,
author = {Claudio Spiess and
David Gros and
Kunal Suresh Pai and
Michael Pradel and
Md. Rafiqul Islam Rabin and
Amin Alipour and
Susmit Jha and
Prem Devanbu and
Toufique Ahmed},
title = {Calibration and Correctness of Language Models for Code},
journal = {CoRR},
volume = {abs/2402.02047},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02047},
doi = {10.48550/ARXIV.2402.02047},
eprinttype = {arXiv},
eprint = {2402.02047},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-17155,
author = {Weimin Lyu and
Xiao Lin and
Songzhu Zheng and
Lu Pang and
Haibin Ling and
Susmit Jha and
Chao Chen},
title = {Task-Agnostic Detector for Insertion-Based Backdoor Attacks},
journal = {CoRR},
volume = {abs/2403.17155},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.17155},
doi = {10.48550/ARXIV.2403.17155},
eprinttype = {arXiv},
eprint = {2403.17155},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-17155.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-19837,
author = {Ravi Mangal and
Nina Narodytska and
Divya Gopinath and
Boyue Caroline Hu and
Anirban Roy and
Susmit Jha and
Corina S. Pasareanu},
title = {Concept-based Analysis of Neural Networks via Vision-Language Models},
journal = {CoRR},
volume = {abs/2403.19837},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.19837},
doi = {10.48550/ARXIV.2403.19837},
eprinttype = {arXiv},
eprint = {2403.19837},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-19837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Jha23,
author = {Susmit Jha},
title = {Lightning Talk: Trinity - Assured Neuro-symbolic Model Inspired by
Hierarchical Predictive Coding},
booktitle = {60th {ACM/IEEE} Design Automation Conference, {DAC} 2023, San Francisco,
CA, USA, July 9-13, 2023},
pages = {1--2},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DAC56929.2023.10247803},
doi = {10.1109/DAC56929.2023.10247803},
timestamp = {Sun, 24 Sep 2023 13:31:06 +0200},
biburl = {https://dblp.org/rec/conf/dac/Jha23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/KaurJRSL23,
author = {Ramneet Kaur and
Susmit Jha and
Anirban Roy and
Oleg Sokolsky and
Insup Lee},
title = {Predicting Out-of-Distribution Performance of Deep Neural Networks
Using Model Conformance},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {19--28},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00011},
doi = {10.1109/ICAA58325.2023.00011},
timestamp = {Tue, 22 Aug 2023 14:35:54 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/KaurJRSL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/SikkaSRDJ23,
author = {Karan Sikka and
Indranil Sur and
Anirban Roy and
Ajay Divakaran and
Susmit Jha},
title = {Detecting Trojaned DNNs Using Counterfactual Attributions},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {76--85},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00019},
doi = {10.1109/ICAA58325.2023.00019},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaa2/SikkaSRDJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/JhaJLBVN23,
author = {Susmit Jha and
Sumit Kumar Jha and
Patrick Lincoln and
Nathaniel D. Bastian and
Alvaro Velasquez and
Sandeep Neema},
title = {Dehallucinating Large Language Models Using Formal Methods Guided
Iterative Prompting},
booktitle = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2023,
Laurel, MD, USA, June 6-8, 2023},
pages = {149--152},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICAA58325.2023.00029},
doi = {10.1109/ICAA58325.2023.00029},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaa2/JhaJLBVN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/KaurS0YJRS023,
author = {Ramneet Kaur and
Kaustubh Sridhar and
Sangdon Park and
Yahan Yang and
Susmit Jha and
Anirban Roy and
Oleg Sokolsky and
Insup Lee},
editor = {Sayan Mitra and
Nalini Venkatasubramanian and
Abhishek Dubey and
Lu Feng and
Mahsa Ghasemi and
Jonathan Sprinkle},
title = {CODiT: Conformal Out-of-Distribution Detection in Time-Series Data
for Cyber-Physical Systems},
booktitle = {Proceedings of the {ACM/IEEE} 14th International Conference on Cyber-Physical
Systems, {ICCPS} 2023, (with CPS-IoT Week 2023), San Antonio, TX,
USA, May 9-12, 2023},
pages = {120--131},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576841.3585931},
doi = {10.1145/3576841.3585931},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/KaurS0YJRS023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccv/SurSWKRLDJ23,
author = {Indranil Sur and
Karan Sikka and
Matthew Walmer and
Kaushik Koneripalli and
Anirban Roy and
Xiao Lin and
Ajay Divakaran and
Susmit Jha},
title = {{TIJO:} Trigger Inversion with Joint Optimization for Defending Multimodal
Backdoored Models},
booktitle = {{IEEE/CVF} International Conference on Computer Vision, {ICCV} 2023,
Paris, France, October 1-6, 2023},
pages = {165--175},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICCV51070.2023.00022},
doi = {10.1109/ICCV51070.2023.00022},
timestamp = {Fri, 19 Jan 2024 17:50:41 +0100},
biburl = {https://dblp.org/rec/conf/iccv/SurSWKRLDJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isit/MageshVRJ23,
author = {Akshayaa Magesh and
Venugopal V. Veeravalli and
Anirban Roy and
Susmit Jha},
title = {Principled {OOD} Detection via Multiple Testing},
booktitle = {{IEEE} International Symposium on Information Theory, {ISIT} 2023,
Taipei, Taiwan, June 25-30, 2023},
pages = {1026--1031},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISIT54713.2023.10206581},
doi = {10.1109/ISIT54713.2023.10206581},
timestamp = {Mon, 28 Aug 2023 17:20:14 +0200},
biburl = {https://dblp.org/rec/conf/isit/MageshVRJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/JhaRCBB23,
author = {Susmit Jha and
Anirban Roy and
Adam D. Cobb and
Alexander M. Berenbeim and
Nathaniel D. Bastian},
title = {Challenges and Opportunities in Neuro-Symbolic Composition of Foundation
Models},
booktitle = {{IEEE} Military Communications Conference, {MILCOM} 2023, Boston,
MA, USA, October 30 - Nov. 3, 2023},
pages = {156--161},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MILCOM58377.2023.10356344},
doi = {10.1109/MILCOM58377.2023.10356344},
timestamp = {Thu, 25 Jan 2024 09:55:40 +0100},
biburl = {https://dblp.org/rec/conf/milcom/JhaRCBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/JhaJEV23,
author = {Sumit Kumar Jha and
Susmit Jha and
Rickard Ewetz and
Alvaro Velasquez},
title = {Neural SDEs for Robust and Explainable Analysis of Electromagnetic
Unintended Radiated Emissions},
booktitle = {{IEEE} Military Communications Conference, {MILCOM} 2023, Boston,
MA, USA, October 30 - Nov. 3, 2023},
pages = {655--660},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MILCOM58377.2023.10356358},
doi = {10.1109/MILCOM58377.2023.10356358},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/milcom/JhaJEV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/JhaJLBVEN23,
author = {Sumit Kumar Jha and
Susmit Jha and
Patrick Lincoln and
Nathaniel D. Bastian and
Alvaro Velasquez and
Rickard Ewetz and
Sandeep Neema},
title = {Counterexample Guided Inductive Synthesis Using Large Language Models
and Satisfiability Solving},
booktitle = {{IEEE} Military Communications Conference, {MILCOM} 2023, Boston,
MA, USA, October 30 - Nov. 3, 2023},
pages = {944--949},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/MILCOM58377.2023.10356332},
doi = {10.1109/MILCOM58377.2023.10356332},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/milcom/JhaJLBVEN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/CobbREHSWWBHRMJ23,
author = {Adam B. Cobb and
Anirban Roy and
Daniel Elenius and
F. Michael Heim and
Brian Swenson and
Sydney Whittington and
James D. Walker and
Theodore Bapty and
Joseph Hite and
Karthik Ramani and
Christopher McComb and
Susmit Jha},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {AircraftVerse: {A} Large-Scale Multimodal Dataset of Aerial Vehicle
Designs},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/8b94879b177d9780c17f5a78f62a6a8a-Abstract-Datasets\_and\_Benchmarks.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/CobbREHSWWBHRMJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-04093,
author = {Ismail Alkhouri and
Sumit Kumar Jha and
Andre Beckus and
George K. Atia and
Alvaro Velasquez and
Rickard Ewetz and
Arvind Ramanathan and
Susmit Jha},
title = {On the Robustness of AlphaFold: {A} {COVID-19} Case Study},
journal = {CoRR},
volume = {abs/2301.04093},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.04093},
doi = {10.48550/ARXIV.2301.04093},
eprinttype = {arXiv},
eprint = {2301.04093},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-04093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14568,
author = {Alexander M. Berenbeim and
Iain J. Cruickshank and
Susmit Jha and
Robert H. Thomson and
Nathaniel D. Bastian},
title = {Measuring Classification Decision Certainty and Doubt},
journal = {CoRR},
volume = {abs/2303.14568},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14568},
doi = {10.48550/ARXIV.2303.14568},
eprinttype = {arXiv},
eprint = {2303.14568},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14568.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-05562,
author = {Adam D. Cobb and
Anirban Roy and
Daniel Elenius and
F. Michael Heim and
Brian Swenson and
Sydney Whittington and
James D. Walker and
Theodore Bapty and
Joseph Hite and
Karthik Ramani and
Christopher McComb and
Susmit Jha},
title = {AircraftVerse: {A} Large-Scale Multimodal Dataset of Aerial Vehicle
Designs},
journal = {CoRR},
volume = {abs/2306.05562},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.05562},
doi = {10.48550/ARXIV.2306.05562},
eprinttype = {arXiv},
eprint = {2306.05562},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-05562.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-03906,
author = {Indranil Sur and
Karan Sikka and
Matthew Walmer and
Kaushik Koneripalli and
Anirban Roy and
Xiao Lin and
Ajay Divakaran and
Susmit Jha},
title = {{TIJO:} Trigger Inversion with Joint Optimization for Defending Multimodal
Backdoored Models},
journal = {CoRR},
volume = {abs/2308.03906},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.03906},
doi = {10.48550/ARXIV.2308.03906},
eprinttype = {arXiv},
eprint = {2308.03906},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-03906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-15386,
author = {Sumit Kumar Jha and
Susmit Jha and
Rickard Ewetz and
Alvaro Velasquez},
title = {Neural Stochastic Differential Equations for Robust and Explainable
Analysis of Electromagnetic Unintended Radiated Emissions},
journal = {CoRR},
volume = {abs/2309.15386},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.15386},
doi = {10.48550/ARXIV.2309.15386},
eprinttype = {arXiv},
eprint = {2309.15386},
timestamp = {Tue, 17 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-15386.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-16436,
author = {Sumit Kumar Jha and
Susmit Jha and
Patrick Lincoln and
Nathaniel D. Bastian and
Alvaro Velasquez and
Rickard Ewetz and
Sandeep Neema},
title = {Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive
Synthesis using Large Language Models and Satisfiability Solving},
journal = {CoRR},
volume = {abs/2309.16436},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.16436},
doi = {10.48550/ARXIV.2309.16436},
eprinttype = {arXiv},
eprint = {2309.16436},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-16436.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-17064,
author = {Hassen Sa{\"{\i}}di and
Susmit Jha and
Tuhin Sahai},
title = {math-PVS: {A} Large Language Model Framework to Map Scientific Publications
to {PVS} Theories},
journal = {CoRR},
volume = {abs/2310.17064},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.17064},
doi = {10.48550/ARXIV.2310.17064},
eprinttype = {arXiv},
eprint = {2310.17064},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-17064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-10571,
author = {Adam D. Cobb and
Brian Matejek and
Daniel Elenius and
Anirban Roy and
Susmit Jha},
title = {Direct Amortized Likelihood Ratio Estimation},
journal = {CoRR},
volume = {abs/2311.10571},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.10571},
doi = {10.48550/ARXIV.2311.10571},
eprinttype = {arXiv},
eprint = {2311.10571},
timestamp = {Thu, 23 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-10571.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HuZJ22,
author = {Jingtong Hu and
Qi Zhu and
Susmit Jha},
title = {Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical
Systems - Part 2},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {6},
number = {2},
pages = {10:1--10:3},
year = {2022},
url = {https://doi.org/10.1145/3517045},
doi = {10.1145/3517045},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/HuZJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KaurJRPDSL22,
author = {Ramneet Kaur and
Susmit Jha and
Anirban Roy and
Sangdon Park and
Edgar Dobriban and
Oleg Sokolsky and
Insup Lee},
title = {iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution
Detection},
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 = {7104--7114},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i7.20670},
doi = {10.1609/AAAI.V36I7.20670},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KaurJRPDSL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0001EVRJ22,
author = {Sumit Kumar Jha and
Rickard Ewetz and
Alvaro Velasquez and
Arvind Ramanathan and
Susmit Jha},
title = {Shaping Noise for Robust Attributions in Neural Stochastic Differential
Equations},
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 = {9567--9574},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i9.21190},
doi = {10.1609/AAAI.V36I9.21190},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0001EVRJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/WalmerSSSJ22,
author = {Matthew Walmer and
Karan Sikka and
Indranil Sur and
Abhinav Shrivastava and
Susmit Jha},
title = {Dual-Key Multimodal Backdoors for Visual Question Answering},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2022, New Orleans, LA, USA, June 18-24, 2022},
pages = {15354--15364},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CVPR52688.2022.01494},
doi = {10.1109/CVPR52688.2022.01494},
timestamp = {Wed, 05 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/WalmerSSSJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/0002LCYJ022,
author = {Xiaoling Hu and
Xiao Lin and
Michael Cogswell and
Yi Yao and
Susmit Jha and
Chao Chen},
title = {Trigger Hunting with a Topological Prior for Trojan Detection},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=TXsjU8BaibT},
timestamp = {Sat, 20 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/0002LCYJ022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/CunninghamCJ22,
author = {Edmond Cunningham and
Adam D. Cobb and
Susmit Jha},
editor = {Kamalika Chaudhuri and
Stefanie Jegelka and
Le Song and
Csaba Szepesv{\'{a}}ri and
Gang Niu and
Sivan Sabato},
title = {Principal Component Flows},
booktitle = {International Conference on Machine Learning, {ICML} 2022, 17-23 July
2022, Baltimore, Maryland, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {162},
pages = {4492--4519},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v162/cunningham22a.html},
timestamp = {Tue, 12 Jul 2022 17:36:52 +0200},
biburl = {https://dblp.org/rec/conf/icml/CunninghamCJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AcharyaRKJKD22,
author = {Manoj Acharya and
Anirban Roy and
Kaushik Koneripalli and
Susmit Jha and
Christopher Kanan and
Ajay Divakaran},
editor = {Luc De Raedt},
title = {Detecting Out-Of-Context Objects Using Graph Contextual Reasoning
Network},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {629--635},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/89},
doi = {10.24963/IJCAI.2022/89},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AcharyaRKJKD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/0001VEPJ22,
author = {Sumit Kumar Jha and
Alvaro Velasquez and
Rickard Ewetz and
Laura Pullum and
Susmit Jha},
editor = {Luc De Raedt},
title = {ExplainIt!: {A} Tool for Computing Robust Attributions of DNNs},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {5916--5919},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/853},
doi = {10.24963/IJCAI.2022/853},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/0001VEPJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/AbdelzaherBJKSV22,
author = {Tarek F. Abdelzaher and
Nathaniel D. Bastian and
Susmit Jha and
Lance M. Kaplan and
Mani B. Srivastava and
Venugopal V. Veeravalli},
title = {Context-aware Collaborative Neuro-Symbolic Inference in IoBTs},
booktitle = {{IEEE} Military Communications Conference, {MILCOM} 2022, Rockville,
MD, USA, November 28 - December 2, 2022},
pages = {1053--1058},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MILCOM55135.2022.10017607},
doi = {10.1109/MILCOM55135.2022.10017607},
timestamp = {Wed, 08 Feb 2023 17:46:14 +0100},
biburl = {https://dblp.org/rec/conf/milcom/AbdelzaherBJKSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-02331,
author = {Ramneet Kaur and
Susmit Jha and
Anirban Roy and
Sangdon Park and
Edgar Dobriban and
Oleg Sokolsky and
Insup Lee},
title = {iDECODe: In-distribution Equivariance for Conformal Out-of-distribution
Detection},
journal = {CoRR},
volume = {abs/2201.02331},
year = {2022},
url = {https://arxiv.org/abs/2201.02331},
eprinttype = {arXiv},
eprint = {2201.02331},
timestamp = {Wed, 22 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-02331.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-05930,
author = {Manoj Acharya and
Anirban Roy and
Kaushik Koneripalli and
Susmit Jha and
Christopher Kanan and
Ajay Divakaran},
title = {Detecting out-of-context objects using contextual cues},
journal = {CoRR},
volume = {abs/2202.05930},
year = {2022},
url = {https://arxiv.org/abs/2202.05930},
eprinttype = {arXiv},
eprint = {2202.05930},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-05930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07037,
author = {Edmond Cunningham and
Adam D. Cobb and
Susmit Jha},
title = {Principal Manifold Flows},
journal = {CoRR},
volume = {abs/2202.07037},
year = {2022},
url = {https://arxiv.org/abs/2202.07037},
eprinttype = {arXiv},
eprint = {2202.07037},
timestamp = {Thu, 07 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-07037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-09522,
author = {Akshayaa Magesh and
Venugopal V. Veeravalli and
Anirban Roy and
Susmit Jha},
title = {Multiple Testing Framework for Out-of-Distribution Detection},
journal = {CoRR},
volume = {abs/2206.09522},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.09522},
doi = {10.48550/ARXIV.2206.09522},
eprinttype = {arXiv},
eprint = {2206.09522},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-09522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05058,
author = {Susmit Jha and
John Rushby},
title = {Inferring and Conveying Intentionality: Beyond Numerical Rewards to
Logical Intentions},
journal = {CoRR},
volume = {abs/2207.05058},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.05058},
doi = {10.48550/ARXIV.2207.05058},
eprinttype = {arXiv},
eprint = {2207.05058},
timestamp = {Wed, 13 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-05058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-11769,
author = {Ramneet Kaur and
Kaustubh Sridhar and
Sangdon Park and
Susmit Jha and
Anirban Roy and
Oleg Sokolsky and
Insup Lee},
title = {CODiT: Conformal Out-of-Distribution Detection in Time-Series Data},
journal = {CoRR},
volume = {abs/2207.11769},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.11769},
doi = {10.48550/ARXIV.2207.11769},
eprinttype = {arXiv},
eprint = {2207.11769},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-11769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-08138,
author = {Adam D. Cobb and
Anirban Roy and
Daniel Elenius and
Susmit Jha},
title = {Design of Unmanned Air Vehicles Using Transformer Surrogate Models},
journal = {CoRR},
volume = {abs/2211.08138},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.08138},
doi = {10.48550/ARXIV.2211.08138},
eprinttype = {arXiv},
eprint = {2211.08138},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-08138.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/HuZJ21,
author = {Jingtong Hu and
Qi Zhu and
Susmit Jha},
title = {Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical
Systems: Part 1},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {5},
number = {4},
pages = {33:1--33:3},
year = {2021},
url = {https://doi.org/10.1145/3471164},
doi = {10.1145/3471164},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/HuZJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/KiourtiLRSJ21,
author = {Panagiota Kiourti and
Wenchao Li and
Anirban Roy and
Karan Sikka and
Susmit Jha},
title = {{MISA:} Online Defense of Trojaned Models using Misattributions},
booktitle = {{ACSAC} '21: Annual Computer Security Applications Conference, Virtual
Event, USA, December 6 - 10, 2021},
pages = {570--585},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3485832.3485908},
doi = {10.1145/3485832.3485908},
timestamp = {Mon, 05 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsac/KiourtiLRSJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogmi/JhaR21,
author = {Susmit Jha and
Anirban Roy},
title = {On Detection of Out of Distribution Inputs in Deep Neural Networks},
booktitle = {Third {IEEE} International Conference on Cognitive Machine Intelligence,
CogMI 2021, Atlanta, GA, USA, December 13-15, 2021},
pages = {282--288},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CogMI52975.2021.00044},
doi = {10.1109/COGMI52975.2021.00044},
timestamp = {Wed, 20 Apr 2022 16:01:05 +0200},
biburl = {https://dblp.org/rec/conf/cogmi/JhaR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JhaEVJ21,
author = {Sumit Kumar Jha and
Rickard Ewetz and
Alvaro Velasquez and
Susmit Jha},
editor = {Zhi{-}Hua Zhou},
title = {On Smoother Attributions using Neural Stochastic Differential Equations},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {522--528},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/73},
doi = {10.24963/IJCAI.2021/73},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/JhaEVJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/Velasquez0EJ21,
author = {Alvaro Velasquez and
Sumit Kumar Jha and
Rickard Ewetz and
Susmit Jha},
title = {Automated Synthesis of Quantum Circuits Using Symbolic Abstractions
and Decision Procedures},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2021,
Daegu, South Korea, May 22-28, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISCAS51556.2021.9401587},
doi = {10.1109/ISCAS51556.2021.9401587},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/Velasquez0EJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-12628,
author = {Ramneet Kaur and
Susmit Jha and
Anirban Roy and
Oleg Sokolsky and
Insup Lee},
title = {Are all outliers alike? On Understanding the Diversity of Outliers
for Detecting OODs},
journal = {CoRR},
volume = {abs/2103.12628},
year = {2021},
url = {https://arxiv.org/abs/2103.12628},
eprinttype = {arXiv},
eprint = {2103.12628},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-12628.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-15918,
author = {Panagiota Kiourti and
Wenchao Li and
Anirban Roy and
Karan Sikka and
Susmit Jha},
title = {Online Defense of Trojaned Models using Misattributions},
journal = {CoRR},
volume = {abs/2103.15918},
year = {2021},
url = {https://arxiv.org/abs/2103.15918},
eprinttype = {arXiv},
eprint = {2103.15918},
timestamp = {Wed, 07 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-15918.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-06380,
author = {Ramneet Kaur and
Susmit Jha and
Anirban Roy and
Sangdon Park and
Oleg Sokolsky and
Insup Lee},
title = {Detecting OODs as datapoints with High Uncertainty},
journal = {CoRR},
volume = {abs/2108.06380},
year = {2021},
url = {https://arxiv.org/abs/2108.06380},
eprinttype = {arXiv},
eprint = {2108.06380},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-06380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-04460,
author = {Sumit Kumar Jha and
Arvind Ramanathan and
Rickard Ewetz and
Alvaro Velasquez and
Susmit Jha},
title = {Protein Folding Neural Networks Are Not Robust},
journal = {CoRR},
volume = {abs/2109.04460},
year = {2021},
url = {https://arxiv.org/abs/2109.04460},
eprinttype = {arXiv},
eprint = {2109.04460},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-08335,
author = {Xiaoling Hu and
Xiao Lin and
Michael Cogswell and
Yi Yao and
Susmit Jha and
Chao Chen},
title = {Trigger Hunting with a Topological Prior for Trojan Detection},
journal = {CoRR},
volume = {abs/2110.08335},
year = {2021},
url = {https://arxiv.org/abs/2110.08335},
eprinttype = {arXiv},
eprint = {2110.08335},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-08335.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-07668,
author = {Matthew Walmer and
Karan Sikka and
Indranil Sur and
Abhinav Shrivastava and
Susmit Jha},
title = {Dual-Key Multimodal Backdoors for Visual Question Answering},
journal = {CoRR},
volume = {abs/2112.07668},
year = {2021},
url = {https://arxiv.org/abs/2112.07668},
eprinttype = {arXiv},
eprint = {2112.07668},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-07668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SahaiMPJ20,
author = {Tuhin Sahai and
Anurag Mishra and
Jose Miguel Pasini and
Susmit Jha},
title = {Estimating the Density of States of Boolean Satisfiability Problems
on Classical and Quantum Computing Platforms},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {1627--1635},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i02.5524},
doi = {10.1609/AAAI.V34I02.5524},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SahaiMPJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/corl/SunJF20,
author = {Dawei Sun and
Susmit Jha and
Chuchu Fan},
editor = {Jens Kober and
Fabio Ramos and
Claire J. Tomlin},
title = {Learning Certified Control Using Contraction Metric},
booktitle = {4th Conference on Robot Learning, CoRL 2020, 16-18 November 2020,
Virtual Event / Cambridge, MA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {155},
pages = {1519--1539},
publisher = {{PMLR}},
year = {2020},
url = {https://proceedings.mlr.press/v155/sun21b.html},
timestamp = {Tue, 18 Oct 2022 08:35:37 +0200},
biburl = {https://dblp.org/rec/conf/corl/SunJF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/KiourtiWJL20,
author = {Panagiota Kiourti and
Kacper Wardega and
Susmit Jha and
Wenchao Li},
title = {TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning},
booktitle = {57th {ACM/IEEE} Design Automation Conference, {DAC} 2020, San Francisco,
CA, USA, July 20-24, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DAC18072.2020.9218663},
doi = {10.1109/DAC18072.2020.9218663},
timestamp = {Mon, 05 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/KiourtiWJL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/JangJJ20,
author = {Uyeong Jang and
Susmit Jha and
Somesh Jha},
title = {On the Need for Topology-Aware Generative Models for Manifold-Based
Defenses},
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=r1lF\_CEYwS},
timestamp = {Thu, 07 May 2020 17:11:47 +0200},
biburl = {https://dblp.org/rec/conf/iclr/JangJJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/JhaRS20,
author = {Susmit Jha and
John Rushby and
Natarajan Shankar},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Friedemann Bitsch and
Pedro Ferreira},
title = {Model-Centered Assurance for Autonomous Systems},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference,
{SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12234},
pages = {228--243},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54549-9\_15},
doi = {10.1007/978-3-030-54549-9\_15},
timestamp = {Thu, 20 Aug 2020 14:33:29 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/JhaRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2020,
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6},
doi = {10.1007/978-3-030-55754-6},
isbn = {978-3-030-55753-9},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-08097,
author = {Sumit Kumar Jha and
Susmit Jha and
Rickard Ewetz and
Sunny Raj and
Alvaro Velasquez and
Laura L. Pullum and
Ananthram Swami},
title = {An Extension of Fano's Inequality for Characterizing Model Susceptibility
to Membership Inference Attacks},
journal = {CoRR},
volume = {abs/2009.08097},
year = {2020},
url = {https://arxiv.org/abs/2009.08097},
eprinttype = {arXiv},
eprint = {2009.08097},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-08097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-12569,
author = {Dawei Sun and
Susmit Jha and
Chuchu Fan},
title = {Learning Certified Control using Contraction Metric},
journal = {CoRR},
volume = {abs/2011.12569},
year = {2020},
url = {https://arxiv.org/abs/2011.12569},
eprinttype = {arXiv},
eprint = {2011.12569},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-12569.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-02275,
author = {Karan Sikka and
Indranil Sur and
Susmit Jha and
Anirban Roy and
Ajay Divakaran},
title = {Detecting Trojaned DNNs Using Counterfactual Attributions},
journal = {CoRR},
volume = {abs/2012.02275},
year = {2020},
url = {https://arxiv.org/abs/2012.02275},
eprinttype = {arXiv},
eprint = {2012.02275},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-02275.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/JhaSRPF19,
author = {Susmit Jha and
Tuhin Sahai and
Vasumathi Raman and
Alessandro Pinto and
Michael Francis},
title = {Explaining {AI} Decisions Using Efficient Methods for Learning Sparse
Boolean Formulae},
journal = {J. Autom. Reason.},
volume = {63},
number = {4},
pages = {1055--1075},
year = {2019},
url = {https://doi.org/10.1007/s10817-018-9499-8},
doi = {10.1007/S10817-018-9499-8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JhaSRPF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/JhaR19,
author = {Susmit Jha and
John Rushby},
editor = {Antonio Chella and
David Gamez and
Patrick Lincoln and
Riccardo Manzotti and
Jonathan D. Pfautz},
title = {Inferring and Conveying Intentionality: Beyond Numerical Rewards to
Logical Intentions},
booktitle = {Papers of the 2019 Towards Conscious {AI} Systems Symposium co-located
with the Association for the Advancement of Artificial Intelligence
2019 Spring Symposium Series {(AAAI} SSS-19), Stanford, CA, March
25-27, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2287},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2287/paper30.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/JhaR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ChapmanLTLSCFJP19,
author = {Margaret P. Chapman and
Jonathan Lacotte and
Aviv Tamar and
Donggun Lee and
Kevin M. Smith and
Victoria Cheng and
Jaime F. Fisac and
Susmit Jha and
Marco Pavone and
Claire J. Tomlin},
title = {A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic
Dynamic Systems},
booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
July 10-12, 2019},
pages = {2958--2963},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ACC.2019.8815169},
doi = {10.23919/ACC.2019.8815169},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/ChapmanLTLSCFJP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Jha19,
author = {Susmit Jha},
editor = {Majid Zamani and
Damien Zufferey},
title = {Trust, Resilience and Interpretability of {AI} Models},
booktitle = {Numerical Software Verification - 12th International Workshop, NSV@CAV
2019, New York City, NY, USA, July 13-14, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11652},
pages = {3--25},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-28423-7\_1},
doi = {10.1007/978-3-030-28423-7\_1},
timestamp = {Mon, 05 Aug 2019 12:50:53 +0200},
biburl = {https://dblp.org/rec/conf/cav/Jha19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DuttaCJST19,
author = {Souradeep Dutta and
Xin Chen and
Susmit Jha and
Sriram Sankaranarayanan and
Ashish Tiwari},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Sherlock - {A} tool for verification of neural network feedback systems:
demo abstract},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {262--263},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3313351},
doi = {10.1145/3302504.3313351},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/DuttaCJST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/JhaRFJJJVS19,
author = {Susmit Jha and
Sunny Raj and
Steven Lawrence Fernandes and
Sumit Kumar Jha and
Somesh Jha and
Brian Jalaian and
Gunjan Verma and
Ananthram Swami},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {Attribution-Based Confidence Metric For Deep Neural Networks},
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 = {11826--11837},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/bc1ad6e8f86c42a371aff945535baebb-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/JhaRFJJJVS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-11277,
author = {Margaret P. Chapman and
Jonathan Lacotte and
Aviv Tamar and
Donggun Lee and
Kevin M. Smith and
Victoria Cheng and
Jaime F. Fisac and
Susmit Jha and
Marco Pavone and
Claire J. Tomlin},
title = {A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic
Dynamic Systems},
journal = {CoRR},
volume = {abs/1902.11277},
year = {2019},
url = {http://arxiv.org/abs/1902.11277},
eprinttype = {arXiv},
eprint = {1902.11277},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-11277.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-05821,
author = {Susmit Jha and
Sunny Raj and
Steven Lawrence Fernandes and
Sumit Kumar Jha and
Somesh Jha and
Gunjan Verma and
Brian Jalaian and
Ananthram Swami},
title = {Attribution-driven Causal Analysis for Detection of Adversarial Examples},
journal = {CoRR},
volume = {abs/1903.05821},
year = {2019},
url = {http://arxiv.org/abs/1903.05821},
eprinttype = {arXiv},
eprint = {1903.05821},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-05821.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-06638,
author = {Panagiota Kiourti and
Kacper Wardega and
Susmit Jha and
Wenchao Li},
title = {TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents},
journal = {CoRR},
volume = {abs/1903.06638},
year = {2019},
url = {http://arxiv.org/abs/1903.06638},
eprinttype = {arXiv},
eprint = {1903.06638},
timestamp = {Wed, 07 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-06638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03334,
author = {Uyeong Jang and
Susmit Jha and
Somesh Jha},
title = {On Need for Topology Awareness of Generative Models},
journal = {CoRR},
volume = {abs/1909.03334},
year = {2019},
url = {http://arxiv.org/abs/1909.03334},
eprinttype = {arXiv},
eprint = {1909.03334},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-03334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-13088,
author = {Tuhin Sahai and
Anurag Mishra and
Jose Miguel Pasini and
Susmit Jha},
title = {Estimating the Density of States of Boolean Satisfiability Problems
on Classical and Quantum Computing Platforms},
journal = {CoRR},
volume = {abs/1910.13088},
year = {2019},
url = {http://arxiv.org/abs/1910.13088},
eprinttype = {arXiv},
eprint = {1910.13088},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-13088.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}
}
@inproceedings{DBLP:conf/adhs/DuttaJST18,
author = {Souradeep Dutta and
Susmit Jha and
Sriram Sankaranarayanan and
Ashish Tiwari},
editor = {Alessandro Abate and
Antoine Girard and
Maurice Heemels},
title = {Learning and Verification of Feedback Control Systems using Feedforward
Neural Networks},
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 = {151--156},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.ifacol.2018.08.026},
doi = {10.1016/J.IFACOL.2018.08.026},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/adhs/DuttaJST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/JhaL18,
author = {Susmit Jha and
Patrick Lincoln},
title = {Data Efficient Learning of Robust Control Policies},
booktitle = {56th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2018, Monticello, IL, USA, October 2-5, 2018},
pages = {856--861},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ALLERTON.2018.8636072},
doi = {10.1109/ALLERTON.2018.8636072},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/allerton/JhaL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GhoshJTL018,
author = {Shalini Ghosh and
Susmit Jha and
Ashish Tiwari and
Patrick Lincoln and
Xiaojin Zhu},
title = {Model, Data and Reward Repair: Trusted Machine Learning for Markov
Decision Processes},
booktitle = {48th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks Workshops, {DSN} Workshops 2018, Luxembourg, June 25-28,
2018},
pages = {194--199},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/DSN-W.2018.00064},
doi = {10.1109/DSN-W.2018.00064},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/GhoshJTL018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/JhaR0S18,
author = {Susmit Jha and
Sunny Raj and
Sumit Kumar Jha and
Natarajan Shankar},
editor = {David N. Jansen and
Pavithra Prabhakar},
title = {Duality-Based Nested Controller Synthesis from {STL} Specifications
for Stochastic Linear Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International
Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11022},
pages = {235--251},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00151-3\_14},
doi = {10.1007/978-3-030-00151-3\_14},
timestamp = {Sat, 09 Apr 2022 12:48:56 +0200},
biburl = {https://dblp.org/rec/conf/formats/JhaR0S18.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/milcom/JhaJJJ18,
author = {Susmit Jha and
Uyeong Jang and
Somesh Jha and
Brian Jalaian},
title = {Detecting Adversarial Examples Using Data Manifolds},
booktitle = {2018 {IEEE} Military Communications Conference, {MILCOM} 2018, Los
Angeles, CA, USA, October 29-31, 2018},
pages = {547--552},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MILCOM.2018.8599691},
doi = {10.1109/MILCOM.2018.8599691},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/milcom/JhaJJJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DuttaJST18,
author = {Souradeep Dutta and
Susmit Jha and
Sriram Sankaranarayanan and
Ashish Tiwari},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Output Range Analysis for Deep Feedforward Neural Networks},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {121--138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_9},
doi = {10.1007/978-3-319-77935-5\_9},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/DuttaJST18.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}
}
@article{DBLP:journals/corr/abs-1805-07075,
author = {Shalini Ghosh and
Amaury Mercier and
Dheeraj Pichapati and
Susmit Jha and
Vinod Yegneswaran and
Patrick Lincoln},
title = {Trusted Neural Networks for Safety-Constrained Autonomous Control},
journal = {CoRR},
volume = {abs/1805.07075},
year = {2018},
url = {http://arxiv.org/abs/1805.07075},
eprinttype = {arXiv},
eprint = {1805.07075},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-07075.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}
}
@inproceedings{DBLP:conf/nfm/JhaRPSF17,
author = {Susmit Jha and
Vasumathi Raman and
Alessandro Pinto and
Tuhin Sahai and
Michael Francis},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {On Learning Sparse Boolean Formulae for Explaining {AI} Decisions},
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 = {99--114},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_7},
doi = {10.1007/978-3-319-57288-8\_7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/JhaRPSF17.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}
}
@article{DBLP:journals/corr/abs-1709-09130,
author = {Souradeep Dutta and
Susmit Jha and
Sriram Sankaranarayanan and
Ashish Tiwari},
title = {Output Range Analysis for Deep Neural Networks},
journal = {CoRR},
volume = {abs/1709.09130},
year = {2017},
url = {http://arxiv.org/abs/1709.09130},
eprinttype = {arXiv},
eprint = {1709.09130},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-09130.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}
}
@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/formats/JhaR16,
author = {Susmit Jha and
Vasumathi Raman},
editor = {Martin Fr{\"{a}}nzle and
Nicolas Markey},
title = {On Optimal Control of Stochastic Linear Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 14th International
Conference, {FORMATS} 2016, Quebec, QC, Canada, August 24-26, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9884},
pages = {69--84},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44878-7\_5},
doi = {10.1007/978-3-319-44878-7\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/JhaR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/JhaR16,
author = {Susmit Jha and
Vasumathi Raman},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {Automated Synthesis of Safe Autonomous Vehicle Control Under Perception
Uncertainty},
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 = {117--132},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_10},
doi = {10.1007/978-3-319-40648-0\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/JhaR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/SchuchhardtJAKM15,
author = {Matthew Schuchhardt and
Susmit Jha and
Raid Ayoub and
Michael Kishinevsky and
Gokhan Memik},
editor = {Ravi Iyer and
Siddharth Garg},
title = {Optimizing mobile display brightness by leveraging human visual perception},
booktitle = {2015 International Conference on Compilers, Architecture and Synthesis
for Embedded Systems, {CASES} 2015, Amsterdam, The Netherlands, October
4-9, 2015},
pages = {11--20},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CASES.2015.7324538},
doi = {10.1109/CASES.2015.7324538},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/cases/SchuchhardtJAKM15.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/ijbra/HussainJJL14,
author = {Faraz Hussain and
Sumit Kumar Jha and
Susmit Jha and
Christopher James Langmead},
title = {Parameter discovery in stochastic biological models using simulated
annealing and statistical model checking},
journal = {Int. J. Bioinform. Res. Appl.},
volume = {10},
number = {4/5},
pages = {519--539},
year = {2014},
url = {https://doi.org/10.1504/IJBRA.2014.062998},
doi = {10.1504/IJBRA.2014.062998},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbra/HussainJJL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbra/GhoshHJLJ14,
author = {Arup Kumar Ghosh and
Faraz Hussain and
Susmit Jha and
Christopher James Langmead and
Sumit Kumar Jha},
title = {Discovering rare behaviours in stochastic differential equations using
decision procedures: applications to a minimal cell cycle model},
journal = {Int. J. Bioinform. Res. Appl.},
volume = {10},
number = {4/5},
pages = {540--558},
year = {2014},
url = {https://doi.org/10.1504/IJBRA.2014.062999},
doi = {10.1504/IJBRA.2014.062999},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbra/GhoshHJLJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/SchuchhardtJAKM14,
author = {Matthew Schuchhardt and
Susmit Jha and
Raid Ayoub and
Michael Kishinevsky and
Gokhan Memik},
editor = {Karam S. Chatha and
Rolf Ernst and
Anand Raghunathan and
Ravishankar R. Iyer},
title = {{CAPED:} Context-aware personalized display brightness for mobile
devices},
booktitle = {2014 International Conference on Compilers, Architecture and Synthesis
for Embedded Systems, {CASES} 2014, Uttar Pradesh, India, October
12-17, 2014},
pages = {19:1--19:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2656106.2656116},
doi = {10.1145/2656106.2656116},
timestamp = {Mon, 15 May 2023 22:11:16 +0200},
biburl = {https://dblp.org/rec/conf/cases/SchuchhardtJAKM14.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: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}
}
@proceedings{DBLP:journals/corr/ChatterjeeEJ14,
editor = {Krishnendu Chatterjee and
R{\"{u}}diger Ehlers and
Susmit Jha},
title = {Proceedings 3rd Workshop on Synthesis, {SYNT} 2014, Vienna, Austria,
July 23-24, 2014},
series = {{EPTCS}},
volume = {157},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.157},
doi = {10.4204/EPTCS.157},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChatterjeeEJ14.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/ijbra/JhaDLJS12,
author = {Sumit Kumar Jha and
Raj Gautam Dutta and
Christopher James Langmead and
Susmit Jha and
Emily Sassano},
title = {Synthesis of insulin pump controllers from safety specifications using
Bayesian model validation},
journal = {Int. J. Bioinform. Res. Appl.},
volume = {8},
number = {3/4},
pages = {263--285},
year = {2012},
url = {https://doi.org/10.1504/IJBRA.2012.048964},
doi = {10.1504/IJBRA.2012.048964},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijbra/JhaDLJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccabs/GhoshHJLJ12,
author = {Arup K. Ghosh and
Faraz Hussain and
Sumit Kumar Jha and
Christopher James Langmead and
Susmit Jha},
editor = {Sorin Istrail and
Ion I. Mandoiu and
Mihai Pop and
Sanguthevar Rajasekaran and
John L. Spouge},
title = {Decision procedure based discovery of rare behaviors in Stochastic
Differential Equation models of biological systems},
booktitle = {{IEEE} 2nd International Conference on Computational Advances in Bio
and Medical Sciences, {ICCABS} 2012, Las Vegas, NV, USA, February
23-25, 2012},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCABS.2012.6182635},
doi = {10.1109/ICCABS.2012.6182635},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccabs/GhoshHJLJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccabs/HussainDJLJ12,
author = {Faraz Hussain and
Raj Gautam Dutta and
Sumit Kumar Jha and
Christopher James Langmead and
Susmit Jha},
editor = {Sorin Istrail and
Ion I. Mandoiu and
Mihai Pop and
Sanguthevar Rajasekaran and
John L. Spouge},
title = {Parameter discovery for stochastic biological models against temporal
behavioral specifications using an {SPRT} based Metric for simulated
annealing},
booktitle = {{IEEE} 2nd International Conference on Computational Advances in Bio
and Medical Sciences, {ICCABS} 2012, Las Vegas, NV, USA, February
23-25, 2012},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCABS.2012.6182640},
doi = {10.1109/ICCABS.2012.6182640},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccabs/HussainDJLJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Jha11,
author = {Susmit Jha},
title = {Towards Automated System Synthesis Using {SCIDUCTION}},
school = {University of California, Berkeley, {USA}},
year = {2011},
url = {http://www.escholarship.org/uc/item/7c48g766},
timestamp = {Tue, 18 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Jha11.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/pldi/GulwaniJTV11,
author = {Sumit Gulwani and
Susmit Jha and
Ashish Tiwari and
Ramarathnam Venkatesan},
editor = {Mary W. Hall and
David A. Padua},
title = {Synthesis of loop-free programs},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {62--73},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993506},
doi = {10.1145/1993498.1993506},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniJTV11.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/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/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/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/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}
}
@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}
}
@article{DBLP:journals/corr/abs-0906-5110,
author = {Susmit Jha},
title = {Statistical Analysis of Privacy and Anonymity Guarantees in Randomized
Security Protocol Implementations},
journal = {CoRR},
volume = {abs/0906.5110},
year = {2009},
url = {http://arxiv.org/abs/0906.5110},
eprinttype = {arXiv},
eprint = {0906.5110},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-5110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/JhaJ08,
author = {Susmit Jha and
Sumit Kumar Jha},
title = {Randomization Based Probabilistic Approach to Detect Trojan Circuits},
booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
Nanjing, China, December 3 - 5, 2008},
pages = {117--124},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HASE.2008.37},
doi = {10.1109/HASE.2008.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/JhaJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/JhaJ08a,
author = {Sumit Kumar Jha and
Susmit Jha},
title = {Random Relaxation Abstractions for Bounded Reachability Analysis of
Linear Hybrid Automata: Distributed Randomized Abstractions in Model
Checking},
booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
Nanjing, China, December 3 - 5, 2008},
pages = {147--153},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HASE.2008.38},
doi = {10.1109/HASE.2008.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/JhaJ08a.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}
}
@article{DBLP:journals/tcsb/JhaS06,
author = {Susmit Jha and
R. K. Shyamasundar},
title = {Adapting Biochemical Kripke Structures for Distributed Model Checking},
journal = {Trans. Comp. Sys. Biology},
volume = {7},
pages = {107--122},
year = {2006},
url = {https://doi.org/10.1007/11905455\_6},
doi = {10.1007/11905455\_6},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/JhaS06.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-05-09 00:01 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:
