] Filters: First Letter Of Last Name is K [Clear All Filters]
"Cache-Related Preemption Delay Analysis for Multi-Level Inclusive Caches",
International Conference on Embedded Software (EMSOFT), Pittsburgh, PA, USA, 10/2016.
Download: PID4361635.pdf (341.45 KB)
"Building observers to address fault isolation and control problems in hybrid dynamic systems",
IEEE SMC 2000, Nashville, TN, July, 2000.
Download: Narasimhan_S_7_0_2000_Building_o.pdf (251.26 KB)
"Bringing CBLEs into classrooms: Experiences with the Betty's Brain system",
The Eighth IEEE International Conference on Advanced Learning Technologies, Santander, Cantabria, Spain., pp. 252-256, 2008.
"Bayesian Framework Approach for Prognostic Studies in Electrolytic Capacitor under Thermal Overstress Conditions",
Annual Conference of the Prognostics and Health Management Society, Minneapolis, MN, PHM Society, 09/2012.
Abstract
A Backstepping Control Framework for m-Triangular Systems,
, Nashville, Institute for Software Integrated Systems, pp. 1-13, 04/28/2011.
Abstract
Download: official_sop_bstep_press_Apr_28_2011.pdf (554.37 KB)
"Automotive Software: A Challenge and Opportunity for Model-Based Software Development",
Lecture Notes in Computer Science, vol. 4147: Springer, 2006.
"Automating Human Based Negotiation Processes for Autonomic Logistics",
Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.
Download: Karsai_G_3_0_2000_Automating.pdf (676.12 KB)
"Automatic Verification of Component-Based Real-Time CORBA Applications",
the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
Download: ISIS_12_0_2004_Automatic_.pdf (1.56 MB)
"Automatic Domain Model Migration to Manage Metamodel Evolution",
12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, Springer, 2009.
"Automated Testing and Integration of Heterogeneous Systems",
Proceedings of the Intersociety Energy Conversion Engineering Conference, Philadelphia, PA, pp. 145--154, 1987.
Automated Techniques for Mapping Domain-level QoS Requirements to Middleware-specific QoS Configurations,
: Institute for Software Integrated Systems, May, 2007.
Download: Kavimandan_AJ_5_31_2007_Automated_.pdf (252.83 KB)
"Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis",
Rapid System Prototyping, Fairfax, VA, IEEE, pp. 1-7, 10/2010.
Abstract
Download: RSP10.pdf (349.64 KB)
"Artificial Neural Networks Applied to Arc Welding Process Modeling and Control",
IEEE - IAS Transactions, vol. 26, pp. 824--830, September, 1990.
"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)
"An Approach to Self-Adaptive Software based on Supervisory Control",
Self-Adaptive Software, Lecture Notes in Computer Science, 2002.
Download: Karsai_G_5_0_2001_An_Approac.pdf (97.4 KB)
"Applying a Model Transformation Taxonomy to Graph Transformation Technology",
Electronic Notes in Theoretical Computer Science, vol. 152, pp. 143--159, March, 2006.
"Applying a Grouping Operator in Model Transformations",
The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE), Kassel, Germany, 10/2007.
Abstract
Download: applying_group_operator_in_model_trans.pdf (1.08 MB)
"Applying a Grouping Operator in Model Transformations",
Applications of Graph Transformations with Industrial Relevance, pp. 410 - 425, 2008///.
Abstract
Download: applying_group_operator_in_model_trans.pdf (1.08 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)
"Application of Middleware and Agent Technologies to a Representative Sensor Network",
The Eighth Annual NASA Earth Science Technology Conference (ESTC), College Park, Maryland, 06/2008.
Abstract
Download: Otte et al - 2008 - NASA ESTC -- App of Middleware & Agent Tech to Sensor Network.pdf (450.37 KB)
"Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy",
Artificial Intelligence in Engineering: Robotics and Processes: Elsevier, pp. 387--402, 1988.
"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)
"An application development and deployment platform for satellite clusters",
Workshop on Spacecraft Flight Software, 2013.
Download: FSW.pdf (45.92 KB)
Analytical solution for radio-interferometric localization of mobile sensors,
, Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, December, 2006.
Download: Kusy_B_12_1_2006_Analytical.pdf (196.56 KB)
"Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks",
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.
Download: CyPhy14.pdf (583.29 KB)
"Analysis and Representation of Clauses in Satisfiability of Constraints",
ISIS-01-205: Institute for Software Integrated Systems, August, 2001.
Download: Sprinkle_JM_8_6_2001_Analysis_a.pdf (171.11 KB)
"Aircraft Power Generators: Hybrid Modeling and Simulation for Fault Detection",
IEEE Transactions on Aerospace and Electronic Systems, 2012.
"Aircraft AC Generators: Hybrid system modeling and simulation",
International Conference on Prognostics and Health Management, PHM08, Denver, Colorado, 10/2008.
"Activity Modeling",
Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
"An Active Pattern Infrastructure for Domain-Specific Languages",
Electronic Communications of the EASST, vol. 25, pp. 1-10, 05/07, 2010.
"Acoustic Source Localization and Discrimination in Urban Environments",
International Conference on Information Fusion 2009, 2009.
Download: kushwaha_fusion2009.pdf (201 KB)
"Acoustic Ranging in Resource-Constrained Sensor Networks",
ICWN '04, Las Vegas, Nevada, USA, June, 2004.
Download: Sallai_J_6_21_2004_Acoustic_R.doc (224 KB)
"Achieving resilience in distributed software systems via self-reconfiguration",
Journal of Systems and Software, pp. -, 2016.
Abstract
"Accelerated Aging in Electrolytic Capacitors for Prognostics",
IEEE - The Annual Reliability and Maintainability Symposium, Reno, Nevada, IEEE, 01/2012.
"Accelerated Aging Experiments for Capacitor Health Monitoring and Prognostics",
IEEE AUTOTESTCON, Anaheim, CA, IEEE, 09/2012.
"Abstractions for Modeling Complex Systems",
ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 2016.
Abstract
Download: AbstractionsForModelingComplexSystems.pdf (697.83 KB)
"(WIP) CloudCAMP: Automating the Deployment and Management of Cloud Services",
2018 IEEE International Conference on Services Computing (SCC), pp. 237-240, July, 2018.
Abstract
" Towards Low-Cost Indoor Localization using Edge Computing Resources",
20th IEEE International Symposium on Real-Time Computing (ISORC): IEEE, 05/2017.
Abstract
Download: short-paper-low.pdf (519.65 KB)
" Learning by teaching agents (Doctoral dissertation)",
Department of EECS, Nashville, TN, Vanderbilt University, 2005.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering