Abhishek Dubey

According to our database1, Abhishek Dubey authored at least 195 papers between 2005 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Reinforcement-Learning-Based Proactive Control for Enabling Power Grid Resilience to Wildfire.
IEEE Trans. Ind. Informatics, January, 2024

Decision Making in Non-Stationary Environments with Policy-Augmented Search.
CoRR, 2024

Act as You Learn: Adaptive Decision-Making in Non-Stationary Markov Decision Processes.
CoRR, 2024

2023
HPRoP: Hierarchical Privacy-preserving Route Planning for Smart Cities.
ACM Trans. Cyber Phys. Syst., October, 2023

Artificial Intelligence for Smart Transportation.
CoRR, 2023

DMSConfig: Automated Configuration Tuning for Distributed IoT Message Systems Using Deep Reinforcement Learning.
CoRR, 2023

Addressing APC Data Sparsity in Predicting Occupancy and Delay of Transit Buses: A Multitask Learning Approach.
Proceedings of the 2023 IEEE International Conference on Smart Computing, 2023

Calibrating Real-World City Traffic Simulation Model Using Vehicle Speed Data.
Proceedings of the 2023 IEEE International Conference on Smart Computing, 2023

Distributed Control Application for Smart Grids using RIAPS.
Proceedings of the 2023 IEEE International Conference on Smart Computing, 2023

Synchrophasor Data Event Detection using Unsupervised Wavelet Convolutional Autoencoders.
Proceedings of the 2023 IEEE International Conference on Smart Computing, 2023

Mobility-On-Demand Transportation: A System for Microtransit and Paratransit Operations.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Traffic Safety Enforcement and Document Verification System.
Proceedings of the 14th International Conference on Computing Communication and Networking Technologies, 2023

Rolling Horizon Based Temporal Decomposition for the Offline Pickup and Delivery Problem with Time Windows.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Data-Driven Prediction and Optimization of Energy Use for Transit Fleets of Electric and ICE Vehicles.
ACM Trans. Internet Techn., 2022

Efficient Out-of-Distribution Detection Using Latent Space of <i>β</i>-VAE for Cyber-Physical Systems.
ACM Trans. Cyber Phys. Syst., 2022

Hierarchical Planning for Dynamic Resource Allocation in Smart and Connected Communities.
ACM Trans. Cyber Phys. Syst., 2022

Moving target defense for the security and resilience of mixed time and event triggered cyber-physical systems.
J. Syst. Archit., 2022

Designing Equitable Transit Networks.
CoRR, 2022

Generative Anomaly Detection for Time Series Datasets.
CoRR, 2022

Syntheto: A Surface Language for APT and ACL2.
Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

Decision Making in Non-Stationary Environments with Policy-Augmented Monte Carlo Tree Search.
CoRR, 2022

Designing Decision Support Systems for Emergency Response: Challenges and Opportunities.
CoRR, 2022

Neural Architecture and Feature Search for Predicting the Ridership of Public Transportation Routes.
Proceedings of the 2022 IEEE International Conference on Smart Computing, 2022

Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2022

ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Traffic Anomaly Detection Via Conditional Normalizing Flow.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Offline Vehicle Routing Problem with Online Bookings: A Novel Problem Formulation with Applications to Paratransit.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

ADVISER: AI-Driven Vaccination Intervention Optimiser for Increasing Vaccine Uptake in Nigeria.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Simurgh: A Framework for Cad-Driven Deep Learning Based X-Ray CT Reconstruction.
Proceedings of the 2022 IEEE International Conference on Image Processing, 2022

An Online Approach to Solve the Dynamic Vehicle Routing Problem with Stochastic Trip Requests for Paratransit Services.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Anomaly based Incident Detection in Large Scale Smart Transportation Systems.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems.
Proceedings of the IEEE International Conference on Assured Autonomy, 2022

Decentralized Computation Market for Stream Processing Applications.
Proceedings of the IEEE International Conference on Cloud Engineering, 2022

E-transit-bench: simulation platform for analyzing electric public transit bus fleet operations.
Proceedings of the e-Energy '22: The Thirteenth ACM International Conference on Future Energy Systems, Virtual Event, 28 June 2022, 2022

On Designing Day Ahead and Same Day Ridership Level Prediction Models for City-Scale Transit Networks Using Noisy APC Data.
Proceedings of the IEEE International Conference on Big Data, 2022

BTE-Sim: Fast Simulation Environment For Public Transportation.
Proceedings of the IEEE International Conference on Big Data, 2022

2021
Safe and Private Forward-trading Platform for Transactive Microgrids.
ACM Trans. Cyber Phys. Syst., 2021

Spatio-temporal AI inference engine for estimating hard disk reliability.
Pervasive Mob. Comput., 2021

Online monitoring and control of a cyber-physical manufacturing process under uncertainty.
J. Intell. Manuf., 2021

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems.
CoRR, 2021

Reinforcement Learning based Proactive Control for Transmission Grid Resilience to Wildfire.
CoRR, 2021

Learning Incident Prediction Models Over Large Geographical Areas for Emergency Response Systems.
CoRR, 2021

Efficient Data Management for Intelligent Urban Mobility Systems.
CoRR, 2021

Learning Incident Prediction Models Over Large Geographical Areas for Emergency Response.
Proceedings of the IEEE International Conference on Smart Computing, 2021

User-centric Distributed Route Planning in Smart Cities based on Multi-objective Optimization.
Proceedings of the IEEE International Conference on Smart Computing, 2021

TRANSIT-GYM: A Simulation and Evaluation Engine for Analysis of Bus Transit Systems.
Proceedings of the IEEE International Conference on Smart Computing, 2021

Deep-RBF Networks for Anomaly Detection in Automotive Cyber-Physical Systems.
Proceedings of the IEEE International Conference on Smart Computing, 2021

ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Energy and Emission Prediction for Mixed-Vehicle Transit Fleets Using Multi-task and Inductive Transfer Learning.
Proceedings of the Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track, 2021

WildfireDB: An Open-Source Dataset Connecting Wildfire Occurrence with Relevant Determinants.
Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

Towards Model-Based Intent-Driven Adaptive Software.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

A Decision Support Framework for Grid-Aware Electric Bus Charge Scheduling.
Proceedings of the IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2021

Configuration Tuning for Distributed IoT Message Systems Using Deep Reinforcement Learning: Poster Abstract.
Proceedings of the IoTDI '21: International Conference on Internet-of-Things Design and Implementation, 2021

Automated Method for Assurance Case Construction from System Design Models.
Proceedings of the 5th International Conference on System Reliability and Safety, 2021

Practitioner-Centric Approach for Early Incident Detection Using Crowdsourced Data for Emergency Services.
Proceedings of the IEEE International Conference on Data Mining, 2021

Hierarchical planning for resource allocation in emergency response systems.
Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021

RT-METER: a real-time, multi-layer cyber-power testbed for resiliency analysis.
Proceedings of the MSCPES@CPSIoTWeek '21: Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, Virtual Event, May 19, 2021

Power-attack: a comprehensive tool-chain for modeling and simulating attacks in power systems.
Proceedings of the MSCPES@CPSIoTWeek '21: Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, Virtual Event, May 19, 2021

Minimizing Energy Use of Mixed-Fleet Public Transit for Fixed-Route Service.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid Control.
IEEE Trans. Ind. Electron., 2020

URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services.
J. Syst. Archit., 2020

Dynamic-weighted simplex strategy for learning enabled cyber physical systems.
J. Syst. Archit., 2020

Designing a decentralized fault-tolerant software framework for smart grids and its applications.
J. Syst. Archit., 2020

The Role of Blockchains in Multi-Stakeholder Transactive Energy Systems.
Frontiers Blockchain, 2020

Designing Emergency Response Pipelines : Lessons and Challenges.
CoRR, 2020

Impact of COVID-19 on Public Transit Accessibility and Ridership.
CoRR, 2020

A Review of Emergency Incident Prediction, Resource Allocation and Dispatch Models.
CoRR, 2020

Workflow Automation for Cyber Physical System Development Processes.
CoRR, 2020

A Review and Outlook of Energy Consumption Estimation Models for Electric Vehicles.
CoRR, 2020

A Methodology for Automating Assurance Case Generation.
CoRR, 2020

Blockchains for Transactive Energy Systems: Opportunities, Challenges, and Approaches.
Computer, 2020

Route Planning Through Distributed Computing by Road Side Units.
IEEE Access, 2020

Emergency Incident Detection from Crowdsourced Waze Data using Bayesian Information Fusion.
Proceedings of the IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2020

Out-of-Distribution Detection in Multi-Label Datasets using Latent Space of β-VAE.
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

Data-Driven Prediction of Route-Level Energy Use for Mixed-Vehicle Transit Fleets.
Proceedings of the IEEE International Conference on Smart Computing, 2020

Qualitative Fault Modeling in Safety Critical Cyber Physical Systems.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

Time-dependent Decentralized Routing using Federated Learning.
Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020

Security in Mixed Time and Event Triggered Cyber-Physical Systems using Moving Target Defense.
Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020

Cyber-Attacks and Mitigation in Blockchain Based Transactive Energy Systems.
Proceedings of the IEEE Conference on Industrial Cyberphysical Systems, 2020

Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge.
Proceedings of the 4th IEEE International Conference on Fog and Edge Computing, 2020

On Decentralized Route Planning Using the Road Side Units as Computing Resources.
Proceedings of the 2020 IEEE International Conference on Fog Computing, 2020

Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress.
Proceedings of the 20th International Conference on Embedded Software, 2020

Mechanisms for outsourcing computation via a decentralized market.
Proceedings of the 14th ACM International Conference on Distributed and Event-based Systems, 2020

On Algorithmic Decision Procedures in Emergency Response Systems in Smart and Connected Communities.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems.
Proceedings of the 2020 American Control Conference, 2020

2019
Introduction to the special issue of the 16th ACM workshop on Adaptive and Reflective Middleware (ARM).
J. Syst. Archit., 2019

Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid.
IEEE Embed. Syst. Lett., 2019

On Benchmarking for Crowdsourcing and Future of Work Platforms.
IEEE Data Eng. Bull., 2019

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

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

Chapter Six - Testing at scale of IoT blockchain applications.
Adv. Comput., 2019

Chapter Seven - Consensus mechanisms and information security technologies.
Adv. Comput., 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

Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots.
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

An online decision-theoretic pipeline for responder dispatch.
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

VeriSolid: Correct-by-Design Smart Contracts for Ethereum.
Proceedings of the Financial Cryptography and Data Security, 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

Analyzing the Cascading Effect of Traffic Congestion Using LSTM Networks.
Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Data-Driven Optimization of Public Transit Schedule.
Proceedings of the Big Data Analytics - 7th International Conference, 2019

2018
CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems.
ACM Trans. Cyber Phys. Syst., 2018

Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges.
J. Syst. Archit., 2018

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

Towards a Socially Optimal Multi-Modal Routing Platform.
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

SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities.
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 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

Privacy-Preserving Platform for Transactive Energy Systems.
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

On the design of communication and transaction anonymity in blockchain-based transactive microgrids.
Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers, 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

Providing privacy, safety, and security in IoT-based transactive energy systems using distributed ledgers.
Proceedings of the Seventh International Conference on the Internet of Things, 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

Optimal detection of faulty traffic sensors used in route planning.
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

DxNAT - Deep neural networks for explaining non-recurring traffic congestion.
Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 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.
J. Syst. Softw., 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 (IEEE BigData 2016), 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 Commun. Comput. 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 Softw., 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 Rev., 2013

Deliberative, search-based mitigation strategies for model-based software health management.
Innov. Syst. Softw. Eng., 2013

Software health management.
Innov. Syst. Softw. Eng., 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. Exp., 2011

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

Autonomic Healing of Model-Based Systems.
J. Aerosp. Comput. Inf. Commun., 2011

Investigating a novel GA-based feature selection method using improved KNN classifiers.
Int. J. Inf. Commun. Technol., 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
Using Model-based techniques for improving performance and reliability in high performance scientific computing.
PhD thesis, 2009

Performance modeling of distributed multi-tier enterprise systems.
SIGMETRICS Perform. Evaluation Rev., 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.
Innov. Syst. Softw. Eng., 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...