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., 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., 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)
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)
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)
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., 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., 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., 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., 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)
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)
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., 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.
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.
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)
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)