Home

ISIS Publications

Export 37 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: First Letter Of Title is O  [Clear All Filters]
2019
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)
2017
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)
2016
, "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)
2015
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.
2014
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)
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)
2013
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)
2011
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.
2010
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
2009
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)
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.
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.
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.
Cui, Y., Y. Cao, L. Dai, and Y. Xue, "Optimizing P2P Streaming Throughput under Peer Churning", Multimedia Systems, vol. 15, no. 2, 04/2009.
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.
2008
Wellons, J., and Y. Xue, "Oblivious Routing for Wireless Mesh Networks", IEEE International Conference on Communications (ICC), Beijing, China, May, 2008.
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.
2007
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)
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)
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)
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.
2006
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)
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)
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)
2005
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.
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)
2004
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)
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., 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.
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)
2003
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)
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)
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)
2002
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)
2001
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)
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)
1995
Padalkar, S., G. Karsai, J. Sztipanovits, and F. DeCaria, "Online Diagnostics Makes Manufacturing More Robust", Chemical Engineering Magazine, pp. 80--83, March, 1995.