ISIS Publications

Export 1047 results:
Sort by: Author Title Type [ Year  (Desc)]
2000
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Specifying Graphical Modeling Systems Using Constraint-based Metamodels", IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.  Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)
Gray, J., T. Bapty, and S. Neema, "Aspectifying Constraints in Model-Integrated Computing", OOPSLA 2000: Workshop on Advanced Separation of Concerns, Minneapolis, MN, October, 2000.  Download: Gray_J_10_0_2000_Aspectifyi.PDF (274.93 KB)
Moore, M., S. Monemi, and J. Wang, "Integrating Information Systems in Electric Utilities", IEEE International Conference on Systems, Man, and Cybernetics, Nashville, TN, October, 2000.  Download: Moore_MS_10_9_2000_Integratin.pdf (84.88 KB)
Eames, B., S. Neema, T. Bapty, and J. Scott, "Interfacing a Simulation Engine to an Embedded Runtime Environment", 2000 IEEE International Conference on Systems, Man and Cybernetics, Nashville, TN, pp. 625--629, October, 2000.  Download: Eames_BK_10_11_2000_Interfacin.pdf (50.44 KB)
Sprinkle, J., C. van Buskirk, and G. Karsai, "Modeling Agent Negotiation", IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October, 2000.  Download: Sprinkle_JM_10_8_2000_Modeling_A.pdf (181.58 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Towards Two-Level Formal Modeling of Computer-Based Systems", Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.  Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
Manders, E. J., and L. Barford, "Diagnosis of a Continuous Dynamic System from Distributed Measurements", 17th IEEE Instrumentation and Measurement Technology Conference - IMTC'2000, Baltimore, MD, pp. 546--551, May, 2000.  Download: Manders_EJ_5_0_2000_Diagnosis_.pdf (432.04 KB)
Moore, M., S. Monemi, J. Wang, J. Marble, and S. Jones, "Diagnostics and Integration in Electric Utilities", IEEE Rural Electric Power Conference, Louisville, KY, pp. C2-1 throu, May, 2000.  Download: Moore_MS_5_0_2000_Diagnostic.pdf (491.92 KB)
Scott, J., S. Neema, T. Bapty, and B. Abbott, "Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems", ISIS-2000-06: Institute for Software Integrated Systems, May, 2000.  Download: Scott_J_5_0_2000_Hardware_S.PDF (198.18 KB)
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)
Karsai, G., and J. Gray, "Component Generation Technology for Semantic Tool Integration", Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Karsai_G_3_0_2000_Component_.pdf (4.64 MB)
Karsai, G., "Design Tool Integration: An Exercise in Semantic Interoperability", Proceedings of the IEEE Engineering of Computer Based Systems, Edinburg, UK, March, 2000.  Download: Karsai_G_3_0_2000_Design_Too.pdf (84.04 KB)
Nordstrom, G., "Formalizing the Specification of Graphical Modeling Languages", Proceedings of the IEEE Aerospace 2000 Conference, Big Sky, MT, March, 2000.  Download: Nordstrom_GG_3_0_2000_Formalizin.pdf (276.47 KB)
Sztipanovits, J., G. Karsai, and H. Franke, "Model-Integrated Program Synthesis Environment", Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany, pp. 348--355, March, 2000.  Download: Sztipanovi_J_0_0_2000_Model_Inte.pdf (218.64 KB)
Ledeczi, A., T. Bapty, and G. Karsai, "Synthesis of Self-Adaptive Software", IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 KB)
Mosterman, P., and G. Biswas, "Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems", Hybrid Systems: Computation and Control - Third International Workshop (HSCC 2000), Volume 1790, Berlin, Germany, pp. 324--337, March, 2000.  Download: ISIS_3_0_2000_Towards_Pr.pdf (381.52 KB)
Manders, E. J., S. Narasimhan, G. Biswas, and P. Mosterman, "A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems", 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Budapest, Hungary, pp. 1074--1079, June, 2000.  Download: Manders_EJ_6_0_2000_A_Combined.pdf (307.63 KB)
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung, "Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing", 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, {Budapest, Hungary}, June, 2000.", pp. 1074--1079, June, 2000.  Download: Narasimhan_S_6_0_2000_Fault_Isol.pdf (37.96 KB)
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung, "An Integrated Framework for Combining Global and Local Analysis in Diagnosing Hybrid Systems", Eleventh Intl. Workshop on Principles of Diagnosis, Morelia, Mexico, pp. 163--170, June, 2000.
Mosterman, P., E. J. Manders, and G. Biswas, "Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops", Eleventh Intl. Workshop on Principles of Diagnosis, Morelia, Mexico, pp. 155--162, June, 2000.  Download: ISIS_6_0_2000_Qualitativ.pdf (316.79 KB)
Bapty, T., J. Gray, and S. Neema, Initial PCES PI Meeting: Constraint-Based Embedded Program Composition, , Colorado Springs, CO, Institute for Software Integrated Systems, July, 2000.  Download: Bapty_T_7_31_2000_Initial_PI.ppt (314.5 KB)
Moore, M., S. Monemi, and J. Wang, "Integrated Diagnostics for Electric Utilities", World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, pp. 458--463, July, 2000.  Download: Moore_MS_7_0_2000_Integrated.pdf (100.49 KB)
Szedo, G., S. Neema, J. Scott, and T. Bapty, "Reconfigurable Target Recognition System", Proceedings of the FPGA 2000, Monterey, CA, February, 2000.  Download: Szedo_G_2_0_2000_Reconfigur.pdf (267.98 KB)
Nordstrom, G., G. Karsai, M. Moore, T. Bapty, and J. Sztipanovits, "Model Integrated Computing-Based Software Design and Evolution", Conference on Life Cycle Software Engineering Technology for Modern Avionics, Missiles, and Smart Weapon Systems, Huntsville, Alabama, August, 2000.  Download: Nordstrom_GG_8_16_2000_Model_Inte.pdf (252.99 KB)
Gray, J., and S. Schach, "Constraint Animation Using an Object-Oriented Declarative Language", Proceedings of the 38th Annual ACM SE Conference, Clemson, SC, pp. 1--10, April, 2000.  Download: Gray_J_4_0_2000_Constraint.doc (101 KB)
Mosterman, P., and G. Biswas, "A Comprehensive Methodology for Building Hybrid Models of Physical Systems", Artifical Intelligence Journal, vol. 121, pp. 171--209, 2000.  Download: ISIS_0_0_2000_A_Comprehe.pdf (642.21 KB)
Nordstrom, G., and A. Ledeczi, "Formalizing the Specification of Graphical Modeling Languages", ISIS-00-200: Institute for Software Integrated Systems, 2000.  Download: Nordstrom_GG_0_0_2000_Formalizin.pdf (160.48 KB)
Wang, J., "Visual Specification of Model Interpreters", Master's Thesis: Vanderbilt University, 2000.  Download: Wang_J_0_0_2000_Visual_Spe.pdf (397.35 KB)
Sztipanovits, J., and G. Karsai, "Embedded Software: Challenges and Opportunities", Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.
1999
Neema, S., T. Bapty, and J. Scott, "Adaptive Computing and Run-time Reconfiguration", Proceedings of the Military Applications of Programmable Logic Devices, Laurel, MD, September, 1999.  Download: Neema_S_9_0_1999_Adaptive_C.pdf (53.24 KB)
Bapty, T., "Design Environment for Dynamically Reconfigurable Embedded Systems", Proceedings of the High Performance Embedded Computing '99, MIT Lincoln Laboratory, MA, September, 1999.  Download: Bapty_T_9_0_1999_Design_Env.pdf (7.37 KB)
Tibbals, T., M. Sensmeier, K. Nichol, A. Stoner, and C. Biegl, "Model Integrated Testing for Durability Assessment of Turbine Engines", Proceedings of the ITEA Conference, Tullahoma, TN, pp. 151--158, October, 1999.  Download: Tibbals_T_10_0_1999_Model_Inte.pdf (1.39 MB)
Neema, S., T. Bapty, and J. Scott, "Development Environment for Dynamically Reconfigurable Embedded Systems", Proceedings of the International Conference on Signal processing Applications and Technology, Orlando, FL, November, 1999.  Download: Neema_S_11_0_1999_Developmen.pdf (5.77 KB)
Mosterman, P., and G. Biswas, "Diagnosis of Continuous Valued Systems in Transient Operating Regions", IEEE Transactions on Systems, Man, and Cybernetics, vol. 29, issue 6, pp. 554-565, November, 1999.  Download: ISIS_11_0_1999_Diagnosis_.pdf (246.82 KB)
Nichols, J., and S. Neema, "Dynamically Reconfigurable Embedded Image Processing System", Proceedings of the International Conference on Signal Processing Applications and Technology, Orlando, FL, November, 1999.  Download: Nichol_KL_11_0_1999_Dynamicall.pdf (334.08 KB)