BibTeX records: Abhishek Dubey

download as .bib file

@article{DBLP:journals/dgov/SenarathMPD24,
  author       = {Yasas Senarath and
                  Ayan Mukhopadhyay and
                  Hemant Purohit and
                  Abhishek Dubey},
  title        = {Designing a Human-centered {AI} Tool for Proactive Incident Detection
                  Using Crowdsourced Data Sources to Support Emergency Response},
  journal      = {Digit. Gov. Res. Pract.},
  volume       = {5},
  number       = {1},
  pages        = {9:1--9:19},
  year         = {2024},
  url          = {https://doi.org/10.1145/3633784},
  doi          = {10.1145/3633784},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dgov/SenarathMPD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/KadirMSCNDL24,
  author       = {Salah Uddin Kadir and
                  Subir Majumder and
                  Anurag K. Srivastava and
                  Ajay Dev Chhokra and
                  Himanshu Neema and
                  Abhishek Dubey and
                  Aron Laszka},
  title        = {Reinforcement-Learning-Based Proactive Control for Enabling Power
                  Grid Resilience to Wildfire},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {20},
  number       = {1},
  pages        = {795--805},
  year         = {2024},
  url          = {https://doi.org/10.1109/TII.2023.3263500},
  doi          = {10.1109/TII.2023.3263500},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tii/KadirMSCNDL24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-01841,
  author       = {Baiting Luo and
                  Yunuo Zhang and
                  Abhishek Dubey and
                  Ayan Mukhopadhyay},
  title        = {Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov
                  Decision Processes},
  journal      = {CoRR},
  volume       = {abs/2401.01841},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.01841},
  doi          = {10.48550/ARXIV.2401.01841},
  eprinttype    = {arXiv},
  eprint       = {2401.01841},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-01841.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-03197,
  author       = {Ava Pettet and
                  Yunuo Zhang and
                  Baiting Luo and
                  Kyle Wray and
                  Hendrik Baier and
                  Aron Laszka and
                  Abhishek Dubey and
                  Ayan Mukhopadhyay},
  title        = {Decision Making in Non-Stationary Environments with Policy-Augmented
                  Search},
  journal      = {CoRR},
  volume       = {abs/2401.03197},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.03197},
  doi          = {10.48550/ARXIV.2401.03197},
  eprinttype    = {arXiv},
  eprint       = {2401.03197},
  timestamp    = {Wed, 24 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-03197.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-03339,
  author       = {Jose Paolo Talusan and
                  Chaeeun Han and
                  Ayan Mukhopadhyay and
                  Aron Laszka and
                  Daniel Freudberg and
                  Abhishek Dubey},
  title        = {An Online Approach to Solving Public Transit Stationing and Dispatch
                  Problem},
  journal      = {CoRR},
  volume       = {abs/2403.03339},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.03339},
  doi          = {10.48550/ARXIV.2403.03339},
  eprinttype    = {arXiv},
  eprint       = {2403.03339},
  timestamp    = {Wed, 03 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-03339.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-04072,
  author       = {Chaeeun Han and
                  Jose Paolo Talusan and
                  Daniel Freudberg and
                  Ayan Mukhopadhyay and
                  Abhishek Dubey and
                  Aron Laszka},
  title        = {Forecasting and Mitigating Disruptions in Public Bus Transit Services},
  journal      = {CoRR},
  volume       = {abs/2403.04072},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.04072},
  doi          = {10.48550/ARXIV.2403.04072},
  eprinttype    = {arXiv},
  eprint       = {2403.04072},
  timestamp    = {Wed, 03 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-04072.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/TiausasYTYYBDD23,
  author       = {Francis Tiausas and
                  Keiichi Yasumoto and
                  Jose Paolo Talusan and
                  Hayato Yamana and
                  Hirozumi Yamaguchi and
                  Shameek Bhattacharjee and
                  Abhishek Dubey and
                  Sajal K. Das},
  title        = {HPRoP: Hierarchical Privacy-preserving Route Planning for Smart Cities},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {27:1--27:25},
  year         = {2023},
  url          = {https://doi.org/10.1145/3616874},
  doi          = {10.1145/3616874},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/TiausasYTYYBDD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KimEWPLDS23,
  author       = {Youngseo Kim and
                  Danushka Edirimanna and
                  Michael Wilbur and
                  Philip Pugliese and
                  Aron Laszka and
                  Abhishek Dubey and
                  Samitha Samaranayake},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Rolling Horizon Based Temporal Decomposition for the Offline Pickup
                  and Delivery Problem with Time Windows},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {5151--5159},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i4.25644},
  doi          = {10.1609/AAAI.V37I4.25644},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KimEWPLDS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccnt/EKDRV23,
  author       = {Dilip Chandra E and
                  Ajmal Khan and
                  Abhishek Dubey and
                  Abhiram B. R and
                  Dineth H. V},
  title        = {Traffic Safety Enforcement and Document Verification System},
  booktitle    = {14th International Conference on Computing Communication and Networking
                  Technologies, {ICCCNT} 2023, Delhi, India, July 6-8, 2023},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICCCNT56998.2023.10307247},
  doi          = {10.1109/ICCCNT56998.2023.10307247},
  timestamp    = {Thu, 30 Nov 2023 16:40:53 +0100},
  biburl       = {https://dblp.org/rec/conf/icccnt/EKDRV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WilburCKAPD23,
  author       = {Michael Wilbur and
                  Maxime Coursey and
                  Pravesh Koirala and
                  Zakariyya Al{-}Quran and
                  Philip Pugliese and
                  Abhishek Dubey},
  editor       = {Sayan Mitra and
                  Nalini Venkatasubramanian and
                  Abhishek Dubey and
                  Lu Feng and
                  Mahsa Ghasemi and
                  Jonathan Sprinkle},
  title        = {Mobility-On-Demand Transportation: {A} System for Microtransit and
                  Paratransit Operations},
  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        = {260--261},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3576841.3589625},
  doi          = {10.1145/3576841.3589625},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/WilburCKAPD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/ZulqarnainGTFPMD23,
  author       = {Ammar Bin Zulqarnain and
                  Samir Gupta and
                  Jose Paolo Talusan and
                  Daniel Freudberg and
                  Philip Pugliese and
                  Ayan Mukhopadhyay and
                  Abhishek Dubey},
  title        = {Addressing {APC} Data Sparsity in Predicting Occupancy and Delay of
                  Transit Buses: {A} Multitask Learning Approach},
  booktitle    = {2023 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2023, Nashville, TN, USA, June 26-30, 2023},
  pages        = {17--24},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SMARTCOMP58114.2023.00020},
  doi          = {10.1109/SMARTCOMP58114.2023.00020},
  timestamp    = {Tue, 15 Aug 2023 09:17:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/ZulqarnainGTFPMD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/GhoshBKKDL23,
  author       = {Purboday Ghosh and
                  Niloy Barua and
                  Timothy Krentz and
                  Gabor Karsai and
                  Abhishek Dubey and
                  Srdjan M. Lukic},
  title        = {Distributed Control Application for Smart Grids using {RIAPS}},
  booktitle    = {2023 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2023, Nashville, TN, USA, June 26-30, 2023},
  pages        = {186--188},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SMARTCOMP58114.2023.00042},
  doi          = {10.1109/SMARTCOMP58114.2023.00042},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/GhoshBKKDL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/KhaleghianNSTSD23,
  author       = {Seyedmehdi Khaleghian and
                  Himanshu Neema and
                  Mina Sartipi and
                  Toan Tran and
                  Rishav Sen and
                  Abhishek Dubey},
  title        = {Calibrating Real-World City Traffic Simulation Model Using Vehicle
                  Speed Data},
  booktitle    = {2023 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2023, Nashville, TN, USA, June 26-30, 2023},
  pages        = {303--308},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SMARTCOMP58114.2023.00076},
  doi          = {10.1109/SMARTCOMP58114.2023.00076},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/KhaleghianNSTSD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/BuckelewBSMSD23,
  author       = {Jacob Buckelew and
                  Sagnik Basumallik and
                  Vasavi Sivaramakrishnan and
                  Ayan Mukhopadhyay and
                  Anurag K. Srivastava and
                  Abhishek Dubey},
  title        = {Synchrophasor Data Event Detection using Unsupervised Wavelet Convolutional
                  Autoencoders},
  booktitle    = {2023 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2023, Nashville, TN, USA, June 26-30, 2023},
  pages        = {326--331},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/SMARTCOMP58114.2023.00080},
  doi          = {10.1109/SMARTCOMP58114.2023.00080},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartcomp/BuckelewBSMSD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccps/2023,
  editor       = {Sayan Mitra and
                  Nalini Venkatasubramanian and
                  Abhishek Dubey and
                  Lu Feng and
                  Mahsa Ghasemi and
                  Jonathan Sprinkle},
  title        = {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},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3576841},
  doi          = {10.1145/3576841},
  timestamp    = {Fri, 05 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-09146,
  author       = {Zhuangwei Kang and
                  Yogesh D. Barve and
                  Shunxing Bao and
                  Abhishek Dubey and
                  Aniruddha Gokhale},
  title        = {DMSConfig: Automated Configuration Tuning for Distributed IoT Message
                  Systems Using Deep Reinforcement Learning},
  journal      = {CoRR},
  volume       = {abs/2302.09146},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2302.09146},
  doi          = {10.48550/ARXIV.2302.09146},
  eprinttype    = {arXiv},
  eprint       = {2302.09146},
  timestamp    = {Thu, 23 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-09146.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-03475,
  author       = {Youngseo Kim and
                  Danushka Edirimanna and
                  Michael Wilbur and
                  Philip Pugliese and
                  Aron Laszka and
                  Abhishek Dubey and
                  Samitha Samaranayake},
  title        = {Rolling Horizon based Temporal Decomposition for the Offline Pickup
                  and Delivery Problem with Time Windows},
  journal      = {CoRR},
  volume       = {abs/2303.03475},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2303.03475},
  doi          = {10.48550/ARXIV.2303.03475},
  eprinttype    = {arXiv},
  eprint       = {2303.03475},
  timestamp    = {Wed, 15 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2303-03475.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-07457,
  author       = {Michael Wilbur and
                  Amutheezan Sivagnanam and
                  Afiya Ayman and
                  Samitha Samaranayake and
                  Abhishek Dubey and
                  Aron Laszka},
  title        = {Artificial Intelligence for Smart Transportation},
  journal      = {CoRR},
  volume       = {abs/2308.07457},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.07457},
  doi          = {10.48550/ARXIV.2308.07457},
  eprinttype    = {arXiv},
  eprint       = {2308.07457},
  timestamp    = {Wed, 23 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-07457.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/PotteigerDCKZ22,
  author       = {Bradley Potteiger and
                  Abhishek Dubey and
                  Feiyang Cai and
                  Xenofon D. Koutsoukos and
                  Zhenkai Zhang},
  title        = {Moving target defense for the security and resilience of mixed time
                  and event triggered cyber-physical systems},
  journal      = {J. Syst. Archit.},
  volume       = {125},
  pages        = {102420},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.sysarc.2022.102420},
  doi          = {10.1016/J.SYSARC.2022.102420},
  timestamp    = {Wed, 18 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/PotteigerDCKZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/RamakrishnaRKED22,
  author       = {Shreyas Ramakrishna and
                  Zahra RahimiNasab and
                  Gabor Karsai and
                  Arvind Easwaran and
                  Abhishek Dubey},
  title        = {Efficient Out-of-Distribution Detection Using Latent Space of \emph{{\(\beta\)}}-VAE
                  for Cyber-Physical Systems},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {6},
  number       = {2},
  pages        = {15:1--15:34},
  year         = {2022},
  url          = {https://doi.org/10.1145/3491243},
  doi          = {10.1145/3491243},
  timestamp    = {Thu, 25 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/RamakrishnaRKED22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/PettetMKD22,
  author       = {Geoffrey Pettet and
                  Ayan Mukhopadhyay and
                  Mykel J. Kochenderfer and
                  Abhishek Dubey},
  title        = {Hierarchical Planning for Dynamic Resource Allocation in Smart and
                  Connected Communities},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {6},
  number       = {4},
  pages        = {32:1--32:26},
  year         = {2022},
  url          = {https://doi.org/10.1145/3502869},
  doi          = {10.1145/3502869},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/PettetMKD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/AymanSWPDL22,
  author       = {Afiya Ayman and
                  Amutheezan Sivagnanam and
                  Michael Wilbur and
                  Philip Pugliese and
                  Abhishek Dubey and
                  Aron Laszka},
  title        = {Data-Driven Prediction and Optimization of Energy Use for Transit
                  Fleets of Electric and {ICE} Vehicles},
  journal      = {{ACM} Trans. Internet Techn.},
  volume       = {22},
  number       = {1},
  pages        = {7:1--7:29},
  year         = {2022},
  url          = {https://doi.org/10.1145/3433992},
  doi          = {10.1145/3433992},
  timestamp    = {Thu, 18 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toit/AymanSWPDL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/SenTKPSND22,
  author       = {Rishav Sen and
                  Toan Tran and
                  Seyedmehdi Khaleghian and
                  Philip Pugliese and
                  Mina Sartipi and
                  Himanshu Neema and
                  Abhishek Dubey},
  editor       = {Shusaku Tsumoto and
                  Yukio Ohsawa and
                  Lei Chen and
                  Dirk Van den Poel and
                  Xiaohua Hu and
                  Yoichi Motomura and
                  Takuya Takagi and
                  Lingfei Wu and
                  Ying Xie and
                  Akihiro Abe and
                  Vijay Raghavan},
  title        = {BTE-Sim: Fast Simulation Environment For Public Transportation},
  booktitle    = {{IEEE} International Conference on Big Data, Big Data 2022, Osaka,
                  Japan, December 17-20, 2022},
  pages        = {2886--2894},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/BigData55660.2022.10020973},
  doi          = {10.1109/BIGDATA55660.2022.10020973},
  timestamp    = {Fri, 18 Aug 2023 17:39:03 +0200},
  biburl       = {https://dblp.org/rec/conf/bigdataconf/SenTKPSND22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/TalusanMFD22,
  author       = {Jose Paolo Talusan and
                  Ayan Mukhopadhyay and
                  Daniel Freudberg and
                  Abhishek Dubey},
  editor       = {Shusaku Tsumoto and
                  Yukio Ohsawa and
                  Lei Chen and
                  Dirk Van den Poel and
                  Xiaohua Hu and
                  Yoichi Motomura and
                  Takuya Takagi and
                  Lingfei Wu and
                  Ying Xie and
                  Akihiro Abe and
                  Vijay Raghavan},
  title        = {On Designing Day Ahead and Same Day Ridership Level Prediction Models
                  for City-Scale Transit Networks Using Noisy {APC} Data},
  booktitle    = {{IEEE} International Conference on Big Data, Big Data 2022, Osaka,
                  Japan, December 17-20, 2022},
  pages        = {5598--5606},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/BigData55660.2022.10020390},
  doi          = {10.1109/BIGDATA55660.2022.10020390},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bigdataconf/TalusanMFD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eenergy/SenBKGWTPSND22,
  author       = {Rishav Sen and
                  Alok Kumar Bharati and
                  Seyedmehdi Khaleghian and
                  Malini Ghosal and
                  Michael Wilbur and
                  Toan Tran and
                  Philip Pugliese and
                  Mina Sartipi and
                  Himanshu Neema and
                  Abhishek Dubey},
  editor       = {Sebastian Lehnhoff and
                  David E. Irwin and
                  Dan Wang},
  title        = {E-transit-bench: simulation platform for analyzing electric public
                  transit bus fleet operations},
  booktitle    = {e-Energy '22: The Thirteenth {ACM} International Conference on Future
                  Energy Systems, Virtual Event, 28 June 2022 - 1 July 2022},
  pages        = {532--541},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3538637.3539586},
  doi          = {10.1145/3538637.3539586},
  timestamp    = {Tue, 15 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eenergy/SenBKGWTPSND22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic2e/EiseleWESEMLD22,
  author       = {Scott Eisele and
                  Michael Wilbur and
                  Taha Eghtesad and
                  Kevin Silvergold and
                  Fred Eisele and
                  Ayan Mukhopadhyay and
                  Aron Laszka and
                  Abhishek Dubey},
  title        = {Decentralized Computation Market for Stream Processing Applications},
  booktitle    = {{IEEE} International Conference on Cloud Engineering, {IC2E} 2022,
                  Pacific Grove, CA, USA, September 26-30, 2022},
  pages        = {36--46},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/IC2E55432.2022.00012},
  doi          = {10.1109/IC2E55432.2022.00012},
  timestamp    = {Mon, 21 Nov 2022 17:42:15 +0100},
  biburl       = {https://dblp.org/rec/conf/ic2e/EiseleWESEMLD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaa2/RamakrishnaLBKD22,
  author       = {Shreyas Ramakrishna and
                  Baiting Luo and
                  Yogesh D. Barve and
                  Gabor Karsai and
                  Abhishek Dubey},
  title        = {Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems},
  booktitle    = {{IEEE} International Conference on Assured Autonomy, {ICAA} 2022,
                  Virtual Event / Fajardo, PR, USA, March 22-24, 2022},
  pages        = {107--116},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICAA52185.2022.00022},
  doi          = {10.1109/ICAA52185.2022.00022},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icaa2/RamakrishnaLBKD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/WilburKKPMPSLD22,
  author       = {Michael Wilbur and
                  Salah Uddin Kadir and
                  Youngseo Kim and
                  Geoffrey Pettet and
                  Ayan Mukhopadhyay and
                  Philip Pugliese and
                  Samitha Samaranayake and
                  Aron Laszka and
                  Abhishek Dubey},
  title        = {An Online Approach to Solve the Dynamic Vehicle Routing Problem with
                  Stochastic Trip Requests for Paratransit Services},
  booktitle    = {13th {ACM/IEEE} International Conference on Cyber-Physical Systems,
                  {ICCPS} 2022, Milano, Italy, May 4-6, 2022},
  pages        = {147--158},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICCPS54341.2022.00020},
  doi          = {10.1109/ICCPS54341.2022.00020},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/WilburKKPMPSLD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/IslamTBTVDYD22,
  author       = {Mohammad Jaminur Islam and
                  Jose Paolo Talusan and
                  Shameek Bhattacharjee and
                  Francis Tiausas and
                  Sayyed Mohsen Vazirizade and
                  Abhishek Dubey and
                  Keiichi Yasumoto and
                  Sajal K. Das},
  title        = {Anomaly based Incident Detection in Large Scale Smart Transportation
                  Systems},
  booktitle    = {13th {ACM/IEEE} International Conference on Cyber-Physical Systems,
                  {ICCPS} 2022, Milano, Italy, May 4-6, 2022},
  pages        = {215--224},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICCPS54341.2022.00026},
  doi          = {10.1109/ICCPS54341.2022.00026},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/IslamTBTVDYD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/ZiabariVDLBFBBP22,
  author       = {Amirkoushyar Ziabari and
                  Singanallur V. Venkatakrishnan and
                  Abhishek Dubey and
                  Alex Lisovich and
                  Paul Brackman and
                  Curtis Frederick and
                  Pradeep Bhattad and
                  Philip R. Bingham and
                  Alex Plotkowski and
                  Ryan Dehoff and
                  Vincent C. Paquit},
  title        = {Simurgh: {A} Framework for Cad-Driven Deep Learning Based X-Ray {CT}
                  Reconstruction},
  booktitle    = {2022 {IEEE} International Conference on Image Processing, {ICIP} 2022,
                  Bordeaux, France, 16-19 October 2022},
  pages        = {3836--3867},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICIP46576.2022.9898017},
  doi          = {10.1109/ICIP46576.2022.9898017},
  timestamp    = {Tue, 21 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icip/ZiabariVDLBFBBP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SivagnanamKMPDS22,
  author       = {Amutheezan Sivagnanam and
                  Salah Uddin Kadir and
                  Ayan Mukhopadhyay and
                  Philip Pugliese and
                  Abhishek Dubey and
                  Samitha Samaranayake and
                  Aron Laszka},
  editor       = {Luc De Raedt},
  title        = {Offline Vehicle Routing Problem with Online Bookings: {A} Novel Problem
                  Formulation with Applications to Paratransit},
  booktitle    = {Proceedings of the Thirty-First International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
                  2022},
  pages        = {3933--3939},
  publisher    = {ijcai.org},
  year         = {2022},
  url          = {https://doi.org/10.24963/ijcai.2022/546},
  doi          = {10.24963/IJCAI.2022/546},
  timestamp    = {Wed, 27 Jul 2022 16:43:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/SivagnanamKMPDS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NairPWTNADATM22,
  author       = {Vineet Nair and
                  Kritika Prakash and
                  Michael Wilbur and
                  Aparna Taneja and
                  Corinne Namblard and
                  Oyindamola Adeyemo and
                  Abhishek Dubey and
                  Abiodun Adereni and
                  Milind Tambe and
                  Ayan Mukhopadhyay},
  editor       = {Luc De Raedt},
  title        = {{ADVISER:} AI-Driven Vaccination Intervention Optimiser for Increasing
                  Vaccine Uptake in Nigeria},
  booktitle    = {Proceedings of the Thirty-First International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
                  2022},
  pages        = {5129--5135},
  publisher    = {ijcai.org},
  year         = {2022},
  url          = {https://doi.org/10.24963/ijcai.2022/712},
  doi          = {10.24963/IJCAI.2022/712},
  timestamp    = {Wed, 27 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/NairPWTNADATM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/KangMGWD22,
  author       = {Zhuangwei Kang and
                  Ayan Mukhopadhyay and
                  Aniruddha Gokhale and
                  Shi{-}Jie Wen and
                  Abhishek Dubey},
  title        = {Traffic Anomaly Detection Via Conditional Normalizing Flow},
  booktitle    = {25th {IEEE} International Conference on Intelligent Transportation
                  Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
  pages        = {2563--2570},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ITSC55140.2022.9922061},
  doi          = {10.1109/ITSC55140.2022.9922061},
  timestamp    = {Thu, 10 Nov 2022 21:13:36 +0100},
  biburl       = {https://dblp.org/rec/conf/itsc/KangMGWD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/RamakrishnaLKKD22,
  author       = {Shreyas Ramakrishna and
                  Baiting Luo and
                  Christopher B. Kuhn and
                  Gabor Karsai and
                  Abhishek Dubey},
  title        = {{ANTI-CARLA:} An Adversarial Testing Framework for Autonomous Vehicles
                  in {CARLA}},
  booktitle    = {25th {IEEE} International Conference on Intelligent Transportation
                  Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
  pages        = {2620--2627},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ITSC55140.2022.9921776},
  doi          = {10.1109/ITSC55140.2022.9921776},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itsc/RamakrishnaLKKD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/RamakrishnaJDR22,
  author       = {Shreyas Ramakrishna and
                  Hyunjee Jin and
                  Abhishek Dubey and
                  Arun Ramamurthy},
  editor       = {Mario Trapp and
                  Francesca Saglietti and
                  Marc Spisl{\"{a}}nder and
                  Friedemann Bitsch},
  title        = {Automating Pattern Selection for Assurance Case Development for Cyber-Physical
                  Systems},
  booktitle    = {Computer Safety, Reliability, and Security - 41st International Conference,
                  {SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13414},
  pages        = {82--96},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-14835-4\_6},
  doi          = {10.1007/978-3-031-14835-4\_6},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/RamakrishnaJDR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/AymanMPDL22,
  author       = {Afiya Ayman and
                  Juan Martinez and
                  Philip Pugliese and
                  Abhishek Dubey and
                  Aron Laszka},
  title        = {Neural Architecture and Feature Search for Predicting the Ridership
                  of Public Transportation Routes},
  booktitle    = {2022 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2022, Helsinki, Finland, June 20-24, 2022},
  pages        = {56--61},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SMARTCOMP55677.2022.00023},
  doi          = {10.1109/SMARTCOMP55677.2022.00023},
  timestamp    = {Tue, 19 Jul 2022 18:42:29 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/AymanMPDL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2205-11706,
  author       = {Alessandro Coglio and
                  Eric McCarthy and
                  Stephen J. Westfold and
                  Daniel Balasubramanian and
                  Abhishek Dubey and
                  Gabor Karsai},
  editor       = {Rob Sumners and
                  Cuong Chau},
  title        = {Syntheto: {A} Surface Language for {APT} and {ACL2}},
  booktitle    = {Proceedings Seventeenth International Workshop on the {ACL2} Theorem
                  Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022},
  series       = {{EPTCS}},
  volume       = {359},
  pages        = {151--167},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.359.13},
  doi          = {10.4204/EPTCS.359.13},
  timestamp    = {Tue, 05 Jul 2022 12:50:48 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2205-11706.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-11268,
  author       = {Geoffrey Pettet and
                  Hunter Baxter and
                  Sayyed Mohsen Vazirizade and
                  Hemant Purohit and
                  Meiyi Ma and
                  Ayan Mukhopadhyay and
                  Abhishek Dubey},
  title        = {Designing Decision Support Systems for Emergency Response: Challenges
                  and Opportunities},
  journal      = {CoRR},
  volume       = {abs/2202.11268},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.11268},
  eprinttype    = {arXiv},
  eprint       = {2202.11268},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-11268.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13003,
  author       = {Geoffrey Pettet and
                  Ayan Mukhopadhyay and
                  Abhishek Dubey},
  title        = {Decision Making in Non-Stationary Environments with Policy-Augmented
                  Monte Carlo Tree Search},
  journal      = {CoRR},
  volume       = {abs/2202.13003},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.13003},
  eprinttype    = {arXiv},
  eprint       = {2202.13003},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-13003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13510,
  author       = {Shreyas Ramakrishna and
                  Baiting Luo and
                  Yogesh D. Barve and
                  Gabor Karsai and
                  Abhishek Dubey},
  title        = {Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems},
  journal      = {CoRR},
  volume       = {abs/2202.13510},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.13510},
  eprinttype    = {arXiv},
  eprint       = {2202.13510},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-13510.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-15127,
  author       = {Michael Wilbur and
                  Salah Uddin Kadir and
                  Youngseo Kim and
                  Geoffrey Pettet and
                  Ayan Mukhopadhyay and
                  Philip Pugliese and
                  Samitha Samaranayake and
                  Aron Laszka and
                  Abhishek Dubey},
  title        = {An Online Approach to Solve the Dynamic Vehicle Routing Problem with
                  Stochastic Trip Requests for Paratransit Services},
  journal      = {CoRR},
  volume       = {abs/2203.15127},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.15127},
  doi          = {10.48550/ARXIV.2203.15127},
  eprinttype    = {arXiv},
  eprint       = {2203.15127},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-15127.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-11992,
  author       = {Amutheezan Sivagnanam and
                  Salah Uddin Kadir and
                  Ayan Mukhopadhyay and
                  Philip Pugliese and
                  Abhishek Dubey and
                  Samitha Samaranayake and
                  Aron Laszka},
  title        = {Offline Vehicle Routing Problem with Online Bookings: {A} Novel Problem
                  Formulation with Applications to Paratransit},
  journal      = {CoRR},
  volume       = {abs/2204.11992},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.11992},
  doi          = {10.48550/ARXIV.2204.11992},
  eprinttype    = {arXiv},
  eprint       = {2204.11992},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-11992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-13663,
  author       = {Vineet Nair and
                  Kritika Prakash and
                  Michael Wilbur and
                  Aparna Taneja and
                  Corinne Namblard and
                  Oyindamola Adeyemo and
                  Abhishek Dubey and
                  Abiodun Adereni and
                  Milind Tambe and
                  Ayan Mukhopadhyay},
  title        = {{ADVISER:} AI-Driven Vaccination Intervention Optimiser for Increasing
                  Vaccine Uptake in Nigeria},
  journal      = {CoRR},
  volume       = {abs/2204.13663},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.13663},
  doi          = {10.48550/ARXIV.2204.13663},
  eprinttype    = {arXiv},
  eprint       = {2204.13663},
  timestamp    = {Wed, 27 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-13663.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-14597,
  author       = {Zhuangwei Kang and
                  Ayan Mukhopadhyay and
                  Aniruddha Gokhale and
                  Shi{-}Jie Wen and
                  Abhishek Dubey},
  title        = {Generative Anomaly Detection for Time Series Datasets},
  journal      = {CoRR},
  volume       = {abs/2206.14597},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.14597},
  doi          = {10.48550/ARXIV.2206.14597},
  eprinttype    = {arXiv},
  eprint       = {2206.14597},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-14597.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-06309,
  author       = {Shreyas Ramakrishna and
                  Baiting Luo and
                  Christopher B. Kuhn and
                  Gabor Karsai and
                  Abhishek Dubey},
  title        = {{ANTI-CARLA:} An Adversarial Testing Framework for Autonomous Vehicles
                  in {CARLA}},
  journal      = {CoRR},
  volume       = {abs/2208.06309},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2208.06309},
  doi          = {10.48550/ARXIV.2208.06309},
  eprinttype    = {arXiv},
  eprint       = {2208.06309},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-06309.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-04989,
  author       = {Jose Paolo Talusan and
                  Ayan Mukhopadhyay and
                  Daniel Freudberg and
                  Abhishek Dubey},
  title        = {On Designing Day Ahead and Same Day Ridership Level Prediction Models
                  for City-Scale Transit Networks Using Noisy {APC} Data},
  journal      = {CoRR},
  volume       = {abs/2210.04989},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.04989},
  doi          = {10.48550/ARXIV.2210.04989},
  eprinttype    = {arXiv},
  eprint       = {2210.04989},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-04989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-12007,
  author       = {Sophie Pavia and
                  Juan Carlos Mart{\'{\i}}nez Mori and
                  Aryaman Sharma and
                  Philip Pugliese and
                  Abhishek Dubey and
                  Samitha Samaranayake and
                  Ayan Mukhopadhyay},
  title        = {Designing Equitable Transit Networks},
  journal      = {CoRR},
  volume       = {abs/2212.12007},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2212.12007},
  doi          = {10.48550/ARXIV.2212.12007},
  eprinttype    = {arXiv},
  eprint       = {2212.12007},
  timestamp    = {Wed, 04 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2212-12007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/NannapaneniMDL21,
  author       = {Saideep Nannapaneni and
                  Sankaran Mahadevan and
                  Abhishek Dubey and
                  Yung{-}Tsun Tina Lee},
  title        = {Online monitoring and control of a cyber-physical manufacturing process
                  under uncertainty},
  journal      = {J. Intell. Manuf.},
  volume       = {32},
  number       = {5},
  pages        = {1289--1304},
  year         = {2021},
  url          = {https://doi.org/10.1007/s10845-020-01609-7},
  doi          = {10.1007/S10845-020-01609-7},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jim/NannapaneniMDL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/BasakSWD21,
  author       = {Sanchita Basak and
                  Saptarshi Sengupta and
                  Shi{-}Jie Wen and
                  Abhishek Dubey},
  title        = {Spatio-temporal {AI} inference engine for estimating hard disk reliability},
  journal      = {Pervasive Mob. Comput.},
  volume       = {70},
  pages        = {101283},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.pmcj.2020.101283},
  doi          = {10.1016/J.PMCJ.2020.101283},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/percom/BasakSWD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/EiseleECALD21,
  author       = {Scott Eisele and
                  Taha Eghtesad and
                  Keegan Campanelli and
                  Prakhar Agrawal and
                  Aron Laszka and
                  Abhishek Dubey},
  title        = {Safe and Private Forward-trading Platform for Transactive Microgrids},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {5},
  number       = {1},
  pages        = {8:1--8:29},
  year         = {2021},
  url          = {https://doi.org/10.1145/3403711},
  doi          = {10.1145/3403711},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcps/EiseleECALD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SivagnanamAWPDL21,
  author       = {Amutheezan Sivagnanam and
                  Afiya Ayman and
                  Michael Wilbur and
                  Philip Pugliese and
                  Abhishek Dubey and
                  Aron Laszka},
  title        = {Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route
                  Service},
  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        = {14930--14938},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i17.17752},
  doi          = {10.1609/AAAI.V35I17.17752},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/SivagnanamAWPDL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ChhokraBDKK21,
  author       = {Ajay Chhokra and
                  Carlos A. Barreto and
                  Abhishek Dubey and
                  Gabor Karsai and
                  Xenofon D. Koutsoukos},
  editor       = {Edmund Widl},
  title        = {Power-attack: a comprehensive tool-chain for modeling and simulating
                  attacks in power systems},
  booktitle    = {MSCPES@CPSIoTWeek '21: Proceedings of the 9th Workshop on Modeling
                  and Simulation of Cyber-Physical Energy Systems, Virtual Event, May
                  19 - 21, 2021},
  pages        = {5:1--5:6},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3470481.3472705},
  doi          = {10.1145/3470481.3472705},
  timestamp    = {Thu, 11 Nov 2021 17:36:18 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/ChhokraBDKK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/MustafaBSCSDMB21,
  author       = {Hussain M. Mustafa and
                  Mohini Bariya and
                  K. S. Sajan and
                  Ajay Chhokra and
                  Anurag Srivastava and
                  Abhishek Dubey and
                  Alexandra von Meier and
                  Gautam Biswas},
  editor       = {Edmund Widl},
  title        = {{RT-METER:} a real-time, multi-layer cyber-power testbed for resiliency
                  analysis},
  booktitle    = {MSCPES@CPSIoTWeek '21: Proceedings of the 9th Workshop on Modeling
                  and Simulation of Cyber-Physical Energy Systems, Virtual Event, May
                  19 - 21, 2021},
  pages        = {8:1--8:7},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3470481.3472708},
  doi          = {10.1145/3470481.3472708},
  timestamp    = {Wed, 18 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/MustafaBSCSDMB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PettetMKD21,
  author       = {Geoffrey Pettet and
                  Ayan Mukhopadhyay and
                  Mykel J. Kochenderfer and
                  Abhishek Dubey},
  editor       = {Martina Maggio and
                  James Weimer and
                  Mohammad Al Farque and
                  Meeko Oishi},
  title        = {Hierarchical planning for resource allocation in emergency response
                  systems},
  booktitle    = {{ICCPS} '21: {ACM/IEEE} 12th International Conference on Cyber-Physical
                  Systems, Nashville, Tennessee, USA, May 19-21, 2021},
  pages        = {155--166},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3450267.3450543},
  doi          = {10.1145/3450267.3450543},
  timestamp    = {Wed, 04 May 2022 13:03:26 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/PettetMKD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/SenarathMVPND21,
  author       = {Yasas Senarath and
                  Ayan Mukhopadhyay and
                  Sayyed Mohsen Vazirizade and
                  Hemant Purohit and
                  Saideep Nannapaneni and
                  Abhishek Dubey},
  editor       = {James Bailey and
                  Pauli Miettinen and
                  Yun Sing Koh and
                  Dacheng Tao and
                  Xindong Wu},
  title        = {Practitioner-Centric Approach for Early Incident Detection Using Crowdsourced
                  Data for Emergency Services},
  booktitle    = {{IEEE} International Conference on Data Mining, {ICDM} 2021, Auckland,
                  New Zealand, December 7-10, 2021},
  pages        = {1318--1323},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICDM51629.2021.00164},
  doi          = {10.1109/ICDM51629.2021.00164},
  timestamp    = {Mon, 31 Jan 2022 08:58:55 +0100},
  biburl       = {https://dblp.org/rec/conf/icdm/SenarathMVPND21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/HartsellMDK21,
  author       = {Charles Hartsell and
                  Nagabhushan Mahadevan and
                  Abhishek Dubey and
                  Gabor Karsai},
  title        = {Automated Method for Assurance Case Construction from System Design
                  Models},
  booktitle    = {5th International Conference on System Reliability and Safety, {ICSRS}
                  2021, Palermo, Italy, November 24-26, 2021},
  pages        = {230--239},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICSRS53853.2021.9660735},
  doi          = {10.1109/ICSRS53853.2021.9660735},
  timestamp    = {Tue, 11 Jan 2022 13:04:53 +0100},
  biburl       = {https://dblp.org/rec/conf/icsrs/HartsellMDK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotdi/KangBBDG21,
  author       = {Zhuangwei Kang and
                  Yogesh D. Barve and
                  Shunxing Bao and
                  Abhishek Dubey and
                  Aniruddha Gokhale},
  title        = {Configuration Tuning for Distributed IoT Message Systems Using Deep
                  Reinforcement Learning: Poster Abstract},
  booktitle    = {IoTDI '21: International Conference on Internet-of-Things Design and
                  Implementation, Virtual Event / Charlottesville, VA, USA, May 18-21,
                  2021},
  pages        = {273--274},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3450268.3453517},
  doi          = {10.1145/3450268.3453517},
  timestamp    = {Thu, 20 May 2021 08:39:53 +0200},
  biburl       = {https://dblp.org/rec/conf/iotdi/KangBBDG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgt/PettetGMDSDK21,
  author       = {Geoffrey Pettet and
                  Malini Ghosal and
                  Shant Mahserejian and
                  Sarah Davis and
                  Siddharth Sridhar and
                  Abhishek Dubey and
                  Michael Kintner{-}Meyer},
  title        = {A Decision Support Framework for Grid-Aware Electric Bus Charge Scheduling},
  booktitle    = {{IEEE} Power {\&} Energy Society Innovative Smart Grid Technologies
                  Conference, {ISGT} 2021, Washington, DC, USA, February 16-18, 2021},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ISGT49243.2021.9372174},
  doi          = {10.1109/ISGT49243.2021.9372174},
  timestamp    = {Thu, 25 Mar 2021 12:12:08 +0100},
  biburl       = {https://dblp.org/rec/conf/isgt/PettetGMDSDK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Balasubramanian21,
  author       = {Daniel Balasubramanian and
                  Alessandro Coglio and
                  Abhishek Dubey and
                  Gabor Karsai},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Towards Model-Based Intent-Driven Adaptive Software},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation
                  - 10th International Symposium on Leveraging Applications of Formal
                  Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13036},
  pages        = {378--392},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-89159-6\_24},
  doi          = {10.1007/978-3-030-89159-6\_24},
  timestamp    = {Thu, 14 Oct 2021 09:48:48 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Balasubramanian21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/SinglaMWDGEKSD21,
  author       = {Samriddhi Singla and
                  Ayan Mukhopadhyay and
                  Michael Wilbur and
                  Tina Diao and
                  Vinayak Gajjewar and
                  Ahmed Eldawy and
                  Mykel J. Kochenderfer and
                  Ross D. Shachter and
                  Abhishek Dubey},
  editor       = {Joaquin Vanschoren and
                  Sai{-}Kit Yeung},
  title        = {WildfireDB: An Open-Source Dataset Connecting Wildfire Occurrence
                  with Relevant Determinants},
  booktitle    = {Proceedings of the Neural Information Processing Systems Track on
                  Datasets and Benchmarks 1, NeurIPS Datasets and Benchmarks 2021, December
                  2021, virtual},
  year         = {2021},
  url          = {https://datasets-benchmarks-proceedings.neurips.cc/paper/2021/hash/3fe94a002317b5f9259f82690aeea4cd-Abstract-round2.html},
  timestamp    = {Thu, 05 May 2022 16:30:03 +0200},
  biburl       = {https://dblp.org/rec/conf/nips/SinglaMWDGEKSD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/WilburMVPLD21,
  author       = {Michael Wilbur and
                  Ayan Mukhopadhyay and
                  Sayyed Vazirizade and
                  Philip Pugliese and
                  Aron Laszka and
                  Abhishek Dubey},
  editor       = {Yuxiao Dong and
                  Nicolas Kourtellis and
                  Barbara Hammer and
                  Jos{\'{e}} Antonio Lozano},
  title        = {Energy and Emission Prediction for Mixed-Vehicle Transit Fleets Using
                  Multi-task and Inductive Transfer Learning},
  booktitle    = {Machine Learning and Knowledge Discovery in Databases. Applied Data
                  Science Track - European Conference, {ECML} {PKDD} 2021, Bilbao, Spain,
                  September 13-17, 2021, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12978},
  pages        = {502--517},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86514-6\_31},
  doi          = {10.1007/978-3-030-86514-6\_31},
  timestamp    = {Wed, 28 Jun 2023 16:19:42 +0200},
  biburl       = {https://dblp.org/rec/conf/pkdd/WilburMVPLD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seams/HartsellRDSMK21,
  author       = {Charles Hartsell and
                  Shreyas Ramakrishna and
                  Abhishek Dubey and
                  D{\'{a}}niel Stojcsics and
                  Nagabhushan Mahadevan and
                  Gabor Karsai},
  title        = {ReSonAte: {A} Runtime Risk Assessment Framework for Autonomous Systems},
  booktitle    = {16th International Symposium on Software Engineering for Adaptive
                  and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18-24,
                  2021},
  pages        = {118--129},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SEAMS51251.2021.00025},
  doi          = {10.1109/SEAMS51251.2021.00025},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seams/HartsellRDSMK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/BurrussRD21,
  author       = {Matthew P. Burruss and
                  Shreyas Ramakrishna and
                  Abhishek Dubey},
  title        = {Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical
                  Systems},
  booktitle    = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2021,
                  Irvine, CA, USA, August 23-27, 2021},
  pages        = {55--60},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SMARTCOMP52413.2021.00028},
  doi          = {10.1109/SMARTCOMP52413.2021.00028},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartcomp/BurrussRD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/SunGNCUSPLD21,
  author       = {Ruixiao Sun and
                  Rongze Gui and
                  Himanshu Neema and
                  Yuche Chen and
                  Juliette Ugirumurera and
                  Joseph Severino and
                  Philip Pugliese and
                  Aron Laszka and
                  Abhishek Dubey},
  title        = {{TRANSIT-GYM:} {A} Simulation and Evaluation Engine for Analysis of
                  Bus Transit Systems},
  booktitle    = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2021,
                  Irvine, CA, USA, August 23-27, 2021},
  pages        = {69--76},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SMARTCOMP52413.2021.00030},
  doi          = {10.1109/SMARTCOMP52413.2021.00030},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/SunGNCUSPLD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/TiausasTIYYBDYD21,
  author       = {Francis Tiausas and
                  Jose Paolo Talusan and
                  Yu Ishimaki and
                  Hayato Yamana and
                  Hirozumi Yamaguchi and
                  Shameek Bhattacharjee and
                  Abhishek Dubey and
                  Keiichi Yasumoto and
                  Sajal K. Das},
  title        = {User-centric Distributed Route Planning in Smart Cities based on Multi-objective
                  Optimization},
  booktitle    = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2021,
                  Irvine, CA, USA, August 23-27, 2021},
  pages        = {77--82},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SMARTCOMP52413.2021.00031},
  doi          = {10.1109/SMARTCOMP52413.2021.00031},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartcomp/TiausasTIYYBDYD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/VazirizadeMPSBD21,
  author       = {Sayyed Mohsen Vazirizade and
                  Ayan Mukhopadhyay and
                  Geoffrey Pettet and
                  Said El Said and
                  Hiba Baroud and
                  Abhishek Dubey},
  title        = {Learning Incident Prediction Models Over Large Geographical Areas
                  for Emergency Response},
  booktitle    = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2021,
                  Irvine, CA, USA, August 23-27, 2021},
  pages        = {424--429},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SMARTCOMP52413.2021.00091},
  doi          = {10.1109/SMARTCOMP52413.2021.00091},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/VazirizadeMPSBD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-09261,
  author       = {Michael Wilbur and
                  Philip Pugliese and
                  Aron Laszka and
                  Abhishek Dubey},
  title        = {Efficient Data Management for Intelligent Urban Mobility Systems},
  journal      = {CoRR},
  volume       = {abs/2101.09261},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.09261},
  eprinttype    = {arXiv},
  eprint       = {2101.09261},
  timestamp    = {Sat, 30 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-09261.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-09419,
  author       = {Charles Hartsell and
                  Shreyas Ramakrishna and
                  Abhishek Dubey and
                  D{\'{a}}niel Stojcsics and
                  Nagabhushan Mahadevan and
                  Gabor Karsai},
  title        = {ReSonAte: {A} Runtime Risk Assessment Framework for Autonomous Systems},
  journal      = {CoRR},
  volume       = {abs/2102.09419},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.09419},
  eprinttype    = {arXiv},
  eprint       = {2102.09419},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-09419.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-14172,
  author       = {Matthew P. Burruss and
                  Shreyas Ramakrishna and
                  Abhishek Dubey},
  title        = {Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical
                  Systems},
  journal      = {CoRR},
  volume       = {abs/2103.14172},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.14172},
  eprinttype    = {arXiv},
  eprint       = {2103.14172},
  timestamp    = {Wed, 07 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-14172.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-08307,
  author       = {Sayyed Mohsen Vazirizade and
                  Ayan Mukhopadhyay and
                  Geoffrey Pettet and
                  Said El Said and
                  Hiba Baroud and
                  Abhishek Dubey},
  title        = {Learning Incident Prediction Models Over Large Geographical Areas
                  for Emergency Response Systems},
  journal      = {CoRR},
  volume       = {abs/2106.08307},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.08307},
  eprinttype    = {arXiv},
  eprint       = {2106.08307},
  timestamp    = {Tue, 29 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-08307.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-00105,
  author       = {Ruixiao Sun and
                  Rongze Gui and
                  Himanshu Neema and
                  Yuche Chen and
                  Juliette Ugirumurera and
                  Joseph Severino and
                  Philip Pugliese and
                  Aron Laszka and
                  Abhishek Dubey},
  title        = {Transit-Gym: {A} Simulation and Evaluation Engine for Analysis of
                  Bus Transit Systems},
  journal      = {CoRR},
  volume       = {abs/2107.00105},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.00105},
  eprinttype    = {arXiv},
  eprint       = {2107.00105},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-00105.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-01292,
  author       = {Geoffrey Pettet and
                  Ayan Mukhopadhyay and
                  Mykel J. Kochenderfer and
                  Abhishek Dubey},
  title        = {Hierarchical Planning for Dynamic Resource Allocation in Smart and
                  Connected Communities},
  journal      = {CoRR},
  volume       = {abs/2107.01292},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.01292},
  eprinttype    = {arXiv},
  eprint       = {2107.01292},
  timestamp    = {Wed, 07 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-01292.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-05756,
  author       = {Salah U. Kadir and
                  Subir Majumder and
                  Ajay Dev Chhokra and
                  Abhishek Dubey and
                  Himanshu Neema and
                  Aron Laszka and
                  Anurag K. Srivastava},
  title        = {Reinforcement Learning based Proactive Control for Transmission Grid
                  Resilience to Wildfire},
  journal      = {CoRR},
  volume       = {abs/2107.05756},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.05756},
  eprinttype    = {arXiv},
  eprint       = {2107.05756},
  timestamp    = {Tue, 20 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-05756.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-11800,
  author       = {Shreyas Ramakrishna and
                  Zahra RahimiNasab and
                  Gabor Karsai and
                  Arvind Easwaran and
                  Abhishek Dubey},
  title        = {Efficient Out-of-Distribution Detection Using Latent Space of {\(\beta\)}-VAE
                  for Cyber-Physical Systems},
  journal      = {CoRR},
  volume       = {abs/2108.11800},
  year         = {2021},
  url          = {https://arxiv.org/abs/2108.11800},
  eprinttype    = {arXiv},
  eprint       = {2108.11800},
  timestamp    = {Fri, 27 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2108-11800.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-02012,
  author       = {Yasas Senarath and
                  Ayan Mukhopadhyay and
                  Sayyed Mohsen Vazirizade and
                  Hemant Purohit and
                  Saideep Nannapaneni and
                  Abhishek Dubey},
  title        = {Practitioner-Centric Approach for Early Incident Detection Using Crowdsourced
                  Data for Emergency Services},
  journal      = {CoRR},
  volume       = {abs/2112.02012},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.02012},
  eprinttype    = {arXiv},
  eprint       = {2112.02012},
  timestamp    = {Tue, 07 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-02012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/TalusanWDY20,
  author       = {Jose Paolo Talusan and
                  Michael Wilbur and
                  Abhishek Dubey and
                  Keiichi Yasumoto},
  title        = {Route Planning Through Distributed Computing by Road Side Units},
  journal      = {{IEEE} Access},
  volume       = {8},
  pages        = {176134--176148},
  year         = {2020},
  url          = {https://doi.org/10.1109/ACCESS.2020.3026677},
  doi          = {10.1109/ACCESS.2020.3026677},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/TalusanWDY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/EiseleBDKELM20,
  author       = {Scott Eisele and
                  Carlos A. Barreto and
                  Abhishek Dubey and
                  Xenofon D. Koutsoukos and
                  Taha Eghtesad and
                  Aron Laszka and
                  Anastasia Mavridou},
  title        = {Blockchains for Transactive Energy Systems: Opportunities, Challenges,
                  and Approaches},
  journal      = {Computer},
  volume       = {53},
  number       = {9},
  pages        = {66--76},
  year         = {2020},
  url          = {https://doi.org/10.1109/MC.2020.3002997},
  doi          = {10.1109/MC.2020.3002997},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/EiseleBDKELM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fbloc/EiseleLSD20,
  author       = {Scott Eisele and
                  Aron Laszka and
                  Douglas C. Schmidt and
                  Abhishek Dubey},
  title        = {The Role of Blockchains in Multi-Stakeholder Transactive Energy Systems},
  journal      = {Frontiers Blockchain},
  volume       = {3},
  pages        = {593471},
  year         = {2020},
  url          = {https://doi.org/10.3389/fbloc.2020.593471},
  doi          = {10.3389/FBLOC.2020.593471},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fbloc/EiseleLSD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ShekharCSGDKK20,
  author       = {Shashank Shekhar and
                  Ajay Chhokra and
                  Hongyang Sun and
                  Aniruddha Gokhale and
                  Abhishek Dubey and
                  Xenofon D. Koutsoukos and
                  Gabor Karsai},
  title        = {{URMILA:} Dynamically trading-off fog and edge resources for performance
                  and mobility-aware IoT services},
  journal      = {J. Syst. Archit.},
  volume       = {107},
  pages        = {101710},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.sysarc.2020.101710},
  doi          = {10.1016/J.SYSARC.2020.101710},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/ShekharCSGDKK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/GhoshEDMMVK20,
  author       = {Purboday Ghosh and
                  Scott Eisele and
                  Abhishek Dubey and
                  Mary Metelko and
                  Istv{\'{a}}n Madari and
                  P{\'{e}}ter V{\"{o}}lgyesi and
                  Gabor Karsai},
  title        = {Designing a decentralized fault-tolerant software framework for smart
                  grids and its applications},
  journal      = {J. Syst. Archit.},
  volume       = {109},
  pages        = {101759},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.sysarc.2020.101759},
  doi          = {10.1016/J.SYSARC.2020.101759},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsa/GhoshEDMMVK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/RamakrishnaHBKD20,
  author       = {Shreyas Ramakrishna and
                  Charles Hartsell and
                  Matthew P. Burruss and
                  Gabor Karsai and
                  Abhishek Dubey},
  title        = {Dynamic-weighted simplex strategy for learning enabled cyber physical
                  systems},
  journal      = {J. Syst. Archit.},
  volume       = {111},
  pages        = {101760},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.sysarc.2020.101760},
  doi          = {10.1016/J.SYSARC.2020.101760},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/RamakrishnaHBKD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/TuDYDLK20,
  author       = {Hao Tu and
                  Yuhua Du and
                  Hui Yu and
                  Abhishek Dubey and
                  Srdjan M. Lukic and
                  Gabor Karsai},
  title        = {Resilient Information Architecture Platform for the Smart Grid: {A}
                  Novel Open-Source Platform for Microgrid Control},
  journal      = {{IEEE} Trans. Ind. Electron.},
  volume       = {67},
  number       = {11},
  pages        = {9393--9404},
  year         = {2020},
  url          = {https://doi.org/10.1109/TIE.2019.2952803},
  doi          = {10.1109/TIE.2019.2952803},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tie/TuDYDLK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ChhokraHDK20,
  author       = {Ajay Chhokra and
                  Saqib Hasan and
                  Abhishek Dubey and
                  Gabor Karsai},
  title        = {A Binary Decision Diagram Based Cascade Prognostics Scheme For Power
                  Systems},
  booktitle    = {2020 American Control Conference, {ACC} 2020, Denver, CO, USA, July
                  1-3, 2020},
  pages        = {3011--3016},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/ACC45564.2020.9147902},
  doi          = {10.23919/ACC45564.2020.9147902},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/ChhokraHDK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/PettetMKVD20,
  author       = {Geoffrey Pettet and
                  Ayan Mukhopadhyay and
                  Mykel J. Kochenderfer and
                  Yevgeniy Vorobeychik and
                  Abhishek Dubey},
  editor       = {Amal El Fallah Seghrouchni and
                  Gita Sukthankar and
                  Bo An and
                  Neil Yorke{-}Smith},
  title        = {On Algorithmic Decision Procedures in Emergency Response Systems in
                  Smart and Connected Communities},
  booktitle    = {Proceedings of the 19th International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
                  2020},
  pages        = {1046--1054},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems},
  year         = {2020},
  url          = {https://dl.acm.org/doi/10.5555/3398761.3398883},
  doi          = {10.5555/3398761.3398883},
  timestamp    = {Tue, 26 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/PettetMKVD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/debs/EiseleETLD20,
  author       = {Scott Eisele and
                  Taha Eghtesad and
                  Nicholas Troutman and
                  Aron Laszka and
                  Abhishek Dubey},
  editor       = {Julien Gascon{-}Samson and
                  Kaiwen Zhang and
                  Khuzaima Daudjee and
                  Bettina Kemme},
  title        = {Mechanisms for outsourcing computation via a decentralized market},
  booktitle    = {14th {ACM} International Conference on Distributed and Event-based
                  Systems, {DEBS} 2020, Montreal, Quebec, Canada, July 13-17, 2020},
  pages        = {61--72},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3401025.3401737},
  doi          = {10.1145/3401025.3401737},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/debs/EiseleETLD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/RamakrishnaRED20,
  author       = {Shreyas Ramakrishna and
                  Zahra RahimiNasab and
                  Arvind Easwaran and
                  Abhishek Dubey},
  editor       = {Tulika Mitra and
                  Andreas Gerstlauer},
  title        = {Efficient Multi-Class Out-of-Distribution Reasoning for Perception
                  Based Networks: Work-in-Progress},
  booktitle    = {20th International Conference on Embedded Software, {EMSOFT} 2020,
                  Singapore, September 20-25, 2020},
  pages        = {40--42},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/EMSOFT51651.2020.9244027},
  doi          = {10.1109/EMSOFT51651.2020.9244027},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/RamakrishnaRED20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfc/TalusanWDY20,
  author       = {Jose Paolo Talusan and
                  Michael Wilbur and
                  Abhishek Dubey and
                  Keiichi Yasumoto},
  title        = {On Decentralized Route Planning Using the Road Side Units as Computing
                  Resources},
  booktitle    = {2020 {IEEE} International Conference on Fog Computing, {ICFC} 2020,
                  Sydney, Australia, April 21-24, 2020},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICFC49376.2020.00009},
  doi          = {10.1109/ICFC49376.2020.00009},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfc/TalusanWDY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfec/BhattacharjeeCS20,
  author       = {Anirban Bhattacharjee and
                  Ajay Dev Chhokra and
                  Hongyang Sun and
                  Shashank Shekhar and
                  Aniruddha Gokhale and
                  Gabor Karsai and
                  Abhishek Dubey},
  title        = {Deep-Edge: An Efficient Framework for Deep Learning Model Update on
                  Heterogeneous Edge},
  booktitle    = {4th {IEEE} International Conference on Fog and Edge Computing, {ICFEC}
                  2020, Melbourne, Australia, May 11-14, 2020},
  pages        = {75--84},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICFEC50348.2020.00016},
  doi          = {10.1109/ICFEC50348.2020.00016},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfec/BhattacharjeeCS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/BarretoEELDK20,
  author       = {Carlos A. Barreto and
                  Taha Eghtesad and
                  Scott Eisele and
                  Aron Laszka and
                  Abhishek Dubey and
                  Xenofon D. Koutsoukos},
  title        = {Cyber-Attacks and Mitigation in Blockchain Based Transactive Energy
                  Systems},
  booktitle    = {{IEEE} Conference on Industrial Cyberphysical Systems, {ICPS} 2020,
                  Tampere, Finland, June 10-12, 2020},
  pages        = {129--136},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICPS48405.2020.9274708},
  doi          = {10.1109/ICPS48405.2020.9274708},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icphys/BarretoEELDK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/WilburSTYD20,
  author       = {Michael Wilbur and
                  Chinmaya Samal and
                  Jose Paolo Talusan and
                  Keiichi Yasumoto and
                  Abhishek Dubey},
  title        = {Time-dependent Decentralized Routing using Federated Learning},
  booktitle    = {23rd {IEEE} International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2020, Nashville, TN, USA, May 19-21, 2020},
  pages        = {56--64},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISORC49007.2020.00018},
  doi          = {10.1109/ISORC49007.2020.00018},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isorc/WilburSTYD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PotteigerCDKZ20,
  author       = {Bradley Potteiger and
                  Feiyang Cai and
                  Abhishek Dubey and
                  Xenofon D. Koutsoukos and
                  Zhenkai Zhang},
  title        = {Security in Mixed Time and Event Triggered Cyber-Physical Systems
                  using Moving Target Defense},
  booktitle    = {23rd {IEEE} International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2020, Nashville, TN, USA, May 19-21, 2020},
  pages        = {89--97},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISORC49007.2020.00022},
  doi          = {10.1109/ISORC49007.2020.00022},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isorc/PotteigerCDKZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/ChhokraMDK20,
  author       = {Ajay Chhokra and
                  Nagabhushan Mahadevan and
                  Abhishek Dubey and
                  Gabor Karsai},
  editor       = {Abdelouahed Gherbi and
                  Wahab Hamou{-}Lhadj and
                  Ahmed Bali},
  title        = {Qualitative Fault Modeling in Safety Critical Cyber Physical Systems},
  booktitle    = {{SAM} '20: 12th System Analysis and Modelling Conference, Virtual
                  Event, Canada, October 19-20, 2020},
  pages        = {128--137},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3419804.3420273},
  doi          = {10.1145/3419804.3420273},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sam/ChhokraMDK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/AymanWSPDL20,
  author       = {Afiya Ayman and
                  Michael Wilbur and
                  Amutheezan Sivagnanam and
                  Philip Pugliese and
                  Abhishek Dubey and
                  Aron Laszka},
  title        = {Data-Driven Prediction of Route-Level Energy Use for Mixed-Vehicle
                  Transit Fleets},
  booktitle    = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2020,
                  Bologna, Italy, September 14-17, 2020},
  pages        = {41--48},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SMARTCOMP50058.2020.00026},
  doi          = {10.1109/SMARTCOMP50058.2020.00026},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/AymanWSPDL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/SundarRRED20,
  author       = {Vijaya Kumar Sundar and
                  Shreyas Ramakrishna and
                  Zahra RahimiNasab and
                  Arvind Easwaran and
                  Abhishek Dubey},
  title        = {Out-of-Distribution Detection in Multi-Label Datasets using Latent
                  Space of {\(\beta\)}-VAE},
  booktitle    = {2020 {IEEE} Security and Privacy Workshops, {SP} Workshops, San Francisco,
                  CA, USA, May 21, 2020},
  pages        = {250--255},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SPW50608.2020.00057},
  doi          = {10.1109/SPW50608.2020.00057},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sp/SundarRRED20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/SenarathNPD20,
  author       = {Yasas Senarath and
                  Saideep Nannapaneni and
                  Hemant Purohit and
                  Abhishek Dubey},
  editor       = {Jing He and
                  Hemant Purohit and
                  Guangyan Huang and
                  Xiaoying Gao and
                  Ke Deng},
  title        = {Emergency Incident Detection from Crowdsourced Waze Data using Bayesian
                  Information Fusion},
  booktitle    = {{IEEE/WIC/ACM} International Joint Conference on Web Intelligence
                  and Intelligent Agent Technology, {WI/IAT} 2020, Melbourne, Australia,
                  December 14-17, 2020},
  pages        = {187--194},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/WIIAT50758.2020.00029},
  doi          = {10.1109/WIIAT50758.2020.00029},
  timestamp    = {Mon, 28 Jun 2021 11:58:10 +0200},
  biburl       = {https://dblp.org/rec/conf/webi/SenarathNPD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07362,
  author       = {Geoffrey Pettet and
                  Ayan Mukhopadhyay and
                  Mykel J. Kochenderfer and
                  Yevgeniy Vorobeychik and
                  Abhishek Dubey},
  title        = {On Algorithmic Decision Procedures in Emergency Response Systems in
                  Smart and Connected Communities},
  journal      = {CoRR},
  volume       = {abs/2001.07362},
  year         = {2020},
  url          = {https://arxiv.org/abs/2001.07362},
  eprinttype    = {arXiv},
  eprint       = {2001.07362},
  timestamp    = {Fri, 24 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-07362.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-05388,
  author       = {Shreyas Ramakrishna and
                  Charles Hartsell and
                  Abhishek Dubey and
                  Partha Pratim Pal and
                  Gabor Karsai},
  title        = {A Methodology for Automating Assurance Case Generation},
  journal      = {CoRR},
  volume       = {abs/2003.05388},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.05388},
  eprinttype    = {arXiv},
  eprint       = {2003.05388},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-05388.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08740,
  author       = {Vijaya Kumar Sundar and
                  Shreyas Ramakrishna and
                  Zahra RahimiNasab and
                  Arvind Easwaran and
                  Abhishek Dubey},
  title        = {Out-of-Distribution Detection in Multi-Label Datasets using Latent
                  Space of {\(\beta\)}-VAE},
  journal      = {CoRR},
  volume       = {abs/2003.08740},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.08740},
  eprinttype    = {arXiv},
  eprint       = {2003.08740},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-08740.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-12873,
  author       = {Yuche Chen and
                  Guoyuan Wu and
                  Ruixiao Sun and
                  Abhishek Dubey and
                  Aron Laszka and
                  Philip Pugliese},
  title        = {A Review and Outlook of Energy Consumption Estimation Models for Electric
                  Vehicles},
  journal      = {CoRR},
  volume       = {abs/2003.12873},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.12873},
  eprinttype    = {arXiv},
  eprint       = {2003.12873},
  timestamp    = {Mon, 22 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-12873.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05146,
  author       = {Amutheezan Sivagnanam and
                  Afiya Ayman and
                  Michael Wilbur and
                  Philip Pugliese and
                  Abhishek Dubey and
                  Aron Laszka},
  title        = {Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route
                  Service},
  journal      = {CoRR},
  volume       = {abs/2004.05146},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.05146},
  eprinttype    = {arXiv},
  eprint       = {2004.05146},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-05146.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05654,
  author       = {Charles Hartsell and
                  Nagabhushan Mahadevan and
                  Harmon Nine and
                  Ted Bapty and
                  Abhishek Dubey and
                  Gabor Karsai},
  title        = {Workflow Automation for Cyber Physical System Development Processes},
  journal      = {CoRR},
  volume       = {abs/2004.05654},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.05654},
  eprinttype    = {arXiv},
  eprint       = {2004.05654},
  timestamp    = {Tue, 14 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-05654.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05740,
  author       = {Anirban Bhattacharjee and
                  Ajay Dev Chhokra and
                  Hongyang Sun and
                  Shashank Shekhar and
                  Aniruddha Gokhale and
                  Gabor Karsai and
                  Abhishek Dubey},
  title        = {Deep-Edge: An Efficient Framework for Deep Learning Model Update on
                  Heterogeneous Edge},
  journal      = {CoRR},
  volume       = {abs/2004.05740},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.05740},
  eprinttype    = {arXiv},
  eprint       = {2004.05740},
  timestamp    = {Thu, 27 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-05740.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-06043,
  author       = {Afiya Ayman and
                  Michael Wilbur and
                  Amutheezan Sivagnanam and
                  Philip Pugliese and
                  Abhishek Dubey and
                  Aron Laszka},
  title        = {Data-Driven Prediction of Route-Level Energy Use for Mixed-Vehicle
                  Transit Fleets},
  journal      = {CoRR},
  volume       = {abs/2004.06043},
  year         = {2020},
  url          = {https://arxiv.org/abs/2004.06043},
  eprinttype    = {arXiv},
  eprint       = {2004.06043},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-06043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-11429,
  author       = {Scott Eisele and
                  Taha Eghtesad and
                  Nicholas Troutman and
                  Aron Laszka and
                  Abhishek Dubey},
  title        = {Mechanisms for Outsourcing Computation via a Decentralized Market},
  journal      = {CoRR},
  volume       = {abs/2005.11429},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.11429},
  eprinttype    = {arXiv},
  eprint       = {2005.11429},
  timestamp    = {Thu, 28 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-11429.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-04200,
  author       = {Ayan Mukhopadhyay and
                  Geoffrey Pettet and
                  Sayyed Vazirizade and
                  Yevgeniy Vorobeychik and
                  Mykel J. Kochenderfer and
                  Abhishek Dubey},
  title        = {A Review of Emergency Incident Prediction, Resource Allocation and
                  Dispatch Models},
  journal      = {CoRR},
  volume       = {abs/2006.04200},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.04200},
  eprinttype    = {arXiv},
  eprint       = {2006.04200},
  timestamp    = {Fri, 12 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-04200.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-02413,
  author       = {Michael Wilbur and
                  Afiya Ayman and
                  Anna Ouyang and
                  Vincent Poon and
                  Riyan Kabir and
                  Abhiram Vadali and
                  Philip Pugliese and
                  Daniel Freudberg and
                  Aron Laszka and
                  Abhishek Dubey},
  title        = {Impact of {COVID-19} on Public Transit Accessibility and Ridership},
  journal      = {CoRR},
  volume       = {abs/2008.02413},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.02413},
  eprinttype    = {arXiv},
  eprint       = {2008.02413},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-02413.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-07504,
  author       = {Ayan Mukhopadhyay and
                  Geoffrey Pettet and
                  Mykel J. Kochenderfer and
                  Abhishek Dubey},
  title        = {Designing Emergency Response Pipelines : Lessons and Challenges},
  journal      = {CoRR},
  volume       = {abs/2010.07504},
  year         = {2020},
  url          = {https://arxiv.org/abs/2010.07504},
  eprinttype    = {arXiv},
  eprint       = {2010.07504},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2010-07504.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-05440,
  author       = {Yasas Senarath and
                  Saideep Nannapaneni and
                  Hemant Purohit and
                  Abhishek Dubey},
  title        = {Emergency Incident Detection from Crowdsourced Waze Data using Bayesian
                  Information Fusion},
  journal      = {CoRR},
  volume       = {abs/2011.05440},
  year         = {2020},
  url          = {https://arxiv.org/abs/2011.05440},
  eprinttype    = {arXiv},
  eprint       = {2011.05440},
  timestamp    = {Thu, 12 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2011-05440.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13300,
  author       = {Geoffrey Pettet and
                  Ayan Mukhopadhyay and
                  Mykel J. Kochenderfer and
                  Abhishek Dubey},
  title        = {Hierarchical Planning for Resource Allocation in Emergency Response
                  Systems},
  journal      = {CoRR},
  volume       = {abs/2012.13300},
  year         = {2020},
  url          = {https://arxiv.org/abs/2012.13300},
  eprinttype    = {arXiv},
  eprint       = {2012.13300},
  timestamp    = {Tue, 05 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2012-13300.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/WalkerSD19,
  author       = {Michael A. Walker and
                  Douglas C. Schmidt and
                  Abhishek Dubey},
  title        = {Chapter Six - Testing at scale of IoT blockchain applications},
  journal      = {Adv. Comput.},
  volume       = {115},
  pages        = {155--179},
  year         = {2019},
  url          = {https://doi.org/10.1016/bs.adcom.2019.07.008},
  doi          = {10.1016/BS.ADCOM.2019.07.008},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ac/WalkerSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/0034SWD19,
  author       = {Peng Zhang and
                  Douglas C. Schmidt and
                  Jules White and
                  Abhishek Dubey},
  title        = {Chapter Seven - Consensus mechanisms and information security technologies},
  journal      = {Adv. Comput.},
  volume       = {115},
  pages        = {181--209},
  year         = {2019},
  url          = {https://doi.org/10.1016/bs.adcom.2019.05.001},
  doi          = {10.1016/BS.ADCOM.2019.05.001},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ac/0034SWD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/SunDWG19,
  author       = {Fangzhou Sun and
                  Abhishek Dubey and
                  Jules White and
                  Aniruddha Gokhale},
  title        = {Transit-hub: a smart public transportation decision support system
                  with multi-timescale analytical services},
  journal      = {Clust. Comput.},
  volume       = {22},
  number       = {Suppl 1},
  pages        = {2239--2254},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10586-018-1708-z},
  doi          = {10.1007/S10586-018-1708-Z},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cluster/SunDWG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/Borromeo0DRT19,
  author       = {Ria Mae Borromeo and
                  Lei Chen and
                  Abhishek Dubey and
                  Sudeepa Roy and
                  Saravanan Thirumuruganathan},
  title        = {On Benchmarking for Crowdsourcing and Future of Work Platforms},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {42},
  number       = {4},
  pages        = {46--54},
  year         = {2019},
  url          = {http://sites.computer.org/debull/A19dec/p46.pdf},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/debu/Borromeo0DRT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/DubeyKVMMTDL19,
  author       = {Abhishek Dubey and
                  Gabor Karsai and
                  P{\'{e}}ter V{\"{o}}lgyesi and
                  Mary Metelko and
                  Istv{\'{a}}n Madari and
                  Hao Tu and
                  Yuhua Du and
                  Srdjan M. Lukic},
  title        = {Device Access Abstractions for Resilient Information Architecture
                  Platform for Smart Grid},
  journal      = {{IEEE} Embed. Syst. Lett.},
  volume       = {11},
  number       = {2},
  pages        = {34--37},
  year         = {2019},
  url          = {https://doi.org/10.1109/LES.2018.2845854},
  doi          = {10.1109/LES.2018.2845854},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/esl/DubeyKVMMTDL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/DubeyG19,
  author       = {Abhishek Dubey and
                  Marisol Garc{\'{\i}}a{-}Valls},
  title        = {Introduction to the special issue of the 16th {ACM} workshop on Adaptive
                  and Reflective Middleware {(ARM)}},
  journal      = {J. Syst. Archit.},
  volume       = {97},
  pages        = {8},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.sysarc.2019.03.006},
  doi          = {10.1016/J.SYSARC.2019.03.006},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/DubeyG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigda/BasakSSD19,
  author       = {Sanchita Basak and
                  Fangzhou Sun and
                  Saptarshi Sengupta and
                  Abhishek Dubey},
  editor       = {Sanjay Madria and
                  Philippe Fournier{-}Viger and
                  Sanjay Chaudhary and
                  P. Krishna Reddy},
  title        = {Data-Driven Optimization of Public Transit Schedule},
  booktitle    = {Big Data Analytics - 7th International Conference, {BDA} 2019, Ahmedabad,
                  India, December 17-20, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11932},
  pages        = {265--284},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-37188-3\_16},
  doi          = {10.1007/978-3-030-37188-3\_16},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bigda/BasakSSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/BasakDL19,
  author       = {Sanchita Basak and
                  Abhishek Dubey and
                  Bruno Le{\~{a}}o},
  editor       = {Chaitanya K. Baru and
                  Jun Huan and
                  Latifur Khan and
                  Xiaohua Hu and
                  Ronay Ak and
                  Yuanyuan Tian and
                  Roger S. Barga and
                  Carlo Zaniolo and
                  Kisung Lee and
                  Yanfang (Fanny) Ye},
  title        = {Analyzing the Cascading Effect of Traffic Congestion Using {LSTM}
                  Networks},
  booktitle    = {2019 {IEEE} International Conference on Big Data {(IEEE} BigData),
                  Los Angeles, CA, USA, December 9-12, 2019},
  pages        = {2144--2153},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/BigData47090.2019.9005995},
  doi          = {10.1109/BIGDATA47090.2019.9005995},
  timestamp    = {Tue, 18 Oct 2022 14:44:48 +0200},
  biburl       = {https://dblp.org/rec/conf/bigdataconf/BasakDL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/HartsellMRDBJKS19,
  author       = {Charles Hartsell and
                  Nagabhushan Mahadevan and
                  Shreyas Ramakrishna and
                  Abhishek Dubey and
                  Theodore Bapty and
                  Taylor T. Johnson and
                  Xenofon D. Koutsoukos and
                  Janos Sztipanovits and
                  Gabor Karsai},
  editor       = {Alberto L. Sangiovanni{-}Vincentelli and
                  Janos Sztipanovits and
                  Qi Zhu},
  title        = {Model-based design for {CPS} with learning-enabled components},
  booktitle    = {Proceedings of the Workshop on Design Automation for {CPS} and IoT,
                  DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313151.3313166},
  doi          = {10.1145/3313151.3313166},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/HartsellMRDBJKS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ZhangEDLS19,
  author       = {Yue Zhang and
                  Scott Eisele and
                  Abhishek Dubey and
                  Aron Laszka and
                  Anurag K. Srivastava},
  title        = {Cyber-Physical Simulation Platform for Security Assessment of Transactive
                  Energy Systems},
  booktitle    = {7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems,
                  MSCPES@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/MSCPES.2019.8738802},
  doi          = {10.1109/MSCPES.2019.8738802},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/ZhangEDLS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/NannapaneniD19,
  author       = {Saideep Nannapaneni and
                  Abhishek Dubey},
  editor       = {Abhishek Dubey and
                  Sajal K. Das and
                  Sokwoo Rhee and
                  Keiichi Yasumoto},
  title        = {Towards demand-oriented flexible rerouting of public transit under
                  uncertainty},
  booktitle    = {Proceedings of the Fourth Workshop on International Science of Smart
                  City Operations and Platforms Engineering, SCOPE@CPSIoTWeek 2019,
                  Montreal, QC, Canada, April 15, 2019},
  pages        = {35--40},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3313237.3313302},
  doi          = {10.1145/3313237.3313302},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/NannapaneniD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/MavridouLSD19,
  author       = {Anastasia Mavridou and
                  Aron Laszka and
                  Emmanouela Stachtiari and
                  Abhishek Dubey},
  editor       = {Ian Goldberg and
                  Tyler Moore},
  title        = {VeriSolid: Correct-by-Design Smart Contracts for Ethereum},
  booktitle    = {Financial Cryptography and Data Security - 23rd International Conference,
                  {FC} 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11598},
  pages        = {446--465},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32101-7\_27},
  doi          = {10.1007/978-3-030-32101-7\_27},
  timestamp    = {Wed, 12 Aug 2020 17:59:02 +0200},
  biburl       = {https://dblp.org/rec/conf/fc/MavridouLSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/MukhopadhyayPSD19,
  author       = {Ayan Mukhopadhyay and
                  Geoffrey Pettet and
                  Chinmaya Samal and
                  Abhishek Dubey and
                  Yevgeniy Vorobeychik},
  editor       = {Xue Liu and
                  Paulo Tabuada and
                  Miroslav Pajic and
                  Linda Bushnell},
  title        = {An online decision-theoretic pipeline for responder dispatch},
  booktitle    = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
                  Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
  pages        = {185--196},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3302509.3311055},
  doi          = {10.1145/3302509.3311055},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/MukhopadhyayPSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PettetMSDV19,
  author       = {Geoffrey Pettet and
                  Ayan Mukhopadhyay and
                  Chinmaya Samal and
                  Abhishek Dubey and
                  Yevgeniy Vorobeychik},
  editor       = {Xue Liu and
                  Paulo Tabuada and
                  Miroslav Pajic and
                  Linda Bushnell},
  title        = {Incident management and analysis dashboard for fire departments: {ICCPS}
                  demo},
  booktitle    = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
                  Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
  pages        = {336--337},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3302509.3313329},
  doi          = {10.1145/3302509.3313329},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/PettetMSDV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/HartsellMRDBK19,
  author       = {Charles Hartsell and
                  Nagabhushan Mahadevan and
                  Shreyas Ramakrishna and
                  Abhishek Dubey and
                  Theodore Bapty and
                  Gabor Karsai},
  editor       = {Xue Liu and
                  Paulo Tabuada and
                  Miroslav Pajic and
                  Linda Bushnell},
  title        = {A {CPS} toolchain for learning-based systems: demo abstract},
  booktitle    = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
                  Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
  pages        = {342--343},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3302509.3313332},
  doi          = {10.1145/3302509.3313332},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/HartsellMRDBK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotdi/ShekharCSGDK19,
  author       = {Shashank Shekhar and
                  Ajay Chhokra and
                  Hongyang Sun and
                  Aniruddha Gokhale and
                  Abhishek Dubey and
                  Xenofon D. Koutsoukos},
  editor       = {Olaf Landsiedel and
                  Klara Nahrstedt},
  title        = {Supporting fog/edge-based cognitive assistance IoT services for the
                  visually impaired: poster abstract},
  booktitle    = {Proceedings of the International Conference on Internet of Things
                  Design and Implementation, IoTDI 2019, Montreal, QC, Canada, April
                  15-18, 2019},
  pages        = {275--276},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3302505.3312592},
  doi          = {10.1145/3302505.3312592},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iotdi/ShekharCSGDK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GhoshEDMMVK19,
  author       = {Purboday Ghosh and
                  Scott Eisele and
                  Abhishek Dubey and
                  Mary Metelko and
                  Istv{\'{a}}n Madari and
                  P{\'{e}}ter V{\"{o}}lgyesi and
                  Gabor Karsai},
  title        = {On the Design of Fault- Tolerance in a Decentralized Software Platform
                  for Power Systems},
  booktitle    = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2019, Valencia, Spain, May 7-9, 2019},
  pages        = {52--60},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISORC.2019.00018},
  doi          = {10.1109/ISORC.2019.00018},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isorc/GhoshEDMMVK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/EiseleGCDK19,
  author       = {Scott Eisele and
                  Purboday Ghosh and
                  Keegan Campanelli and
                  Abhishek Dubey and
                  Gabor Karsai},
  title        = {Demo: Transactive Energy Application with {RIAPS}},
  booktitle    = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2019, Valencia, Spain, May 7-9, 2019},
  pages        = {85--86},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISORC.2019.00024},
  doi          = {10.1109/ISORC.2019.00024},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isorc/EiseleGCDK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BurrussRKD19,
  author       = {Matthew P. Burruss and
                  Shreyas Ramakrishna and
                  Gabor Karsai and
                  Abhishek Dubey},
  title        = {DeepNNCar: {A} Testbed for Deploying and Testing Middleware Frameworks
                  for Autonomous Robots},
  booktitle    = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2019, Valencia, Spain, May 7-9, 2019},
  pages        = {87--88},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISORC.2019.00025},
  doi          = {10.1109/ISORC.2019.00025},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/BurrussRKD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/RamakrishnaDBHM19,
  author       = {Shreyas Ramakrishna and
                  Abhishek Dubey and
                  Matthew P. Burruss and
                  Charles Hartsell and
                  Nagabhushan Mahadevan and
                  Saideep Nannapaneni and
                  Aron Laszka and
                  Gabor Karsai},
  title        = {Augmenting Learning Components for Safety in Resource Constrained
                  Autonomous Robots},
  booktitle    = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2019, Valencia, Spain, May 7-9, 2019},
  pages        = {108--117},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISORC.2019.00032},
  doi          = {10.1109/ISORC.2019.00032},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/RamakrishnaDBHM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/ShekharCSGDK19,
  author       = {Shashank Shekhar and
                  Ajay Chhokra and
                  Hongyang Sun and
                  Aniruddha Gokhale and
                  Abhishek Dubey and
                  Xenofon D. Koutsoukos},
  title        = {{URMILA:} {A} Performance and Mobility-Aware Fog/Edge Resource Management
                  Middleware},
  booktitle    = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2019, Valencia, Spain, May 7-9, 2019},
  pages        = {118--125},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISORC.2019.00033},
  doi          = {10.1109/ISORC.2019.00033},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/ShekharCSGDK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KrentzDK19,
  author       = {Timothy Krentz and
                  Abhishek Dubey and
                  Gabor Karsai},
  title        = {Short Paper: Towards An Edge-Located Time-Series Database},
  booktitle    = {{IEEE} 22nd International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2019, Valencia, Spain, May 7-9, 2019},
  pages        = {151--154},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISORC.2019.00037},
  doi          = {10.1109/ISORC.2019.00037},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isorc/KrentzDK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/PettetSD19,
  author       = {Geoffrey Pettet and
                  Saroj Sahoo and
                  Abhishek Dubey},
  title        = {Towards an Adaptive Multi-Modal Traffic Analytics Framework at the
                  Edge},
  booktitle    = {{IEEE} International Conference on Pervasive Computing and Communications
                  Workshops, PerCom Workshops 2019, Kyoto, Japan, March 11-15, 2019},
  pages        = {511--516},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/PERCOMW.2019.8730577},
  doi          = {10.1109/PERCOMW.2019.8730577},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/percom/PettetSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/HartsellMRDBJKS19,
  author       = {Charles Hartsell and
                  Nagabhushan Mahadevan and
                  Shreyas Ramakrishna and
                  Abhishek Dubey and
                  Theodore Bapty and
                  Taylor T. Johnson and
                  Xenofon D. Koutsoukos and
                  Janos Sztipanovits and
                  Gabor Karsai},
  title        = {{CPS} Design with Learning-Enabled Components: {A} Case Study},
  booktitle    = {Proceedings of the 30th International Workshop on Rapid System Prototyping,
                  {RSP} 2019, New York, NY, USA, October 17-18, 2019},
  pages        = {57--63},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3339985.3358491},
  doi          = {10.1145/3339985.3358491},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rsp/HartsellMRDBJKS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/TalusanTYWPDB19,
  author       = {Jose Paolo Talusan and
                  Francis Tiausas and
                  Keiichi Yasumoto and
                  Michael Wilbur and
                  Geoffrey Pettet and
                  Abhishek Dubey and
                  Shameek Bhattacharjee},
  title        = {Smart Transportation Delay and Resiliency Testbed Based on Information
                  Flow of Things Middleware},
  booktitle    = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2019,
                  Washington, DC, USA, June 12-15, 2019},
  pages        = {13--18},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SMARTCOMP.2019.00022},
  doi          = {10.1109/SMARTCOMP.2019.00022},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/TalusanTYWPDB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/BasakSD19,
  author       = {Sanchita Basak and
                  Saptarshi Sengupta and
                  Abhishek Dubey},
  title        = {Mechanisms for Integrated Feature Normalization and Remaining Useful
                  Life Estimation Using LSTMs Applied to Hard-Disks},
  booktitle    = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2019,
                  Washington, DC, USA, June 12-15, 2019},
  pages        = {208--216},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SMARTCOMP.2019.00055},
  doi          = {10.1109/SMARTCOMP.2019.00055},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/BasakSD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/WilburDLB19,
  author       = {Michael Wilbur and
                  Abhishek Dubey and
                  Bruno Le{\~{a}}o and
                  Shameek Bhattacharjee},
  title        = {A Decentralized Approach for Real Time Anomaly Detection in Transportation
                  Networks},
  booktitle    = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2019,
                  Washington, DC, USA, June 12-15, 2019},
  pages        = {274--282},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SMARTCOMP.2019.00063},
  doi          = {10.1109/SMARTCOMP.2019.00063},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/WilburDLB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/SamalDR19,
  author       = {Chinmaya Samal and
                  Abhishek Dubey and
                  Lillian J. Ratliff},
  title        = {Mobilytics-Gym: {A} Simulation Framework for Analyzing Urban Mobility
                  Decision Strategies},
  booktitle    = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2019,
                  Washington, DC, USA, June 12-15, 2019},
  pages        = {283--291},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SMARTCOMP.2019.00064},
  doi          = {10.1109/SMARTCOMP.2019.00064},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/SamalDR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2019scope,
  editor       = {Abhishek Dubey and
                  Sajal K. Das and
                  Sokwoo Rhee and
                  Keiichi Yasumoto},
  title        = {Proceedings of the Fourth Workshop on International Science of Smart
                  City Operations and Platforms Engineering, SCOPE@CPSIoTWeek 2019,
                  Montreal, QC, Canada, April 15, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://dl.acm.org/citation.cfm?id=3313237},
  isbn         = {978-1-4503-6703-5},
  timestamp    = {Tue, 10 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/2019scope.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-01292,
  author       = {Anastasia Mavridou and
                  Aron Laszka and
                  Emmanouela Stachtiari and
                  Abhishek Dubey},
  title        = {VeriSolid: Correct-by-Design Smart Contracts for Ethereum},
  journal      = {CoRR},
  volume       = {abs/1901.01292},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.01292},
  eprinttype    = {arXiv},
  eprint       = {1901.01292},
  timestamp    = {Thu, 31 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-01292.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00844,
  author       = {Aron Laszka and
                  Scott Eisele and
                  Abhishek Dubey and
                  Gabor Karsai and
                  Karla Kvaternik},
  title        = {{TRANSAX:} {A} Blockchain-based Decentralized Forward-Trading Energy
                  Exchange for Transactive Microgrids},
  journal      = {CoRR},
  volume       = {abs/1902.00844},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.00844},
  eprinttype    = {arXiv},
  eprint       = {1902.00844},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-00844.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-02432,
  author       = {Shreyas Ramakrishna and
                  Abhishek Dubey and
                  Matthew P. Burruss and
                  Charles Hartsell and
                  Nagabhushan Mahadevan and
                  Saideep Nannapaneni and
                  Aron Laszka and
                  Gabor Karsai},
  title        = {Augmenting Learning Components for Safety in Resource Constrained
                  Autonomous Robots},
  journal      = {CoRR},
  volume       = {abs/1902.02432},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.02432},
  eprinttype    = {arXiv},
  eprint       = {1902.02432},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-02432.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-08274,
  author       = {Ayan Mukhopadhyay and
                  Geoffrey Pettet and
                  Chinmaya Samal and
                  Abhishek Dubey and
                  Yevgeniy Vorobeychik},
  title        = {An Online Decision-Theoretic Pipeline for Responder Dispatch},
  journal      = {CoRR},
  volume       = {abs/1902.08274},
  year         = {2019},
  url          = {http://arxiv.org/abs/1902.08274},
  eprinttype    = {arXiv},
  eprint       = {1902.08274},
  timestamp    = {Tue, 21 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-08274.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-01520,
  author       = {Yue Zhang and
                  Scott Eisele and
                  Abhishek Dubey and
                  Aron Laszka and
                  Anurag K. Srivastava},
  title        = {Cyber-Physical Simulation Platform for Security Assessment of Transactive
                  Energy Systems},
  journal      = {CoRR},
  volume       = {abs/1903.01520},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.01520},
  eprinttype    = {arXiv},
  eprint       = {1903.01520},
  timestamp    = {Mon, 27 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-01520.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-12579,
  author       = {Scott Eisele and
                  Taha Eghtesad and
                  Keegan Campanelli and
                  Prakhar Agrawal and
                  Aron Laszka and
                  Abhishek Dubey},
  title        = {Safe and Private Forward-Trading Platform for Transactive Microgrids},
  journal      = {CoRR},
  volume       = {abs/1910.12579},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.12579},
  eprinttype    = {arXiv},
  eprint       = {1910.12579},
  timestamp    = {Thu, 31 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-12579.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-02574,
  author       = {Sanchita Basak and
                  Fangzhou Sun and
                  Saptarshi Sengupta and
                  Abhishek Dubey},
  title        = {Data-Driven Optimization of Public Transit Schedule},
  journal      = {CoRR},
  volume       = {abs/1912.02574},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.02574},
  eprinttype    = {arXiv},
  eprint       = {1912.02574},
  timestamp    = {Thu, 02 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-02574.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/Garcia-VallsDB18,
  author       = {Marisol Garc{\'{\i}}a{-}Valls and
                  Abhishek Dubey and
                  Vicent J. Botti},
  title        = {Introducing the new paradigm of Social Dispersed Computing: Applications,
                  Technologies and Challenges},
  journal      = {J. Syst. Archit.},
  volume       = {91},
  pages        = {83--102},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.sysarc.2018.05.007},
  doi          = {10.1016/J.SYSARC.2018.05.007},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/Garcia-VallsDB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/PradhanDKNGMSL18,
  author       = {Subhav Pradhan and
                  Abhishek Dubey and
                  Shweta Khare and
                  Saideep Nannapaneni and
                  Aniruddha S. Gokhale and
                  Sankaran Mahadevan and
                  Douglas C. Schmidt and
                  Martin Lehofer},
  title        = {{CHARIOT:} Goal-Driven Orchestration Middleware for Resilient IoT
                  Systems},
  journal      = {{ACM} Trans. Cyber Phys. Syst.},
  volume       = {2},
  number       = {3},
  pages        = {16:1--16:37},
  year         = {2018},
  url          = {https://doi.org/10.1145/3134844},
  doi          = {10.1145/3134844},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcps/PradhanDKNGMSL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/LaszkaEDKK18,
  author       = {Aron Laszka and
                  Scott Eisele and
                  Abhishek Dubey and
                  Gabor Karsai and
                  Karla Kvaternik},
  title        = {{TRANSAX:} {A} Blockchain-Based Decentralized Forward-Trading Energy
                  Exchanged for Transactive Microgrids},
  booktitle    = {24th {IEEE} International Conference on Parallel and Distributed Systems,
                  {ICPADS} 2018, Singapore, December 11-13, 2018},
  pages        = {918--927},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/PADSW.2018.8645001},
  doi          = {10.1109/PADSW.2018.8645001},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpads/LaszkaEDKK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgt/HasanGDKK18,
  author       = {Saqib Hasan and
                  Amin Ghafouri and
                  Abhishek Dubey and
                  Gabor Karsai and
                  Xenofon D. Koutsoukos},
  title        = {Vulnerability analysis of power systems based on cyber-attack and
                  defense models},
  booktitle    = {2018 {IEEE} Power {\&} Energy Society Innovative Smart Grid Technologies
                  Conference, {ISGT} 2018, Washington, DC, USA, February 19-22, 2018},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ISGT.2018.8403337},
  doi          = {10.1109/ISGT.2018.8403337},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isgt/HasanGDKK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithings/EiseleLMD18,
  author       = {Scott Eisele and
                  Aron Laszka and
                  Anastasia Mavridou and
                  Abhishek Dubey},
  title        = {SolidWorx: {A} Resilient and Trustworthy Transactive Platform for
                  Smart and Connected Communities},
  booktitle    = {{IEEE} International Conference on Internet of Things (iThings) and
                  {IEEE} Green Computing and Communications (GreenCom) and {IEEE} Cyber,
                  Physical and Social Computing (CPSCom) and {IEEE} Smart Data (SmartData),
                  iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July
                  30 - August 3, 2018},
  pages        = {1263--1272},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/Cybermatics\_2018.2018.00221},
  doi          = {10.1109/CYBERMATICS\_2018.2018.00221},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ithings/EiseleLMD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/BarbourSKDW18,
  author       = {William Barbour and
                  Chinmaya Samal and
                  Shankara Kuppa and
                  Abhishek Dubey and
                  Daniel B. Work},
  editor       = {Wei{-}Bin Zhang and
                  Alexandre M. Bayen and
                  Javier J. S{\'{a}}nchez Medina and
                  Matthew J. Barth},
  title        = {On the Data-Driven Prediction of Arrival Times for Freight Trains
                  on {U.S.} Railroads},
  booktitle    = {21st International Conference on Intelligent Transportation Systems,
                  {ITSC} 2018, Maui, HI, USA, November 4-7, 2018},
  pages        = {2289--2296},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ITSC.2018.8569406},
  doi          = {10.1109/ITSC.2018.8569406},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itsc/BarbourSKDW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/SunDSBK18,
  author       = {Fangzhou Sun and
                  Abhishek Dubey and
                  Chinmaya Samal and
                  Hiba Baroud and
                  Chetan S. Kulkarni},
  title        = {Short-Term Transit Decision Support System Using Multi-task Deep Neural
                  Networks},
  booktitle    = {2018 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2018, Taormina, Sicily, Italy, June 18-20, 2018},
  pages        = {155--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/SMARTCOMP.2018.00086},
  doi          = {10.1109/SMARTCOMP.2018.00086},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartcomp/SunDSBK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/SamalDR18,
  author       = {Chinmaya Samal and
                  Abhishek Dubey and
                  Lillian J. Ratliff},
  title        = {Mobilytics- An Extensible, Modular and Resilient Mobility Platform},
  booktitle    = {2018 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2018, Taormina, Sicily, Italy, June 18-20, 2018},
  pages        = {356--361},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/SMARTCOMP.2018.00029},
  doi          = {10.1109/SMARTCOMP.2018.00029},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartcomp/SamalDR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-00002,
  author       = {Fangzhou Sun and
                  Abhishek Dubey and
                  Jules White},
  title        = {DxNAT - Deep Neural Networks for Explaining Non-Recurring Traffic
                  Congestion},
  journal      = {CoRR},
  volume       = {abs/1802.00002},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.00002},
  eprinttype    = {arXiv},
  eprint       = {1802.00002},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-00002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-10140,
  author       = {Chinmaya Samal and
                  Liyuan Zheng and
                  Fangzhou Sun and
                  Lillian J. Ratliff and
                  Abhishek Dubey},
  title        = {Towards a Socially Optimal Multi-Modal Routing Platform},
  journal      = {CoRR},
  volume       = {abs/1802.10140},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.10140},
  eprinttype    = {arXiv},
  eprint       = {1802.10140},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-10140.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08133,
  author       = {Scott Eisele and
                  Aron Laszka and
                  Anastasia Mavridou and
                  Abhishek Dubey},
  title        = {SolidWorx: {A} Resilient and Trustworthy Transactive Platform for
                  Smart and Connected Communities},
  journal      = {CoRR},
  volume       = {abs/1804.08133},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.08133},
  eprinttype    = {arXiv},
  eprint       = {1804.08133},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-08133.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-08985,
  author       = {Sanchita Basak and
                  Saptarshi Sengupta and
                  Abhishek Dubey},
  title        = {A Data-driven Prognostic Architecture for Online Monitoring of Hard
                  Disks Using Deep {LSTM} Networks},
  journal      = {CoRR},
  volume       = {abs/1810.08985},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.08985},
  eprinttype    = {arXiv},
  eprint       = {1810.08985},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-08985.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MukhopadhyayVDB17,
  author       = {Ayan Mukhopadhyay and
                  Yevgeniy Vorobeychik and
                  Abhishek Dubey and
                  Gautam Biswas},
  editor       = {Kate Larson and
                  Michael Winikoff and
                  Sanmay Das and
                  Edmund H. Durfee},
  title        = {Prioritized Allocation of Emergency Responders based on a Continuous-Time
                  Incident Prediction Model},
  booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
                  Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  pages        = {168--177},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3091154},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/MukhopadhyayVDB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/SunDW17,
  author       = {Fangzhou Sun and
                  Abhishek Dubey and
                  Jules White},
  editor       = {Jian{-}Yun Nie and
                  Zoran Obradovic and
                  Toyotaro Suzumura and
                  Rumi Ghosh and
                  Raghunath Nambiar and
                  Chonggang Wang and
                  Hui Zang and
                  Ricardo Baeza{-}Yates and
                  Xiaohua Hu and
                  Jeremy Kepner and
                  Alfredo Cuzzocrea and
                  Jian Tang and
                  Masashi Toyoda},
  title        = {DxNAT - Deep neural networks for explaining non-recurring traffic
                  congestion},
  booktitle    = {2017 {IEEE} International Conference on Big Data {(IEEE} BigData 2017),
                  Boston, MA, USA, December 11-14, 2017},
  pages        = {2141--2150},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/BigData.2017.8258162},
  doi          = {10.1109/BIGDATA.2017.8258162},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bigdataconf/SunDW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/GhafouriLDK17,
  author       = {Amin Ghafouri and
                  Aron Laszka and
                  Abhishek Dubey and
                  Xenofon D. Koutsoukos},
  title        = {Optimal detection of faulty traffic sensors used in route planning},
  booktitle    = {Proceedings of the 2nd International Workshop on Science of Smart
                  City Operations and Platforms Engineering, SCOPE@CPSWeek 2017, Pittsburgh,
                  PA, USA, April 21, 2017},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3063386.3063767},
  doi          = {10.1145/3063386.3063767},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/GhafouriLDK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/TanKDR17,
  author       = {Joshua Tan and
                  Christine Kendrick and
                  Abhishek Dubey and
                  Sokwoo Rhee},
  title        = {Indicator frameworks},
  booktitle    = {Proceedings of the 2nd International Workshop on Science of Smart
                  City Operations and Platforms Engineering, SCOPE@CPSWeek 2017, Pittsburgh,
                  PA, USA, April 21, 2017},
  pages        = {19--25},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3063386.3063762},
  doi          = {10.1145/3063386.3063762},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/TanKDR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/ChhokraKHDMK17,
  author       = {Ajay Chhokra and
                  Amogh Kulkarni and
                  Saqib Hasan and
                  Abhishek Dubey and
                  Nagabhushan Mahadevan and
                  Gabor Karsai},
  title        = {A Systematic Approach of Identifying Optimal Load Control Actions
                  for Arresting Cascading Failures in Power Systems},
  booktitle    = {Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience
                  in Smart Grids, SPSR-SG@CPSWeek 2017, Pittsburgh, PA, USA, April 21,
                  2017},
  pages        = {41--46},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3055386.3055395},
  doi          = {10.1145/3055386.3055395},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/ChhokraKHDMK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmec/DubeyKP17,
  author       = {Abhishek Dubey and
                  Gabor Karsai and
                  Subhav Pradhan},
  title        = {Resilience at the edge in cyber-physical systems},
  booktitle    = {Second International Conference on Fog and Mobile Edge Computing,
                  {FMEC} 2017, Valencia, Spain, May 8-11, 2017},
  pages        = {139--146},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FMEC.2017.7946421},
  doi          = {10.1109/FMEC.2017.7946421},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmec/DubeyKP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fwc/EiselePDK17,
  author       = {Scott Eisele and
                  Geoffrey Pettet and
                  Abhishek Dubey and
                  Gabor Karsai},
  title        = {Towards an architecture for evaluating and analyzing decentralized
                  Fog applications},
  booktitle    = {{IEEE} Fog World Congress, {FWC} 2017, Santa Clara, CA, USA, October
                  30 - Nov. 1, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/FWC.2017.8368531},
  doi          = {10.1109/FWC.2017.8368531},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fwc/EiselePDK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ChhokraHDMK17,
  author       = {Ajay Chhokra and
                  Saqib Hasan and
                  Abhishek Dubey and
                  Nagabhushan Mahadevan and
                  Gabor Karsai},
  editor       = {Sonia Mart{\'{\i}}nez and
                  Eduardo Tovar and
                  Chris Gill and
                  Bruno Sinopoli},
  title        = {Diagnostics and prognostics using temporal causal models for cyber
                  physical energy systems},
  booktitle    = {Proceedings of the 8th International Conference on Cyber-Physical
                  Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20,
                  2017},
  pages        = {87},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3055004.3064843},
  doi          = {10.1145/3055004.3064843},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/ChhokraHDMK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/EiseleDKL17,
  author       = {Scott Eisele and
                  Abhishek Dubey and
                  Gabor Karsai and
                  Srdjan M. Lukic},
  editor       = {Sonia Mart{\'{\i}}nez and
                  Eduardo Tovar and
                  Chris Gill and
                  Bruno Sinopoli},
  title        = {Transactive energy demo with {RIAPS} platform},
  booktitle    = {Proceedings of the 8th International Conference on Cyber-Physical
                  Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20,
                  2017},
  pages        = {91},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3055004.3064845},
  doi          = {10.1145/3055004.3064845},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/EiseleDKL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot/LaszkaDWS17,
  author       = {Aron Laszka and
                  Abhishek Dubey and
                  Michael Walker and
                  Douglas C. Schmidt},
  editor       = {Simon Mayer and
                  Stefan Schneegass and
                  Bernhard Anzengruber and
                  Alois Ferscha and
                  Gabriele Anderst{-}Kotsis and
                  Joe A. Paradiso},
  title        = {Providing privacy, safety, and security in IoT-based transactive energy
                  systems using distributed ledgers},
  booktitle    = {Proceedings of the Seventh International Conference on the Internet
                  of Things, {IOT} 2017, Linz, Austria, October 22-25, 2017},
  pages        = {13:1--13:8},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3131542.3131562},
  doi          = {10.1145/3131542.3131562},
  timestamp    = {Thu, 10 Jun 2021 09:33:39 +0200},
  biburl       = {https://dblp.org/rec/conf/iot/LaszkaDWS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgt/HasanCDMKJL17,
  author       = {Saqib Hasan and
                  Ajay Chhokra and
                  Abhishek Dubey and
                  Nagabhushan Mahadevan and
                  Gabor Karsai and
                  Rishabh Jain and
                  Srdjan M. Lukic},
  title        = {A simulation testbed for cascade analysis},
  booktitle    = {{IEEE} Power {\&} Energy Society Innovative Smart Grid Technologies
                  Conference, {ISGT} 2017, Washington, DC, USA, April 23-26, 2017},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISGT.2017.8086080},
  doi          = {10.1109/ISGT.2017.8086080},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isgt/HasanCDMKJL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KhareSDG17,
  author       = {Shweta Prabhat Khare and
                  J{\'{a}}nos Sallai and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale},
  title        = {Short Paper: Towards Low-Cost Indoor Localization Using Edge Computing
                  Resources},
  booktitle    = {20th {IEEE} International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2017, Toronto, ON, Canada, May 16-18, 2017},
  pages        = {28--31},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISORC.2017.23},
  doi          = {10.1109/ISORC.2017.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/KhareSDG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/EiseleMDK17,
  author       = {Scott Eisele and
                  Istv{\'{a}}n Madari and
                  Abhishek Dubey and
                  Gabor Karsai},
  title        = {{RIAPS:} Resilient Information Architecture Platform for Decentralized
                  Smart Systems},
  booktitle    = {20th {IEEE} International Symposium on Real-Time Distributed Computing,
                  {ISORC} 2017, Toronto, ON, Canada, May 16-18, 2017},
  pages        = {125--132},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISORC.2017.22},
  doi          = {10.1109/ISORC.2017.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/EiseleMDK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/BergquistLSD17,
  author       = {Jonatan Bergquist and
                  Aron Laszka and
                  Monika Sturm and
                  Abhishek Dubey},
  title        = {On the design of communication and transaction anonymity in blockchain-based
                  transactive microgrids},
  booktitle    = {Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures
                  for Distributed Ledgers, SERIAL@Middleware 2017, Las Vegas, NV, USA,
                  December 11-15, 2017},
  pages        = {3:1--3:6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3152824.3152827},
  doi          = {10.1145/3152824.3152827},
  timestamp    = {Fri, 21 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/middleware/BergquistLSD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/WalkerDLS17,
  author       = {Michael A. Walker and
                  Abhishek Dubey and
                  Aron Laszka and
                  Douglas C. Schmidt},
  editor       = {Tha{\'{\i}}s Vasconcelos Batista and
                  St{\'{e}}phane Delbruel and
                  David Bermbach and
                  David M. Eyers and
                  Danny Hughes and
                  Chantal Taconet and
                  Erik Wittern},
  title        = {PlaTIBART: a platform for transactive IoT blockchain applications
                  with repeatable testing},
  booktitle    = {Proceedings of the 4th Workshop on Middleware and Applications for
                  the Internet of Things, M4IoT@Middleware 2017, Las Vegas, NV, USA,
                  December 11, 2017},
  pages        = {17--22},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3152141.3152392},
  doi          = {10.1145/3152141.3152392},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/middleware/WalkerDLS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/VolgyesiDKMMK17,
  author       = {P{\'{e}}ter V{\"{o}}lgyesi and
                  Abhishek Dubey and
                  Timothy Krentz and
                  Istv{\'{a}}n Madari and
                  Mary Metelko and
                  Gabor Karsai},
  editor       = {Sungjoo Yoo and
                  Fabiano Hessel and
                  Fr{\'{e}}d{\'{e}}ric Rousseau and
                  Kenneth B. Kent and
                  Kyoungwoo Lee},
  title        = {Time synchronization services for low-cost fog computing applications},
  booktitle    = {International Symposium on Rapid System Prototyping, {RSP} 2017, Shortening
                  the Path from Specification to Prototype, October 19-20, 2017, Seoul,
                  South Korea},
  pages        = {57--63},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3130265.3130325},
  doi          = {10.1145/3130265.3130325},
  timestamp    = {Mon, 04 Jul 2022 08:26:30 +0200},
  biburl       = {https://dblp.org/rec/conf/rsp/VolgyesiDKMMK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/SamalSD17,
  author       = {Chinmaya Samal and
                  Fangzhou Sun and
                  Abhishek Dubey},
  title        = {SpeedPro: {A} Predictive Multi-Model Approach for Urban Traffic Speed
                  Estimation},
  booktitle    = {2017 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2017, Hong Kong, China, May 29-31, 2017},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/SMARTCOMP.2017.7947048},
  doi          = {10.1109/SMARTCOMP.2017.7947048},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartcomp/SamalSD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/SunSWD17,
  author       = {Fangzhou Sun and
                  Chinmaya Samal and
                  Jules White and
                  Abhishek Dubey},
  title        = {Unsupervised Mechanisms for Optimizing On-Time Performance of Fixed
                  Schedule Transit Vehicles},
  booktitle    = {2017 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2017, Hong Kong, China, May 29-31, 2017},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/SMARTCOMP.2017.7947057},
  doi          = {10.1109/SMARTCOMP.2017.7947057},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartcomp/SunSWD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/NannapaneniDM17,
  author       = {Saideep Nannapaneni and
                  Abhishek Dubey and
                  Sankaran Mahadevan},
  title        = {Performance evaluation of smart systems under uncertainty},
  booktitle    = {2017 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing,
                  Advanced {\&} Trusted Computed, Scalable Computing {\&} Communications,
                  Cloud {\&} Big Data Computing, Internet of People and Smart City
                  Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco,
                  CA, USA, August 4-8, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/UIC-ATC.2017.8397430},
  doi          = {10.1109/UIC-ATC.2017.8397430},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uic/NannapaneniDM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uic/PettetNSDB17,
  author       = {Geoffrey Pettet and
                  Saideep Nannapaneni and
                  Benjamin Stadnick and
                  Abhishek Dubey and
                  Gautam Biswas},
  title        = {Incident analysis and prediction using clustering and Bayesian network},
  booktitle    = {2017 {IEEE} SmartWorld, Ubiquitous Intelligence {\&} Computing,
                  Advanced {\&} Trusted Computed, Scalable Computing {\&} Communications,
                  Cloud {\&} Big Data Computing, Internet of People and Smart City
                  Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco,
                  CA, USA, August 4-8, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/UIC-ATC.2017.8397587},
  doi          = {10.1109/UIC-ATC.2017.8397587},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uic/PettetNSDB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/middleware/2017arm,
  editor       = {Abhishek Dubey and
                  Marisol Garc{\'{\i}}a{-}Valls},
  title        = {Proceedings of the 16th Workshop on Adaptive and Reflective Middleware,
                  ARM@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3152881},
  isbn         = {978-1-4503-5168-3},
  timestamp    = {Wed, 28 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/middleware/2017arm.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GhafouriLDK17,
  author       = {Amin Ghafouri and
                  Aron Laszka and
                  Abhishek Dubey and
                  Xenofon D. Koutsoukos},
  title        = {Optimal Detection of Faulty Traffic Sensors Used in Route Planning},
  journal      = {CoRR},
  volume       = {abs/1702.02628},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.02628},
  eprinttype    = {arXiv},
  eprint       = {1702.02628},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GhafouriLDK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09597,
  author       = {Karla Kvaternik and
                  Aron Laszka and
                  Michael Walker and
                  Douglas C. Schmidt and
                  Monika Sturm and
                  Martin Lehofer and
                  Abhishek Dubey},
  title        = {Privacy-Preserving Platform for Transactive Energy Systems},
  journal      = {CoRR},
  volume       = {abs/1709.09597},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.09597},
  eprinttype    = {arXiv},
  eprint       = {1709.09597},
  timestamp    = {Fri, 21 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-09597.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09601,
  author       = {Jonatan Bergquist and
                  Aron Laszka and
                  Monika Sturm and
                  Abhishek Dubey},
  title        = {On the Design of Communication and Transaction Anonymity in Blockchain-Based
                  Transactive Microgrids},
  journal      = {CoRR},
  volume       = {abs/1709.09601},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.09601},
  eprinttype    = {arXiv},
  eprint       = {1709.09601},
  timestamp    = {Fri, 21 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-09601.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09612,
  author       = {Michael A. Walker and
                  Abhishek Dubey and
                  Aron Laszka and
                  Douglas C. Schmidt},
  title        = {PlaTIBART: a Platform for Transactive IoT Blockchain Applications
                  with Repeatable Testing},
  journal      = {CoRR},
  volume       = {abs/1709.09612},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.09612},
  eprinttype    = {arXiv},
  eprint       = {1709.09612},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-09612.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09614,
  author       = {Aron Laszka and
                  Abhishek Dubey and
                  Michael Walker and
                  Douglas C. Schmidt},
  title        = {Providing Privacy, Safety, and Security in IoT-Based Transactive Energy
                  Systems using Distributed Ledgers},
  journal      = {CoRR},
  volume       = {abs/1709.09614},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.09614},
  eprinttype    = {arXiv},
  eprint       = {1709.09614},
  timestamp    = {Tue, 12 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-09614.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-00267,
  author       = {Gabor Karsai and
                  Daniel Balasubramanian and
                  Abhishek Dubey and
                  William R. Otte},
  title        = {Distributed and Managed: Research Challenges and Opportunities of
                  the Next Generation Cyber-Physical Systems},
  journal      = {CoRR},
  volume       = {abs/1710.00267},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.00267},
  eprinttype    = {arXiv},
  eprint       = {1710.00267},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-00267.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-00268,
  author       = {Abhishek Dubey and
                  Gabor Karsai and
                  Aniruddha S. Gokhale and
                  William Emfinger and
                  Pranav Srinivas Kumar},
  title        = {{DREMS-OS:} An Operating System for Managed Distributed Real-time
                  Embedded Systems},
  journal      = {CoRR},
  volume       = {abs/1710.00268},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.00268},
  eprinttype    = {arXiv},
  eprint       = {1710.00268},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-00268.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PradhanDLKEBOK16,
  author       = {Subhav Pradhan and
                  Abhishek Dubey and
                  Tihamer Levendovszky and
                  Pranav Srinivas Kumar and
                  William Emfinger and
                  Daniel Balasubramanian and
                  William Otte and
                  Gabor Karsai},
  title        = {Achieving resilience in distributed software systems via self-reconfiguration},
  journal      = {J. Syst. Softw.},
  volume       = {122},
  pages        = {344--363},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jss.2016.05.038},
  doi          = {10.1016/J.JSS.2016.05.038},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/PradhanDLKEBOK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/MartinsMDBK16,
  author       = {Gon{\c{c}}alo Martins and
                  Arul Moondra and
                  Abhishek Dubey and
                  Anirban Bhattacharjee and
                  Xenofon D. Koutsoukos},
  title        = {Computation and Communication Evaluation of an Authentication Mechanism
                  for Time-Triggered Networked Control Systems},
  journal      = {Sensors},
  volume       = {16},
  number       = {8},
  pages        = {1166},
  year         = {2016},
  url          = {https://doi.org/10.3390/s16081166},
  doi          = {10.3390/S16081166},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sensors/MartinsMDBK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/OrugantiSBD16,
  author       = {Aparna Oruganti and
                  Fangzhou Sun and
                  Hiba Baroud and
                  Abhishek Dubey},
  editor       = {James Joshi and
                  George Karypis and
                  Ling Liu and
                  Xiaohua Hu and
                  Ronay Ak and
                  Yinglong Xia and
                  Weijia Xu and
                  Aki{-}Hiro Sato and
                  Sudarsan Rachuri and
                  Lyle H. Ungar and
                  Philip S. Yu and
                  Rama Govindaraju and
                  Toyotaro Suzumura},
  title        = {DelayRadar: {A} multivariate predictive model for transit systems},
  booktitle    = {2016 {IEEE} International Conference on Big Data {(IEEE} BigData 2016),
                  Washington DC, USA, December 5-8, 2016},
  pages        = {1799--1806},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/BigData.2016.7840797},
  doi          = {10.1109/BIGDATA.2016.7840797},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bigdataconf/OrugantiSBD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edge/PradhanDKSSGSLS16,
  author       = {Subhav Pradhan and
                  Abhishek Dubey and
                  Shweta Khare and
                  Fangzhou Sun and
                  J{\'{a}}nos Sallai and
                  Aniruddha S. Gokhale and
                  Douglas C. Schmidt and
                  Martin Lehofer and
                  Monika Sturm},
  title        = {Poster Abstract: {A} Distributed and Resilient Platform for City-Scale
                  Smart Systems},
  booktitle    = {{IEEE/ACM} Symposium on Edge Computing, {SEC} 2016, Washington, DC,
                  USA, October 27-28, 2016},
  pages        = {99--100},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SEC.2016.28},
  doi          = {10.1109/SEC.2016.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edge/PradhanDKSSGSLS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edge/EmfingerDVSK16,
  author       = {William Emfinger and
                  Abhishek Dubey and
                  P{\'{e}}ter V{\"{o}}lgyesi and
                  J{\'{a}}nos Sallai and
                  Gabor Karsai},
  title        = {Demo Abstract: {RIAPS} - {A} Resilient Information Architecture Platform
                  for Edge Computing},
  booktitle    = {{IEEE/ACM} Symposium on Edge Computing, {SEC} 2016, Washington, DC,
                  USA, October 27-28, 2016},
  pages        = {119--120},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SEC.2016.23},
  doi          = {10.1109/SEC.2016.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edge/EmfingerDVSK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ChhokraDMK16,
  author       = {Ajay Chhokra and
                  Abhishek Dubey and
                  Nagabhushan Mahadevan and
                  Gabor Karsai},
  title        = {Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages
                  in Cyber Physical Energy Systems},
  booktitle    = {7th {ACM/IEEE} International Conference on Cyber-Physical Systems,
                  {ICCPS} 2016, Vienna, Austria, April 11-14, 2016},
  pages        = {33:1},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICCPS.2016.7479113},
  doi          = {10.1109/ICCPS.2016.7479113},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/ChhokraDMK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PradhanDG16,
  author       = {Subhav Pradhan and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale},
  title        = {WiP Abstract: Platform for Designing and Managing Resilient and Extensible
                  {CPS}},
  booktitle    = {7th {ACM/IEEE} International Conference on Cyber-Physical Systems,
                  {ICCPS} 2016, Vienna, Austria, April 11-14, 2016},
  pages        = {39:1},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICCPS.2016.7479128},
  doi          = {10.1109/ICCPS.2016.7479128},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccps/PradhanDG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/DubeyPSRS16,
  author       = {Abhishek Dubey and
                  Subhav Pradhan and
                  Douglas C. Schmidt and
                  Sebnem Rusitschka and
                  Monika Sturm},
  title        = {The Role of Context and Resilient Middleware in Next Generation Smart
                  Grids},
  booktitle    = {Proceedings of the 3rd Workshop on Middleware for Context-Aware Applications
                  in the IoT, M4IoT@Middleware 2016, Trento, Italy, December 12-13,
                  2016},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/3008631.3008632},
  doi          = {10.1145/3008631.3008632},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/middleware/DubeyPSRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/PradhanDG16,
  author       = {Subhav Pradhan and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale},
  editor       = {Ivica Crnkovic and
                  Elena Troubitsyna},
  title        = {Designing a Resilient Deployment and Reconfiguration Infrastructure
                  for Remotely Managed Cyber-Physical Systems},
  booktitle    = {Software Engineering for Resilient Systems - 8th International Workshop,
                  {SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9823},
  pages        = {88--104},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45892-2\_7},
  doi          = {10.1007/978-3-319-45892-2\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/PradhanDG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/NannapaneniMPD16,
  author       = {Saideep Nannapaneni and
                  Sankaran Mahadevan and
                  Subhav Pradhan and
                  Abhishek Dubey},
  title        = {Towards Reliability-Based Decision Making in Cyber-Physical Systems},
  booktitle    = {2016 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2016, St Louis, MO, USA, May 18-20, 2016},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SMARTCOMP.2016.7501724},
  doi          = {10.1109/SMARTCOMP.2016.7501724},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartcomp/NannapaneniMPD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/SunPWD16,
  author       = {Fangzhou Sun and
                  Yao Pan and
                  Jules White and
                  Abhishek Dubey},
  title        = {Real-Time and Predictive Analytics for Smart Public Transportation
                  Decision Support System},
  booktitle    = {2016 {IEEE} International Conference on Smart Computing, {SMARTCOMP}
                  2016, St Louis, MO, USA, May 18-20, 2016},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SMARTCOMP.2016.7501714},
  doi          = {10.1109/SMARTCOMP.2016.7501714},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smartcomp/SunPWD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/DukkipatiPFD15,
  author       = {Ambedkar Dukkipati and
                  Nithish Pai and
                  Maria Francis and
                  Abhishek Dubey},
  title        = {On Gr{\"{o}}bner bases over rings and residue class polynomial
                  rings with torsion},
  journal      = {{ACM} Commun. Comput. Algebra},
  volume       = {49},
  number       = {2},
  pages        = {60--61},
  year         = {2015},
  url          = {https://doi.org/10.1145/2815111.2815155},
  doi          = {10.1145/2815111.2815155},
  timestamp    = {Wed, 04 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cca/DukkipatiPFD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imm/MahadevanDCGK15,
  author       = {Nagabhushan Mahadevan and
                  Abhishek Dubey and
                  Ajay Chhokra and
                  Huangcheng Guo and
                  Gabor Karsai},
  title        = {Using temporal causal models to isolate failures in power system protection
                  devices},
  journal      = {{IEEE} Instrum. Meas. Mag.},
  volume       = {18},
  number       = {4},
  pages        = {28--39},
  year         = {2015},
  url          = {https://doi.org/10.1109/MIM.2015.7155770},
  doi          = {10.1109/MIM.2015.7155770},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/imm/MahadevanDCGK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Balasubramanian15,
  author       = {Daniel Balasubramanian and
                  Abhishek Dubey and
                  William Otte and
                  Tihamer Levendovszky and
                  Aniruddha S. Gokhale and
                  Pranav Srinivas Kumar and
                  William Emfinger and
                  Gabor Karsai},
  title        = {{DREMS} {ML:} {A} wide spectrum architecture design language for distributed
                  computing platforms},
  journal      = {Sci. Comput. Program.},
  volume       = {106},
  pages        = {3--29},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.04.002},
  doi          = {10.1016/J.SCICO.2015.04.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Balasubramanian15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PradhanDGL15,
  author       = {Subhav M. Pradhan and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale and
                  Martin Lehofer},
  editor       = {Jeff Gray and
                  Jonathan Sprinkle and
                  Juha{-}Pekka Tolvanen and
                  Matti Rossi},
  title        = {{CHARIOT:} a domain specific language for extensible cyber-physical
                  systems},
  booktitle    = {Proceedings of the Workshop on Domain-Specific Modeling, DSM@SPLASH
                  2015, Pittsburgh, PA, USA, October 27, 2015},
  pages        = {9--16},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2846696.2846708},
  doi          = {10.1145/2846696.2846708},
  timestamp    = {Mon, 21 Jun 2021 12:26:28 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/PradhanDGL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/LevendovszkyDOBCNEKGK14,
  author       = {Tihamer Levendovszky and
                  Abhishek Dubey and
                  William Otte and
                  Daniel Balasubramanian and
                  Alessandro Coglio and
                  Sandor Nyako and
                  William Emfinger and
                  Pranav Srinivas Kumar and
                  Aniruddha S. Gokhale and
                  Gabor Karsai},
  title        = {Distributed Real-Time Managed Systems: {A} Model-Driven Distributed
                  Secure Information Architecture Platform for Managed Embedded Systems},
  journal      = {{IEEE} Softw.},
  volume       = {31},
  number       = {2},
  pages        = {62--69},
  year         = {2014},
  url          = {https://doi.org/10.1109/MS.2013.143},
  doi          = {10.1109/MS.2013.143},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/LevendovszkyDOBCNEKGK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/EmfingerKDG14,
  author       = {William Emfinger and
                  Gabor Karsai and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale},
  editor       = {Ralf L{\"{a}}mmel and
                  Walid Taha},
  title        = {Analysis, verification, and management toolsuite for cyber-physical
                  applications on time-varying networks},
  booktitle    = {Proceedings of the 4th {ACM} {SIGBED} International Workshop on Design,
                  Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin,
                  Germany, April 14-17, 2014},
  pages        = {44--47},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593458.2593459},
  doi          = {10.1145/2593458.2593459},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cyphy/EmfingerKDG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/KarsaiBDO14,
  author       = {Gabor Karsai and
                  Daniel Balasubramanian and
                  Abhishek Dubey and
                  William Otte},
  title        = {Distributed and Managed: Research Challenges and Opportunities of
                  the Next Generation Cyber-Physical Systems},
  booktitle    = {17th {IEEE} International Symposium on Object/Component/Service-Oriented
                  Real-Time Distributed Computing, {ISORC} 2014, Reno, NV, USA, June
                  10-12, 2014},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISORC.2014.36},
  doi          = {10.1109/ISORC.2014.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/KarsaiBDO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BalasubramanianLDK14,
  author       = {Daniel Balasubramanian and
                  Tihamer Levendovszky and
                  Abhishek Dubey and
                  Gabor Karsai},
  editor       = {Daniel Balasubramanian and
                  Christophe Jacquet and
                  Pieter Van Gorp and
                  Sahar Kokaly and
                  Tam{\'{a}}s M{\'{e}}sz{\'{a}}ros},
  title        = {Taming Multi-Paradigm Integration in a Software Architecture Description
                  Language},
  booktitle    = {Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located
                  with the 17th International Conference on Model Driven Engineering
                  Languages and Systems, MPM@MODELS 2014, Valencia, Spain, September
                  30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1237},
  pages        = {67--76},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1237/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BalasubramanianLDK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KumarDK14,
  author       = {Pranav Srinivas Kumar and
                  Abhishek Dubey and
                  Gabor Karsai},
  editor       = {Fr{\'{e}}d{\'{e}}ric Boulanger and
                  Michalis Famelis and
                  Daniel Ratiu},
  title        = {Colored Petri Net-based Modeling and Formal Analysis of Component-based
                  Applications},
  booktitle    = {Proceedings of the 11th Workshop on Model-Driven Engineering, Verification
                  and Validation co-located with 17th International Conference on Model
                  Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia,
                  Spain, September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1235},
  pages        = {79--88},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1235/paper-10.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/KumarDK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/BalasubramanianDOEKK14,
  author       = {Daniel Balasubramanian and
                  Abhishek Dubey and
                  William R. Otte and
                  William Emfinger and
                  Pranav Srinivas Kumar and
                  Gabor Karsai},
  title        = {A Rapid Testing Framework for a Mobile Cloud},
  booktitle    = {25nd {IEEE} International Symposium on Rapid System Prototyping, {RSP}
                  2014, New Delhi, India, October 16-17, 2014},
  pages        = {128--134},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/RSP.2014.6966903},
  doi          = {10.1109/RSP.2014.6966903},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rsp/BalasubramanianDOEKK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DukkipatiPFD14,
  author       = {Ambedkar Dukkipati and
                  Nithish Pai and
                  Maria Francis and
                  Abhishek Dubey},
  title        = {Macaulay-Buchberger Basis Theorem for Residue Class Rings with Torsion
                  and Border Bases over Rings},
  journal      = {CoRR},
  volume       = {abs/1405.0472},
  year         = {2014},
  url          = {http://arxiv.org/abs/1405.0472},
  eprinttype    = {arXiv},
  eprint       = {1405.0472},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DukkipatiPFD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DubeyK13,
  author       = {Abhishek Dubey and
                  Gabor Karsai},
  title        = {Software health management},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {9},
  number       = {4},
  pages        = {217},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11334-013-0226-7},
  doi          = {10.1007/S11334-013-0226-7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/DubeyK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MahadevanDBK13,
  author       = {Nagabhushan Mahadevan and
                  Abhishek Dubey and
                  Daniel Balasubramanian and
                  Gabor Karsai},
  title        = {Deliberative, search-based mitigation strategies for model-based software
                  health management},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {9},
  number       = {4},
  pages        = {293--318},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11334-013-0215-x},
  doi          = {10.1007/S11334-013-0215-X},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/MahadevanDBK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/PradhanODGK13,
  author       = {Subhav Pradhan and
                  William Otte and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale and
                  Gabor Karsai},
  title        = {Towards a resilient deployment and configuration infrastructure for
                  fractionated spacecraft},
  journal      = {{SIGBED} Rev.},
  volume       = {10},
  number       = {4},
  pages        = {29--32},
  year         = {2013},
  url          = {https://doi.org/10.1145/2583687.2583694},
  doi          = {10.1145/2583687.2583694},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/PradhanODGK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/OtteDPPGKW13,
  author       = {William Otte and
                  Abhishek Dubey and
                  Subhav Pradhan and
                  Prithviraj Patil and
                  Aniruddha S. Gokhale and
                  Gabor Karsai and
                  Johnny Willemsen},
  title        = {{F6COM:} {A} component model for resource-constrained and dynamic
                  space-based computing environments},
  booktitle    = {16th {IEEE} International Symposium on Object/Component/Service-Oriented
                  Real-Time Distributed Computing, {ISORC} 2013, Paderborn, Germany,
                  June 19-21, 2013},
  pages        = {1--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ISORC.2013.6913199},
  doi          = {10.1109/ISORC.2013.6913199},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/OtteDPPGKW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DubeyD13,
  author       = {Abhishek Dubey and
                  Ambedkar Dukkipati},
  title        = {Comprehensive Border Bases for Zero Dimensional Parametric Polynomial
                  Ideals},
  journal      = {CoRR},
  volume       = {abs/1312.0453},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.0453},
  eprinttype    = {arXiv},
  eprint       = {1312.0453},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DubeyD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/MahadevanDK12,
  author       = {Nagabhushan Mahadevan and
                  Abhishek Dubey and
                  Gabor Karsai},
  editor       = {Chunming Hu and
                  Gabor Karsai and
                  Jie Xu and
                  Andreas Polze and
                  Ji Wang and
                  Andy J. Wellings},
  title        = {Architecting Health Management into Software Component Assemblies:
                  Lessons Learned from the {ARINC-653} Component Mode},
  booktitle    = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
                  Real-Time Distributed Computing, {ISORC} 2012, Shenzhen, China, April
                  11-13, 2012},
  pages        = {79--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISORC.2012.19},
  doi          = {10.1109/ISORC.2012.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/MahadevanDK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DabholkarDGKM12,
  author       = {Akshay Dabholkar and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale and
                  Gabor Karsai and
                  Nagabhushan Mahadevan},
  title        = {Reliable Distributed Real-Time and Embedded Systems through Safe Middleware
                  Adaptation},
  booktitle    = {{IEEE} 31st Symposium on Reliable Distributed Systems, {SRDS} 2012,
                  Irvine, CA, USA, October 8-11, 2012},
  pages        = {362--371},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SRDS.2012.59},
  doi          = {10.1109/SRDS.2012.59},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/DabholkarDGKM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/MehrotraDAT12,
  author       = {Rajat Mehrotra and
                  Abhishek Dubey and
                  Sherif Abdelwahed and
                  Asser N. Tantawi},
  editor       = {Ishfaq Ahmad and
                  Sanjay Ranka},
  title        = {Power-Aware Modeling and Autonomic Management Framework for Distributed
                  Computing Systems},
  booktitle    = {Handbook of Energy-Aware and Green Computing - Two Volume Set},
  pages        = {621--648},
  publisher    = {Chapman and Hall/CRC},
  year         = {2012},
  url          = {http://www.crcnetbase.com/doi/abs/10.1201/b16631-34},
  doi          = {10.1201/B16631-34},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/crc/MehrotraDAT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijict/SaxenaPD11,
  author       = {Amit Saxena and
                  Dovendra Patre and
                  Abhishek Dubey},
  title        = {Investigating a novel GA-based feature selection method using improved
                  {KNN} classifiers},
  journal      = {Int. J. Inf. Commun. Technol.},
  volume       = {3},
  number       = {3},
  pages        = {274--288},
  year         = {2011},
  url          = {https://doi.org/10.1504/IJICT.2011.041929},
  doi          = {10.1504/IJICT.2011.041929},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijict/SaxenaPD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/NordstromDKNB11,
  author       = {Steven Nordstrom and
                  Abhishek Dubey and
                  Turker Keskinpala and
                  Sandeep Neema and
                  Theodore Bapty},
  title        = {Autonomic Healing of Model-Based Systems},
  journal      = {J. Aerosp. Comput. Inf. Commun.},
  volume       = {8},
  number       = {4},
  pages        = {87--99},
  year         = {2011},
  url          = {https://doi.org/10.2514/1.31940},
  doi          = {10.2514/1.31940},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacic/NordstromDKNB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/RoyDGD11,
  author       = {Nilabja Roy and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale and
                  Larry W. Dowdy},
  title        = {A capacity planning process for performance assurance of component-based
                  distributed systems (abstracts only)},
  journal      = {{SIGMETRICS} Perform. Evaluation Rev.},
  volume       = {39},
  number       = {3},
  pages        = {16--17},
  year         = {2011},
  url          = {https://doi.org/10.1145/2160803.2160831},
  doi          = {10.1145/2160803.2160831},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigmetrics/RoyDGD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/DubeyKM11,
  author       = {Abhishek Dubey and
                  Gabor Karsai and
                  Nagabhushan Mahadevan},
  title        = {A component model for hard real-time systems: {CCM} with {ARINC-653}},
  journal      = {Softw. Pract. Exp.},
  volume       = {41},
  number       = {12},
  pages        = {1517--1550},
  year         = {2011},
  url          = {https://doi.org/10.1002/spe.1083},
  doi          = {10.1002/SPE.1083},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/DubeyKM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/RoyDG11,
  author       = {Nilabja Roy and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale},
  editor       = {Ling Liu and
                  Manish Parashar},
  title        = {Efficient Autoscaling in the Cloud Using Predictive Models for Workload
                  Forecasting},
  booktitle    = {{IEEE} International Conference on Cloud Computing, {CLOUD} 2011,
                  Washington, DC, USA, 4-9 July, 2011},
  pages        = {500--507},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/CLOUD.2011.42},
  doi          = {10.1109/CLOUD.2011.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/RoyDG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MahadevanDK11,
  author       = {Nagabhushan Mahadevan and
                  Abhishek Dubey and
                  Gabor Karsai},
  editor       = {Holger Giese and
                  Betty H. C. Cheng},
  title        = {Application of software health management techniques},
  booktitle    = {2011 {ICSE} Symposium on Software Engineering for Adaptive and Self-Managing
                  Systems, {SEAMS} 2011, Waikiki, Honolulu , HI, USA, May 23-24, 2011},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1988008.1988010},
  doi          = {10.1145/1988008.1988010},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/MahadevanDK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/RoyDGD11,
  author       = {Nilabja Roy and
                  Abhishek Dubey and
                  Aniruddha S. Gokhale and
                  Larry W. Dowdy},
  editor       = {Samuel Kounev and
                  Vittorio Cortellessa and
                  Raffaela Mirandola and
                  David J. Lilja},
  title        = {A Capacity Planning Process for Performance Assurance of Component-based
                  Distributed Systems},
  booktitle    = {ICPE'11 - Second Joint {WOSP/SIPEW} International Conference on Performance
                  Engineering, Karlsruhe, Germany, March 14-16, 2011},
  pages        = {259--270},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1958746.1958784},
  doi          = {10.1145/1958746.1958784},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wosp/RoyDGD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DubeyKM10,
  author       = {Abhishek Dubey and
                  Gabor Karsai and
                  Nagabhushan Mahadevan},
  editor       = {Rog{\'{e}}rio de Lemos and
                  Holger Giese and
                  Hausi A. M{\"{u}}ller and
                  Mary Shaw},
  title        = {Fault-Adaptivity in Hard Real-Time Component-Based Software Systems},
  booktitle    = {Software Engineering for Self-Adaptive Systems {II} - International
                  Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected
                  and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7475},
  pages        = {294--323},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-35813-5\_12},
  doi          = {10.1007/978-3-642-35813-5\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/DubeyKM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/DubeyKKM10,
  author       = {Abhishek Dubey and
                  Gabor Karsai and
                  R{\'{o}}bert Keresk{\'{e}}nyi and
                  Nagabhushan Mahadevan},
  title        = {A Real-Time Component Framework: Experience with {CCM} and {ARINC-653}},
  booktitle    = {13th {IEEE} International Symposium on Object/Component/Service-Oriented
                  Real-Time Distributed Computing, {ISORC} 2010, Carmona, Sevilla, Spain,
                  5-6 May 2010},
  pages        = {143--150},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISORC.2010.39},
  doi          = {10.1109/ISORC.2010.39},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/DubeyKKM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/MehrotraDAT10,
  author       = {Rajat Mehrotra and
                  Abhishek Dubey and
                  Sherif Abdelwahed and
                  Asser N. Tantawi},
  title        = {Integrated Monitoring and Control for Performance Management of Distributed
                  Enterprise Systems},
  booktitle    = {{MASCOTS} 2010, 18th Annual {IEEE/ACM} International Symposium on
                  Modeling, Analysis and Simulation of Computer and Telecommunication
                  Systems, Miami, Florida, USA, August 17-19, 2010},
  pages        = {424--426},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/MASCOTS.2010.57},
  doi          = {10.1109/MASCOTS.2010.57},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mascots/MehrotraDAT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/BalasubramanianGDWLGS10,
  author       = {Jaiganesh Balasubramanian and
                  Aniruddha S. Gokhale and
                  Abhishek Dubey and
                  Friedhelm Wolf and
                  Chenyang Lu and
                  Christopher D. Gill and
                  Douglas C. Schmidt},
  editor       = {Marco Caccamo},
  title        = {Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant
                  Real-time Systems},
  booktitle    = {16th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2010, Stockholm, Sweden, April 12-15, 2010},
  pages        = {69--78},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/RTAS.2010.30},
  doi          = {10.1109/RTAS.2010.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/BalasubramanianGDWLGS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Dubey09,
  author       = {Abhishek Dubey},
  title        = {Using Model-based techniques for improving performance and reliability
                  in high performance scientific computing},
  school       = {Vanderbilt University, Nashville, Tennessee, {USA}},
  year         = {2009},
  url          = {http://hdl.handle.net/1803/11104},
  timestamp    = {Sat, 05 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Dubey09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/DubeyMAT09,
  author       = {Abhishek Dubey and
                  Rajat Mehrotra and
                  Sherif Abdelwahed and
                  Asser N. Tantawi},
  title        = {Performance modeling of distributed multi-tier enterprise systems},
  journal      = {{SIGMETRICS} Perform. Evaluation Rev.},
  volume       = {37},
  number       = {2},
  pages        = {9--11},
  year         = {2009},
  url          = {https://doi.org/10.1145/1639562.1639566},
  doi          = {10.1145/1639562.1639566},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmetrics/DubeyMAT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/DubeyRAB09,
  author       = {Abhishek Dubey and
                  Derek Riley and
                  Sherif Abdelwahed and
                  Ted Bapty},
  title        = {Modeling and Analysis of Probabilistic Timed Systems},
  booktitle    = {16th Annual {IEEE} International Conference and Workshop on the Engineering
                  of Computer Based Systems, {ECBS} 2009, San Francisco, California,
                  USA, 14-16 April 2009},
  pages        = {69--78},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ECBS.2009.44},
  doi          = {10.1109/ECBS.2009.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/DubeyRAB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Dubey09,
  author       = {Abhishek Dubey},
  title        = {Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems},
  booktitle    = {16th Annual {IEEE} International Conference and Workshop on the Engineering
                  of Computer Based Systems, {ECBS} 2009, San Francisco, California,
                  USA, 14-16 April 2009},
  pages        = {149--155},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ECBS.2009.43},
  doi          = {10.1109/ECBS.2009.43},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/Dubey09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/DubeyKA09,
  author       = {Abhishek Dubey and
                  Gabor Karsai and
                  Sherif Abdelwahed},
  title        = {Compensating for Timing Jitter in Computing Systems with General-Purpose
                  Operating Systems},
  booktitle    = {2009 {IEEE} International Symposium on Object/Component/Service-Oriented
                  Real-Time Distributed Computing, {ISORC} 2009, Tokyo, Japan, 17-20
                  March 2009},
  pages        = {55--62},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISORC.2009.28},
  doi          = {10.1109/ISORC.2009.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isorc/DubeyKA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eScience/DubeyNKS08,
  author       = {Abhishek Dubey and
                  Sandeep Neema and
                  Jim Kowalkowski and
                  Amitoj Singh},
  title        = {Scientific Computing Autonomic Reliability Framework},
  booktitle    = {Fourth International Conference on e-Science, e-Science 2008, 7-12
                  December 2008, Indianapolis, IN, {USA}},
  pages        = {352--353},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/eScience.2008.113},
  doi          = {10.1109/ESCIENCE.2008.113},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eScience/DubeyNKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DubeyNKNBK07,
  author       = {Abhishek Dubey and
                  Steven Nordstrom and
                  Turker Keskinpala and
                  Sandeep Neema and
                  Ted Bapty and
                  Gabor Karsai},
  title        = {Towards a verifiable real-time, autonomic, fault mitigation framework
                  for large scale real-time systems},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {3},
  number       = {1},
  pages        = {33--52},
  year         = {2007},
  url          = {https://doi.org/10.1007/s11334-006-0015-7},
  doi          = {10.1007/S11334-006-0015-7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/DubeyNKNBK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DubeyWSK05,
  author       = {Abhishek Dubey and
                  Xianbin Wu and
                  Hang Su and
                  Tak{-}John Koo},
  editor       = {Doron A. Peled and
                  Yih{-}Kuen Tsay},
  title        = {Computation Platform for Automatic Analysis of Embedded Software Systems
                  Using Model Based Approach},
  booktitle    = {Automated Technology for Verification and Analysis, Third International
                  Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3707},
  pages        = {114--128},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11562948\_11},
  doi          = {10.1007/11562948\_11},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DubeyWSK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics