] Filters: Author is Dubey, Abhishek [Clear All Filters]
"From System Modeling to Formal Verification",
The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015.
Abstract
Download: Session3_Paper3.pdf (1.04 MB)
"A game-theoretic approach for power systems defense against dynamic cyber-attacks",
International Journal of Electrical Power & Energy Systems, vol. 115, pp. 105432, 2019.
Abstract
Download: hasan2019.pdf (519.26 KB)
"Generic Modeling and Analysis Environment Design for Shipboard Power System",
Marinelive, 11/2012.
Download: Paper_Final_MarineLive_2012_v3.pdf (2.95 MB)
"A Guided Explorative Approach for Autonomic Healing of Model-Based Systems",
Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, CA, July, 2006.
Download: Nordstrom_SG_7_0_2006_A_Guided_E.pdf (201.89 KB)
"Heuristics-Based Approach for Identifying Critical N - k Contingencies in Power Systems",
Resilience Week, 07/2017.
Abstract
Download: resilience_week.pdf (940 KB); RW_2017.pdf (792.88 KB)
"Hierarchical Reasoning about Faults in Cyber-Physical Energy Systems using Temporal Causal Diagrams",
International Journal of Prognostics and Health Management, vol. 9, no. 1, 02/2018.
Abstract
Download: ijphm_18_001.pdf (3.8 MB)
"Implementation of a Distributed Microgrid Controller on the Resilient Information Architecture Platform for Smart Systems (RIAPS)",
2017 North American Power Symposium (NAPS), Morgantown, WV, IEEE, 09/2017.
Abstract
Download: NAPS_paper.pdf (1.39 MB)
"Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services",
DoD High Performance Computing Modernization Program Users Group Conference: DTIC Document, pp. 422, 2012.
"Incident Analysis and Prediction Using Clustering And Bayesian Network",
IEEE Conference on Smart City Innovations, San Francisco Bay Area, USA, IEEE, 08/2017.
Abstract
Download: IEEE-SCI-R-33.pdf (365.1 KB)
"The Inertial Measurement Unit Example: A Software Health Management Case Study",
ISIS Technical Report, no. ISIS-12-101, 02/2012.
Abstract
Download: TechReport_IMU.pdf (1.49 MB)
"Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems",
Modeling, Analysis, and Simulation of Computer Systems, International Symposium on, Los Alamitos, CA, USA, IEEE Computer Society, pp. 424-426, 2010.
Download: Paper.pdf (700.4 KB)
"Introducing the new paradigm of Social Dispersed Computing: Applications, Technologies and Challenges",
Journal of Systems Architecture, vol. 91, pp. 83-102, 11/2018.
Abstract
Download: Journal1.pdf (1.88 MB)
"Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems",
11th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe-2014), Laurel, MD, USE, IEEE, 2014.
Download: Pradhan_EASe-2014.pdf (1.46 MB)
"Large Scale Monitoring and Online Analysis in a Distributed Virtualized Environment",
To Appear in Engineering of Autonomic and Autonomous Systems (EASe): IEEE Computer Society, 2011.
"LQCD Workflow Execution Framework: Models, Provenance and Fault-Tolerance",
Journal of Physics: Conference Series, to appear, 2009.
Download: CHEP09-Paper.pdf (420.63 KB)
Meta-Tools For Designing Scientifi c Workflow Management Systems: Part-I, Survey,
, no. ISIS-11-105, 2011.
Download: Survey-report.pdf (787.39 KB)
"Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems",
Master's Thesis: Vanderbilt University, July, 2005.
Download: Dubey_A_7_28_2005_Metamodel_.pdf (3.32 MB)
"Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems",
Real-Time and Embedded Technology and Applications Symposium, IEEE, Los Alamitos, CA, USA, IEEE Computer Society, pp. 69-78, 2010.
"Mobilytics-An Extensible, Modular and Resilient Mobility Platform",
2018 IEEE International Conference on Smart Computing (SMARTCOMP), Taormina, Italy, IEEE, pp. 356–361, 07/2018.
Abstract
Download: mobilytics.pdf (458.09 KB)
"A model driven tool for automated system level testing of middleware",
Fourth System Testing and Validation Workshop (STV), 2006.
Download: STV06Paper_Final_TK.pdf (758.27 KB)
"Model Identification for Performance Management of Distributed Enterprise Systems",
ISIS Technical Report, no. ISIS-10-104, Nashville, Institute for Software Integrated Systems, 2010.
Download: Paper.pdf (4.02 MB)
"Model Predictive Analysis for Autonomic Workflow Management in Large-scale Scientific Computing Environments",
Engineering of Autonomic and Autonomous Systems, IEEE, 2007.
Download: WorkflowML.pdf (427.98 KB)
"Model-Based Design for CPS with Learning-Enabled Components",
Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, April 2019.
"Model-based Software Health Management for Real-Time Systems",
IEEE Aerospace Conference, pp. 1--18, 2011.
Abstract
Download: Paper.pdf (5.83 MB)
"Model-based Tools and Techniques for Real-Time System and Software Health Management",
Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics: CRC Press, to be published, 2011.
"A Model-driven Software Component Framework for Fractionated Spacecraft",
5th International Conference on Spacecraft Formation Flying Missions and Technologies, Munich, Germany, 2013.
Abstract
Download: f6mdk.pdf (550.9 KB); f6mdk-extended-abstract.pdf (76.81 KB)
"Modeling and Analysis of Probabilistic Timed Systems",
Engineering of Computer Based Systems, San Francisco, USA, 04/2009.
Abstract
Download: PTAVerification.pdf (1.42 MB)
"Modeling and Predicting the Cascading Effects of Delay in Transit Systems",
Transportation Research Board Annual Meeting, 2019.
Abstract
Download: final poster.pdf (907.77 KB)
"A Modeling Framework to Integrate Exogenous Tools for Identifying Critical Components in Power Systems",
CPS Week- MSCPES, 2017.
Download: MSCPES_paper.pdf (867 KB); MSCPES_presentation.pdf (1.23 MB)
"An Online Decision-Theoretic Pipeline for Responder Dispatch",
International Conference on Cyber-Physical Systems, 04/2019.
Abstract
Download: ICCPS_CameraReady_2019_arxiv.pdf (3.2 MB)
"Optimal Detection of Faulty Traffic Sensors Used in Route Planning",
2nd Workshop on Science of Smart City Operations and Platforms Engineering, Pittsburgh, PA, ACM, 04/2017.
Download: scope17.pdf (1.8 MB)
"Performance Evaluation of an Authentication Mechanism in Time-Triggered Networked Control Systems",
2nd International Symposium on Resilient Cyber Systems (ISRCS 2014), Denver, 08/2014.
Abstract
Download: Performance Evaluation of an Authentication Mechanism in Time-Triggered Networked Control Systems.pdf (333.21 KB)
"Performance Evaluation of Smart Systems under Uncertainty",
IEEE Smart World Congress: IEEE, 08/2017.
Abstract
Download: IEEE_SWC.pdf (541 KB)
"Performance Modeling of Distributed Multi-Tier Enterprise Systems",
ACM SIGMETRICS Performance Evaluation Review, vol. 37, no. 2, Seattle, 2009.
Download: Paper.pdf (1.44 MB)
"Poster Abstract: A Distributed and Resilient Platform for City-scale Smart Systems",
The First IEEE/ACM Symposium on Edge Computing, Washington DC, 2016.
Download: poster-abstract-distributed.pdf (217.55 KB)
"Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems",
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 1-1, April, 2016.
Abstract
"A Power-aware Modeling and Autonomic Management Framework for Distributed Computing Systems",
Handbook of Energy-Aware and Green Computing: CRC Press, 2012.
Download: paper.pdf (5.34 MB)
"Prioritized Allocation of Emergency Responders based on a Continuous-Time Incident Prediction Model",
Sixteenth International Conference on Antonomous Agents and Multiagent Sytems, Sao Paulo - Brazil, 05/2017.
"Providing Privacy, Safety, and Security in IoT-Based Transactive Energy Systems using Distributed Ledgers",
The 7th International Conference on the Internet of Things (IoT 2017) , Linz, Austria, ACM, 10/2017.
Abstract
Download: paper.pdf (208.49 KB)
"A Rapid Testing Framework for a Mobile Cloud Infrastructure",
IEEE International Symposium on Rapid System Prototyping (RSP): IEEE, 10/2014.
Download: RSP2014.pdf (874.05 KB)
"Real-time and Predictive Analytics for Smart Public Transportation Decision Support System",
2nd IEEE International Conference on Smart Computing (SMARTCOMP 2016), 2016.
Abstract
Download: smartcomp2016.pdf (3.58 MB)
"A Real-Time Component Framework: Experience with CCM and ARINC-653",
IEEE International Symposium on Object-Oriented Real-Time Distributed Computing,, Spain, pp. 143--150, 2010.
Abstract
Download: Paper.pdf (5.46 MB)
"Reflex and Healing Architecture for Software Health Management",
International Workshop on Software Health Management, IEEE conference on Space Mission Challenges for Information Technology, 07/2009.
Download: Paper.pdf (189.19 KB)
"Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation",
31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.
Download: srds2012_submission_88.pdf (665.22 KB)
"A Report On Simulating External Applications With SOAMANET in the Loop",
ISIS Technical Report, no. ISIS-10-108, Nashville, Insitute For Software Integrated Systems, 08/2010.
Download: report.pdf (6.13 MB)
"Resilience at the Edge in Cyber-Physical Systems",
The 2nd International Conference on Fog and Mobile Edge Computing, Valencia, Spain, IEEE, 05/2017.
Abstract
Download: main.pdf (1.06 MB)
"A resilient and secure software platform and architecture for distributed spacecraft",
Proc. SPIE, vol. 9085, pp. 90850J-90850J-10, 2014.
Abstract
Download: spie-2014.pdf (390.74 KB)
"Resource-Aware Deployment and Configuration of Fault-tolerant Real-time Systems",
ISIS Technical Report, no. ISIS-09-109: Institute for Software Integrated Systems, Vanderbilt University, 10/2009.
Download: decoram_tr09.pdf (1.81 MB)
"A Reusable and Extensible Web-Based Co-Simulation Platform for Transactive Energy Systems",
3rd International Transactive Energy Systems, Portland, Oregon, GridWise® Architecture Council , 05/2016.
Abstract
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering