ISIS Publications

Export 539 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is K  [Clear All Filters]
2006
Werner, J., M. Eby, J. Mathe, G. Karsai, Y. Xue, and J. Sztipanovits, "Integrating Security Modeling in Embedded System Design", 12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, April, 2006. Abstract  Download: Werner_J_4_4_2006_Integratin.pdf (132.39 KB)
Kusy, B., G. Balogh, P. Volgyesi, J. Sallai, A. Nadas, A. Ledeczi, M. Maroti, and L. Meertens, "Node-Density Independent Localization", In Proc. of IPSN/SPOTS, Nashville, Tennessee, April, 2006.  Download: spot6144-kusy.pdf (550.15 KB)
Karsai, G., G. Biswas, S. Abdelwahed, N. Mahadevan, and E. J. Manders, "Model-based Software Tools for Integrated Vehicle Health Management", The Second IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadina, CA, 2006.  Download: Karsai_G_0_0_2006_Model_base.pdf (277.55 KB)
Szekely, P., M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, J. Jin, G. Karsai, R. T. Maheswaran, B. Neches, C. M. Rogers, et al., "CSC: Criticality-Sensitive Coordination", Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, pp. 1441–1442, 2006.
Szekely, P., R. Maheswaran, R. Neches, C. Rogers, R. Sanchez, M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, G. Karsai, et al., "An Examination of CriticalitySensitive Approaches to Coordination", In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
Szemethy, T., and G. Karsai, "PML: a Language for Platform Modeling", Electronic Communications of the EASST, vol. 4, 2006.
2005
Daigle, M., X. Koutsoukos, and G. Biswas, "Relative Measurement Orderings in Diagnosis of Distributed Physical Systems", 43rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, pp. 1707--1716, September, 2005.  Download: Daigle_MJ_9_0_2005_Relative_M.pdf (160.46 KB)
Ledeczi, A., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al., "Countersniper System for Urban Warfare", ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, A. Nadas, S. Dora, and A. Ledeczi, "Radio Interferometric Geolocation", ACM Third International Conference on Embedded Networked Sensor Systems (SenSys 05), San Diego, CA, pp. 1--12, November, 2005.  Download: Maroti_M_11_3_2005_Radio_Inte.pdf (422.8 KB)
Kushwaha, M., K. Molnar, J. Sallai, P. Volgyesi, M. Maroti, and A. Ledeczi, "Sensor Node Localization Using Mobile Acoustic Beacons", The 2nd IEEE International Conference (MASS 05), Washington, DC, November, 2005.  Download: Kushwaha_M_11_7_2005_Sensor_Nod.pdf (1.18 MB)
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.
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)
Roychoudhury, I., G. Biswas, X. Koutsoukos, and S. Abdelwahed, "Designing Distributed Diagnosers for Complex Physical Systems", 16th International Workshop on Principles of Diagnosis, Monterey, CA, pp. 31--36, June, 2005.  Download: Roychoudhu_I_6_0_2005_Designing_.pdf (192.41 KB)
Szekely, P., R. Neches, M. Becker, S. Fitzpatrick, C. vanBuskirk, D. Fisher, and G. Karsai, "Plan Execution and Coordination", Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005. Abstract
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.
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, S. Dora, and A. Ledeczi, Radio Interferometric Positioning, : Institute for Software Integrated Systems, April, 2005.  Download: Maroti_M_4_10_2005_Radio_Inte.pdf (422.8 KB)
Kottenstette, N., and P. J. Antsaklis, "neclab: The networked embedded control lab", Networked Embedded Sensing and Control Workshop NESC'05: University of Notre Dame, USA, vol. 331, Berlin Heidelberg, Springer-Verlag, pp. 107-125, 10/2005. Abstract
Katzlberger, T., " Learning by teaching agents (Doctoral dissertation)", Department of EECS, Nashville, TN, Vanderbilt University, 2005.
Kushwaha, M., "Sensor Node Localization Using Mobile Acoustic Beacons", Department of Computer Science, Vanderbilt University, Nashville TN, 2005.  Download: master-thesis-manish-kushwaha.pdf (9.06 MB)
2004
Scott, J., S. Neema, B. Eames, T. Bapty, A. Vandivort, S. Khamsi, and T. Gangwer, "A HW/SW Co-design Tool for Modern FPGA’s with FPGA-Embedded Processors", 7th Military and Aerospace Programmable Logic Devices, Washington, DC, September, 2004.  Download: Scott_JM_9_11_2004_A_HW_SW_Co.pdf (284.38 KB)
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)
Biswas, G., S. Abdelwahed, X. Koutsoukos, J. Gandhe, and E. J. Manders, "Toward Distributed Diagnosis of Complex Physical Systems", The Forty-Second Annual Allerton Conference on Communication, Control, and Computing, Champgain, IL, September, 2004.  Download: Biswas_G_9_0_2004_Toward_Dis.pdf (170.05 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)
Szemethy, T., and G. Karsai, "Platform Modeling and Model Transformations for Analysis", Journal of Universal Computer Science, vol. 10, pp. 1383--1406, October, 2004.  Download: Szemethy_T_11_23_2004_Platform_M.pdf (328.35 KB)
Maroti, M., B. Kusy, G. Simon, and A. Ledeczi, "The Flooding Time Synchronization Protocol", In Proc. of ACM SenSys, Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, pp. 39--49, November, 2004.  Download: Maroti_M_11_3_2004_The_Floodi.pdf (145.19 KB)
Simon, G., M. Maroti, A. Ledeczi, G. Balogh, B. Kusy, A. Nadas, G. Pap, J. Sallai, and K. Frampton, "Sensor network-based countersniper system", In Proc. of ACM SenSys, Baltimore, MD, pp. 1--12, November, 2004.  Download: Simon_G_11_3_2004_Sensor_Net.pdf (662.24 KB)
Neema, S., and G. Karsai, Embedded Control Systems Language for Distributed Processing, : Institute for Software Integrated Systems, May, 2004.  Download: Neema_S_5_12_2004_Embedded_C.pdf (439.52 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., 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)
Maroti, M., B. Kusy, G. Simon, and A. Ledeczi, The Flooding Time Synchronization Protocol, : Institute for Software Integrated Systems, February, 2004.  Download: Maroti_M_2_12_2004_The_Floodi.pdf (353.24 KB)
Madl, G., S. Abdelwahed, and G. Karsai, "Automatic Verification of Component-Based Real-Time CORBA Applications", the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.  Download: ISIS_12_0_2004_Automatic_.pdf (1.56 MB)
Biswas, G., E. J. Manders, S. Abdelwahed, and G. Karsai, "Fault adaptive control: towards robust operation of autonomous systems", Fourth International Conference on Intelligent Systems Design and Applications, Budapest, Hungary, August, 2004.  Download: Biswas_G_8_0_2004_Fault_adap.pdf (358.48 KB)