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