Abhishek Dubey

276 papers A* 9A 10B 35C 22Misc 4Journal 119Unranked 72
YearRankTypeTitle / Venue / Authors
2026 J jnl
CONSENT: A Negotiation Framework for Leveraging User Flexibility in Vehicle-to-Building Charging under Uncertainty.
CoRR
Rishav Sen, Fangqi Liu, Jose Paolo Talusan, Ava Pettet, Yoshinori Suzue, Mark Bailey, Ayan Mukhopadhyay, Abhishek Dubey
2026 J jnl
Column Generation for the Micro-Transit Zoning Problem.
CoRR
Hins Hu, Rishav Sen, Jose Paolo Talusan, Abhishek Dubey, Aron Laszka, Samitha Samaranayake
2026 J jnl
Dynamic Vehicle Routing Problem with Prompt Confirmation of Advance Requests.
CoRR
Amutheezan Sivagnanam, Ayan Mukhopadhyay, Samitha Samaranayake, Abhishek Dubey, Aron Laszka
2026 J jnl
Grid-Aware Charging and Operational Optimization for Mixed-Fleet Public Transit.
CoRR
Rishav Sen, Amutheezan Sivagnanam, Aron Laszka, Ayan Mukhopadhyay, Abhishek Dubey
2026 J jnl
In-Context Planning with Latent Temporal Abstractions.
CoRR
Baiting Luo, Yunuo Zhang, Nathaniel S. Keplinger, Samir Gupta, Abhishek Dubey, Ayan Mukhopadhyay
2026 J jnl
Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems.
CoRR
Rishav Sen, Yunuo Zhang, Fangqi Liu, Jose Paolo Talusan, Ava Pettet, Yoshinori Suzue, Ayan Mukhopadhyay, Abhishek Dubey
2025 B conf
AVATAR: Autonomy Aware Routing for On-demand Transit Applications.
SMARTCOMP
David Rogers, Samir Gupta, Jose Paolo Talusan, Ammar Bin Zulqarnain, Mirza Baig, Arti Ramesh, Natsu Takahashi, Naoki Kojo, Abhishek Dubey
2025 J jnl
An End-to-End Solution for Public Transit Stationing and Dispatch Problem.
ACM Trans. Cyber Phys. Syst.
Jose Paolo Talusan, Chaeeun Han, David Rogers, Ayan Mukhopadhyay, Aron Laszka, Daniel Freudberg, Abhishek Dubey
2025 J jnl
Combining LLMs with Logic-Based Framework to Explain MCTS.
CoRR
Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
2025 A conf
Combining LLMs with a Logic-Based Framework to Explain MCTS.
AAMAS
Ziyan An, Xia Wang, Hendrik Baier, Zirong Chen, Abhishek Dubey, Taylor T. Johnson, Jonathan Sprinkle, Ayan Mukhopadhyay, Meiyi Ma
2025 J jnl
ESCORT: Efficient Stein-variational and Sliced Consistency-Optimized Temporal Belief Representation for POMDPs.
CoRR
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Gabor Karsai, Abhishek Dubey
2025 J jnl
MoveOD: Synthesizing Origin-Destination Commute Distribution from U.S. Census Data.
CoRR
Rishav Sen, Abhishek Dubey, Ayan Mukhopadhyay, Samitha Samaranayake, Aron Laszka
2025 J jnl
NS-Gym: Open-Source Simulation Environments and Benchmarks for Non-Stationary Markov Decision Processes.
CoRR
Nathaniel S. Keplinger, Baiting Luo, Iliyas Bektas, Yunuo Zhang, Kyle Hollins Wray, Aron Laszka, Abhishek Dubey, Ayan Mukhopadhyay
2025 J jnl
Observation Adaptation via Annealed Importance Resampling for Partially Observable Markov Decision Processes.
CoRR
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Abhishek Dubey
2025 — conf
Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems.
ICCPS
Rishav Sen, Yunuo Zhang, Fangqi Liu, Jose Paolo Talusan, Ava Pettet, Yoshinori Suzue, Ayan Mukhopadhyay, Abhishek Dubey
2025 Misc conf
PDPTW-DB: MILP-Based Offline Route Planning for PDPTW with Driver Breaks.
ICDCN
Agrima Khanna, Fangqi Liu, Samir Gupta, Sophie Pavia, Ayan Mukhopadhyay, Abhishek Dubey
2025 A conf
Reinforcement Learning-based Approach for Vehicle-to-Building Charging with Heterogeneous Agents and Long Term Rewards.
AAMAS
Fangqi Liu, Rishav Sen, Jose Paolo Talusan, Ava Pettet, Aaron Kandel, Yoshinori Suzue, Ayan Mukhopadhyay, Abhishek Dubey
2025 J jnl
Reinforcement Learning-based Approach for Vehicle-to-Building Charging with Heterogeneous Agents and Long Term Rewards.
CoRR
Fangqi Liu, Rishav Sen, Jose Paolo Talusan, Ava Pettet, Aaron Kandel, Yoshinori Suzue, Ayan Mukhopadhyay, Abhishek Dubey
2025 A* conf
Scalable Decision-Making in Stochastic Environments through Learned Temporal Abstraction.
ICLR
Baiting Luo, Ava Pettet, Aron Laszka, Abhishek Dubey, Ayan Mukhopadhyay
2025 J jnl
Scalable Decision-Making in Stochastic Environments through Learned Temporal Abstraction.
CoRR
Baiting Luo, Ava Pettet, Aron Laszka, Abhishek Dubey, Ayan Mukhopadhyay
2025 B conf
TRACE: Traffic Response Anomaly Capture Engine for Localization of Traffic Incidents.
SMARTCOMP
Ammar Bin Zulqarnain, Jacob Buckelew, Jose Paolo Talusan, Ayan Mukhopadhyay, Abhishek Dubey
2024 B conf
A Graph Neural Network Framework for Imbalanced Bus Ridership Forecasting.
SMARTCOMP
Samir Gupta, Agrima Khanna, Jose Paolo Talusan, Anwar Said, Daniel Freudberg, Ayan Mukhopadhyay, Abhishek Dubey
2024 — conf
A New Transformer Based Approach for Multiple Types of Vehicles Counting in Complex Indian Scenes.
ICPR (Workshops and Challenges, 6)
Prateek Agrawal, Shivakumara Palaiahnakote, Yuvraj Singh, C. Pavan Kumar, Umapada Pal, Siddhant Dixit, Udit Jain, Abhishek Dubey
2024 A conf
Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision Processes.
AAMAS
Baiting Luo, Yunuo Zhang, Abhishek Dubey, Ayan Mukhopadhyay
2024 J jnl
Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision Processes.
CoRR
Baiting Luo, Yunuo Zhang, Abhishek Dubey, Ayan Mukhopadhyay
2024 — conf
An Online Approach to Solving Public Transit Stationing and Dispatch Problem.
ICCPS
Jose Paolo Talusan, Chaeeun Han, Ayan Mukhopadhyay, Aron Laszka, Daniel Freudberg, Abhishek Dubey
2024 J jnl
An Online Approach to Solving Public Transit Stationing and Dispatch Problem.
CoRR
Jose Paolo Talusan, Chaeeun Han, Ayan Mukhopadhyay, Aron Laszka, Daniel Freudberg, Abhishek Dubey
2024 A conf
Decision Making in Non-Stationary Environments with Policy-Augmented Search.
AAMAS
Ava Pettet, Yunuo Zhang, Baiting Luo, Kyle Hollins Wray, Hendrik Baier, Aron Laszka, Abhishek Dubey, Ayan Mukhopadhyay
2024 J jnl
Decision Making in Non-Stationary Environments with Policy-Augmented Search.
CoRR
Ava Pettet, Yunuo Zhang, Baiting Luo, Kyle Hollins Wray, Hendrik Baier, Aron Laszka, Abhishek Dubey, Ayan Mukhopadhyay
2024 A* conf
Deploying Mobility-On-Demand for All by Optimizing Paratransit Services.
IJCAI
Sophie Pavia, David Rogers, Amutheezan Sivagnanam, Michael Wilbur, Danushka Edirimanna, Youngseo Kim, Philip Pugliese, Samitha Samaranayake, Aron Laszka, Ayan Mukhopadhyay, Abhishek Dubey
2024 J jnl
Designing a Human-centered AI Tool for Proactive Incident Detection Using Crowdsourced Data Sources to Support Emergency Response.
Digit. Gov. Res. Pract.
Yasas Senarath, Ayan Mukhopadhyay, Hemant Purohit, Abhishek Dubey
2024 B conf
Drift Detection and Adaptation for Federated Learning in IoT with Adaptive Device Management.
IEEE Big Data
Shuang Zhou, Shashank Shekhar, Ajay Chhokra, Abhishek Dubey, Aniruddha Gokhale
2024 A conf
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic.
ECAI
Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
2024 J jnl
Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic.
CoRR
Ziyan An, Hendrik Baier, Abhishek Dubey, Ayan Mukhopadhyay, Meiyi Ma
2024 A conf
Forecasting and Mitigating Disruptions in Public Bus Transit Services.
AAMAS
Chaeeun Han, Jose Paolo Talusan, Daniel Freudberg, Ayan Mukhopadhyay, Abhishek Dubey, Aron Laszka
2024 J jnl
Forecasting and Mitigating Disruptions in Public Bus Transit Services.
CoRR
Chaeeun Han, Jose Paolo Talusan, Daniel Freudberg, Ayan Mukhopadhyay, Abhishek Dubey, Aron Laszka
2024 — conf
Grid-Aware Charging and Operational Optimization for Mixed-Fleet Public Transit.
ITSC
Rishav Sen, Amutheezan Sivagnanam, Aron Laszka, Ayan Mukhopadhyay, Abhishek Dubey
2024 J jnl
Introduction to the Special Issue on ICCPS 2023.
ACM Trans. Cyber Phys. Syst.
Lu Feng, Abhishek Dubey
2024 A* conf
Multi-Agent Reinforcement Learning with Hierarchical Coordination for Emergency Responder Stationing.
ICML
Amutheezan Sivagnanam, Ava Pettet, Hunter Lee, Ayan Mukhopadhyay, Abhishek Dubey, Aron Laszka
2024 J jnl
Multi-Agent Reinforcement Learning with Hierarchical Coordination for Emergency Responder Stationing.
CoRR
Amutheezan Sivagnanam, Ava Pettet, Hunter Lee, Ayan Mukhopadhyay, Abhishek Dubey, Aron Laszka
2024 B conf
OPTIMUS: Discrete Event Simulator for Vehicle-to-Building Charging Optimization.
SMARTCOMP
Jose Paolo Talusan, Rishav Sen, Ava Pettet, Aaron Kandel, Yoshinori Suzue, Liam Pedersen, Ayan Mukhopadhyay, Abhishek Dubey
2024 C conf
Reinforcement Learning with Communication Latency with Application to Stop-and-Go Wave Dissipation.
IV
Alex Richardson, Xia Wang, Abhishek Dubey, Jonathan Sprinkle
2024 J jnl
Reinforcement-Learning-Based Proactive Control for Enabling Power Grid Resilience to Wildfire.
IEEE Trans. Ind. Informatics
Salah Uddin Kadir, Subir Majumder, Anurag K. Srivastava, Ajay Dev Chhokra, Himanshu Neema, Abhishek Dubey, Aron Laszka
2024 J jnl
Scalable Pythagorean Mean-based Incident Detection in Smart Transportation Systems.
ACM Trans. Cyber Phys. Syst.
Mohammad Jaminur Islam, Jose Paolo Talusan, Shameek Bhattacharjee, Francis Tiausas, Abhishek Dubey, Keiichi Yasumoto, Sajal K. Das
2024 — conf
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue.
ICAA
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey
2024 J jnl
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue.
CoRR
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey
2024 A* conf
SmartTransit.AI: A Dynamic Paratransit and Microtransit Application.
IJCAI
Sophie Pavia, David Rogers, Amutheezan Sivagnanam, Michael Wilbur, Danushka Edirimanna, Youngseo Kim, Ayan Mukhopadhyay, Philip Pugliese, Samitha Samaranayake, Aron Laszka, Abhishek Dubey
2023 B conf
Addressing APC Data Sparsity in Predicting Occupancy and Delay of Transit Buses: A Multitask Learning Approach.
SMARTCOMP
Ammar Bin Zulqarnain, Samir Gupta, Jose Paolo Talusan, Daniel Freudberg, Philip Pugliese, Ayan Mukhopadhyay, Abhishek Dubey
2023 J jnl
Artificial Intelligence for Smart Transportation.
CoRR
Michael Wilbur, Amutheezan Sivagnanam, Afiya Ayman, Samitha Samaranayake, Abhishek Dubey, Aron Laszka
2023 B conf
Calibrating Real-World City Traffic Simulation Model Using Vehicle Speed Data.
SMARTCOMP
Seyedmehdi Khaleghian, Himanshu Neema, Mina Sartipi, Toan Tran, Rishav Sen, Abhishek Dubey
2023 J jnl
DMSConfig: Automated Configuration Tuning for Distributed IoT Message Systems Using Deep Reinforcement Learning.
CoRR
Zhuangwei Kang, Yogesh D. Barve, Shunxing Bao, Abhishek Dubey, Aniruddha Gokhale
2023 B conf
Distributed Control Application for Smart Grids using RIAPS.
SMARTCOMP
Purboday Ghosh, Niloy Barua, Timothy Krentz, Gabor Karsai, Abhishek Dubey, Srdjan M. Lukic
2023 J jnl
HPRoP: Hierarchical Privacy-preserving Route Planning for Smart Cities.
ACM Trans. Cyber Phys. Syst.
Francis Tiausas, Keiichi Yasumoto, Jose Paolo Talusan, Hayato Yamana, Hirozumi Yamaguchi, Shameek Bhattacharjee, Abhishek Dubey, Sajal K. Das
2023 — conf
Mobility-On-Demand Transportation: A System for Microtransit and Paratransit Operations.
ICCPS
Michael Wilbur, Maxime Coursey, Pravesh Koirala, Zakariyya Al-Quran, Philip Pugliese, Abhishek Dubey
2023 — ed.
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
ICCPS
Sayan Mitra, Nalini Venkatasubramanian, Abhishek Dubey, Lu Feng, Mahsa Ghasemi, Jonathan Sprinkle
2023 A* conf
Rolling Horizon Based Temporal Decomposition for the Offline Pickup and Delivery Problem with Time Windows.
AAAI
Youngseo Kim, Danushka Edirimanna, Michael Wilbur, Philip Pugliese, Aron Laszka, Abhishek Dubey, Samitha Samaranayake
2023 J jnl
Rolling Horizon based Temporal Decomposition for the Offline Pickup and Delivery Problem with Time Windows.
CoRR
Youngseo Kim, Danushka Edirimanna, Michael Wilbur, Philip Pugliese, Aron Laszka, Abhishek Dubey, Samitha Samaranayake
2023 B conf
Synchrophasor Data Event Detection using Unsupervised Wavelet Convolutional Autoencoders.
SMARTCOMP
Jacob Buckelew, Sagnik Basumallik, Vasavi Sivaramakrishnan, Ayan Mukhopadhyay, Anurag K. Srivastava, Abhishek Dubey
2023 — conf
Traffic Safety Enforcement and Document Verification System.
ICCCNT
Dilip Chandra E, Ajmal Khan, Abhishek Dubey, Abhiram B. R, Dineth H. V
2022 A* conf
ADVISER: AI-Driven Vaccination Intervention Optimiser for Increasing Vaccine Uptake in Nigeria.
IJCAI
Vineet Nair, Kritika Prakash, Michael Wilbur, Aparna Taneja, Corinne Namblard, Oyindamola Adeyemo, Abhishek Dubey, Abiodun Adereni, Milind Tambe, Ayan Mukhopadhyay
2022 J jnl
ADVISER: AI-Driven Vaccination Intervention Optimiser for Increasing Vaccine Uptake in Nigeria.
CoRR
Vineet Nair, Kritika Prakash, Michael Wilbur, Aparna Taneja, Corinne Namblard, Oyindamola Adeyemo, Abhishek Dubey, Abiodun Adereni, Milind Tambe, Ayan Mukhopadhyay
2022 — conf
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA.
ITSC
Shreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey
2022 J jnl
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA.
CoRR
Shreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey
2022 — conf
An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services.
ICCPS
Michael Wilbur, Salah Uddin Kadir, Youngseo Kim, Geoffrey Pettet, Ayan Mukhopadhyay, Philip Pugliese, Samitha Samaranayake, Aron Laszka, Abhishek Dubey
2022 J jnl
An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services.
CoRR
Michael Wilbur, Salah Uddin Kadir, Youngseo Kim, Geoffrey Pettet, Ayan Mukhopadhyay, Philip Pugliese, Samitha Samaranayake, Aron Laszka, Abhishek Dubey
2022 — conf
Anomaly based Incident Detection in Large Scale Smart Transportation Systems.
ICCPS
Mohammad Jaminur Islam, Jose Paolo Talusan, Shameek Bhattacharjee, Francis Tiausas, Sayyed Mohsen Vazirizade, Abhishek Dubey, Keiichi Yasumoto, Sajal K. Das
2022 B conf
Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems.
SAFECOMP
Shreyas Ramakrishna, Hyunjee Jin, Abhishek Dubey, Arun Ramamurthy
2022 B conf
BTE-Sim: Fast Simulation Environment For Public Transportation.
IEEE Big Data
Rishav Sen, Toan Tran, Seyedmehdi Khaleghian, Philip Pugliese, Mina Sartipi, Himanshu Neema, Abhishek Dubey
2022 J jnl
Data-Driven Prediction and Optimization of Energy Use for Transit Fleets of Electric and ICE Vehicles.
ACM Trans. Internet Techn.
Afiya Ayman, Amutheezan Sivagnanam, Michael Wilbur, Philip Pugliese, Abhishek Dubey, Aron Laszka
2022 B conf
Decentralized Computation Market for Stream Processing Applications.
IC2E
Scott Eisele, Michael Wilbur, Taha Eghtesad, Kevin Silvergold, Fred Eisele, Ayan Mukhopadhyay, Aron Laszka, Abhishek Dubey
2022 J jnl
Decision Making in Non-Stationary Environments with Policy-Augmented Monte Carlo Tree Search.
CoRR
Geoffrey Pettet, Ayan Mukhopadhyay, Abhishek Dubey
2022 J jnl
Designing Decision Support Systems for Emergency Response: Challenges and Opportunities.
CoRR
Geoffrey Pettet, Hunter Baxter, Sayyed Mohsen Vazirizade, Hemant Purohit, Meiyi Ma, Ayan Mukhopadhyay, Abhishek Dubey
2022 J jnl
Designing Equitable Transit Networks.
CoRR
Sophie Pavia, Juan Carlos Martínez Mori, Aryaman Sharma, Philip Pugliese, Abhishek Dubey, Samitha Samaranayake, Ayan Mukhopadhyay
2022 — conf
E-transit-bench: simulation platform for analyzing electric public transit bus fleet operations.
e-Energy
Rishav Sen, Alok Kumar Bharati, Seyedmehdi Khaleghian, Malini Ghosal, Michael Wilbur, Toan Tran, Philip Pugliese, Mina Sartipi, Himanshu Neema, Abhishek Dubey
2022 J jnl
Efficient Out-of-Distribution Detection Using Latent Space of
ACM Trans. Cyber Phys. Syst.
Shreyas Ramakrishna, Zahra RahimiNasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
2022 J jnl
Generative Anomaly Detection for Time Series Datasets.
CoRR
Zhuangwei Kang, Ayan Mukhopadhyay, Aniruddha Gokhale, Shi-Jie Wen, Abhishek Dubey
2022 J jnl
Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities.
ACM Trans. Cyber Phys. Syst.
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Abhishek Dubey
2022 J jnl
Moving target defense for the security and resilience of mixed time and event triggered cyber-physical systems.
J. Syst. Archit.
Bradley Potteiger, Abhishek Dubey, Feiyang Cai, Xenofon D. Koutsoukos, Zhenkai Zhang
2022 B conf
Neural Architecture and Feature Search for Predicting the Ridership of Public Transportation Routes.
SMARTCOMP
Afiya Ayman, Juan Martinez, Philip Pugliese, Abhishek Dubey, Aron Laszka
2022 A* conf
Offline Vehicle Routing Problem with Online Bookings: A Novel Problem Formulation with Applications to Paratransit.
IJCAI
Amutheezan Sivagnanam, Salah Uddin Kadir, Ayan Mukhopadhyay, Philip Pugliese, Abhishek Dubey, Samitha Samaranayake, Aron Laszka
2022 J jnl
Offline Vehicle Routing Problem with Online Bookings: A Novel Problem Formulation with Applications to Paratransit.
CoRR
Amutheezan Sivagnanam, Salah Uddin Kadir, Ayan Mukhopadhyay, Philip Pugliese, Abhishek Dubey, Samitha Samaranayake, Aron Laszka
2022 B conf
On Designing Day Ahead and Same Day Ridership Level Prediction Models for City-Scale Transit Networks Using Noisy APC Data.
IEEE Big Data
Jose Paolo Talusan, Ayan Mukhopadhyay, Daniel Freudberg, Abhishek Dubey
2022 J jnl
On Designing Day Ahead and Same Day Ridership Level Prediction Models for City-Scale Transit Networks Using Noisy APC Data.
CoRR
Jose Paolo Talusan, Ayan Mukhopadhyay, Daniel Freudberg, Abhishek Dubey
2022 — conf
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems.
ICAA
Shreyas Ramakrishna, Baiting Luo, Yogesh D. Barve, Gabor Karsai, Abhishek Dubey
2022 J jnl
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems.
CoRR
Shreyas Ramakrishna, Baiting Luo, Yogesh D. Barve, Gabor Karsai, Abhishek Dubey
2022 B conf
Simurgh: A Framework for Cad-Driven Deep Learning Based X-Ray CT Reconstruction.
ICIP
Amirkoushyar Ziabari, Singanallur V. Venkatakrishnan, Abhishek Dubey, Alex Lisovich, Paul Brackman, Curtis Frederick, Pradeep Bhattad, Philip R. Bingham, Alex Plotkowski, Ryan Dehoff, Vincent C. Paquit
2022 — conf
Syntheto: A Surface Language for APT and ACL2.
ACL2
Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
2022 — conf
Traffic Anomaly Detection Via Conditional Normalizing Flow.
ITSC
Zhuangwei Kang, Ayan Mukhopadhyay, Aniruddha Gokhale, Shi-Jie Wen, Abhishek Dubey
2021 — conf
A Decision Support Framework for Grid-Aware Electric Bus Charge Scheduling.
ISGT
Geoffrey Pettet, Malini Ghosal, Shant Mahserejian, Sarah Davis, Siddharth Sridhar, Abhishek Dubey, Michael Kintner-Meyer
2021 — conf
Automated Method for Assurance Case Construction from System Design Models.
ICSRS
Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2021 — conf
Configuration Tuning for Distributed IoT Message Systems Using Deep Reinforcement Learning: Poster Abstract.
IoTDI
Zhuangwei Kang, Yogesh D. Barve, Shunxing Bao, Abhishek Dubey, Aniruddha Gokhale
2021 B conf
Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical Systems.
SMARTCOMP
Matthew P. Burruss, Shreyas Ramakrishna, Abhishek Dubey
2021 J jnl
Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical Systems.
CoRR
Matthew P. Burruss, Shreyas Ramakrishna, Abhishek Dubey
2021 J jnl
Efficient Data Management for Intelligent Urban Mobility Systems.
CoRR
Michael Wilbur, Philip Pugliese, Aron Laszka, Abhishek Dubey
2021 J jnl
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems.
CoRR
Shreyas Ramakrishna, Zahra RahimiNasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
2021 — conf
Energy and Emission Prediction for Mixed-Vehicle Transit Fleets Using Multi-task and Inductive Transfer Learning.
ECML/PKDD (4)
Michael Wilbur, Ayan Mukhopadhyay, Sayyed Vazirizade, Philip Pugliese, Aron Laszka, Abhishek Dubey
2021 J jnl
Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities.
CoRR
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Abhishek Dubey
2021 — conf
Hierarchical planning for resource allocation in emergency response systems.
ICCPS
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Abhishek Dubey
2021 J jnl
Learning Incident Prediction Models Over Large Geographical Areas for Emergency Response Systems.
CoRR
Sayyed Mohsen Vazirizade, Ayan Mukhopadhyay, Geoffrey Pettet, Said El Said, Hiba Baroud, Abhishek Dubey
2021 B conf
Learning Incident Prediction Models Over Large Geographical Areas for Emergency Response.
SMARTCOMP
Sayyed Mohsen Vazirizade, Ayan Mukhopadhyay, Geoffrey Pettet, Said El Said, Hiba Baroud, Abhishek Dubey
2021 A* conf
Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route Service.
AAAI
Amutheezan Sivagnanam, Afiya Ayman, Michael Wilbur, Philip Pugliese, Abhishek Dubey, Aron Laszka
2021 J jnl
Online monitoring and control of a cyber-physical manufacturing process under uncertainty.
J. Intell. Manuf.
Saideep Nannapaneni, Sankaran Mahadevan, Abhishek Dubey, Yung-Tsun Tina Lee
2021 — conf
Power-attack: a comprehensive tool-chain for modeling and simulating attacks in power systems.
MSCPES@CPSIoTWeek
Ajay Chhokra, Carlos A. Barreto, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos
2021 A* conf
Practitioner-Centric Approach for Early Incident Detection Using Crowdsourced Data for Emergency Services.
ICDM
Yasas Senarath, Ayan Mukhopadhyay, Sayyed Mohsen Vazirizade, Hemant Purohit, Saideep Nannapaneni, Abhishek Dubey
2021 J jnl
Practitioner-Centric Approach for Early Incident Detection Using Crowdsourced Data for Emergency Services.
CoRR
Yasas Senarath, Ayan Mukhopadhyay, Sayyed Mohsen Vazirizade, Hemant Purohit, Saideep Nannapaneni, Abhishek Dubey
2021 — conf
RT-METER: a real-time, multi-layer cyber-power testbed for resiliency analysis.
MSCPES@CPSIoTWeek
Hussain M. Mustafa, Mohini Bariya, K. S. Sajan, Ajay Chhokra, Anurag Srivastava, Abhishek Dubey, Alexandra von Meier, Gautam Biswas
2021 — conf
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.
SEAMS@ICSE
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
2021 J jnl
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.
CoRR
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
2021 J jnl
Reinforcement Learning based Proactive Control for Transmission Grid Resilience to Wildfire.
CoRR
Salah U. Kadir, Subir Majumder, Ajay Dev Chhokra, Abhishek Dubey, Himanshu Neema, Aron Laszka, Anurag K. Srivastava
2021 J jnl
Safe and Private Forward-trading Platform for Transactive Microgrids.
ACM Trans. Cyber Phys. Syst.
Scott Eisele, Taha Eghtesad, Keegan Campanelli, Prakhar Agrawal, Aron Laszka, Abhishek Dubey
2021 J jnl
Spatio-temporal AI inference engine for estimating hard disk reliability.
Pervasive Mob. Comput.
Sanchita Basak, Saptarshi Sengupta, Shi-Jie Wen, Abhishek Dubey
2021 B conf
TRANSIT-GYM: A Simulation and Evaluation Engine for Analysis of Bus Transit Systems.
SMARTCOMP
Ruixiao Sun, Rongze Gui, Himanshu Neema, Yuche Chen, Juliette Ugirumurera, Joseph Severino, Philip Pugliese, Aron Laszka, Abhishek Dubey
2021 C conf
Towards Model-Based Intent-Driven Adaptive Software.
ISoLA
Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai
2021 J jnl
Transit-Gym: A Simulation and Evaluation Engine for Analysis of Bus Transit Systems.
CoRR
Ruixiao Sun, Rongze Gui, Himanshu Neema, Yuche Chen, Juliette Ugirumurera, Joseph Severino, Philip Pugliese, Aron Laszka, Abhishek Dubey
2021 B conf
User-centric Distributed Route Planning in Smart Cities based on Multi-objective Optimization.
SMARTCOMP
Francis Tiausas, Jose Paolo Talusan, Yu Ishimaki, Hayato Yamana, Hirozumi Yamaguchi, Shameek Bhattacharjee, Abhishek Dubey, Keiichi Yasumoto, Sajal K. Das
2021 — conf
WildfireDB: An Open-Source Dataset Connecting Wildfire Occurrence with Relevant Determinants.
NeurIPS Datasets and Benchmarks
Samriddhi Singla, Ayan Mukhopadhyay, Michael Wilbur, Tina Diao, Vinayak Gajjewar, Ahmed Eldawy, Mykel J. Kochenderfer, Ross D. Shachter, Abhishek Dubey
2020 C conf
A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems.
ACC
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Gabor Karsai
2020 J jnl
A Methodology for Automating Assurance Case Generation.
CoRR
Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pratim Pal, Gabor Karsai
2020 J jnl
A Review and Outlook of Energy Consumption Estimation Models for Electric Vehicles.
CoRR
Yuche Chen, Guoyuan Wu, Ruixiao Sun, Abhishek Dubey, Aron Laszka, Philip Pugliese
2020 J jnl
A Review of Emergency Incident Prediction, Resource Allocation and Dispatch Models.
CoRR
Ayan Mukhopadhyay, Geoffrey Pettet, Sayyed Vazirizade, Yevgeniy Vorobeychik, Mykel J. Kochenderfer, Abhishek Dubey
2020 J jnl
Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches.
Computer
Scott Eisele, Carlos A. Barreto, Abhishek Dubey, Xenofon D. Koutsoukos, Taha Eghtesad, Aron Laszka, Anastasia Mavridou
2020 — conf
Cyber-Attacks and Mitigation in Blockchain Based Transactive Energy Systems.
ICPS
Carlos A. Barreto, Taha Eghtesad, Scott Eisele, Aron Laszka, Abhishek Dubey, Xenofon D. Koutsoukos
2020 B conf
Data-Driven Prediction of Route-Level Energy Use for Mixed-Vehicle Transit Fleets.
SMARTCOMP
Afiya Ayman, Michael Wilbur, Amutheezan Sivagnanam, Philip Pugliese, Abhishek Dubey, Aron Laszka
2020 J jnl
Data-Driven Prediction of Route-Level Energy Use for Mixed-Vehicle Transit Fleets.
CoRR
Afiya Ayman, Michael Wilbur, Amutheezan Sivagnanam, Philip Pugliese, Abhishek Dubey, Aron Laszka
2020 C conf
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge.
ICFEC
Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey
2020 J jnl
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge.
CoRR
Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey
2020 — conf
Designing Emergency Response Pipelines : Lessons and Challenges.
AI4SG@AAAI Fall Symposium
Ayan Mukhopadhyay, Geoffrey Pettet, Mykel J. Kochenderfer, Abhishek Dubey
2020 J jnl
Designing Emergency Response Pipelines : Lessons and Challenges.
CoRR
Ayan Mukhopadhyay, Geoffrey Pettet, Mykel J. Kochenderfer, Abhishek Dubey
2020 J jnl
Designing a decentralized fault-tolerant software framework for smart grids and its applications.
J. Syst. Archit.
Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai
2020 J jnl
Dynamic-weighted simplex strategy for learning enabled cyber physical systems.
J. Syst. Archit.
Shreyas Ramakrishna, Charles Hartsell, Matthew P. Burruss, Gabor Karsai, Abhishek Dubey
2020 Misc conf
Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress.
EMSOFT
Shreyas Ramakrishna, Zahra RahimiNasab, Arvind Easwaran, Abhishek Dubey
2020 — conf
Emergency Incident Detection from Crowdsourced Waze Data using Bayesian Information Fusion.
WI/IAT
Yasas Senarath, Saideep Nannapaneni, Hemant Purohit, Abhishek Dubey
2020 J jnl
Emergency Incident Detection from Crowdsourced Waze Data using Bayesian Information Fusion.
CoRR
Yasas Senarath, Saideep Nannapaneni, Hemant Purohit, Abhishek Dubey
2020 J jnl
Hierarchical Planning for Resource Allocation in Emergency Response Systems.
CoRR
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Abhishek Dubey
2020 J jnl
Impact of COVID-19 on Public Transit Accessibility and Ridership.
CoRR
Michael Wilbur, Afiya Ayman, Anna Ouyang, Vincent Poon, Riyan Kabir, Abhiram Vadali, Philip Pugliese, Daniel Freudberg, Aron Laszka, Abhishek Dubey
2020 J jnl
Mechanisms for Outsourcing Computation via a Decentralized Market.
CoRR
Scott Eisele, Taha Eghtesad, Nicholas Troutman, Aron Laszka, Abhishek Dubey
2020 — conf
Mechanisms for outsourcing computation via a decentralized market.
DEBS
Scott Eisele, Taha Eghtesad, Nicholas Troutman, Aron Laszka, Abhishek Dubey
2020 J jnl
Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route Service.
CoRR
Amutheezan Sivagnanam, Afiya Ayman, Michael Wilbur, Philip Pugliese, Abhishek Dubey, Aron Laszka
2020 A conf
On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities.
AAMAS
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Yevgeniy Vorobeychik, Abhishek Dubey
2020 J jnl
On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities.
CoRR
Geoffrey Pettet, Ayan Mukhopadhyay, Mykel J. Kochenderfer, Yevgeniy Vorobeychik, Abhishek Dubey
2020 — conf
On Decentralized Route Planning Using the Road Side Units as Computing Resources.
ICFC
Jose Paolo Talusan, Michael Wilbur, Abhishek Dubey, Keiichi Yasumoto
2020 — conf
Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE.
SP (Workshops)
Vijaya Kumar Sundar, Shreyas Ramakrishna, Zahra RahimiNasab, Arvind Easwaran, Abhishek Dubey
2020 J jnl
Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE.
CoRR
Vijaya Kumar Sundar, Shreyas Ramakrishna, Zahra RahimiNasab, Arvind Easwaran, Abhishek Dubey
2020 — conf
Qualitative Fault Modeling in Safety Critical Cyber Physical Systems.
SAM
Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2020 J jnl
Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid Control.
IEEE Trans. Ind. Electron.
Hao Tu, Yuhua Du, Hui Yu, Abhishek Dubey, Srdjan M. Lukic, Gabor Karsai
2020 J jnl
Route Planning Through Distributed Computing by Road Side Units.
IEEE Access
Jose Paolo Talusan, Michael Wilbur, Abhishek Dubey, Keiichi Yasumoto
2020 C conf
Security in Mixed Time and Event Triggered Cyber-Physical Systems using Moving Target Defense.
ISORC
Bradley Potteiger, Feiyang Cai, Abhishek Dubey, Xenofon D. Koutsoukos, Zhenkai Zhang
2020 J jnl
The Role of Blockchains in Multi-Stakeholder Transactive Energy Systems.
Frontiers Blockchain
Scott Eisele, Aron Laszka, Douglas C. Schmidt, Abhishek Dubey
2020 C conf
Time-dependent Decentralized Routing using Federated Learning.
ISORC
Michael Wilbur, Chinmaya Samal, Jose Paolo Talusan, Keiichi Yasumoto, Abhishek Dubey
2020 J jnl
URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services.
J. Syst. Archit.
Shashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey, Xenofon D. Koutsoukos, Gabor Karsai
2020 J jnl
Workflow Automation for Cyber Physical System Development Processes.
CoRR
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai
2019 — conf
A CPS toolchain for learning-based systems: demo abstract.
ICCPS
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai
2019 B conf
A Decentralized Approach for Real Time Anomaly Detection in Transportation Networks.
SMARTCOMP
Michael Wilbur, Abhishek Dubey, Bruno Leão, Shameek Bhattacharjee
2019 J jnl
An Online Decision-Theoretic Pipeline for Responder Dispatch.
CoRR
Ayan Mukhopadhyay, Geoffrey Pettet, Chinmaya Samal, Abhishek Dubey, Yevgeniy Vorobeychik
2019 — conf
An online decision-theoretic pipeline for responder dispatch.
ICCPS
Ayan Mukhopadhyay, Geoffrey Pettet, Chinmaya Samal, Abhishek Dubey, Yevgeniy Vorobeychik
2019 — conf
Analyzing the Cascading Effect of Traffic Congestion Using LSTM Networks.
IEEE BigData
Sanchita Basak, Abhishek Dubey, Bruno Leão
2019 C conf
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots.
ISORC
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
2019 J jnl
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots.
CoRR
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
2019 C conf
CPS Design with Learning-Enabled Components: A Case Study.
RSP
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
2019 J jnl
Chapter Seven - Consensus mechanisms and information security technologies.
Adv. Comput.
Peng Zhang, Douglas C. Schmidt, Jules White, Abhishek Dubey
2019 J jnl
Chapter Six - Testing at scale of IoT blockchain applications.
Adv. Comput.
Michael A. Walker, Douglas C. Schmidt, Abhishek Dubey
2019 — conf
Cyber-Physical Simulation Platform for Security Assessment of Transactive Energy Systems.
MSCPES@CPSIoTWeek
Yue Zhang, Scott Eisele, Abhishek Dubey, Aron Laszka, Anurag K. Srivastava
2019 J jnl
Cyber-Physical Simulation Platform for Security Assessment of Transactive Energy Systems.
CoRR
Yue Zhang, Scott Eisele, Abhishek Dubey, Aron Laszka, Anurag K. Srivastava
2019 — conf
Data-Driven Optimization of Public Transit Schedule.
BDA
Sanchita Basak, Fangzhou Sun, Saptarshi Sengupta, Abhishek Dubey
2019 J jnl
Data-Driven Optimization of Public Transit Schedule.
CoRR
Sanchita Basak, Fangzhou Sun, Saptarshi Sengupta, Abhishek Dubey
2019 C conf
DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots.
ISORC
Matthew P. Burruss, Shreyas Ramakrishna, Gabor Karsai, Abhishek Dubey
2019 C conf
Demo: Transactive Energy Application with RIAPS.
ISORC
Scott Eisele, Purboday Ghosh, Keegan Campanelli, Abhishek Dubey, Gabor Karsai
2019 J jnl
Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid.
IEEE Embed. Syst. Lett.
Abhishek Dubey, Gabor Karsai, Péter Völgyesi, Mary Metelko, István Madari, Hao Tu, Yuhua Du, Srdjan M. Lukic
2019 — conf
Incident management and analysis dashboard for fire departments: ICCPS demo.
ICCPS
Geoffrey Pettet, Ayan Mukhopadhyay, Chinmaya Samal, Abhishek Dubey, Yevgeniy Vorobeychik
2019 J jnl
Introduction to the special issue of the 16th ACM workshop on Adaptive and Reflective Middleware (ARM).
J. Syst. Archit.
Abhishek Dubey, Marisol García-Valls
2019 B conf
Mechanisms for Integrated Feature Normalization and Remaining Useful Life Estimation Using LSTMs Applied to Hard-Disks.
SMARTCOMP
Sanchita Basak, Saptarshi Sengupta, Abhishek Dubey
2019 B conf
Mobilytics-Gym: A Simulation Framework for Analyzing Urban Mobility Decision Strategies.
SMARTCOMP
Chinmaya Samal, Abhishek Dubey, Lillian J. Ratliff
2019 — conf
Model-based design for CPS with learning-enabled components.
DESTION@CPSIoTWeek
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
2019 J jnl
On Benchmarking for Crowdsourcing and Future of Work Platforms.
IEEE Data Eng. Bull.
Ria Mae Borromeo, Lei Chen, Abhishek Dubey, Sudeepa Roy, Saravanan Thirumuruganathan
2019 C conf
On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems.
ISORC
Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai
2019 — ed.
Proceedings of the Fourth Workshop on International Science of Smart City Operations and Platforms Engineering, SCOPE@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019
SCOPE@CPSIoTWeek
Abhishek Dubey, Sajal K. Das, Sokwoo Rhee, Keiichi Yasumoto
2019 J jnl
Safe and Private Forward-Trading Platform for Transactive Microgrids.
CoRR
Scott Eisele, Taha Eghtesad, Keegan Campanelli, Prakhar Agrawal, Aron Laszka, Abhishek Dubey
2019 C conf
Short Paper: Towards An Edge-Located Time-Series Database.
ISORC
Timothy Krentz, Abhishek Dubey, Gabor Karsai
2019 B conf
Smart Transportation Delay and Resiliency Testbed Based on Information Flow of Things Middleware.
SMARTCOMP
Jose Paolo Talusan, Francis Tiausas, Keiichi Yasumoto, Michael Wilbur, Geoffrey Pettet, Abhishek Dubey, Shameek Bhattacharjee
2019 — conf
Supporting fog/edge-based cognitive assistance IoT services for the visually impaired: poster abstract.
IoTDI
Shashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey, Xenofon D. Koutsoukos
2019 J jnl
TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids.
CoRR
Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik
2019 — conf
Towards an Adaptive Multi-Modal Traffic Analytics Framework at the Edge.
PerCom Workshops
Geoffrey Pettet, Saroj Sahoo, Abhishek Dubey
2019 — conf
Towards demand-oriented flexible rerouting of public transit under uncertainty.
SCOPE@CPSIoTWeek
Saideep Nannapaneni, Abhishek Dubey
2019 J jnl
Transit-hub: a smart public transportation decision support system with multi-timescale analytical services.
Clust. Comput.
Fangzhou Sun, Abhishek Dubey, Jules White, Aniruddha Gokhale
2019 C conf
URMILA: A Performance and Mobility-Aware Fog/Edge Resource Management Middleware.
ISORC
Shashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey, Xenofon D. Koutsoukos
2019 — conf
VeriSolid: Correct-by-Design Smart Contracts for Ethereum.
Financial Cryptography
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey
2019 J jnl
VeriSolid: Correct-by-Design Smart Contracts for Ethereum.
CoRR
Anastasia Mavridou, Aron Laszka, Emmanouela Stachtiari, Abhishek Dubey
2018 J jnl
A Data-driven Prognostic Architecture for Online Monitoring of Hard Disks Using Deep LSTM Networks.
CoRR
Sanchita Basak, Saptarshi Sengupta, Abhishek Dubey
2018 J jnl
CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems.
ACM Trans. Cyber Phys. Syst.
Subhav Pradhan, Abhishek Dubey, Shweta Khare, Saideep Nannapaneni, Aniruddha S. Gokhale, Sankaran Mahadevan, Douglas C. Schmidt, Martin Lehofer
2018 J jnl
DxNAT - Deep Neural Networks for Explaining Non-Recurring Traffic Congestion.
CoRR
Fangzhou Sun, Abhishek Dubey, Jules White
2018 J jnl
Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges.
J. Syst. Archit.
Marisol García-Valls, Abhishek Dubey, Vicent J. Botti
2018 B conf
Mobilytics- An Extensible, Modular and Resilient Mobility Platform.
SMARTCOMP
Chinmaya Samal, Abhishek Dubey, Lillian J. Ratliff
2018 — conf
On the Data-Driven Prediction of Arrival Times for Freight Trains on U.S. Railroads.
ITSC
William Barbour, Chinmaya Samal, Shankara Kuppa, Abhishek Dubey, Daniel B. Work
2018 B conf
Short-Term Transit Decision Support System Using Multi-task Deep Neural Networks.
SMARTCOMP
Fangzhou Sun, Abhishek Dubey, Chinmaya Samal, Hiba Baroud, Chetan S. Kulkarni
2018 — conf
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities.
iThings/GreenCom/CPSCom/SmartData
Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey
2018 J jnl
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities.
CoRR
Scott Eisele, Aron Laszka, Anastasia Mavridou, Abhishek Dubey
2018 B conf
TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids.
ICPADS
Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik
2018 J jnl
Towards a Socially Optimal Multi-Modal Routing Platform.
CoRR
Chinmaya Samal, Liyuan Zheng, Fangzhou Sun, Lillian J. Ratliff, Abhishek Dubey
2018 — conf
Vulnerability analysis of power systems based on cyber-attack and defense models.
ISGT
Saqib Hasan, Amin Ghafouri, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos
2017 — conf
A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems.
SPSR-SG@CPSWeek
Ajay Chhokra, Amogh Kulkarni, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
2017 — conf
A simulation testbed for cascade analysis.
ISGT
Saqib Hasan, Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai, Rishabh Jain, Srdjan M. Lukic
2017 J jnl
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems.
CoRR
Abhishek Dubey, Gabor Karsai, Aniruddha S. Gokhale, William Emfinger, Pranav Srinivas Kumar
2017 — conf
Diagnostics and prognostics using temporal causal models for cyber physical energy systems.
ICCPS
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
2017 J jnl
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems.
CoRR
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William R. Otte
2017 — conf
DxNAT - Deep neural networks for explaining non-recurring traffic congestion.
IEEE BigData
Fangzhou Sun, Abhishek Dubey, Jules White
2017 — conf
Incident analysis and prediction using clustering and Bayesian network.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Geoffrey Pettet, Saideep Nannapaneni, Benjamin Stadnick, Abhishek Dubey, Gautam Biswas
2017 — conf
Indicator frameworks.
SCOPE@CPSWeek
Joshua Tan, Christine Kendrick, Abhishek Dubey, Sokwoo Rhee
2017 J jnl
On the Design of Communication and Transaction Anonymity in Blockchain-Based Transactive Microgrids.
CoRR
Jonatan Bergquist, Aron Laszka, Monika Sturm, Abhishek Dubey
2017 — conf
On the design of communication and transaction anonymity in blockchain-based transactive microgrids.
SERIAL@Middleware
Jonatan Bergquist, Aron Laszka, Monika Sturm, Abhishek Dubey
2017 J jnl
Optimal Detection of Faulty Traffic Sensors Used in Route Planning.
CoRR
Amin Ghafouri, Aron Laszka, Abhishek Dubey, Xenofon D. Koutsoukos
2017 — conf
Optimal detection of faulty traffic sensors used in route planning.
SCOPE@CPSWeek
Amin Ghafouri, Aron Laszka, Abhishek Dubey, Xenofon D. Koutsoukos
2017 — conf
Performance evaluation of smart systems under uncertainty.
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
Saideep Nannapaneni, Abhishek Dubey, Sankaran Mahadevan
2017 J jnl
PlaTIBART: a Platform for Transactive IoT Blockchain Applications with Repeatable Testing.
CoRR
Michael A. Walker, Abhishek Dubey, Aron Laszka, Douglas C. Schmidt
2017 — conf
PlaTIBART: a platform for transactive IoT blockchain applications with repeatable testing.
M4IoT@Middleware
Michael A. Walker, Abhishek Dubey, Aron Laszka, Douglas C. Schmidt
2017 A conf
Prioritized Allocation of Emergency Responders based on a Continuous-Time Incident Prediction Model.
AAMAS
Ayan Mukhopadhyay, Yevgeniy Vorobeychik, Abhishek Dubey, Gautam Biswas
2017 J jnl
Privacy-Preserving Platform for Transactive Energy Systems.
CoRR
Karla Kvaternik, Aron Laszka, Michael Walker, Douglas C. Schmidt, Monika Sturm, Martin Lehofer, Abhishek Dubey
2017 — ed.
Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, ARM@Middleware 2017, Las Vegas, NV, USA, December 11 - 15, 2017
ARM@Middleware
Abhishek Dubey, Marisol García-Valls
2017 J jnl
Providing Privacy, Safety, and Security in IoT-Based Transactive Energy Systems using Distributed Ledgers.
CoRR
Aron Laszka, Abhishek Dubey, Michael Walker, Douglas C. Schmidt
2017 — conf
Providing privacy, safety, and security in IoT-based transactive energy systems using distributed ledgers.
IOT
Aron Laszka, Abhishek Dubey, Michael Walker, Douglas C. Schmidt
2017 C conf
RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems.
ISORC
Scott Eisele, István Madari, Abhishek Dubey, Gabor Karsai
2017 — conf
Resilience at the edge in cyber-physical systems.
FMEC
Abhishek Dubey, Gabor Karsai, Subhav Pradhan
2017 C conf
Short Paper: Towards Low-Cost Indoor Localization Using Edge Computing Resources.
ISORC
Shweta Prabhat Khare, János Sallai, Abhishek Dubey, Aniruddha S. Gokhale
2017 B conf
SpeedPro: A Predictive Multi-Model Approach for Urban Traffic Speed Estimation.
SMARTCOMP
Chinmaya Samal, Fangzhou Sun, Abhishek Dubey
2017 C conf
Time synchronization services for low-cost fog computing applications.
RSP
Péter Völgyesi, Abhishek Dubey, Timothy Krentz, István Madari, Mary Metelko, Gabor Karsai
2017 — conf
Towards an architecture for evaluating and analyzing decentralized Fog applications.
FWC
Scott Eisele, Geoffrey Pettet, Abhishek Dubey, Gabor Karsai
2017 — conf
Transactive energy demo with RIAPS platform.
ICCPS
Scott Eisele, Abhishek Dubey, Gabor Karsai, Srdjan M. Lukic
2017 B conf
Unsupervised Mechanisms for Optimizing On-Time Performance of Fixed Schedule Transit Vehicles.
SMARTCOMP
Fangzhou Sun, Chinmaya Samal, Jules White, Abhishek Dubey
2016 J jnl
Achieving resilience in distributed software systems via self-reconfiguration.
J. Syst. Softw.
Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai
2016 J jnl
Computation and Communication Evaluation of an Authentication Mechanism for Time-Triggered Networked Control Systems.
Sensors
Gonçalo Martins, Arul Moondra, Abhishek Dubey, Anirban Bhattacharjee, Xenofon D. Koutsoukos
2016 — conf
DelayRadar: A multivariate predictive model for transit systems.
IEEE BigData
Aparna Oruganti, Fangzhou Sun, Hiba Baroud, Abhishek Dubey
2016 Misc conf
Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing.
SEC
William Emfinger, Abhishek Dubey, Péter Völgyesi, János Sallai, Gabor Karsai
2016 — conf
Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems.
SERENE
Subhav Pradhan, Abhishek Dubey, Aniruddha S. Gokhale
2016 Misc conf
Poster Abstract: A Distributed and Resilient Platform for City-Scale Smart Systems.
SEC
Subhav Pradhan, Abhishek Dubey, Shweta Khare, Fangzhou Sun, János Sallai, Aniruddha S. Gokhale, Douglas C. Schmidt, Martin Lehofer, Monika Sturm
2016 — conf
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems.
ICCPS
Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
2016 B conf
Real-Time and Predictive Analytics for Smart Public Transportation Decision Support System.
SMARTCOMP
Fangzhou Sun, Yao Pan, Jules White, Abhishek Dubey
2016 — conf
The Role of Context and Resilient Middleware in Next Generation Smart Grids.
M4IoT@Middleware
Abhishek Dubey, Subhav Pradhan, Douglas C. Schmidt, Sebnem Rusitschka, Monika Sturm
2016 B conf
Towards Reliability-Based Decision Making in Cyber-Physical Systems.
SMARTCOMP
Saideep Nannapaneni, Sankaran Mahadevan, Subhav Pradhan, Abhishek Dubey
2016 — conf
WiP Abstract: Platform for Designing and Managing Resilient and Extensible CPS.
ICCPS
Subhav Pradhan, Abhishek Dubey, Aniruddha S. Gokhale
2015 — conf
CHARIOT: a domain specific language for extensible cyber-physical systems.
DSM@SPLASH
Subhav M. Pradhan, Abhishek Dubey, Aniruddha S. Gokhale, Martin Lehofer
2015 J jnl
DREMS ML: A wide spectrum architecture design language for distributed computing platforms.
Sci. Comput. Program.
Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
2015 J jnl
On Gröbner bases over rings and residue class polynomial rings with torsion.
ACM Commun. Comput. Algebra
Ambedkar Dukkipati, Nithish Pai, Maria Francis, Abhishek Dubey
2015 J jnl
Using temporal causal models to isolate failures in power system protection devices.
IEEE Instrum. Meas. Mag.
Nagabhushan Mahadevan, Abhishek Dubey, Ajay Chhokra, Huangcheng Guo, Gabor Karsai
2014 C conf
A Rapid Testing Framework for a Mobile Cloud.
RSP
Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
2014 — conf
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks.
CyPhy
William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale
2014 — conf
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications.
MoDeVVa@MoDELS
Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai
2014 J jnl
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems.
IEEE Softw.
Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai
2014 C conf
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems.
ISORC
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte
2014 J jnl
Macaulay-Buchberger Basis Theorem for Residue Class Rings with Torsion and Border Bases over Rings.
CoRR
Ambedkar Dukkipati, Nithish Pai, Maria Francis, Abhishek Dubey
2014 — conf
Taming Multi-Paradigm Integration in a Software Architecture Description Language.
MPM@MoDELS
Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai
2013 J jnl
Comprehensive Border Bases for Zero Dimensional Parametric Polynomial Ideals.
CoRR
Abhishek Dubey, Ambedkar Dukkipati
2013 J jnl
Deliberative, search-based mitigation strategies for model-based software health management.
Innov. Syst. Softw. Eng.
Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai
2013 C conf
F6COM: A component model for resource-constrained and dynamic space-based computing environments.
ISORC
William Otte, Abhishek Dubey, Subhav Pradhan, Prithviraj Patil, Aniruddha S. Gokhale, Gabor Karsai, Johnny Willemsen
2013 J jnl
Software health management.
Innov. Syst. Softw. Eng.
Abhishek Dubey, Gabor Karsai
2013 J jnl
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft.
SIGBED Rev.
Subhav Pradhan, William Otte, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai
2012 C conf
Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode.
ISORC
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2012 — ch.
Power-Aware Modeling and Autonomic Management Framework for Distributed Computing Systems.
Handbook of Energy-Aware and Green Computing
Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, Asser N. Tantawi
2012 B conf
Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation.
SRDS
Akshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan
2011 B conf
A Capacity Planning Process for Performance Assurance of Component-based Distributed Systems.
ICPE
Nilabja Roy, Abhishek Dubey, Aniruddha S. Gokhale, Larry W. Dowdy
2011 J jnl
A capacity planning process for performance assurance of component-based distributed systems (abstracts only).
SIGMETRICS Perform. Evaluation Rev.
Nilabja Roy, Abhishek Dubey, Aniruddha S. Gokhale, Larry W. Dowdy
2011 J jnl
A component model for hard real-time systems: CCM with ARINC-653.
Softw. Pract. Exp.
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
2011 A conf
Application of software health management techniques.
SEAMS
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2011 J jnl
Autonomic Healing of Model-Based Systems.
J. Aerosp. Comput. Inf. Commun.
Steven Nordstrom, Abhishek Dubey, Turker Keskinpala, Sandeep Neema, Theodore Bapty
2011 — conf
Efficient Autoscaling in the Cloud Using Predictive Models for Workload Forecasting.
IEEE CLOUD
Nilabja Roy, Abhishek Dubey, Aniruddha S. Gokhale
2011 J jnl
Investigating a novel GA-based feature selection method using improved KNN classifiers.
Int. J. Inf. Commun. Technol.
Amit Saxena, Dovendra Patre, Abhishek Dubey
2010 C conf
A Real-Time Component Framework: Experience with CCM and ARINC-653.
ISORC
Abhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan
2010 — conf
Fault-Adaptivity in Hard Real-Time Component-Based Software Systems.
Software Engineering for Self-Adaptive Systems
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
2010 B conf
Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems.
MASCOTS
Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, Asser N. Tantawi
2010 A conf
Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems.
IEEE Real-Time and Embedded Technology and Applications Symposium
Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Abhishek Dubey, Friedhelm Wolf, Chenyang Lu, Christopher D. Gill, Douglas C. Schmidt
2009 — conf
Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems.
ECBS
Abhishek Dubey
2009 C conf
Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems.
ISORC
Abhishek Dubey, Gabor Karsai, Sherif Abdelwahed
2009 — conf
Modeling and Analysis of Probabilistic Timed Systems.
ECBS
Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty
2009 J jnl
Performance modeling of distributed multi-tier enterprise systems.
SIGMETRICS Perform. Evaluation Rev.
Abhishek Dubey, Rajat Mehrotra, Sherif Abdelwahed, Asser N. Tantawi
2009 — —
Using Model-based techniques for improving performance and reliability in high performance scientific computing.
Abhishek Dubey
2008 — conf
Scientific Computing Autonomic Reliability Framework.
eScience
Abhishek Dubey, Sandeep Neema, Jim Kowalkowski, Amitoj Singh
2007 J jnl
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems.
Innov. Syst. Softw. Eng.
Abhishek Dubey, Steven Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai
2005 B conf
Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach.
ATVA
Abhishek Dubey, Xianbin Wu, Hang Su, Tak-John Koo