] Filters: Author is Dubey, Abhishek [Clear All Filters]
"Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach",
Lecture Notes in Computer Science, vol. 3707, pp. 114--128, October, 2005.
Download: Dubey_A_10_4_2005_Computatio.pdf (502.45 KB)
"Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid",
Embedded System Letters, 05/2018.
Download: ESL_Paper.pdf (566 KB)
"Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems",
ISSE, vol. 3, pp. 33--52, 2007.
Download: Dubey_A_1_24_2007_Towards_a_.pdf (1.2 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)
"A Discussion on Supervisory Control Theory in Real-Time Discrete Event Systems",
ISIS Technical Report, no. ISIS-09-112, 11/2009.
Download: TechReport.pdf (2.43 MB)
"Fault-Adaptivity in Hard Real-Time Component-Based Software Systems",
Software Engineering for Self-Adaptive Systems, vol. 2, 2012.
Download: BookChapter.pdf (1.83 MB)
"DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems",
Space Mission Challenges for Information Technology (SMC-IT), 2017.
Abstract
Download: paper.pdf (1.42 MB)
"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)
"A Software Platform for Fractionated Spacecraft",
2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012.
Abstract
Download: aerospace12-1473.pdf (4.2 MB)
"Modeling and Analysis of Probabilistic Timed Systems",
Engineering of Computer Based Systems, San Francisco, USA, 04/2009.
Abstract
Download: PTAVerification.pdf (1.42 MB)
"Model-based Software Health Management for Real-Time Systems",
IEEE Aerospace Conference, pp. 1--18, 2011.
Abstract
Download: Paper.pdf (5.83 MB)
"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)
"Towards Model-based Software Health Management for Real-Time Systems",
ISIS Technical report, 2010.
Abstract
Download: Report.pdf (3.38 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)
Towards a Real-time Component Framework for Software Health Management,
, no. ISIS-09-111, Nashville, Institute for Software Integrated Systems, 11/2009.
Abstract
Download: TechReport2009.pdf (11.07 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)
"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)
"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)
"A Systematic Approach Of Identifying Optimal Load Control Actions For Arresting Cascading Failures In Power Systems",
2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG 2017), Pittsburgh, Pennsylvania, USA, ACM, 04/2017.
"WiP Abstract: Diagnostics and Prognostics using Temporal Causal Models for Cyber-Physical Energy Systems",
ACM/IEEE 8th International Conference on Cyber-Physical Systems, 2017.
"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 component-based approach for modeling failure propagations in power systems",
Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2015 Workshop on, Seattle, Washington, USA, IEEE, pp. 1–6, 2015.
Abstract
"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)
"An application of data driven anomaly identification to spacecraft telemetry data",
Annual Conference of the Prognostics and Health Management Society 2016, 10/2016.
Abstract
Download: phmc_16_028.pdf (1.23 MB)
"Data-Driven Optimization of Public Transit Schedule",
Big Data Analytics (BDA 2019), Ahmedabad, Gujarat, India, Springer, Dec, 2019.
Abstract
Download: bda_2019_optimization.pdf (2.23 MB)
"Analyzing the Cascading Effect of Traffic Congestion Using LSTM Networks",
IEEE Big Data, Los Angeles, Ca, IEEE, 2019.
Download: Bigdata2019_paper.pdf (1.01 MB)
"Data-Driven Detection of Anomalies and Cascading Failures in Traffic Networks",
ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY , 2019.
Abstract
Download: PHM_traffic_cascades_paper.pdf (1.91 MB)
"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)
"{Resource-Aware Deployment and Configuration of Fault-tolerant Real-time Systems}",
Proceedings of the 16th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS '10), Stockholm, Sweden, pp. 69–78, 2010.
"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.
"An application development and deployment platform for satellite clusters",
Workshop on Spacecraft Flight Software, 2013.
Download: FSW.pdf (45.92 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)
"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.
- « first
- ‹ previous
- 1
- 2
- 3
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering