Kushwaha, M., I. Amundson, X. Koutsoukos, S. Neema, and J. Sztipanovits,
"OASiS: A Programming Framework for Service-Oriented Sensor Networks",
International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), Bangalore, India, 2007.
Abstract
Download: comsware07.pdf (982.55 KB)
Ledeczi, A., G. Nordstrom, G. Karsai, P. Volgyesi, and M. Maroti,
"On Metamodel Composition",
IEEE CCA 2001, Mexico City, Mexico, September, 2001.
Download: Ledeczi_A_9_5_2001_On_Metamod.pdf (108.86 KB)
Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle,
"On the use of Graph Transformations in the Formal Specification of Computer-Based Systems",
IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, Alabama, pp. 19--27, April, 2003.
Download: Karsai_G_4_9_2003_On_the_use.pdf (224.67 KB)
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)
Maroti, M., R. Kereskenyi, T. Kecskes, P. Volgyesi, and A. Ledeczi,
"Online Collaborative Environment for Designing Complex Computational Systems",
The International Conference on Computational Science (ICCS 2014), Cairns, Australia, Elsevier Procedia, 06/2014.
Abstract
Download: WebGME-ICCS14.pdf (931.4 KB)
Abdelwahed, S., J. Wu, G. Biswas, J. W. Ramirez, and E. J. Manders,
"Online Hierarchical Fault-Adaptive Control for Advanced Life Support Systems",
34th International Conference on Environmental Systems, Colorado Springs, CO, July, 2004.
Download: Abdelwahed_S_7_0_2004_Online_Hie.pdf (242.83 KB)
Abdelwahed, S., S. Neema, J. Loyall, and R. Shapiro,
"Online Hybrid Control Design for QoS Management",
IEEE Int. Conference on Systems, Man & Cybernetics, Washington, DC., October, 2003.
Download: Abdelwahed_S_10_0_2003_Online_Hyb.pdf (172.18 KB)
Abdelwahed, S., J. Wu, and G. Biswas,
"Online Hybrid Control for Optimal Resource Management in Advanced Life Support Systems.",
Habitation, Conference on Space Habitation Research and Technology Development, Orlando, FL, January, 2004.
Imsand, E., L. Howard, K. Pence, and D. Dasgupta,
"Online Information Security Education through Anchored Instruction",
Proceedings of the 12th Annual Colloquium for Information Systems Security Education, Dallas, TX, USA, June, 2008.
Abdelwahed, S., G. Karsai, and G. Biswas,
"Online Safety Control of a Class of Hybrid Systems",
IEEE 2002 Conference on Decision and Control, Las Vegas, USA, pp. 1988--1990, December, 2002.
Download: Abdelwahed_S_12_0_2002_Online_Saf.pdf (96.96 KB)
Porter, J., G. Hemingway, N. Kottenstette, G. Karsai, and J. Sztipanovits,
"Online Stability Validation Using Sector Analysis",
International Conf. on Embedded Software (EMSoft), Scottsdale, AZ, ACM, pp. 29-38, 10/2010.
Abstract
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)