] Filters: First Letter Of Last Name is S [Clear All Filters]
"Efficiently and transparently automating scalable on-demand activation and deactivation of services with the activator pattern",
Software: Practice and Experience, vol. 11, no. 10, 09/2011.
"Computing Finitely Reachable Containable Region for Switching System",
IEEE Proceedings on Control Theory and Applications, 2004.
A Reachability based Stability Analysis for Switching Systems,
: Institute for Software Integrated Systems, September, 2004.
Download: ISIS_9_0_2004_A_Reachabi.pdf (3.95 KB)
"Distributed Diagnosis of Qualitative Systems",
6th International Workshop on Discrete Event Systems, Zaragoza, Spain, pp. 169--174, October, 2003.
Download: ISIS_10_2_2003_Distribute.pdf (719.89 KB)
"Discrete Abstraction and Supervisory Control of Switching Systems",
IEEE Int. Conference on Systems, Man & Cybernetics, Washington, DC., October, 2003.
Download: ISIS_10_0_2003_Discrete_A.pdf (485.73 KB)
"The design and performance of component middleware for QoS-enabled deployment and configuration of DRE systems☆",
Journal of Systems and Software, vol. 80, issue 5, pp. 668 - 677, 05/2007.
"Use of the Multigraph Architecture for the Development of Monitoring and Control in the High Dependency Environment",
IMIA-IFMBE Working Conference on Biosignal Interpretation, Denmark, pp. 185--188, August, 1993.
"Model-Based Monitoring in Anaesthesia and Critical Care",
3rd Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care, Salzurg, Germany, October, 1992.
"Onboard Processing using the Adaptive Network Architecture",
The Sixth Annual NASA Earth Science Technology Conference, College Park, Maryland, 06/2006.
Abstract
Download: Suri et al - 2006 - NASA ESTC -- Onboard Processing using the Adaptive Network Architecture.pdf (302.24 KB)
"A Multi-Agent Architecture Provides Smart Sensing for the NASA Sensor Web",
The 2007 IEEE Aerospace Conference, Big Sky, Montana, pp. 1 -9, 03/2007.
Abstract
Download: Suri et al - 2007 - IEEE Aerospace -- Multi-Agent Architecture for Smart Sensing in NASA Sensor Web.pdf (10.59 MB)
"Reconfigurable Target Recognition System",
Proceedings of the FPGA 2000, Monterey, CA, February, 2000.
Download: Szedo_G_2_0_2000_Reconfigur.pdf (267.98 KB)
"CSC: Criticality-Sensitive Coordination",
Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, pp. 1441–1442, 2006.
"An Examination of CriticalitySensitive Approaches to Coordination",
In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
"Plan Execution and Coordination",
Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005.
Abstract
"Model Transformations in the Model-Based Development of Real-time Systems",
ECBS, pp. 177-186, 2006.
Abstract
Download: 060105_Final.pdf (553.02 KB)
"PML: a Language for Platform Modeling",
Electronic Communications of the EASST, vol. 4, 2006.
"Platform Modeling and Model Transformations for Analysis",
Journal of Universal Computer Science, vol. 10, pp. 1383--1406, October, 2004.
Download: Szemethy_T_11_23_2004_Platform_M.pdf (328.35 KB)
"Towards a Versatile Wireless Platform for Low-power Applications",
International Journal of Digital Information and Wireless Communications, vol. 1, no. 2, 02/2012.
"Software-defined radio for versatile low-power wireless sensor systems",
International Conference on Digital Information Processing and Communications, Ostrawa, Czech Republic, 07/2011.
Abstract
"An Experimental Wireless platform for Acoustic Source Localization",
Networked Digital Technologies Proceedings, Part II, Prague, Czech Republic, Springer, pp. 289–295, 07/2010.
"Configurable Hardware-based Radio Interferometric Node Localization",
2010 IEEE Aerospace Conference, Big Sky, Montana, USA, IEEE, 03/2010.
Download: aeroconf10_szilvasi.pdf (1006.26 KB)
"Interferometry in Wireless Sensor Networks",
Interferometry - Research and Applications in Science and Technology: InTech, 2012.
"Embedded Software: Challenges and Opportunities",
Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.
"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.
"Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum",
ACM Transactions on Embedded Systems, 2005.
"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)
"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)
"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)
"Architecture of Intelligent Medical Instruments",
7th Annual IEEE/EMBS Conference, Chicago, IL, pp. 1132--1136, 1985.
"Embedded Software and Systems: Challenges and Approaches",
Hybrid Systems: Computation and Control (LNCS 2034), pp. 4, 2001.
"Cooperative Systems for Real-Time Process Monitoring and Diagnostics",
Proceeding of the AI-Japan, Osaka, Japan, 1987.
ISIS Overview 2005,
, ISIS - Vanderbilt, Institute for Software Integrated Systems, January, 2006.
Download: Sztipanovi_J_1_13_2006_ISIS_Overv.ppt (3.56 MB)
"Graph Model-Based Approach to the Representation, Interpretation and Execution of Real-Time Signal Processing Systems",
International Journal of Intelligent Systems, vol. 3, pp. 269--280, 1988.
"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.
"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)
"Knowledge-Based Approach in Measurement and Instrumentation",
3rd International Conference on Measurement in Clinical Medicine, Edinburgh, United Kingdom, pp. 29--33, 1986.
"Toward Structural Adaptivity",
IEEE International Symposium on Circuits and systems, Espoo, Finland, 1988.
"Design of Intelligent Instrumentation",
First Conference on Artificial Intelligence Applications, Denver, CO, pp. 490--495, 1984.
"Hybrid Systems for Robotics",
Encyclopedia of Physical Science and Technology, 3rd Edition, 2001.
"Execution Environment for Intelligent Real-time Control Systems",
NASA/JPL Symposium on Telerobotics, Pasadena, CA, pp. 131--139, 1987.
"Knowledge-Based Techniques in Instrumentation",
IEEE EMBS Magazine, vol. 7, pp. 13--17, 1988.
"Finite-State temporal Automata Modeling for Fault Diagnosis",
Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
"Model-Integrated Computing Environment",
ACM SIGSOFT Software Engineering Notes, vol. 22, pp. 72--73, September, 1997.
"Programming Model for Distributed Intelligent Systems",
Proceedings of the Conference on Artificial Intelligence for Space Applications, pp. 365--373, 1986.
"Architecture of Intelligent Medical Instruments",
Journal of Biomedical Measurements Informatics and Control, London, UK, vol. 1, pp. 140--146, 1987.
"Intelligent Monitoring and Diagnostics for Plant Automation",
IEEE International Conference on Robotics and Automation, Cincinnati, OH, pp. 1390--1397, 1990.
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)
"Knowledge-Based Experiment Builder for Magnetic Resonance Imaging (MRI) Systems",
Proceedings of the 3rd IEEE Conference on Artificial Intelligence Applications, pp. 126--133, 1987.
"Generative Programming for Embedded Systems",
Generative Programming and Component Engineering, (LNCD 2787), pp. 32--49, 2002.
"Modeling, Model Interpretation and Intelligent Control",
3rd IEEE International Symposium on Intelligent Control, Arlington , VA, pp. 46--50, 1988.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering