Home

ISIS Publications

Export 37 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Title is O  [Clear All Filters]
Report
Amundson, I., M. Kushwaha, X. Koutsoukos, S. Neema, and J. Sztipanovits, OASiS: A Service-Oriented Middleware for Pervasive Ambient-Aware Sensor Networks, : Institute for Software Integrated Systems, 2006.  Download: Amundson_I_0_0_2006_OASiS__A_S.pdf (1.44 MB)
Dai, L., Y. Cui, and Y. Xue, On Scalability of Proximity-Aware Peer-to-Peer Streaming, : Institute for Software Integrated Systems, January, 2007.  Download: Dai_L_1_0_2007_On_Scalabi.pdf (375.82 KB)
Bapty, T., S. Neema, and J. Scott, Overview of the META Toolchain in the Adaptive Vehicle Make Progam (status: review pending), , no. ISIS-15-103, 2015.
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)
Miscellaneous
Koutsoukos, X., M. Kushwaha, I. Amundson, S. Neema, and J. Sztipanovits, "OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks", Monterey Workshop 2006, LNCS 4888, Springer-Verlag, Paris, France, 2007.  Download: LNCS2007.pdf (1.54 MB)
Journal Article
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 Transformation in the Formal Specification of Model Interpreters", Journal of Universal Computer Science, vol. 9, 2003.  Download: Karsai_G_0_0_2003_On_the_Use.pdf (253.4 KB)
Padalkar, S., G. Karsai, J. Sztipanovits, and F. DeCaria, "Online Diagnostics Makes Manufacturing More Robust", Chemical Engineering Magazine, pp. 80--83, March, 1995.
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)
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)
Cui, Y., Y. Cao, L. Dai, and Y. Xue, "Optimizing P2P Streaming Throughput under Peer Churning", Multimedia Systems, vol. 15, no. 2, 04/2009.
Conference Proceedings
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)
Qiu, F., J. Bai, Y. Cui, and Y. Xue, "Optimal Rate Allocation in Peer-to-Peer Streaming over Wireless Networks", International Conference on Collaboration Technologies and Systems (CTS), 2011.
Conference Paper
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)
Wellons, J., and Y. Xue, "Oblivious Routing for Wireless Mesh Networks", IEEE International Conference on Communications (ICC), Beijing, China, May, 2008.
Babjak, B., S. Szilvasi, and P. Volgyesi, "On accurate, low-complexity quasi doppler based localization", The Third International Conference on Digital Information and Communication Technology and its Applications (DICTAP2013), Ostrava, Czech Republic, 2013.  Download: Paper137_CameraReady.pdf (375.89 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)
Amundson, I., M. Kushwaha, and X. Koutsoukos, "On the Feasibility of Determining Angular Separation in Mobile Wireless Sensor Networks", 2nd International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT), Orlando, FL, USA, 09/2009. Abstract  Download: melt09_amundson.pdf (292.12 KB)
Abdelwahed, S., J. Sallai, and S. Neema, "On the feasibility of lookahead control for systems with finite control set", IEEE Conference on Control Application, Toronto, Canada, August, 2005.
Hossain, T., Y. Cui, and Y. Xue, "On the Optimality of Layered Video Streaming Rate in a P2P Mesh Network", IEEE 18th International Conference on Computer Communications and Networks (ICCCN), San Francisco, CA, 08/2009.
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., N. Kandasamy, and S. Neema, "Online control for resource management in computing systems", The 10th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May, 2004.  Download: Abdelwahed_S_5_0_2004_Online_con.pdf (245.72 KB)
Mukhopadhyay, A., G. Pettet, C. Samal, A. Dubey, and Y. Vorobeychik, "An Online Decision-Theoretic Pipeline for Responder Dispatch", International Conference on Cyber-Physical Systems, 04/2019. Abstract  Download: ICCPS_CameraReady_2019_arxiv.pdf (3.2 MB)
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)
Tantawy, A., X. Kousoukos, and G. Biswas, "Optimal performance for detection systems in wireless passive sensor networks.", 17th Mediterranean Conference on Control and Automation, MED’09, Thessaloniki, Greece, 06/2009.
, "Optimal thresholds for anomaly-based intrusion detection in dynamical environments", 7th Conference on Decision and Game Theory for Security (GameSec 2016), 11/2016.  Download: paper.pdf (442.01 KB)
Jiang, S., and Y. Xue, "Optimal Wireless Network Restoration Under Jamming Attack", 18th International Conference on Computer Communications and Networks (ICCCN), San Francisco, CA, 08/2009.
Book Chapter
Karsai, G., and A. Narayanan, "On the Correctness of Model Transformations in the Development of Embedded Systems", Lecture Notes in Computer Science, vol. 4888: Springer, 2007.