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., 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)
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., 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)
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., 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)
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, "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.
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., 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 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., 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., and S. Sastry, "Hybrid Systems for Robotics", Encyclopedia of Physical Science and Technology, 3rd Edition, 2001.
Sztipanovits, J., "Toward Structural Adaptivity", IEEE International Symposium on Circuits and systems, Espoo, Finland, 1988.
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., and G. Karsai, "Generative Programming for Embedded Systems", Generative Programming and Component Engineering, (LNCD 2787), pp. 32--49, 2002.
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.