Home

ISIS Publications

Export 1097 results:
Sort by: [ Author (Asc)] 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 
S
Shankaran, N., J. S. Kinnebrew, X. Koutsoukos, C. Lu, D. C. Schmidt, and G. Biswas, "An Integrated Planning and Adaptive Resource Management Architecture for Distributed Real-Time Embedded Systems", IEEE Transactions on Computers, vol. 58, no. 11, pp. 1485 -1499, 11/2009. Abstract  Download: Shankaran et al - 2009 - IEEE Trans Comp -- Integ Plan & Adapt Resource Mgmt Arch for DRE Sys.pdf (2.89 MB)
Shekhar, S., F. Caglar, A. Dukeman, L. Hou, and A. Gokhale, "A Collaborative K-12 STEM Education Framework Using Traffic Flow as a Real-world Challenge Problem", 2014 ASEE Annual Conference: ASEE Conferences, pp. 24–28, 2014.
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., H. Abdel-Aziz, M. Walker, F. Caglar, A. Gokhale, and X. Koutsoukos, "A simulation as a service cloud middleware", Annals of Telecommunications, vol. 71, no. 3, pp. 93–108, 2015. Abstract
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.
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)
Shetty, S., S. Neema, and T. Bapty, "Model Based Self Adaptive Behaviour Language Large Scale Real time Embedded Systems", ECBS, Brno, Czech Republic, May, 2004.  Download: Shetty_SS_5_24_2004_Model_Base.PDF (803.33 KB)
Shetty, S., "Towards Developing Tools and Technologies for Large Scale Real time Embedded systems", Master's Thesis: Vanderbilt University, April, 2004.  Download: Shetty_SS_4_1_2004_Towards_De.PDF (2.8 MB)
Shi, J., R. Amgai, S. Abdelwahed, A. Dubey, J. Humphreys, M. Alattar, and R. Jia, "Generic Modeling and Analysis Environment Design for Shipboard Power System", Marinelive, 11/2012.  Download: Paper_Final_MarineLive_2012_v3.pdf (2.95 MB)
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., 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, 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., 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.
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)
Simon, G., G. Karsai, G. Biswas, S. Abdelwahed, N. Mahadevan, T. Szemethy, G. Peceli, and T. Kovacshazy, "Model-Based Fault-Adaptive Control of Complex Dynamic Systems", IMTC 2003, Vail, CO, May, 2003.  Download: Simon_G_5_20_2003_Model_Base.pdf (385.87 KB)
Simon, G., T. Kovacshazy, G. Peceli, T. Szemethy, G. Karsai, and A. Ledeczi, "Implementation of Reconfiguration Management in Fault-Adaptive Control Systems", IMTC 2002, Anchorage, AK, pp. 123--128, May, 2002.  Download: Simon_G_5_21_2002_Implementa.pdf (1.42 MB)
Simon, G., P. Volgyesi, M. Maroti, and A. Ledeczi, "Simulation-based optimization of communication protocols for large-scale wireless sensor networks", 2003 IEEE Aerospace Conference, Big Sky, MT, March, 2003.  Download: Simon_G_3_8_2003_Simulation.pdf (407.89 KB)
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., 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)
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., "Model Integrated Program Synthesis of Agent Interaction Protocols", Master's Thesis: Vanderbilt University, August, 2000.  Download: Sprinkle_JM_8_0_2000_Model_Inte.pdf (1.53 MB)
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)
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, "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 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., 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)
Stal, M., D. C. Schmidt, and W. R. Otte, "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.
Su, R., S. Abdelwahed, and S. Neema, "Computing Finitely Reachable Containable Region for Switching System", IEEE Proceedings on Control Theory and Applications, 2004.
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)
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)
Subramanian, V., G. Deng, C. Gill, J. Balasubramanian, L. SHEN, W. R. Otte, D. C. Schmidt, A. Gokhale, and N. Wang, "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.
Summers, R., R. Pirjamali, J. Sztipanovits, and E. Carson, "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.
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., A. Dubey, C. Kulkarni, and A. Guarneros, "Distributed and Stacked Neural Network for Anomaly Detection in Small Satellites", 15th Annual Cubesat Developer Workshop, San Luis Obispo, 2018. Abstract
Sun, F., A. Dubey, J. White, and A. Gokhale, "A smart public transportation decision support system with multi-timescale analytical services", Cluster Computing, Special Issue on DDDAS, to appear, 2017. Abstract  Download: dddas2016.pdf (3.72 MB)
Sun, F., A. Dubey, C. Kulkarni, N. Mahadevan, and A. G. Luna, "A Data Driven Health Monitoring Approach to Extending Small Sats Mission", ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY 2018, 09/2018. Abstract  Download: data-driven-health.pdf (2.29 MB)
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)
Sun, F., A. Dubey, C. Samal, H. Baroud, and C. Kulkarni, "Short-Term Transit Decision Support System Using Multi-task Deep Neural Networks", 2018 IEEE International Conference on Smart Computing (SMARTCOMP), Taormina, Italy, IEEE, pp. 155-162, 07/2018. Abstract  Download: short_term_transit_dnn.pdf (1.66 MB)
Sun, F., C. Samal, J. White, and A. Dubey, "Unsupervised Mechanisms for Optimizing On-Time Performance of Fixed Schedule Transit Vehicles ", 3rd IEEE International Conference on Smart Computing: IEEE, 05/2017. Abstract  Download: unsupervised-mechanisms-optimizing.pdf (3.64 MB)
Sun, F., A. Dubey, and J. White, "DxNAT - Deep Neural Networks for Explaining Non-Recurring Traffic Congestion", IEEE Big Data: IEEE, 12/2017. Abstract
Suri, D., A. Howell, D. C. Schmidt, G. Biswas, J. S. Kinnebrew, W. R. Otte, and N. Shankaran, "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)
Suri, D., A. Howell, N. Shankaran, J. S. Kinnebrew, W. R. Otte, D. C. Schmidt, and G. Biswas, "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)