ISIS Publications

Export 130 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: First Letter Of Last Name is S  [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   [Show ALL]
Sims, J., D. Vashishtha, P. Rani, R. Brackin, and N. Sarkar, "Stress Detection for Implicit Human-Robot Cooperation", World Automation Congress, ISORA-022, Orlando, Florida, USA, June, 2002.
Sogokon, A., P. B. Jackson, and T. T. Johnson, "Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants", NASA Formal Methods - 9th International Symposium, vol. 10227, Moffett Field, CA, USA, Springer, pp. 194-211, 05/2017. Abstract  Download: persistence-safety-nfm-2017.pdf (1.25 MB)
Sogokon, A., K. Ghorbal, and T. T. Johnson, "Decoupling Abstractions of Non-linear Ordinary Differential Equations", FM 2016, 21st International Symposium on Formal Methods, vol. 9995 Lecture Notes in Computer Science, Limassol, Cyprus, Springer, pp. 628-644, 11/2016. Abstract  Download: decoupling-abstractions-fm-2016.pdf (366.46 KB)
Sprinkle, J., "Managing Intent: Propagation of Meaning During Model Transformations", Workshop in Software Model Engineering, at <{\&}ltUML>> 2003, San Francisco, CA, October, 2003.  Download: Sprinkle_J_10_21_2003_Managing_I.pdf (76.36 KB)
Sprinkle, J., C. van Buskirk, and G. Karsai, "Analysis and Representation of Clauses in Satisfiability of Constraints", ISIS-01-205: Institute for Software Integrated Systems, August, 2001.  Download: Sprinkle_JM_8_6_2001_Analysis_a.pdf (171.11 KB)
Sprinkle, J., "Model-Integrated Computing", IEEE Potentials, vol. 23, pp. 28--30, February, 2004.  Download: Sprinkle_J_2_0_2004_Model_Inte.pdf (375.37 KB)
Sprinkle, J., and G. Karsai, "A Domain-Specific Visual Language for Domain Model Evolution", Journal of Visual Languages and Computing, vol. 15, April, 2004.  Download: Sprinkle_JM_4_0_2004_A_Domain_S.pdf (328.86 KB)
Sprinkle, J., "Metamodel Driven Model Migration", PhD Dissertation: Vanderbilt University, August, 2003.  Download: Sprinkle_JM_8_0_2003_Metamodel_.pdf (920.84 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)
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Translation Using Graph Transformations", Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, AL, pp. 159--168, April, 2003.  Download: Sprinkle_JM_4_7_2003_Domain_Tra.pdf (255.82 KB)
Sprinkle, J., G. Karsai, A. Ledeczi, and G. Nordstrom, "The New Metamodeling Generation", IEEE Engineering of Computer Based Systems, Proceedings, Washington, D.C., USA, pp. 275, April, 2001.  Download: Sprinkle_JM_4_0_2001_The_New_Me.doc (103.5 KB)
Sprinkle, J., and G. Karsai, "Model Migration through Visual Modeling", OOPSLA - 3rd OOPSLA Workshop on Domain-Specific Modeling, Anaheim, CA, October, 2003.  Download: Sprinkle_J_10_26_2003_Model_Migr.pdf (75.79 KB)
Sprinkle, J., A. Agrawal, T. Levendovszky, F. Shi, and G. Karsai, "Domain Evolution in Visual Languages Using Graph Transformations", OOPSLA, 2nd Workshop on Domain-Specific Languages, Seattle, WA, November, 2002.  Download: Sprinkle_JM_11_4_2002_Domain_Evo.doc (216 KB)
Su, R., S. Abdelwahed, G. Karsai, and G. Biswas, "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)
Su, R., W. M. Wonham, J. Kurien, and X. Koutsoukos, "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)
Su, R., S. Abdelwahed, and S. Neema, 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)
Summers, R., J. Sztipanovits, R. Pirjamali, and E. Carson, "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.
Sun, F., Y. Pan, J. White, and A. Dubey, "Real-time and Predictive Analytics for Smart Public Transportation Decision Support System", 2nd IEEE International Conference on Smart Computing (SMARTCOMP 2016), 2016. Abstract  Download: smartcomp2016.pdf (3.58 MB)
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)
Szekely, P., R. Neches, M. Becker, S. Fitzpatrick, C. vanBuskirk, D. Fisher, and G. Karsai, "Plan Execution and Coordination", Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005. Abstract
Szekely, P., M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, J. Jin, G. Karsai, R. T. Maheswaran, B. Neches, C. M. Rogers, et al., "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.
Szekely, P., R. Maheswaran, R. Neches, C. Rogers, R. Sanchez, M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, G. Karsai, et al., "An Examination of CriticalitySensitive Approaches to Coordination", In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
Szemethy, T., and G. Karsai, "PML: a Language for Platform Modeling", Electronic Communications of the EASST, vol. 4, 2006.
Szemethy, T., and G. Karsai, "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)
Szilvasi, S., "Advanced RF Techniques for Wireless Sensor Networks: The Software-Defined Radio Approach", Electrical Engineering, vol. Ph.D., Nashville, Vanderbilt University, pp. 149, 05/2014. Abstract  Download: SSzilvasi-Dissertation.pdf (6.74 MB)
Szilvasi, S., and P. Volgyesi, "An Experimental Wireless platform for Acoustic Source Localization", Networked Digital Technologies Proceedings, Part II, Prague, Czech Republic, Springer, pp. 289–295, 07/2010.
Szilvasi, S., J. Sallai, I. Amundson, P. Volgyesi, and A. Ledeczi, "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)
Szilvasi, S., P. Volgyesi, J. Sallai, A. Ledeczi, and M. Maroti, "Interferometry in Wireless Sensor Networks", Interferometry - Research and Applications in Science and Technology: InTech, 2012.
Szilvasi, S., B. Babjak, A. Ledeczi, and P. Volgyesi, "Software-defined radio for versatile low-power wireless sensor systems", International Conference on Digital Information Processing and Communications, Ostrawa, Czech Republic, 07/2011. Abstract
Szilvasi, S., B. Babjak, A. Ledeczi, and P. Volgyesi, "Towards a Versatile Wireless Platform for Low-power Applications", International Journal of Digital Information and Wireless Communications, vol. 1, no. 2, 02/2012.
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., "Knowledge-Based Approach in Measurement and Instrumentation", 3rd International Conference on Measurement in Clinical Medicine, Edinburgh, United Kingdom, pp. 29--33, 1986.
Sztipanovits, J., T. Bapty, S. Neema, L. Howard, and E. Jackson, "OpenMETA: A Model and Component-Based Design Tool Chain for Cyber-Physical Systems", From Programs to Systems – The Systems Perspective in Computing (FPS 2014), Grenoble, France, Springer, April 6, 2014. Abstract  Download: OpenMETA - Sztipanovits.pdf (807.74 KB)
Sztipanovits, J., and S. Sastry, "Hybrid Systems for Robotics", Encyclopedia of Physical Science and Technology, 3rd Edition, 2001.
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., "Execution Environment for Intelligent Real-time Control Systems", NASA/JPL Symposium on Telerobotics, Pasadena, CA, pp. 131--139, 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)