ISIS Publications

Export 451 results:
Sort by: [ Author  (Desc)] 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 
Y
W
V
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)
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)
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)
T
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)
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)
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)
S
Sztipanovits, J., and A. Misra, "Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams", Seventh International Workshop on Principles of Diagnosis, Val Morin, Quebec, October, 1996.  Download: Sztipanovi_J_10_0_1996_Diagnosis_.pdf (71.52 KB)
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.
Sztipanovits, J., and S. Sastry, "Hybrid Systems for Robotics", Encyclopedia of Physical Science and Technology, 3rd Edition, 2001.
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., and G. Karsai, "Self-Adaptive Software for Signal Processing", Communications of the ACM, vol. 41, pp. 55--65, March, 1998.  Download: Sztipanovi_J_0_0_1998_Self_Adapt.pdf (66.17 KB)
Sztipanovits, J., "Toward Structural Adaptivity", IEEE International Symposium on Circuits and systems, Espoo, Finland, 1988.
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 C. Biegl, "Modeling, Model Interpretation and Intelligent Control", 3rd IEEE International Symposium on Intelligent Control, Arlington , VA, pp. 46--50, 1988.
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., 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., "Execution Environment for Intelligent Real-time Control Systems", NASA/JPL Symposium on Telerobotics, Pasadena, CA, pp. 131--139, 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 J. Bourne, "Architecture of Intelligent Medical Instruments", Journal of Biomedical Measurements Informatics and Control, London, UK, vol. 1, pp. 140--146, 1987.
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., 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., "Embedded Software: Opportunities and Challenges", Embedded Software, (LNCS 2211), pp. 403--415, 2001.
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., 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., 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., "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)