ISIS Publications

Export 451 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: Taxonomy Term is   [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 
S
Sztipanovits, J., G. Karsai, M. Wilkes, and D. L. Lynd, "The Multigraph and Structural Adaptivity", IEEE Transactions on Signal Processing, vol. 41, pp. 2695--2717, August, 1993.
Sztipanovits, J., "Toward Structural Adaptivity", IEEE International Symposium on Circuits and systems, Espoo, Finland, 1988.
Sztipanovits, J., ISIS Overview 2005, , ISIS - Vanderbilt, Institute for Software Integrated Systems, January, 2006.  Download: Sztipanovi_J_1_13_2006_ISIS_Overv.ppt (3.56 MB)
Sztipanovits, J., G. Karsai, and C. Biegl, "Modeling, Model Interpretation and Intelligent Control", 3rd IEEE International Symposium on Intelligent Control, Arlington , VA, pp. 46--50, 1988.
Sztipanovits, J., C. Krishnamurthy, and B. Purves, "Programming Model for Coupled Intelligent Systems in Distributed Execution Environment", SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge , MA, pp. 40--48, 1986.
Sztipanovits, J., Safety Analysis and Diagnosis in a Model-Integrated Computing Framework, , Workshop on Model-Integrated Computing, Nashville, TN, Institute for Software Integrated Systems, June, 1996.  Download: Sztipanovi_J_6_0_1996_Safety_Ana.pdf (72.52 KB)
Sztipanovits, J., "Execution Environment for Intelligent Real-time Control Systems", NASA/JPL Symposium on Telerobotics, Pasadena, CA, pp. 131--139, 1987.
Sztipanovits, J., and J. Bourne, "Architecture of Intelligent Medical Instruments", Journal of Biomedical Measurements Informatics and Control, London, UK, vol. 1, pp. 140--146, 1987.
Sztipanovits, J., B. Abbott, and T. Bapty, "Model-based synthesis of complex embedded systems", Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'94), Washington DC, July, 1994.
Sztipanovits, J., and G. Karsai, "Model-Integrated Computing Environment", ACM SIGSOFT Software Engineering Notes, vol. 22, pp. 72--73, September, 1997.
Sztipanovits, J., and J. Bourne, "Design of Intelligent Instrumentation", First Conference on Artificial Intelligence Applications, Denver, CO, pp. 490--495, 1984.
Sztipanovits, J., "Knowledge-Based Approach in Measurement and Instrumentation", 3rd International Conference on Measurement in Clinical Medicine, Edinburgh, United Kingdom, pp. 29--33, 1986.
Sztipanovits, J., "Embedded Software: Opportunities and Challenges", Embedded Software, (LNCS 2211), pp. 403--415, 2001.
Sztipanovits, J., C. Krishnamurthy, and B. Purves, "Testing and Validation in Artificial Intelligence Programming", Proceedings of the SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge, MA, pp. 2--10, 1987.
Sztipanovits, J., G. Karsai, C. Biegl, T. Bapty, A. Ledeczi, and D. Malloy, "MULTIGRAPH: An Architecture for Model-Integrated Computing", Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361--368, November, 1995.  Download: Sztipanovi_J_11_6_1995_MULTIGRAPH.pdf (146.05 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.
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.
Sztipanovits, J., "A Computing Model for Semantic Control", Applied Mathematics Letters, vol. 2, pp. 273--276, 1989.
Sztipanovits, J., G. Karsai, and B. Purves, "Model-Based Approach for Intelligent Control", Fourth SPIE Conference on Space Station Automation, Cambridge, MA, pp. 46--65, 1988.  Download: ModelBasedApproachforIntelligentControl.pdf (1.71 MB)
Sztipanovits, J., and G. Karsai, "Model-Integrated Computing", IEEE Computer, vol. 30, pp. 110--112, April, 1997.  Download: Sztipanovi_J_4_0_1997_Model_Inte.pdf (53.27 KB)
Sztipanovits, J., and G. Karsai, "Generative Programming for Embedded Systems", Generative Programming and Component Engineering, (LNCD 2787), pp. 32--49, 2002.
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)
Sztipanovits, J., C. Biegl, and G. Karsai, "Programming Model for Distributed Intelligent Systems", Proceedings of the Conference on Artificial Intelligence for Space Applications, pp. 365--373, 1986.
Sztipanovits, J., and J. Bourne, "Architecture of Intelligent Medical Instruments", 7th Annual IEEE/EMBS Conference, Chicago, IL, pp. 1132--1136, 1985.
Sztipanovits, J., "Embedded Software and Systems: Challenges and Approaches", Hybrid Systems: Computation and Control (LNCS 2034), pp. 4, 2001.
Sztipanovits, J., and G. Karsai, "Embedded Software: Challenges and Opportunities", Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.
Sztipanovits, J., R. Carnes, and A. Misra, "Finite-State temporal Automata Modeling for Fault Diagnosis", Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
T
Tambe, S., A. Dabholkar, A. Gokhale, and A. Kavimandan, "CQML: A QoS Modeling and Modularization Framework for Component-based Systems", Proceedings of EDOC workshop Advances in Quality of Service Management, (AQuSerM 2008): IEEE, 09/2008.  Download: AQuSerM-2008.pdf (313.72 KB)
Tibbals, T., T. Bapty, and B. Abbott, "CADDMAS: A Real-Time Parallel System for Dynamic Data Analysis", International Gas Turbine and Aeroengine Congress, The Hauge, Netherlands, June, 1994.
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)
Tuck, J., and T. Bapty, "Interface Refinement and Synthesis for Component-Based Design", ISIS-01-200: Institute for Software Integrated Systems, January, 2001.  Download: Tuck_JM_1_30_2001_Interface_.pdf (127.34 KB)
V
Vizhanyo, A., A. Agrawal, and F. Shi, "Towards Generation of High-performance Transformations", Generative Programming and Component Engineering, Vancouver, Canada, October, 2004.  Download: Vizhanyo_A_10_24_2004_Towards_Ge.pdf (366.47 KB)
Volgyesi, P., A. Nadas, A. Ledeczi, and K. Molnar, "Reliable Multihop Bulk Transfer Service forWireless Sensor Networks", 13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2006), Potsdam, Germany, March, 2006.  Download: Volgyesi_P_3_0_2006_Reliable_M.pdf (1.61 MB)
Volgyesi, P., M. Maroti, S. Dora, E. Osses, A. Ledeczi, and T. Paka, Embedded Software Composition and Verification, : Institute for Software Integrated Systems, February, 2004.  Download: Volgyesi_P_2_13_2004_Embedded_S.pdf (627.06 KB)
Volgyesi, P., and A. Ledeczi, "Component-Based Development of Networked Embedded Applications", 28th Euromicro Conference, Component-Based Software Engineering Track, Dortmund, Germany, September, 2002.  Download: Volgyesi_P_9_0_2002_Component_.pdf (204.6 KB)
Volgyesi, P., M. Maroti, S. Dora, E. Osses, and A. Ledeczi, "Software Composition and Verification for Sensor Networks", Science of Computer Programming (Elsevier), vol. 56, pp. 191--210, April, 2005.  Download: Volgyesi_P_4_0_2005_Software_C.pdf (312.39 KB)
Volgyesi, P., M. Maroti, and A. Ledeczi, "Model-based Software Synthesis for Distributed Control Systems and Sensor Networks.", International Carpathian Control Conference, High Tatras, Slovak Republic, May, 2003.
Volgyesi, P., G. Balogh, A. Nadas, C. Nash, and A. Ledeczi, "Shooter Localization and Weapon Classification with Soldier-Wearable Networked Sensors", 5th International Conference on Mobile Systems, Applications, and Services (MobiSys), San Juan, Puerto Rico, 2007.  Download: sys5090-volgyesi.pdf (1.04 MB)
W
Y