ISIS Publications

Export 539 results:
Sort by: Author [ Title  (Desc)] Type Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
A B C D E F G H I J [K] L M N O P Q R S T U V W X Y Z   [Show ALL]
C
Zhang, Z., and X. Kousoukos, "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)
B
Wagster, J., H. Kwong, J. Sagedy, G. Biswas, and D. Shwartz, "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.
Kulkarni, C., C. Jose, G. Biswas, and G. Kai, "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
Kottenstette, N., H. LeBlanc, E. Eyisi, and J. Porter, 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)
A
Karsai, G., G. Bloor, and J. Doyle, "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)
Madl, G., S. Abdelwahed, and G. Karsai, "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)
Narayanan, A., T. Levendovszky, D. Balasubramanian, and G. Karsai, "Automatic Domain Model Migration to Manage Metamodel Evolution", 12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, Springer, 2009.
Sztipanovits, J., G. Karsai, and C. Biegl, "Automated Testing and Integration of Heterogeneous Systems", Proceedings of the Intersociety Energy Conversion Engineering Conference, Philadelphia, PA, pp. 145--154, 1987.
Mahadevan, N., A. Dubey, and G. Karsai, "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)
Mens, T., P. van Gorp, D. Varro, and G. Karsai, "Applying a Model Transformation Taxonomy to Graph Transformation Technology", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 143--159, March, 2006.
Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "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)
Balasubramanian, D., A. Narayanan, S. Neema, B. Ness, F. Shi, R. Thibodeaux, and G. Karsai, "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)
Mahadevan, N., A. Dubey, and G. Karsai, "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)
Karsai, G., J. Sztipanovits, and J. S. Gero, "Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy", Artificial Intelligence in Engineering: Robotics and Processes: Elsevier, pp. 387--402, 1988.
Kusy, B., and J. Sallai, 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)
Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale, "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)
Sprinkle, J., C. van Buskirk, and G. Karsai, "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)
Tantawy, A., X. Koutsoukos, and G. Biswas, "Aircraft AC Generators: Hybrid system modeling and simulation", International Conference on Prognostics and Health Management, PHM08, Denver, Colorado, 10/2008.
Karsai, G., S. Padalkar, J. Sztipanovits, and F. DeCaria, "Activity Modeling", Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
Levendovszky, T., and G. Karsai, "An Active Pattern Infrastructure for Domain-Specific Languages", Electronic Communications of the EASST, vol. 25, pp. 1-10, 05/07, 2010.
Celaya, J., C. Kulkarni, G. Biswas, and K. Goebel, "Accelerated Aging in Electrolytic Capacitors for Prognostics", IEEE - The Annual Reliability and Maintainability Symposium, Reno, Nevada, IEEE, 01/2012.
Lattmann, Z., T. Kecskes, P. Meijer, G. Karsai, P. Volgyesi, and A. Ledeczi, "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)
(
Bhattacharjee, A., Y. Barve, A. Gokhale, and T. Kuroda, "(WIP) CloudCAMP: Automating the Deployment and Management of Cloud Services", 2018 IEEE International Conference on Services Computing (SCC), pp. 237-240, July, 2018. Abstract
T
Khare, S., J. Sallai, A. Dubey, and A. Gokhale, " 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)
L
Katzlberger, T., " Learning by teaching agents (Doctoral dissertation)", Department of EECS, Nashville, TN, Vanderbilt University, 2005.