T. Keskinpala
Vanderbilt University(US)
Publications by Year
Research Areas
Advanced Software Engineering Methodologies, Real-Time Systems Scheduling, Distributed and Parallel Computing Systems, Particle physics theoretical and experimental studies, Formal Methods in Verification
Most-Cited Works
- CMS Physics : Technical Design Report Volume 1: Detector Performance and Software(2006)
- → Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems(2007)16 cited
- → Model Predictive Analysis for AutonomicWorkflow Management in Large-scale Scientific Computing Environments(2007)8 cited
- → Towards A Model-Based Autonomic Reliability Framework for Computing Clusters(2008)7 cited
- → Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems(2006)4 cited
- → GHOST: Guided Healing and Optimization Search Technique for Healing Large-Scale Embedded Systems(2006)2 cited
- → Knowledge-sharing techniques for Egocentric Navigation(2004)2 cited
- Model Based Performance Testing of Distributed Large Scale Systems(2009)
- → Autonomic Healing of Model-Based Systems(2011)1 cited
- → Perception-Based Navigation for Mobile Robots(2002)1 cited