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)
Dai, L., Y. Cao, Y. Cui, and Y. Xue,
"On Scalability of Proximity-Aware P2P Streaming",
Computer Communications, Elsevier, vol. 32, no. 1, 01/2009.
Sallai, J., B. Kusy, A. Ledeczi, and P. Dutta,
"On the Scalability of Routing Integrated Time Synchronization",
3rd European Workshop on Wireless Sensor Networks (EWSN 2006), Zurich, Switzerland, February, 2006.
Download: Sallai_J_2_13_2006_On_the_Sca.pdf (212.99 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 Fault Adaptive Control for Efficient Resource Management in Advanced Life Support Systems",
Habitation - Intl. Journal for Human Support Research, vol. 10, pp. 105--115, 2005.
Download: Abdelwahed_S_0_0_2005_Online_Fau.pdf (311.45 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.
Biswas, G., E. J. Manders, J. W. Ramirez, N. Mahadevan, and S. Abdelwahed,
"Online Model-based Diagnosis to support autonomous operation of an Advanced Life Support System",
Habitation - Intl. Journal for human support Research, vol. 10, pp. 21--38, 2004.
Download: Biswas__G_0_0_2004_Online_Mod.pdf (352.93 KB)
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)
Ghafouri, A., A. Laszka, A. Dubey, and X. Koutsoukos,
"Optimal Detection of Faulty Traffic Sensors Used in Route Planning",
2nd Workshop on Science of Smart City Operations and Platforms Engineering, Pittsburgh, PA, ACM, 04/2017.
Download: scope17.pdf (1.8 MB)
Ledeczi, A., J. Davis, S. Neema, B. Eames, G. Nordstrom, V. Prasanna, C. Raghavendra, A. Bakshi, S. Mohanty, V. Mathur, et al.,
"Overview of the Model-based Integrated Simulation Framework",
ISIS-01-201: Institute for Software Integrated Systems, January, 2001.
Download: Ledeczi_A_1_30_2001_Overview_o.pdf (84.4 KB)