] Filters: Author is Dubey, Abhishek [Clear All Filters]
"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)
"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)
"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)
"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)
"Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems",
Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.
Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 MB)
"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)
"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)
"Towards A Model-Based Autonomic Reliability Framework for Computing Clusters",
Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.
Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 KB)
"Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems",
ISORC, Tokyo, Japan, 2009.
Abstract
Download: Isorc.pdf (487.35 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)
"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)
"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 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)
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)
"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)
"Enabling Self-Management by Using Model-Based Design Space Exploration",
AUTONOMIC & AUTONOMOUS SPACE EXPLORATION SYSTEMS, 2010, 2009.
Abstract
Download: PID1113091.pdf (7.01 MB)
"LQCD Workflow Execution Framework: Models, Provenance and Fault-Tolerance",
Journal of Physics: Conference Series, to appear, 2009.
Download: CHEP09-Paper.pdf (420.63 KB)
"Distributed diagnosis of complex systems using timed failure propagation graph models",
AUTOTESTCON, 2010 IEEE, pp. 1 -6, 2010.
Abstract
"Dynamic Workflow Management and Monitoring Using DDS",
7th IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASe), pp. 20--29, 2010.
Abstract
Download: paper.pdf (23.53 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)
"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.
"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)
"Towards Model-based Software Health Management for Real-Time Systems",
ISIS Technical report, 2010.
Abstract
Download: Report.pdf (3.38 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.
"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)
"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)
"Application of Software Health Management Techniques",
To appear in the Proceedings of the 2011 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, New York, NY, USA, ACM, 2011.
Abstract
Download: Paper.pdf (5.15 MB)
"A Component Model for Hard-Real Time Systems: CCM with ARINC-653",
Software: Practice and Experience, no. In press, 2011.
Download: Journal.pdf (1.94 MB)
"Efficient Autoscaling in the Cloud using Predictive Models for Workload Forecasting",
2011 IEEE International Conference on Cloud Computing, 2011.
Download: Cloud.pdf (538.97 KB)
"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.
Meta-Tools For Designing Scientifi c Workflow Management Systems: Part-I, Survey,
, no. ISIS-11-105, 2011.
Download: Survey-report.pdf (787.39 KB)
"A Case Study On The Application of Software Health Management Techniques",
ISIS Technical Report, no. ISIS-11-101, Nashville, Institute For Software Integrated Systems, 01/2011.
Abstract
Download: ADIRUTechReport.pdf (1.53 MB)
"Efficient Autoscaling in the Cloud using Predictive Models for Workload Forecasting",
To Appear in the 4th IEEE International Conference on Cloud Computing (Cloud 2011), Washington, DC, IEEE, 07/2011.
Download: Cloud.pdf (538.97 KB)
"RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach",
ISIS Technical Report, Nashville, Vanderbilt University, 10/2011.
Download: SensorReport_Paper.pdf (1.64 MB)
"Model-based Software Health Management for Real-Time Systems",
IEEE Aerospace Conference, pp. 1--18, 2011.
Abstract
Download: Paper.pdf (5.83 MB)
"A Capacity Planning Process for Performance Assurance of Component-Based Distributed Systems",
International Conference on Performance Engineering (ICPE) 2011 - A Joint Meeting of WOSP/SIPEW, Karlsruhe, Germany, ACM, pp. 259-270, March 2011.
Abstract
Download: Modeling_SOA.pdf (744.12 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.
"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)
"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.
"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)
"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)
"A Deliberative Reasoner for Model-Based Software Health Management",
The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012.
Abstract
Download: Paper.pdf (369.11 KB)
"RFDMon: A Real-time and Fault-tolerant Distributed System Monitoring Approach",
The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012.
Download: RFDMON.pdf (752.16 KB)
"A Software Platform for Fractionated Spacecraft",
2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012.
Abstract
Download: aerospace12-1473.pdf (4.2 MB)
"Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Model",
The 15th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, Shenzhen, China, IEEE, 04/2012.
Abstract
Download: Paper.pdf (336.83 KB)
"Formalization of a Component Model for Real-time Systems",
ISIS Technical Report, 04/2012.
Abstract
Download: ISIS-12-102-TechReport.pdf (1.3 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)
"Generic Modeling and Analysis Environment Design for Shipboard Power System",
Marinelive, 11/2012.
Download: Paper_Final_MarineLive_2012_v3.pdf (2.95 MB)
"An application development and deployment platform for satellite clusters",
Workshop on Spacecraft Flight Software, 2013.
Download: FSW.pdf (45.92 KB)
"Deliberative, search-based mitigation strategies for model-based software health management",
Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.
Download: Paper.pdf (16.09 MB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering