ISIS Publications

Export 539 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
Conference Paper
Otte, W. R., A. Dubey, S. Pradhan, P. R. Patil, A. Gokhale, G. Karsai, and J. Willemsen, "F6COM: A Component Model for Resource-constrained and Dynamic Space-based Computing Environments", 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 2013.  Download: F6COM-ISORC2013.pdf (1.05 MB)
Biswas, G., E. J. Manders, S. Abdelwahed, and G. Karsai, "Fault adaptive control: towards robust operation of autonomous systems", Fourth International Conference on Intelligent Systems Design and Applications, Budapest, Hungary, August, 2004.  Download: Biswas_G_8_0_2004_Fault_adap.pdf (358.48 KB)
Carl, J. D., D. L. C. Mack, A. Tantawy, G. Biswas, and X. D. Koutsoukos, "Fault Detection and Isolation for Spacecraft Systems: An Application to a Power Distribution Testbed", SAFEPROCESS 2012, 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Mexico City, Mexico, pp. 168-173, 08/2012. Abstract  Download: SAFEPROCESS.pdf (389.84 KB)
Ledeczi, A., S. Sastry, M. Meingast, M. Kushwaha, S. Oh, and X. Koutsoukos, "Fusion-based localization for a Heterogeneous camera network", ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC-08), Stanford University, California, USA, 09/2008.
Agrawal, A., T. Levendovszky, J. Sprinkle, F. Shi, and G. Karsai, "Generative Programming via Graph Transformations in the Model-Driven Architecture", OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, WA, November, 2002.  Download: Agrawal_A_11_5_2002_Generative.pdf (351.64 KB)
Misra, A., G. Provan, G. Karsai, G. Bloor, and E. Scarl, "A Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable Properties", IEEE International Conference on Systems, Man and Cybernetics, San Diego, CA, October, 1998.  Download: Misra_A_10_0_1998_A_Generic_.pdf (102.01 KB)
Ledeczi, A., M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomasson, G. Nordstrom, J. Sprinkle, and P. Volgyesi, "The Generic Modeling Environment", Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.  Download: Ledeczi_A_5_17_2001_The_Generi.pdf (116.09 KB)
Zhang, Z., and X. Kousoukos, "Generic Value-Set Analysis on Low-Level Code", The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Rome, Italy, 2014.  Download: avicps '14.pdf (221.36 KB)
Padalkar, S., G. Karsai, and J. Sztipanovits, "Graph-Based Real-Time Fault Diagnostics", 4th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 115--123, January, 1988.
Nordstrom, S., T. Bapty, S. Neema, A. Dubey, and T. Keskinpala, "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)
Zhang, Z., Z. Guo, and X. Kousoukos, "Handling Write Backs in Multi-Level Cache Analysis for WCET Estimation", 25th International Conference on Real-Time Networks and Systems (RTNS), Grenoble, France, ACM, 10/2017.  Download: rtns'17.pdf (1.13 MB)
Kalli, S., and J. Sztipanovits, "Hierarchical Structure of Intelligent Patient Monitoring System", Finnish National Conference on Artificial Intelligence, pp. 123--128, 1988.
Zhang, Z., J. Porter, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study", International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.
Scott, J., S. Neema, B. Eames, T. Bapty, A. Vandivort, S. Khamsi, and T. Gangwer, "A HW/SW Co-design Tool for Modern FPGA’s with FPGA-Embedded Processors", 7th Military and Aerospace Programmable Logic Devices, Washington, DC, September, 2004.  Download: Scott_JM_9_11_2004_A_HW_SW_Co.pdf (284.38 KB)
Zhang, Z., and X. Kousoukos, "Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis", 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), Portland, OR, USA, 06/2015.  Download: Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis.pdf (756.55 KB)
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "Integrated Analysis Environment for High Impact Systems", Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.  Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
Narasimhan, S., G. Biswas, and G. Karsai, "An integrated approach to diagnosis of complex hybrid systems.", 15th Annual Intl. Symposium on AeroSense (Component and Systems Diagnostics, Prognosis, and Health Management) (SPIE 2001), Orlando, Florida, April, 2001.  Download: ISIS_4_0_2001_An_integra.pdf (902.42 KB)
Karsai, G., S. Abdelwahed, and G. Biswas, "Integrated Diagnosis and Control for Hybrid Dynamic Systems", AIAA Guidance, Navigation and Control Conference, Austin, TX, August, 2003.  Download: Karsai_G_8_0_2003_Integrated.pdf (188.1 KB)
Carnes, R., J. Davis, C. Biegl, and G. Karsai, "Integrated Modeling for Planning, Simulation and Diagnosis", IEEE Conference on AI Simulation {\&} Planning in High Autonomy Systems, Cocoa Beach, FL, pp. 273--282, April, 1991.
Davis, J., J. Scott, J. Sztipanovits, G. Karsai, and M. Martinez, "An Integrated Multi-Domain Analysis Environment for High Consequence Systems", Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.  Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)
Neema, H., B. Potteiger, X. Kousoukos, G. Karsai, P. Volgyesi, and S. Janos, "Integrated Simulation Testbed for Security and Resilience of CPS", The 33rd ACM Symposium on Applied Computing - Cyber-Physical Systems Track, Pau, France, ACM, 04/2018. Abstract
Werner, J., M. Eby, J. Mathe, G. Karsai, Y. Xue, and J. Sztipanovits, "Integrating Security Modeling in Embedded System Design", 12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, April, 2006. Abstract  Download: Werner_J_4_4_2006_Integratin.pdf (132.39 KB)
Sztipanovits, J., G. Karsai, S. Padalkar, C. Biegl, N. Miyasaka, and K. Okuda, "Intelligent Monitoring and Diagnostics for Plant Automation", IEEE International Conference on Robotics and Automation, Cincinnati, OH, pp. 1390--1397, 1990.
Kinnebrew, J. S., W. R. Otte, N. Shankaran, G. Biswas, and D. C. Schmidt, "Intelligent Resource Management and Dynamic Adaptation in a Distributed Real-time and Embedded Sensor Web System", The 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Tokyo, Japan, pp. 135 -142, 03/2009. Abstract  Download: Kinnebrew et al - 2009 - ISORC -- Intell Resource Mgmt & Dyn Adapt in DRE Sensor Web.pdf (297.34 KB)
Kusy, B., G. Balogh, J. Sallai, A. Ledeczi, and M. Maroti, "inTrack: High Precision Tracking of Mobile Sensor Nodes", European conference on Wireless Sensor Networks, Delft, Netherlands, January, 2007.  Download: Kusy_B_1_29_2006_inTrack__H.pdf (831.13 KB)
Pradhan, S., W. Otte, A. Dubey, A. Gokhale, and G. Karsai, "Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems", 11th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe-2014), Laurel, MD, USE, IEEE, 2014.  Download: Pradhan_EASe-2014.pdf (1.46 MB)
Sztipanovits, J., C. Biegl, G. Karsai, J. Bourne, R. Mushlin, and C. Harrison, "Knowledge-Based Experiment Builder for Magnetic Resonance Imaging (MRI) Systems", Proceedings of the 3rd IEEE Conference on Artificial Intelligence Applications, pp. 126--133, 1987.
Kottenstette, N., and N. Chopra, "Lm2-stable digital-control networks for multiple continuous passive plants", 1st IFAC Workshop on Estimation and Control of Networked Systems (NecSys'09), Venice, Italy, International Federation of Automatic Control, 09/2009. Abstract  Download: l2_power_junction_Jul_27_2009_03_13_PM.pdf (301.84 KB)
Nordstrom, G., J. Sztipanovits, and G. Karsai, "Metalevel Extension of the MultiGraph Architecture", Proceedings of the IEEE ECBS'98 Conference, Jerusalem, Israel, pp. 61--68, April, 1998.  Download: Nordstrom_GG_4_0_1998_Metalevel_.pdf (118.28 KB)