Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach. - Abhishek Dubey; Xianbin Wu; Hang Su 009; Tak-John Koo (ATVA, 2005)

Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. - Abhishek Dubey; Steven Nordstrom; Turker Keskinpala; Sandeep Neema; Ted Bapty; Gabor Karsai (Innov. Syst. Softw. Eng., 2007)

Scientific Computing Autonomic Reliability Framework. - Abhishek Dubey; Sandeep Neema; Jim Kowalkowski; Amitoj Singh (eScience, 2008)

Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems. - Abhishek Dubey (ECBS, 2009)

Modeling and Analysis of Probabilistic Timed Systems. - Abhishek Dubey; Derek Riley; Sherif Abdelwahed; Ted Bapty (ECBS, 2009)

Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems. - Abhishek Dubey; Gabor Karsai; Sherif Abdelwahed (ISORC, 2009)

Performance modeling of distributed multi-tier enterprise systems. - Abhishek Dubey; Rajat Mehrotra; Sherif Abdelwahed; Asser N. Tantawi (SIGMETRICS Perform. Evaluation Rev., 2009)

Using Model-based techniques for improving performance and reliability in high performance scientific computing. - Abhishek Dubey (2009)

Fault-Adaptivity in Hard Real-Time Component-Based Software Systems. - Abhishek Dubey; Gabor Karsai; Nagabhushan Mahadevan (Software Engineering for Self-Adaptive Systems, 2010)

A Real-Time Component Framework: Experience with CCM and ARINC-653. - Abhishek Dubey; Gabor Karsai; Róbert Kereskényi; Nagabhushan Mahadevan (ISORC, 2010)

Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems. - Rajat Mehrotra; Abhishek Dubey; Sherif Abdelwahed; Asser N. Tantawi (MASCOTS, 2010)

Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems. - Jaiganesh Balasubramanian; Aniruddha S. Gokhale; Abhishek Dubey; Friedhelm Wolf; Chenyang Lu 001; Christopher D. Gill; Douglas C. Schmidt (IEEE Real-Time and Embedded Technology and Applications Symposium, 2010)

Efficient Autoscaling in the Cloud Using Predictive Models for Workload Forecasting. - Nilabja Roy; Abhishek Dubey; Aniruddha S. Gokhale (IEEE CLOUD, 2011)

Application of software health management techniques. - Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (SEAMS, 2011)

A Capacity Planning Process for Performance Assurance of Component-based Distributed Systems. - Nilabja Roy; Abhishek Dubey; Aniruddha S. Gokhale; Larry W. Dowdy (ICPE, 2011)

Investigating a novel GA-based feature selection method using improved KNN classifiers. - Amit Saxena; Dovendra Patre; Abhishek Dubey (Int. J. Inf. Commun. Technol., 2011)

Autonomic Healing of Model-Based Systems. - Steven Nordstrom; Abhishek Dubey; Turker Keskinpala; Sandeep Neema; Theodore Bapty (J. Aerosp. Comput. Inf. Commun., 2011)

A capacity planning process for performance assurance of component-based distributed systems (abstracts only). - Nilabja Roy; Abhishek Dubey; Aniruddha S. Gokhale; Larry W. Dowdy (SIGMETRICS Perform. Evaluation Rev., 2011)

A component model for hard real-time systems: CCM with ARINC-653. - Abhishek Dubey; Gabor Karsai; Nagabhushan Mahadevan (Softw. Pract. Exp., 2011)

Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode. - Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (ISORC, 2012)

Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation. - Akshay Dabholkar; Abhishek Dubey; Aniruddha S. Gokhale; Gabor Karsai; Nagabhushan Mahadevan (SRDS, 2012)

Power-Aware Modeling and Autonomic Management Framework for Distributed Computing Systems. - Rajat Mehrotra; Abhishek Dubey; Sherif Abdelwahed; Asser N. Tantawi (Handbook of Energy-Aware and Green Computing, 2012)

F6COM: A component model for resource-constrained and dynamic space-based computing environments. - William Otte; Abhishek Dubey; Subhav Pradhan; Prithviraj Patil; Aniruddha S. Gokhale; Gabor Karsai; Johnny Willemsen (ISORC, 2013)

Comprehensive Border Bases for Zero Dimensional Parametric Polynomial Ideals. - Abhishek Dubey; Ambedkar Dukkipati (CoRR, 2013)

Software health management. - Abhishek Dubey; Gabor Karsai (Innov. Syst. Softw. Eng., 2013)

Deliberative, search-based mitigation strategies for model-based software health management. - Nagabhushan Mahadevan; Abhishek Dubey; Daniel Balasubramanian; Gabor Karsai (Innov. Syst. Softw. Eng., 2013)

Towards a resilient deployment and configuration infrastructure for fractionated spacecraft. - Subhav Pradhan; William Otte; Abhishek Dubey; Aniruddha S. Gokhale; Gabor Karsai (SIGBED Rev., 2013)

Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks. - William Emfinger; Gabor Karsai; Abhishek Dubey; Aniruddha S. Gokhale (CyPhy, 2014)

Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. - Gabor Karsai; Daniel Balasubramanian; Abhishek Dubey; William Otte (ISORC, 2014)

Taming Multi-Paradigm Integration in a Software Architecture Description Language. - Daniel Balasubramanian; Tihamer Levendovszky; Abhishek Dubey; Gabor Karsai (MPM@MoDELS, 2014)

Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. - Pranav Srinivas Kumar; Abhishek Dubey; Gabor Karsai (MoDeVVa@MoDELS, 2014)

A Rapid Testing Framework for a Mobile Cloud. - Daniel Balasubramanian; Abhishek Dubey; William R. Otte; William Emfinger; Pranav Srinivas Kumar; Gabor Karsai (RSP, 2014)

Macaulay-Buchberger Basis Theorem for Residue Class Rings with Torsion and Border Bases over Rings. - Ambedkar Dukkipati; Nithish Pai; Maria Francis; Abhishek Dubey (CoRR, 2014)

Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. - Tihamer Levendovszky; Abhishek Dubey; William Otte; Daniel Balasubramanian; Alessandro Coglio; Sandor Nyako; William Emfinger; Pranav Srinivas Kumar; Aniruddha S. Gokhale; Gabor Karsai (IEEE Softw., 2014)

CHARIOT: a domain specific language for extensible cyber-physical systems. - Subhav M. Pradhan; Abhishek Dubey; Aniruddha S. Gokhale; Martin Lehofer (DSM@SPLASH, 2015)

On Gröbner bases over rings and residue class polynomial rings with torsion. - Ambedkar Dukkipati; Nithish Pai; Maria Francis; Abhishek Dubey (ACM Commun. Comput. Algebra, 2015)

Using temporal causal models to isolate failures in power system protection devices. - Nagabhushan Mahadevan; Abhishek Dubey; Ajay Chhokra; Huangcheng Guo; Gabor Karsai (IEEE Instrum. Meas. Mag., 2015)

DREMS ML: A wide spectrum architecture design language for distributed computing platforms. - Daniel Balasubramanian; Abhishek Dubey; William Otte; Tihamer Levendovszky; Aniruddha S. Gokhale; Pranav Srinivas Kumar; William Emfinger; Gabor Karsai (Sci. Comput. Program., 2015)

DelayRadar: A multivariate predictive model for transit systems. - Aparna Oruganti; Fangzhou Sun; Hiba Baroud; Abhishek Dubey (IEEE BigData, 2016)

Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing. - William Emfinger; Abhishek Dubey; Péter Völgyesi; János Sallai; Gabor Karsai (SEC, 2016)

Poster Abstract: A Distributed and Resilient Platform for City-Scale Smart Systems. - Subhav Pradhan; Abhishek Dubey; Shweta Khare; Fangzhou Sun; János Sallai; Aniruddha S. Gokhale; Douglas C. Schmidt; Martin Lehofer; Monika Sturm 001 (SEC, 2016)

Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems. - Ajay Chhokra; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai (ICCPS, 2016)

WiP Abstract: Platform for Designing and Managing Resilient and Extensible CPS. - Subhav Pradhan; Abhishek Dubey; Aniruddha S. Gokhale (ICCPS, 2016)

The Role of Context and Resilient Middleware in Next Generation Smart Grids. - Abhishek Dubey; Subhav Pradhan; Douglas C. Schmidt; Sebnem Rusitschka; Monika Sturm 001 (M4IoT@Middleware, 2016)

Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems. - Subhav Pradhan; Abhishek Dubey; Aniruddha S. Gokhale (SERENE, 2016)

Towards Reliability-Based Decision Making in Cyber-Physical Systems. - Saideep Nannapaneni; Sankaran Mahadevan; Subhav Pradhan; Abhishek Dubey (SMARTCOMP, 2016)

Real-Time and Predictive Analytics for Smart Public Transportation Decision Support System. - Fangzhou Sun; Yao Pan; Jules White; Abhishek Dubey (SMARTCOMP, 2016)

Achieving resilience in distributed software systems via self-reconfiguration. - Subhav Pradhan; Abhishek Dubey; Tihamer Levendovszky; Pranav Srinivas Kumar; William Emfinger; Daniel Balasubramanian; William Otte; Gabor Karsai (J. Syst. Softw., 2016)

Computation and Communication Evaluation of an Authentication Mechanism for Time-Triggered Networked Control Systems. - Gonçalo Martins; Arul Moondra; Abhishek Dubey; Anirban Bhattacharjee; Xenofon D. Koutsoukos (Sensors, 2016)

Prioritized Allocation of Emergency Responders based on a Continuous-Time Incident Prediction Model. - Ayan Mukhopadhyay; Yevgeniy Vorobeychik; Abhishek Dubey; Gautam Biswas (AAMAS, 2017)

DxNAT - Deep neural networks for explaining non-recurring traffic congestion. - Fangzhou Sun; Abhishek Dubey; Jules White (IEEE BigData, 2017)

A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems. - Ajay Chhokra; Amogh Kulkarni; Saqib Hasan; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai (SPSR-SG@CPSWeek, 2017)

Optimal detection of faulty traffic sensors used in route planning. - Amin Ghafouri; Aron Laszka; Abhishek Dubey; Xenofon D. Koutsoukos (SCOPE@CPSWeek, 2017)

Indicator frameworks. - Joshua Tan; Christine Kendrick; Abhishek Dubey; Sokwoo Rhee (SCOPE@CPSWeek, 2017)

Resilience at the edge in cyber-physical systems. - Abhishek Dubey; Gabor Karsai; Subhav Pradhan (FMEC, 2017)

Towards an architecture for evaluating and analyzing decentralized Fog applications. - Scott Eisele; Geoffrey Pettet; Abhishek Dubey; Gabor Karsai (FWC, 2017)

Diagnostics and prognostics using temporal causal models for cyber physical energy systems. - Ajay Chhokra; Saqib Hasan; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai (ICCPS, 2017)

Transactive energy demo with RIAPS platform. - Scott Eisele; Abhishek Dubey; Gabor Karsai; Srdjan M. Lukic (ICCPS, 2017)

Providing privacy, safety, and security in IoT-based transactive energy systems using distributed ledgers. - Aron Laszka; Abhishek Dubey; Michael Walker 003; Douglas C. Schmidt (IOT, 2017)

A simulation testbed for cascade analysis. - Saqib Hasan; Ajay Chhokra; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai; Rishabh Jain; Srdjan M. Lukic (ISGT, 2017)

RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems. - Scott Eisele; István Madari; Abhishek Dubey; Gabor Karsai (ISORC, 2017)

Short Paper: Towards Low-Cost Indoor Localization Using Edge Computing Resources. - Shweta Prabhat Khare; János Sallai; Abhishek Dubey; Aniruddha S. Gokhale (ISORC, 2017)

On the design of communication and transaction anonymity in blockchain-based transactive microgrids. - Jonatan Bergquist; Aron Laszka; Monika Sturm 001; Abhishek Dubey (SERIAL@Middleware, 2017)

PlaTIBART: a platform for transactive IoT blockchain applications with repeatable testing. - Michael A. Walker; Abhishek Dubey; Aron Laszka; Douglas C. Schmidt (M4IoT@Middleware, 2017)

Time synchronization services for low-cost fog computing applications. - Péter Völgyesi; Abhishek Dubey; Timothy Krentz; István Madari; Mary Metelko; Gabor Karsai (RSP, 2017)

SpeedPro: A Predictive Multi-Model Approach for Urban Traffic Speed Estimation. - Chinmaya Samal; Fangzhou Sun; Abhishek Dubey (SMARTCOMP, 2017)

