ISIS Publications

Export 1062 results:
Sort by: [ Author  (Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Amundson, I., and X. Koutsoukos, "A Survey on Localization for Mobile Wireless Sensor Networks", 2nd International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT), 09/2009. Abstract  Download: melt09_survey_amundson.pdf (382.49 KB)
Amundson, I., X. Koutsoukos, J. Sallai, and A. Ledeczi, "Mobile Sensor Navigation using Rapid RF-based Angle of Arrival Localization", 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, IL, 04/2011. Abstract
Amundson, I., J. Sallai, X. Koutsoukos, and A. Ledeczi, "Radio Interferometric Angle of Arrival Estimation", 7th European Conference on Wireless Sensor Networks, Coimbra, Portugal, Springer, 02/2010. Abstract  Download: ewsn10_amundson.pdf (409.39 KB)
Amundson, I., J. Sallai, X. Koutsoukos, A. Ledeczi, and M. Maroti, "RF angle of arrival-based node localisation", International Journal of Sensor Networks, vol. (to appear), 2011.
Amundson, I., M. Kushwaha, B. Kusy, P. Volgyesi, G. Simon, X. Koutsoukos, and A. Ledeczi, "Time Synchronization for Multi-Modal Target Tracking in Heterogeneous Sensor Networks", Workshop on Networked Distributed Systems for Intelligent Sensing and Control, Kalamata, Greece, 2007. Abstract  Download: KalamataWorkshop07.pdf (3.94 MB)
Amundson, I., B. Kusy, P. Volgyesi, X. Koutsoukos, and A. Ledeczi, "Time Synchronization in Heterogeneous Sensor Networks", International Conference on Distributed Computing in Sensor Systems (DCOSS'08), Santorini, Greece, 2008. Abstract  Download: Amundson_I_0_0_2008_Time_Synch.pdf (194.27 KB)
Agrawal, A., G. Karsai, and A. Ledeczi, "An End-to-End Domain-Driven Software Development Framework", 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Domain-Driven Development Track, Anaheim, CA, October, 2003.  Download: Agrawal_A_10_0_2003_An_End_to_.pdf (662.27 KB)
Agrawal, A., G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, "The Design of a Language for Model Transformations", Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.  Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai, "Reusable Idioms and Patterns in Graph Transformation Languages", 2nd International Conference on Graph Transformation, Rome, Italy, September, 2004.  Download: Agrawal_A_9_28_2004_Reusable_I.pdf (254.95 KB)
Agrawal, A., G. Karsai, and F. Shi, Interpreter Writing using Graph Transformations, : Institute for Software Integrated Systems, 2003.  Download: Agrawal_A_0_0_2003_Interprete.pdf (1.42 MB)
Agrawal, A., T. Levendovszky, J. Sprinkle, F. Shi, and G. Karsai, "Generative Programming via Graph Transformations in the Model-Driven Architecture", OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, WA, November, 2002.  Download: Agrawal_A_11_5_2002_Generative.pdf (351.64 KB)
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai, "Reusable Idioms and Patterns in Graph Transformation Languages", Electronic Notes in Theoretical Computer Science, vol. 127, pp. 181--192, March, 2005.
Agrawal, A., and A. Ledeczi, "Multigranular Simulation of Heterogeneous Embedded Systems", Tenth IEEE Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Huntsville, Alabama, pp. 3--10, April, 2003.  Download: Agrawal_A_4_7_2003_Multigranu.pdf (156.95 KB)
Agrawal, A., A. Bakshi, J. Davis, B. Eames, A. Ledeczi, S. Mohanty, V. Mathur, S. Neema, G. Nordstrom, V. Prasanna, et al., "MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems", Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Snowbird, UT, June, 2001.  Download: Agrawal_A_6_0_2001_MILAN__A_M.pdf (121.36 KB)
Agrawal, A., G. Karsai, and F. Shi, Graph Transformations on Domain-Specific Models, : Institute for Software Integrated Systems, November, 2003.  Download: Agrawal_A_11_0_2003_Graph_Tran.pdf (926.08 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.
Abdelwahed, S., S. Neema, J. Loyall, and R. Shapiro, "A Hybrid Control Approach for QoS Management", the 24th IEEE International Real-Time Systems Symposium, RTSS'03, Cancun, Mexico, December, 2003.  Download: Abdelwahed_S_12_0_2003_A_Hybrid_C.pdf (200.83 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)
Abdelwahed, S., J. Wu, G. Biswas, and E. J. Manders, "Hierarchical Online Control Design for Autonomous Resource Management in Advanced Life Support Systems", 35th SAE International Conference on Environmental Studies (ICES '05), Rome, Italy, July, 2005.  Download: Abdelwahed_S_7_0_2005_Hierarchic.pdf (358.43 KB)
Abdelwahed, S., N. Kandasamy, and S. Neema, "A Control-Based Framework for Self-Managing Distributed Computing Systems", ACM SIGSOFT Workshop on Self-Managed Systems, WOSS'04, Newport Beach, CA, October, 2004.  Download: Abdelwahed_S_10_0_2004_A_Control_.pdf (159.55 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)
Abdelwahed, S., A. Dubey, G. Karsai, and N. Mahadevan, "Model-based Tools and Techniques for Real-Time System and Software Health Management", Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics: CRC Press, to be published, 2011.
Abdelwahed, S., G. Biswas, and G. Karsai, "System Diagnosis using Hybrid Failure Propagation Graphs", The 15th International Workshop on Principles of Diagnosis, Carcassonne, France, June, 2004.  Download: Abdelwahed_S_6_0_2004_System_Dia.pdf (200.89 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, System Diagnosis using Hybrid Failure Propagation Graphs, : Institute for Software Integrated Systems, December, 2003.  Download: Abdelwahed_S_12_0_2003_System_Dia.pdf (385.08 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.
Abdelwahed, S., M. Hassan, and M. Sultan, "Partially Asynchronous Co-State Prediction Algorithms", IEEE Proceedings on Control Theory Applications, vol. 142, March, 1995.
Abdelwahed, S., and W. M. Wonham, "Supervisory control of interacting discrete event systems", 41st IEEE Conference on Decision and Control, Las Vegas, NV, pp. 1175--1180, December, 2002.  Download: Abdelwahed_S_12_0_2002_Supervisor.pdf (196.48 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, "A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems", 16th International Workshop on Principles of Diagnosis (DX '05), Monterey, CA, June, 2005.  Download: Abdelwahed_S_6_0_2005_A_Consiste.pdf (106.38 KB)
Abdelwahed, S., and G. Madl, "Model Based Analysis of Distributed Realtime Embedded System Composition", ACM Conference on Embedded Software (EMSOFT '05), Jersey City, New Jersey, September, 2005.  Download: Abdelwahed_S_9_0_2005_Model_Base.pdf (643.18 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, "Robust Diagnosis of Switching Systems", 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington, DC., June, 2003.  Download: Abdelwahed_S_6_0_2003_Robust_Dia.pdf (119.56 KB)
Abdelwahed, S., and W. M. Wonham, "Interacting DES: Modeling and Analysis", IEEE Int. Conference on Systems, Man {\&} Cybernetics, Washington, DC., October, 2003.  Download: Abdelwahed_S_10_0_2003_Interactin.pdf (229.43 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, "Robust State-based Supervisory Control of Discrete Event Systems", IEEE Conference on Control Application, Toronto, Canada, August, 2005.
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., and W. M. Wonham, "Blocking detection in discrete event systems", Proceeding of the American Control Conference, Denver, CO, June, 2003.  Download: Abdelwahed_S_6_0_2003_Blocking_d.pdf (146.63 KB)
Abbott, B., T. Bapty, and J. Sztipanovits, "Real-Time Turbine Engine Data Visualization", Proceedings of the the 4th NATUG, Ithaca, NY, pp. 1--11, 1990.
Abbott, B., T. Bapty, C. Biegl, A. Ledeczi, G. Karsai, and J. Sztipanovits, "Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System", Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
Abbott, B., C. Biegl, and J. Sztipanovits, "Multigraph on the Transputer", NATUG, Santa Clara, CA, pp. 25--36, April, 1990.
Abbott, B., C. Biegl, T. Bapty, J. Sztipanovits, and R. Souder, "Graphical Programming for the Transputer", Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86--90, March, 1990.