ISIS Publications

Export 1056 results:
Sort by: [ Author  (Desc)] Title Type Year
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 
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.
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)
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, 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)
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., 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)
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., 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., "Metamodel Driven Model Migration", PhD Dissertation: Vanderbilt University, August, 2003.  Download: Sprinkle_JM_8_0_2003_Metamodel_.pdf (920.84 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, "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., "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., 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)
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)
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)
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.
Simon, G., M. Maroti, A. Ledeczi, G. Balogh, B. Kusy, A. Nadas, G. Pap, J. Sallai, and K. Frampton, "Sensor network-based countersniper system", In Proc. of ACM SenSys, Baltimore, MD, pp. 1--12, November, 2004.  Download: Simon_G_11_3_2004_Sensor_Net.pdf (662.24 KB)
Simko, G., D. Lindecker, T. Levendovszky, S. Neema, and J. Sztipanovits, "Specification of Cyber-Physical Components with Formal Semantics – Integration and Composition", ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS): Springer Berlin Heidelberg, 2013.
Simko, G., T. Levendovszky, S. Neema, E. Jackson, T. Bapty, J. Porter, and J. Sztipanovits, "Foundation for Model Integration: Semantic Backplane", Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE, 2012.
Simko, G., D. Lindecker, T. Levendovszky, E. Jackson, S. Neema, and J. Sztipanovits, "A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems", IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Phoenix, AZ, IEEE, pp. 30-39, 2013.  Download: ECBS2013.pdf (416.4 KB)
Simko, G., T. Levendovszky, M. Maroti, and J. Sztipanovits, "Towards a Theory for Cyber-Physical Systems Modeling", Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2013.
Shetty, S., S. Nordstrom, S. Ahuja, D. Yao, T. Bapty, and S. Neema, "Systems Integration of Autonomic Large Scale Systems Using Multiple Domain Specific Modeling Language", 12 IEEE International Conference on ECBS ,Engineering of Autonomic Systems, 0-7695-2306-0/05, Greenbelt, MD , USA, April, 2005.  Download: Shetty_SS_4_6_2005_Systems_In.pdf (542.27 KB)
Shekhar, S., A. Chhokra, A. Bhattacharjee, G. Aupy, and A. Gokhale, "INDICES: Exploiting Edge Resources for Performance-aware Cloud-hosted Services", Technical Report, Nashville, Institute for Software Integrated Systems, Vanderbilt University, 2017.  Download: indices.pdf (649.09 KB)
Shekhar, S., "Dynamic Data Driven Cloud Systems for Cloud-Hosted CPS", 2016 IEEE International Conference on Cloud Engineering Workshop (IC2EW), pp. 195-197, April, 2016.
Shekhar, S., F. Sun, A. Dubey, A. Gokhale, H. Neema, M. Lehofer, and D. Freudberg, "Transit Hub: A Smart Decision Support System for Public Transit Operations", Internet of Things and Data Analytics Handbook (ed. Hwaiyu Geng), 1st, Hoboken, NJ, 2017. Abstract  Download: c36.pdf (1.38 MB)
Shekhar, S., F. Caglar, K. An, T. Kuroda, A. S. Gokhale, and S. S. Gokhale, "A Model-driven Approach for Price/Performance Tradeoffs in Cloud-based MapReduce Application Deployment", Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing, Miami, Florida, USA, September 29, 2013., pp. 37–42, 2013.
Shah, A., K. An, A. Gokhale, and J. White, "Maximizing Service Uptime of Smartphone-based Distributed Real-time and Embedded Systems", 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2011), Newport Beach, CA, USA, IEEE, pp. 3–10, 03/2011.  Download: paper.pdf (384.42 KB)
Segedy, J., J. S. Kinnebrew, and G. Biswas, "Investigating the Relationship Between Dialogue Responsiveness and Learning in a Teachable Agent Environment", The 15th International Conference on Artificial Intelligence in Education, Auckland, New Zealand, 2011.
Scott, J., S. Neema, B. Eames, T. Bapty, A. Vandivort, S. Khamsi, and T. Gangwer, "A HW/SW Co-design Tool for Modern FPGA’s with FPGA-Embedded Processors", 7th Military and Aerospace Programmable Logic Devices, Washington, DC, September, 2004.  Download: Scott_JM_9_11_2004_A_HW_SW_Co.pdf (284.38 KB)
Scott, J., T. Bapty, and S. Neema, "Runtime Environment for Dynamically Reconfigurable Embedded Systems", Proceedings of the International Conference on Signal Processing Applications and Technology, Orlando, FL, November, 1999.  Download: Scott_J_11_0_1999_Runtime_En.pdf (3.8 KB)
Scott, J., T. Bapty, S. Neema, and J. Sztipanovits, "Model-Integrated Environment for Adaptive Computing", Proceedings of the Military and Aerospace Applications of Programmable Devices and Technologies Conference, Greenbelt, MA, September, 1998.  Download: Scott_J_9_0_1998_Model_Inte.pdf (65.99 KB)
Scott, J., S. Neema, T. Bapty, and B. Abbott, "Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems", ISIS-2000-06: Institute for Software Integrated Systems, May, 2000.  Download: Scott_J_5_0_2000_Hardware_S.PDF (198.18 KB)