Unsupervised Mechanisms for Optimizing On-Time Performance of Fixed Schedule Transit Vehicles. - Fangzhou Sun; Chinmaya Samal; Jules White; Abhishek Dubey (SMARTCOMP, 2017)

Performance evaluation of smart systems under uncertainty. - Saideep Nannapaneni; Abhishek Dubey; Sankaran Mahadevan (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

Incident analysis and prediction using clustering and Bayesian network. - Geoffrey Pettet; Saideep Nannapaneni; Benjamin Stadnick; Abhishek Dubey; Gautam Biswas (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

Privacy-Preserving Platform for Transactive Energy Systems. - Karla Kvaternik; Aron Laszka; Michael Walker 003; Douglas C. Schmidt; Monika Sturm 001; Martin Lehofer; Abhishek Dubey (CoRR, 2017)

DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems. - Abhishek Dubey; Gabor Karsai; Aniruddha S. Gokhale; William Emfinger; Pranav Srinivas Kumar (CoRR, 2017)

TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids. - Aron Laszka; Scott Eisele; Abhishek Dubey; Gabor Karsai; Karla Kvaternik (ICPADS, 2018)

Vulnerability analysis of power systems based on cyber-attack and defense models. - Saqib Hasan; Amin Ghafouri; Abhishek Dubey; Gabor Karsai; Xenofon D. Koutsoukos (ISGT, 2018)

SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities. - Scott Eisele; Aron Laszka; Anastasia Mavridou; Abhishek Dubey (iThings/GreenCom/CPSCom/SmartData, 2018)

On the Data-Driven Prediction of Arrival Times for Freight Trains on U.S. Railroads. - William Barbour; Chinmaya Samal; Shankara Kuppa; Abhishek Dubey; Daniel B. Work (ITSC, 2018)

Mobilytics- An Extensible, Modular and Resilient Mobility Platform. - Chinmaya Samal; Abhishek Dubey; Lillian J. Ratliff (SMARTCOMP, 2018)

Short-Term Transit Decision Support System Using Multi-task Deep Neural Networks. - Fangzhou Sun; Abhishek Dubey; Chinmaya Samal; Hiba Baroud; Chetan S. Kulkarni (SMARTCOMP, 2018)

Towards a Socially Optimal Multi-Modal Routing Platform. - Chinmaya Samal; Liyuan Zheng; Fangzhou Sun; Lillian J. Ratliff; Abhishek Dubey (CoRR, 2018)

A Data-driven Prognostic Architecture for Online Monitoring of Hard Disks Using Deep LSTM Networks. - Sanchita Basak; Saptarshi Sengupta; Abhishek Dubey (CoRR, 2018)

Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges. - Marisol García-Valls; Abhishek Dubey; Vicent J. Botti (J. Syst. Archit., 2018)

CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems. - Subhav Pradhan; Abhishek Dubey; Shweta Khare; Saideep Nannapaneni; Aniruddha S. Gokhale; Sankaran Mahadevan; Douglas C. Schmidt; Martin Lehofer (ACM Trans. Cyber Phys. Syst., 2018)

Data-Driven Optimization of Public Transit Schedule. - Sanchita Basak; Fangzhou Sun; Saptarshi Sengupta; Abhishek Dubey (BDA, 2019)

Analyzing the Cascading Effect of Traffic Congestion Using LSTM Networks. - Sanchita Basak; Abhishek Dubey; Bruno Leão (IEEE BigData, 2019)

Model-based design for CPS with learning-enabled components. - Charles Hartsell; Nagabhushan Mahadevan; Shreyas Ramakrishna; Abhishek Dubey; Theodore Bapty; Taylor T. Johnson; Xenofon D. Koutsoukos; Janos Sztipanovits; Gabor Karsai (DESTION@CPSIoTWeek, 2019)

Towards demand-oriented flexible rerouting of public transit under uncertainty. - Saideep Nannapaneni; Abhishek Dubey (SCOPE@CPSIoTWeek, 2019)

Cyber-Physical Simulation Platform for Security Assessment of Transactive Energy Systems. - Yue Zhang 026; Scott Eisele; Abhishek Dubey; Aron Laszka; Anurag K. Srivastava 001 (MSCPES@CPSIoTWeek, 2019)

VeriSolid: Correct-by-Design Smart Contracts for Ethereum. - Anastasia Mavridou; Aron Laszka; Emmanouela Stachtiari; Abhishek Dubey (Financial Cryptography, 2019)

A CPS toolchain for learning-based systems: demo abstract. - Charles Hartsell; Nagabhushan Mahadevan; Shreyas Ramakrishna; Abhishek Dubey; Theodore Bapty; Gabor Karsai (ICCPS, 2019)

An online decision-theoretic pipeline for responder dispatch. - Ayan Mukhopadhyay; Geoffrey Pettet; Chinmaya Samal; Abhishek Dubey; Yevgeniy Vorobeychik (ICCPS, 2019)

Incident management and analysis dashboard for fire departments: ICCPS demo. - Geoffrey Pettet; Ayan Mukhopadhyay; Chinmaya Samal; Abhishek Dubey; Yevgeniy Vorobeychik (ICCPS, 2019)

Supporting fog/edge-based cognitive assistance IoT services for the visually impaired: poster abstract. - Shashank Shekhar 001; Ajay Chhokra; Hongyang Sun 001; Aniruddha Gokhale; Abhishek Dubey; Xenofon D. Koutsoukos (IoTDI, 2019)

DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots. - Matthew P. Burruss; Shreyas Ramakrishna; Gabor Karsai; Abhishek Dubey (ISORC, 2019)

Demo: Transactive Energy Application with RIAPS. - Scott Eisele; Purboday Ghosh; Keegan Campanelli; Abhishek Dubey; Gabor Karsai (ISORC, 2019)

On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems. - Purboday Ghosh; Scott Eisele; Abhishek Dubey; Mary Metelko; István Madari; Péter Völgyesi; Gabor Karsai (ISORC, 2019)

Short Paper: Towards An Edge-Located Time-Series Database. - Timothy Krentz; Abhishek Dubey; Gabor Karsai (ISORC, 2019)

Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. - Shreyas Ramakrishna; Abhishek Dubey; Matthew P. Burruss; Charles Hartsell; Nagabhushan Mahadevan; Saideep Nannapaneni; Aron Laszka; Gabor Karsai (ISORC, 2019)

URMILA: A Performance and Mobility-Aware Fog/Edge Resource Management Middleware. - Shashank Shekhar 001; Ajay Chhokra; Hongyang Sun 001; Aniruddha Gokhale; Abhishek Dubey; Xenofon D. Koutsoukos (ISORC, 2019)

Towards an Adaptive Multi-Modal Traffic Analytics Framework at the Edge. - Geoffrey Pettet; Saroj Sahoo; Abhishek Dubey (PerCom Workshops, 2019)

CPS Design with Learning-Enabled Components: A Case Study. - Charles Hartsell; Nagabhushan Mahadevan; Shreyas Ramakrishna; Abhishek Dubey; Theodore Bapty; Taylor T. Johnson; Xenofon D. Koutsoukos; Janos Sztipanovits; Gabor Karsai (RSP, 2019)

Mechanisms for Integrated Feature Normalization and Remaining Useful Life Estimation Using LSTMs Applied to Hard-Disks. - Sanchita Basak; Saptarshi Sengupta; Abhishek Dubey (SMARTCOMP, 2019)

Mobilytics-Gym: A Simulation Framework for Analyzing Urban Mobility Decision Strategies. - Chinmaya Samal; Abhishek Dubey; Lillian J. Ratliff (SMARTCOMP, 2019)

Smart Transportation Delay and Resiliency Testbed Based on Information Flow of Things Middleware. - Jose Paolo Talusan; Francis Tiausas; Keiichi Yasumoto; Michael Wilbur; Geoffrey Pettet; Abhishek Dubey; Shameek Bhattacharjee (SMARTCOMP, 2019)

A Decentralized Approach for Real Time Anomaly Detection in Transportation Networks. - Michael Wilbur; Abhishek Dubey; Bruno Leão; Shameek Bhattacharjee (SMARTCOMP, 2019)

Chapter Seven - Consensus mechanisms and information security technologies. - Peng Zhang 034; Douglas C. Schmidt; Jules White; Abhishek Dubey (Adv. Comput., 2019)

Chapter Six - Testing at scale of IoT blockchain applications. - Michael A. Walker; Douglas C. Schmidt; Abhishek Dubey (Adv. Comput., 2019)

Transit-hub: a smart public transportation decision support system with multi-timescale analytical services. - Fangzhou Sun; Abhishek Dubey; Jules White; Aniruddha Gokhale (Clust. Comput., 2019)

TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids. - Aron Laszka; Scott Eisele; Abhishek Dubey; Gabor Karsai; Karla Kvaternik (CoRR, 2019)

On Benchmarking for Crowdsourcing and Future of Work Platforms. - Ria Mae Borromeo; Lei Chen 002; Abhishek Dubey; Sudeepa Roy 001; Saravanan Thirumuruganathan (IEEE Data Eng. Bull., 2019)

Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid. - Abhishek Dubey; Gabor Karsai; Péter Völgyesi; Mary Metelko; István Madari; Hao Tu; Yuhua Du; Srdjan M. Lukic (IEEE Embed. Syst. Lett., 2019)

Introduction to the special issue of the 16th ACM workshop on Adaptive and Reflective Middleware (ARM). - Abhishek Dubey; Marisol García-Valls (J. Syst. Archit., 2019)

Designing Emergency Response Pipelines : Lessons and Challenges. - Ayan Mukhopadhyay; Geoffrey Pettet; Mykel J. Kochenderfer; Abhishek Dubey (AI4SG@AAAI Fall Symposium, 2020)

A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems. - Ajay Chhokra; Saqib Hasan; Abhishek Dubey; Gabor Karsai (ACC, 2020)

On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities. - Geoffrey Pettet; Ayan Mukhopadhyay; Mykel J. Kochenderfer; Yevgeniy Vorobeychik; Abhishek Dubey (AAMAS, 2020)

Mechanisms for outsourcing computation via a decentralized market. - Scott Eisele; Taha Eghtesad; Nicholas Troutman; Aron Laszka; Abhishek Dubey (DEBS, 2020)

Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress. - Shreyas Ramakrishna; Zahra RahimiNasab; Arvind Easwaran; Abhishek Dubey (EMSOFT, 2020)

On Decentralized Route Planning Using the Road Side Units as Computing Resources. - Jose Paolo Talusan; Michael Wilbur; Abhishek Dubey; Keiichi Yasumoto (ICFC, 2020)

Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge. - Anirban Bhattacharjee; Ajay Dev Chhokra; Hongyang Sun 001; Shashank Shekhar 001; Aniruddha Gokhale; Gabor Karsai; Abhishek Dubey (ICFEC, 2020)

Cyber-Attacks and Mitigation in Blockchain Based Transactive Energy Systems. - Carlos A. Barreto; Taha Eghtesad; Scott Eisele; Aron Laszka; Abhishek Dubey; Xenofon D. Koutsoukos (ICPS, 2020)

Security in Mixed Time and Event Triggered Cyber-Physical Systems using Moving Target Defense. - Bradley Potteiger; Feiyang Cai; Abhishek Dubey; Xenofon D. Koutsoukos; Zhenkai Zhang 002 (ISORC, 2020)

Time-dependent Decentralized Routing using Federated Learning. - Michael Wilbur; Chinmaya Samal; Jose Paolo Talusan; Keiichi Yasumoto; Abhishek Dubey (ISORC, 2020)

Qualitative Fault Modeling in Safety Critical Cyber Physical Systems. - Ajay Chhokra; Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (SAM, 2020)

Data-Driven Prediction of Route-Level Energy Use for Mixed-Vehicle Transit Fleets. - Afiya Ayman; Michael Wilbur; Amutheezan Sivagnanam; Philip Pugliese; Abhishek Dubey; Aron Laszka (SMARTCOMP, 2020)

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE. - Vijaya Kumar Sundar; Shreyas Ramakrishna; Zahra RahimiNasab; Arvind Easwaran; Abhishek Dubey (SP (Workshops), 2020)

Emergency Incident Detection from Crowdsourced Waze Data using Bayesian Information Fusion. - Yasas Senarath; Saideep Nannapaneni; Hemant Purohit; Abhishek Dubey (WI/IAT, 2020)

Route Planning Through Distributed Computing by Road Side Units. - Jose Paolo Talusan; Michael Wilbur; Abhishek Dubey; Keiichi Yasumoto (IEEE Access, 2020)

Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches. - Scott Eisele; Carlos A. Barreto; Abhishek Dubey; Xenofon D. Koutsoukos; Taha Eghtesad; Aron Laszka; Anastasia Mavridou (Computer, 2020)

A Methodology for Automating Assurance Case Generation. - Shreyas Ramakrishna; Charles Hartsell; Abhishek Dubey; Partha Pratim Pal; Gabor Karsai (CoRR, 2020)

A Review and Outlook of Energy Consumption Estimation Models for Electric Vehicles. - Yuche Chen; Guoyuan Wu 001; Ruixiao Sun; Abhishek Dubey; Aron Laszka; Philip Pugliese (CoRR, 2020)

Workflow Automation for Cyber Physical System Development Processes. - Charles Hartsell; Nagabhushan Mahadevan; Harmon Nine; Ted Bapty; Abhishek Dubey; Gabor Karsai (CoRR, 2020)

A Review of Emergency Incident Prediction, Resource Allocation and Dispatch Models. - Ayan Mukhopadhyay; Geoffrey Pettet; Sayyed Vazirizade; Yevgeniy Vorobeychik; Mykel J. Kochenderfer; Abhishek Dubey (CoRR, 2020)

Impact of COVID-19 on Public Transit Accessibility and Ridership. - Michael Wilbur; Afiya Ayman; Anna Ouyang; Vincent Poon; Riyan Kabir; Abhiram Vadali; Philip Pugliese; Daniel Freudberg; Aron Laszka; Abhishek Dubey (CoRR, 2020)

The Role of Blockchains in Multi-Stakeholder Transactive Energy Systems. - Scott Eisele; Aron Laszka; Douglas C. Schmidt; Abhishek Dubey (Frontiers Blockchain, 2020)

Designing a decentralized fault-tolerant software framework for smart grids and its applications. - Purboday Ghosh; Scott Eisele; Abhishek Dubey; Mary Metelko; István Madari; Péter Völgyesi; Gabor Karsai (J. Syst. Archit., 2020)

Dynamic-weighted simplex strategy for learning enabled cyber physical systems. - Shreyas Ramakrishna; Charles Hartsell; Matthew P. Burruss; Gabor Karsai; Abhishek Dubey (J. Syst. Archit., 2020)

URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services. - Shashank Shekhar 001; Ajay Chhokra; Hongyang Sun 001; Aniruddha Gokhale; Abhishek Dubey; Xenofon D. Koutsoukos; Gabor Karsai (J. Syst. Archit., 2020)

Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid Control. - Hao Tu; Yuhua Du; Hui Yu 012; Abhishek Dubey; Srdjan M. Lukic; Gabor Karsai (IEEE Trans. Ind. Electron., 2020)

Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route Service. - Amutheezan Sivagnanam; Afiya Ayman; Michael Wilbur; Philip Pugliese; Abhishek Dubey; Aron Laszka (AAAI, 2021)

Power-attack: a comprehensive tool-chain for modeling and simulating attacks in power systems. - Ajay Chhokra; Carlos A. Barreto; Abhishek Dubey; Gabor Karsai; Xenofon D. Koutsoukos (MSCPES@CPSIoTWeek, 2021)

RT-METER: a real-time, multi-layer cyber-power testbed for resiliency analysis. - Hussain M. Mustafa; Mohini Bariya; K. S. Sajan; Ajay Chhokra; Anurag Srivastava 001; Abhishek Dubey; Alexandra von Meier; Gautam Biswas (MSCPES@CPSIoTWeek, 2021)

Hierarchical planning for resource allocation in emergency response systems. - Geoffrey Pettet; Ayan Mukhopadhyay; Mykel J. Kochenderfer; Abhishek Dubey (ICCPS, 2021)

Practitioner-Centric Approach for Early Incident Detection Using Crowdsourced Data for Emergency Services. - Yasas Senarath; Ayan Mukhopadhyay; Sayyed Mohsen Vazirizade; Hemant Purohit; Saideep Nannapaneni; Abhishek Dubey (ICDM, 2021)

Automated Method for Assurance Case Construction from System Design Models. - Charles Hartsell; Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (ICSRS, 2021)

Configuration Tuning for Distributed IoT Message Systems Using Deep Reinforcement Learning: Poster Abstract. - Zhuangwei Kang; Yogesh D. Barve; Shunxing Bao; Abhishek Dubey; Aniruddha Gokhale (IoTDI, 2021)

A Decision Support Framework for Grid-Aware Electric Bus Charge Scheduling. - Geoffrey Pettet; Malini Ghosal; Shant Mahserejian; Sarah Davis; Siddharth Sridhar; Abhishek Dubey; Michael Kintner-Meyer (ISGT, 2021)

Towards Model-Based Intent-Driven Adaptive Software. - Daniel Balasubramanian; Alessandro Coglio; Abhishek Dubey; Gabor Karsai (ISoLA, 2021)

WildfireDB: An Open-Source Dataset Connecting Wildfire Occurrence with Relevant Determinants. - Samriddhi Singla; Ayan Mukhopadhyay; Michael Wilbur; Tina Diao; Vinayak Gajjewar; Ahmed Eldawy; Mykel J. Kochenderfer; Ross D. Shachter; Abhishek Dubey (NeurIPS Datasets and Benchmarks, 2021)

Energy and Emission Prediction for Mixed-Vehicle Transit Fleets Using Multi-task and Inductive Transfer Learning. - Michael Wilbur; Ayan Mukhopadhyay; Sayyed Vazirizade; Philip Pugliese; Aron Laszka; Abhishek Dubey (ECML/PKDD (4), 2021)

ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. - Charles Hartsell; Shreyas Ramakrishna; Abhishek Dubey; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai (SEAMS@ICSE, 2021)

Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical Systems. - Matthew P. Burruss; Shreyas Ramakrishna; Abhishek Dubey (SMARTCOMP, 2021)

TRANSIT-GYM: A Simulation and Evaluation Engine for Analysis of Bus Transit Systems. - Ruixiao Sun; Rongze Gui; Himanshu Neema; Yuche Chen; Juliette Ugirumurera; Joseph Severino; Philip Pugliese; Aron Laszka; Abhishek Dubey (SMARTCOMP, 2021)

User-centric Distributed Route Planning in Smart Cities based on Multi-objective Optimization. - Francis Tiausas; Jose Paolo Talusan; Yu Ishimaki; Hayato Yamana; Hirozumi Yamaguchi; Shameek Bhattacharjee; Abhishek Dubey; Keiichi Yasumoto; Sajal K. Das 001 (SMARTCOMP, 2021)

Learning Incident Prediction Models Over Large Geographical Areas for Emergency Response. - Sayyed Mohsen Vazirizade; Ayan Mukhopadhyay; Geoffrey Pettet; Said El Said; Hiba Baroud; Abhishek Dubey (SMARTCOMP, 2021)

Efficient Data Management for Intelligent Urban Mobility Systems. - Michael Wilbur; Philip Pugliese; Aron Laszka; Abhishek Dubey (CoRR, 2021)

Learning Incident Prediction Models Over Large Geographical Areas for Emergency Response Systems. - Sayyed Mohsen Vazirizade; Ayan Mukhopadhyay; Geoffrey Pettet; Said El Said; Hiba Baroud; Abhishek Dubey (CoRR, 2021)

Reinforcement Learning based Proactive Control for Transmission Grid Resilience to Wildfire. - Salah U. Kadir; Subir Majumder; Ajay Dev Chhokra; Abhishek Dubey; Himanshu Neema; Aron Laszka; Anurag K. Srivastava 001 (CoRR, 2021)

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. - Shreyas Ramakrishna; Zahra RahimiNasab; Gabor Karsai; Arvind Easwaran; Abhishek Dubey (CoRR, 2021)

Online monitoring and control of a cyber-physical manufacturing process under uncertainty. - Saideep Nannapaneni; Sankaran Mahadevan; Abhishek Dubey; Yung-Tsun Tina Lee (J. Intell. Manuf., 2021)

Spatio-temporal AI inference engine for estimating hard disk reliability. - Sanchita Basak; Saptarshi Sengupta; Shi-Jie Wen; Abhishek Dubey (Pervasive Mob. Comput., 2021)

Safe and Private Forward-trading Platform for Transactive Microgrids. - Scott Eisele; Taha Eghtesad; Keegan Campanelli; Prakhar Agrawal; Aron Laszka; Abhishek Dubey (ACM Trans. Cyber Phys. Syst., 2021)

BTE-Sim: Fast Simulation Environment For Public Transportation. - Rishav Sen; Toan Tran 001; Seyedmehdi Khaleghian; Philip Pugliese; Mina Sartipi; Himanshu Neema; Abhishek Dubey (IEEE Big Data, 2022)

On Designing Day Ahead and Same Day Ridership Level Prediction Models for City-Scale Transit Networks Using Noisy APC Data. - Jose Paolo Talusan; Ayan Mukhopadhyay; Daniel Freudberg; Abhishek Dubey (IEEE Big Data, 2022)

E-transit-bench: simulation platform for analyzing electric public transit bus fleet operations. - Rishav Sen; Alok Kumar Bharati; Seyedmehdi Khaleghian; Malini Ghosal; Michael Wilbur; Toan Tran 001; Philip Pugliese; Mina Sartipi; Himanshu Neema; Abhishek Dubey (e-Energy, 2022)

Decentralized Computation Market for Stream Processing Applications. - Scott Eisele; Michael Wilbur; Taha Eghtesad; Kevin Silvergold; Fred Eisele; Ayan Mukhopadhyay; Aron Laszka; Abhishek Dubey (IC2E, 2022)

Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. - Shreyas Ramakrishna; Baiting Luo; Yogesh D. Barve; Gabor Karsai; Abhishek Dubey (ICAA, 2022)

Anomaly based Incident Detection in Large Scale Smart Transportation Systems. - Mohammad Jaminur Islam; Jose Paolo Talusan; Shameek Bhattacharjee; Francis Tiausas; Sayyed Mohsen Vazirizade; Abhishek Dubey; Keiichi Yasumoto; Sajal K. Das 001 (ICCPS, 2022)

An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services. - Michael Wilbur; Salah Uddin Kadir; Youngseo Kim; Geoffrey Pettet; Ayan Mukhopadhyay; Philip Pugliese; Samitha Samaranayake; Aron Laszka; Abhishek Dubey (ICCPS, 2022)

Simurgh: A Framework for Cad-Driven Deep Learning Based X-Ray CT Reconstruction. - 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 (ICIP, 2022)

ADVISER: AI-Driven Vaccination Intervention Optimiser for Increasing Vaccine Uptake in Nigeria. - Vineet Nair; Kritika Prakash; Michael Wilbur; Aparna Taneja; Corinne Namblard; Oyindamola Adeyemo; Abhishek Dubey; Abiodun Adereni; Milind Tambe; Ayan Mukhopadhyay (IJCAI, 2022)

Offline Vehicle Routing Problem with Online Bookings: A Novel Problem Formulation with Applications to Paratransit. - Amutheezan Sivagnanam; Salah Uddin Kadir; Ayan Mukhopadhyay; Philip Pugliese; Abhishek Dubey; Samitha Samaranayake; Aron Laszka (IJCAI, 2022)

Traffic Anomaly Detection Via Conditional Normalizing Flow. - Zhuangwei Kang; Ayan Mukhopadhyay; Aniruddha Gokhale; Shi-Jie Wen; Abhishek Dubey (ITSC, 2022)

ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA. - Shreyas Ramakrishna; Baiting Luo; Christopher B. Kuhn; Gabor Karsai; Abhishek Dubey (ITSC, 2022)

Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems. - Shreyas Ramakrishna; Hyunjee Jin; Abhishek Dubey; Arun Ramamurthy (SAFECOMP, 2022)

Neural Architecture and Feature Search for Predicting the Ridership of Public Transportation Routes. - Afiya Ayman; Juan Martinez; Philip Pugliese; Abhishek Dubey; Aron Laszka (SMARTCOMP, 2022)

Designing Decision Support Systems for Emergency Response: Challenges and Opportunities. - Geoffrey Pettet; Hunter Baxter; Sayyed Mohsen Vazirizade; Hemant Purohit; Meiyi Ma; Ayan Mukhopadhyay; Abhishek Dubey (CoRR, 2022)

Decision Making in Non-Stationary Environments with Policy-Augmented Monte Carlo Tree Search. - Geoffrey Pettet; Ayan Mukhopadhyay; Abhishek Dubey (CoRR, 2022)

Syntheto: A Surface Language for APT and ACL2. - Alessandro Coglio; Eric McCarthy; Stephen J. Westfold; Daniel Balasubramanian; Abhishek Dubey; Gabor Karsai (ACL2, 2022)

Generative Anomaly Detection for Time Series Datasets. - Zhuangwei Kang; Ayan Mukhopadhyay; Aniruddha Gokhale; Shi-Jie Wen; Abhishek Dubey (CoRR, 2022)

Designing Equitable Transit Networks. - Sophie Pavia; Juan Carlos Martínez Mori; Aryaman Sharma; Philip Pugliese; Abhishek Dubey; Samitha Samaranayake; Ayan Mukhopadhyay (CoRR, 2022)

Moving target defense for the security and resilience of mixed time and event triggered cyber-physical systems. - Bradley Potteiger; Abhishek Dubey; Feiyang Cai; Xenofon D. Koutsoukos; Zhenkai Zhang 002 (J. Syst. Archit., 2022)

Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities. - Geoffrey Pettet; Ayan Mukhopadhyay; Mykel J. Kochenderfer; Abhishek Dubey (ACM Trans. Cyber Phys. Syst., 2022)

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. - Shreyas Ramakrishna; Zahra RahimiNasab; Gabor Karsai; Arvind Easwaran; Abhishek Dubey (ACM Trans. Cyber Phys. Syst., 2022)

Data-Driven Prediction and Optimization of Energy Use for Transit Fleets of Electric and ICE Vehicles. - Afiya Ayman; Amutheezan Sivagnanam; Michael Wilbur; Philip Pugliese; Abhishek Dubey; Aron Laszka (ACM Trans. Internet Techn., 2022)

Rolling Horizon Based Temporal Decomposition for the Offline Pickup and Delivery Problem with Time Windows. - Youngseo Kim; Danushka Edirimanna; Michael Wilbur; Philip Pugliese; Aron Laszka; Abhishek Dubey; Samitha Samaranayake (AAAI, 2023)

Traffic Safety Enforcement and Document Verification System. - Dilip Chandra E; Ajmal Khan; Abhishek Dubey; Abhiram B. R; Dineth H. V (ICCCNT, 2023)

Mobility-On-Demand Transportation: A System for Microtransit and Paratransit Operations. - Michael Wilbur; Maxime Coursey; Pravesh Koirala; Zakariyya Al-Quran; Philip Pugliese; Abhishek Dubey (ICCPS, 2023)

Synchrophasor Data Event Detection using Unsupervised Wavelet Convolutional Autoencoders. - Jacob Buckelew; Sagnik Basumallik; Vasavi Sivaramakrishnan; Ayan Mukhopadhyay; Anurag K. Srivastava 001; Abhishek Dubey (SMARTCOMP, 2023)

Distributed Control Application for Smart Grids using RIAPS. - Purboday Ghosh; Niloy Barua; Timothy Krentz; Gabor Karsai; Abhishek Dubey; Srdjan M. Lukic (SMARTCOMP, 2023)

Calibrating Real-World City Traffic Simulation Model Using Vehicle Speed Data. - Seyedmehdi Khaleghian; Himanshu Neema; Mina Sartipi; Toan Tran 001; Rishav Sen; Abhishek Dubey (SMARTCOMP, 2023)

Addressing APC Data Sparsity in Predicting Occupancy and Delay of Transit Buses: A Multitask Learning Approach. - Ammar Bin Zulqarnain; Samir Gupta; Jose Paolo Talusan; Daniel Freudberg; Philip Pugliese; Ayan Mukhopadhyay; Abhishek Dubey (SMARTCOMP, 2023)

DMSConfig: Automated Configuration Tuning for Distributed IoT Message Systems Using Deep Reinforcement Learning. - Zhuangwei Kang; Yogesh D. Barve; Shunxing Bao; Abhishek Dubey; Aniruddha Gokhale (CoRR, 2023)

Artificial Intelligence for Smart Transportation. - Michael Wilbur; Amutheezan Sivagnanam; Afiya Ayman; Samitha Samaranayake; Abhishek Dubey; Aron Laszka (CoRR, 2023)

HPRoP: Hierarchical Privacy-preserving Route Planning for Smart Cities. - Francis Tiausas; Keiichi Yasumoto; Jose Paolo Talusan; Hayato Yamana; Hirozumi Yamaguchi; Shameek Bhattacharjee; Abhishek Dubey; Sajal K. Das 001 (ACM Trans. Cyber Phys. Syst., 2023)

Forecasting and Mitigating Disruptions in Public Bus Transit Services. - Chaeeun Han; Jose Paolo Talusan; Daniel Freudberg; Ayan Mukhopadhyay; Abhishek Dubey; Aron Laszka (AAMAS, 2024)

Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision Processes. - Baiting Luo; Yunuo Zhang; Abhishek Dubey; Ayan Mukhopadhyay (AAMAS, 2024)

Decision Making in Non-Stationary Environments with Policy-Augmented Search. - Ava Pettet; Yunuo Zhang; Baiting Luo; Kyle Hollins Wray; Hendrik Baier; Aron Laszka; Abhishek Dubey; Ayan Mukhopadhyay (AAMAS, 2024)

Drift Detection and Adaptation for Federated Learning in IoT with Adaptive Device Management. - Shuang Zhou; Shashank Shekhar 001; Ajay Chhokra; Abhishek Dubey; Aniruddha Gokhale (IEEE Big Data, 2024)

Enabling MCTS Explainability for Sequential Planning Through Computation Tree Logic. - Ziyan An; Hendrik Baier; Abhishek Dubey; Ayan Mukhopadhyay; Meiyi Ma (ECAI, 2024)

Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue. - Yunuo Zhang; Baiting Luo; Ayan Mukhopadhyay; Dániel Stojcsics; Daniel Elenius; Anirban Roy; Susmit Jha; Miklos Maroti; Xenofon D. Koutsoukos; Gabor Karsai; Abhishek Dubey (ICAA, 2024)

An Online Approach to Solving Public Transit Stationing and Dispatch Problem. - Jose Paolo Talusan; Chaeeun Han; Ayan Mukhopadhyay; Aron Laszka; Daniel Freudberg; Abhishek Dubey (ICCPS, 2024)

Multi-Agent Reinforcement Learning with Hierarchical Coordination for Emergency Responder Stationing. - Amutheezan Sivagnanam; Ava Pettet; Hunter Lee; Ayan Mukhopadhyay; Abhishek Dubey; Aron Laszka (ICML, 2024)

A New Transformer Based Approach for Multiple Types of Vehicles Counting in Complex Indian Scenes. - Prateek Agrawal; Shivakumara Palaiahnakote; Yuvraj Singh; C. Pavan Kumar 001; Umapada Pal 001; Siddhant Dixit; Udit Jain; Abhishek Dubey (ICPR (Workshops and Challenges, 6), 2024)

SmartTransit.AI: A Dynamic Paratransit and Microtransit Application. - Sophie Pavia; David Rogers; Amutheezan Sivagnanam; Michael Wilbur; Danushka Edirimanna; Youngseo Kim; Ayan Mukhopadhyay; Philip Pugliese; Samitha Samaranayake; Aron Laszka; Abhishek Dubey (IJCAI, 2024)

Deploying Mobility-On-Demand for All by Optimizing Paratransit Services. - Sophie Pavia; David Rogers; Amutheezan Sivagnanam; Michael Wilbur; Danushka Edirimanna; Youngseo Kim; Philip Pugliese; Samitha Samaranayake; Aron Laszka; Ayan Mukhopadhyay; Abhishek Dubey (IJCAI, 2024)

Grid-Aware Charging and Operational Optimization for Mixed-Fleet Public Transit. - Rishav Sen; Amutheezan Sivagnanam; Aron Laszka; Ayan Mukhopadhyay; Abhishek Dubey (ITSC, 2024)

Reinforcement Learning with Communication Latency with Application to Stop-and-Go Wave Dissipation. - Alex Richardson 003; Xia Wang; Abhishek Dubey; Jonathan Sprinkle (IV, 2024)

A Graph Neural Network Framework for Imbalanced Bus Ridership Forecasting. - Samir Gupta; Agrima Khanna; Jose Paolo Talusan; Anwar Said; Daniel Freudberg; Ayan Mukhopadhyay; Abhishek Dubey (SMARTCOMP, 2024)

OPTIMUS: Discrete Event Simulator for Vehicle-to-Building Charging Optimization. - Jose Paolo Talusan; Rishav Sen; Ava Pettet; Aaron Kandel; Yoshinori Suzue; Liam Pedersen; Ayan Mukhopadhyay; Abhishek Dubey (SMARTCOMP, 2024)

Reinforcement-Learning-Based Proactive Control for Enabling Power Grid Resilience to Wildfire. - Salah Uddin Kadir; Subir Majumder; Anurag K. Srivastava 001; Ajay Dev Chhokra; Himanshu Neema; Abhishek Dubey; Aron Laszka (IEEE Trans. Ind. Informatics, 2024)

Designing a Human-centered AI Tool for Proactive Incident Detection Using Crowdsourced Data Sources to Support Emergency Response. - Yasas Senarath; Ayan Mukhopadhyay; Hemant Purohit; Abhishek Dubey (Digit. Gov. Res. Pract., 2024)

Scalable Pythagorean Mean-based Incident Detection in Smart Transportation Systems. - Mohammad Jaminur Islam; Jose Paolo Talusan; Shameek Bhattacharjee; Francis Tiausas; Abhishek Dubey; Keiichi Yasumoto; Sajal K. Das 001 (ACM Trans. Cyber Phys. Syst., 2024)

Introduction to the Special Issue on ICCPS 2023. - Lu Feng 001; Abhishek Dubey (ACM Trans. Cyber Phys. Syst., 2024)

Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems. - Rishav Sen; Yunuo Zhang; Fangqi Liu 001; Jose Paolo Talusan; Ava Pettet; Yoshinori Suzue; Ayan Mukhopadhyay; Abhishek Dubey (ICCPS, 2025)

PDPTW-DB: MILP-Based Offline Route Planning for PDPTW with Driver Breaks. - Agrima Khanna; Fangqi Liu 001; Samir Gupta; Sophie Pavia; Ayan Mukhopadhyay; Abhishek Dubey (ICDCN, 2025)

Scalable Decision-Making in Stochastic Environments through Learned Temporal Abstraction. - Baiting Luo; Ava Pettet; Aron Laszka; Abhishek Dubey; Ayan Mukhopadhyay (ICLR, 2025)

Combining LLMs with a Logic-Based Framework to Explain MCTS. - Ziyan An; Xia Wang; Hendrik Baier; Zirong Chen; Abhishek Dubey; Taylor T. Johnson; Jonathan Sprinkle; Ayan Mukhopadhyay; Meiyi Ma (AAMAS, 2025)

Reinforcement Learning-based Approach for Vehicle-to-Building Charging with Heterogeneous Agents and Long Term Rewards. - Fangqi Liu 001; Rishav Sen; Jose Paolo Talusan; Ava Pettet; Aaron Kandel; Yoshinori Suzue; Ayan Mukhopadhyay; Abhishek Dubey (AAMAS, 2025)

AVATAR: Autonomy Aware Routing for On-demand Transit Applications. - David Rogers; Samir Gupta; Jose Paolo Talusan; Ammar Bin Zulqarnain; Mirza Baig; Arti Ramesh; Natsu Takahashi; Naoki Kojo; Abhishek Dubey (SMARTCOMP, 2025)

TRACE: Traffic Response Anomaly Capture Engine for Localization of Traffic Incidents. - Ammar Bin Zulqarnain; Jacob Buckelew; Jose Paolo Talusan; Ayan Mukhopadhyay; Abhishek Dubey (SMARTCOMP, 2025)

NS-Gym: Open-Source Simulation Environments and Benchmarks for Non-Stationary Markov Decision Processes. - Nathaniel S. Keplinger; Baiting Luo; Iliyas Bektas; Yunuo Zhang; Kyle Hollins Wray; Aron Laszka; Abhishek Dubey; Ayan Mukhopadhyay (CoRR, 2025)

Observation Adaptation via Annealed Importance Resampling for Partially Observable Markov Decision Processes. - Yunuo Zhang; Baiting Luo; Ayan Mukhopadhyay; Abhishek Dubey (CoRR, 2025)