Abhishek Dubey

According to our database1, Abhishek Dubey authored at least 110 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Introduction to the special issue of the 16th ACM workshop on Adaptive and Reflective Middleware (ARM).
Journal of Systems Architecture - Embedded Systems Design, 2019

Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid.
Embedded Systems Letters, 2019

Safe and Private Forward-Trading Platform for Transactive Microgrids.
CoRR, 2019

Cyber-Physical Simulation Platform for Security Assessment of Transactive Energy Systems.
CoRR, 2019

An Online Decision-Theoretic Pipeline for Responder Dispatch.
CoRR, 2019

Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots.
CoRR, 2019

TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids.
CoRR, 2019

VeriSolid: Correct-by-Design Smart Contracts for Ethereum.
CoRR, 2019

Transit-hub: a smart public transportation decision support system with multi-timescale analytical services.
Cluster Computing, 2019

Chapter Six - Testing at scale of IoT blockchain applications.
Advances in Computers, 2019

Chapter Seven - Consensus mechanisms and information security technologies.
Advances in Computers, 2019

A Decentralized Approach for Real Time Anomaly Detection in Transportation Networks.
Proceedings of the IEEE International Conference on Smart Computing, 2019

Smart Transportation Delay and Resiliency Testbed Based on Information Flow of Things Middleware.
Proceedings of the IEEE International Conference on Smart Computing, 2019

Mobilytics-Gym: A Simulation Framework for Analyzing Urban Mobility Decision Strategies.
Proceedings of the IEEE International Conference on Smart Computing, 2019

Mechanisms for Integrated Feature Normalization and Remaining Useful Life Estimation Using LSTMs Applied to Hard-Disks.
Proceedings of the IEEE International Conference on Smart Computing, 2019

CPS Design with Learning-Enabled Components: A Case Study.
Proceedings of the 30th International Workshop on Rapid System Prototyping, 2019

Towards an Adaptive Multi-Modal Traffic Analytics Framework at the Edge.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

URMILA: A Performance and Mobility-Aware Fog/Edge Resource Management Middleware.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Short Paper: Towards An Edge-Located Time-Series Database.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Demo: Transactive Energy Application with RIAPS.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

Supporting fog/edge-based cognitive assistance IoT services for the visually impaired: poster abstract.
Proceedings of the International Conference on Internet of Things Design and Implementation, 2019

Incident management and analysis dashboard for fire departments: ICCPS demo.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

A CPS toolchain for learning-based systems: demo abstract.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Cyber-Physical Simulation Platform for Security Assessment of Transactive Energy Systems.
Proceedings of the 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2019

Towards demand-oriented flexible rerouting of public transit under uncertainty.
Proceedings of the Fourth Workshop on International Science of Smart City Operations and Platforms Engineering, 2019

Model-based design for CPS with learning-enabled components.
Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

2018
CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems.
TCPS, 2018

Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges.
Journal of Systems Architecture - Embedded Systems Design, 2018

A Data-driven Prognostic Architecture for Online Monitoring of Hard Disks Using Deep LSTM Networks.
CoRR, 2018

SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities.
CoRR, 2018

Towards a Socially Optimal Multi-Modal Routing Platform.
CoRR, 2018

DxNAT - Deep Neural Networks for Explaining Non-Recurring Traffic Congestion.
CoRR, 2018

Short-Term Transit Decision Support System Using Multi-task Deep Neural Networks.
Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018

Mobilytics- An Extensible, Modular and Resilient Mobility Platform.
Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018

On the Data-Driven Prediction of Arrival Times for Freight Trains on U.S. Railroads.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Vulnerability analysis of power systems based on cyber-attack and defense models.
Proceedings of the 2018 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2018

TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

2017
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems.
CoRR, 2017

Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems.
CoRR, 2017

Providing Privacy, Safety, and Security in IoT-Based Transactive Energy Systems using Distributed Ledgers.
CoRR, 2017

PlaTIBART: a Platform for Transactive IoT Blockchain Applications with Repeatable Testing.
CoRR, 2017

On the Design of Communication and Transaction Anonymity in Blockchain-Based Transactive Microgrids.
CoRR, 2017

Privacy-Preserving Platform for Transactive Energy Systems.
CoRR, 2017

Optimal Detection of Faulty Traffic Sensors Used in Route Planning.
CoRR, 2017

Incident analysis and prediction using clustering and Bayesian network.
Proceedings of the 2017 IEEE SmartWorld, 2017

Performance evaluation of smart systems under uncertainty.
Proceedings of the 2017 IEEE SmartWorld, 2017

Unsupervised Mechanisms for Optimizing On-Time Performance of Fixed Schedule Transit Vehicles.
Proceedings of the 2017 IEEE International Conference on Smart Computing, 2017

SpeedPro: A Predictive Multi-Model Approach for Urban Traffic Speed Estimation.
Proceedings of the 2017 IEEE International Conference on Smart Computing, 2017

Time synchronization services for low-cost fog computing applications.
Proceedings of the International Symposium on Rapid System Prototyping, 2017

PlaTIBART: a platform for transactive IoT blockchain applications with repeatable testing.
Proceedings of the 4th Workshop on Middleware and Applications for the Internet of Things, 2017

Short Paper: Towards Low-Cost Indoor Localization Using Edge Computing Resources.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

A simulation testbed for cascade analysis.
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2017

Transactive energy demo with RIAPS platform.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Diagnostics and prognostics using temporal causal models for cyber physical energy systems.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Towards an architecture for evaluating and analyzing decentralized Fog applications.
Proceedings of the IEEE Fog World Congress, 2017

Resilience at the edge in cyber-physical systems.
Proceedings of the Second International Conference on Fog and Mobile Edge Computing, 2017

Indicator frameworks.
Proceedings of the 2nd International Workshop on Science of Smart City Operations and Platforms Engineering, 2017

A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems.
Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, 2017

Prioritized Allocation of Emergency Responders based on a Continuous-Time Incident Prediction Model.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
Computation and Communication Evaluation of an Authentication Mechanism for Time-Triggered Networked Control Systems.
Sensors, 2016

Achieving resilience in distributed software systems via self-reconfiguration.
Journal of Systems and Software, 2016

Real-Time and Predictive Analytics for Smart Public Transportation Decision Support System.
Proceedings of the 2016 IEEE International Conference on Smart Computing, 2016

Towards Reliability-Based Decision Making in Cyber-Physical Systems.
Proceedings of the 2016 IEEE International Conference on Smart Computing, 2016

Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical Systems.
Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

The Role of Context and Resilient Middleware in Next Generation Smart Grids.
Proceedings of the 3rd Workshop on Middleware for Context-Aware Applications in the IoT, 2016

WiP Abstract: Platform for Designing and Managing Resilient and Extensible CPS.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Poster Abstract: A Distributed and Resilient Platform for City-Scale Smart Systems.
Proceedings of the IEEE/ACM Symposium on Edge Computing, 2016

Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing.
Proceedings of the IEEE/ACM Symposium on Edge Computing, 2016

DelayRadar: A multivariate predictive model for transit systems.
Proceedings of the 2016 IEEE International Conference on Big Data, 2016

2015
DREMS ML: A wide spectrum architecture design language for distributed computing platforms.
Sci. Comput. Program., 2015

Using temporal causal models to isolate failures in power system protection devices.
IEEE Instrum. Meas. Mag., 2015

On Gröbner bases over rings and residue class polynomial rings with torsion.
ACM Comm. Computer Algebra, 2015

CHARIOT: a domain specific language for extensible cyber-physical systems.
Proceedings of the Workshop on Domain-Specific Modeling, 2015

2014
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems.
IEEE Software, 2014

Macaulay-Buchberger Basis Theorem for Residue Class Rings with Torsion and Border Bases over Rings.
CoRR, 2014

A Rapid Testing Framework for a Mobile Cloud.
Proceedings of the 25nd IEEE International Symposium on Rapid System Prototyping, 2014

Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications.
Proceedings of the 11th Workshop on Model-Driven Engineering, 2014

Taming Multi-Paradigm Integration in a Software Architecture Description Language.
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks.
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

2013
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft.
SIGBED Review, 2013

Deliberative, search-based mitigation strategies for model-based software health management.
ISSE, 2013

Software health management.
ISSE, 2013

Comprehensive Border Bases for Zero Dimensional Parametric Polynomial Ideals.
CoRR, 2013

F6COM: A component model for resource-constrained and dynamic space-based computing environments.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012
Power-Aware Modeling and Autonomic Management Framework for Distributed Computing Systems.
Proceedings of the Handbook of Energy-Aware and Green Computing - Two Volume Set., 2012

Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012

2011
A component model for hard real-time systems: CCM with ARINC-653.
Softw., Pract. Exper., 2011

A capacity planning process for performance assurance of component-based distributed systems (abstracts only).
SIGMETRICS Performance Evaluation Review, 2011

Autonomic Healing of Model-Based Systems.
JACIC, 2011

Investigating a novel GA-based feature selection method using improved KNN classifiers.
IJICT, 2011

A Capacity Planning Process for Performance Assurance of Component-based Distributed Systems.
Proceedings of the ICPE'11, 2011

Application of software health management techniques.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Efficient Autoscaling in the Cloud Using Predictive Models for Workload Forecasting.
Proceedings of the IEEE International Conference on Cloud Computing, 2011

2010
Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems.
Proceedings of the MASCOTS 2010, 2010

A Real-Time Component Framework: Experience with CCM and ARINC-653.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Fault-Adaptivity in Hard Real-Time Component-Based Software Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

2009
Performance modeling of distributed multi-tier enterprise systems.
SIGMETRICS Performance Evaluation Review, 2009

Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Modeling and Analysis of Probabilistic Timed Systems.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems.
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008
Scientific Computing Autonomic Reliability Framework.
Proceedings of the Fourth International Conference on e-Science, 2008

2007
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems.
ISSE, 2007

2005
Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach.
Proceedings of the Automated Technology for Verification and Analysis, 2005


  Loading...