Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Abhishek Dubey
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.