] Filters: First Letter Of Last Name is K [Clear All Filters]
"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)
"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)
"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)
"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)
"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)
"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)
"Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum",
ACM Transactions on Embedded Systems, 2005.
" Learning by teaching agents (Doctoral dissertation)",
Department of EECS, Nashville, TN, Vanderbilt University, 2005.
"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)
"Toward self-reconfiguring, fault-adaptive, high-performance distributed real-time systems",
International Journal on Software Tools for Technology Transfer, 2005.
Download: Nordstrom_SG_0_0_2005_Toward_sel.pdf (769.93 KB)
"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
"Multiple Simultaneous Acoustic Source Localization in Urban Terrain",
In Proc. of IPSN, Los Angeles, CA, April, 2005.
Download: Ledeczi_A_4_25_2005_Multiple_S.pdf (682.65 KB)
Radio Interferometric Positioning,
: Institute for Software Integrated Systems, April, 2005.
Download: Maroti_M_4_10_2005_Radio_Inte.pdf (422.8 KB)
"Robust State-based Supervisory Control of Discrete Event Systems",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
"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)
"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)
"Plan Execution and Coordination",
Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005.
Abstract
"Reusable Idioms and Patterns in Graph Transformation Languages",
Electronic Notes in Theoretical Computer Science, vol. 127, pp. 181--192, March, 2005.
"Countersniper System for Urban Warfare",
ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
"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)
"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)
"Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach",
Lecture Notes in Computer Science, vol. 3707, pp. 114--128, October, 2005.
Download: Dubey_A_10_4_2005_Computatio.pdf (502.45 KB)
"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)
"Automotive Software: A Challenge and Opportunity for Model-Based Software Development",
Lecture Notes in Computer Science, vol. 4147: Springer, 2006.
"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.
"Elapsed Time on Arrival: a simple and versatile primitive for canonical time synchronization services",
International Journal of Ad Hoc and Ubiquitous Computing, vol. 2, 2006.
"An Examination of CriticalitySensitive Approaches to Coordination",
In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
"PML: a Language for Platform Modeling",
Electronic Communications of the EASST, vol. 4, 2006.
"Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations",
Electronic Communications of the EASST, vol. 4, 2006.
"The Graph Rewriting and Transformation Language: GReAT",
Electronic Communications of the EASST, vol. 1, 2006.
Abstract
Download: great_easst.pdf (274.21 KB)
"Integrating Security Modeling into Embedded System Design",
ECBS 2007, Tucson, Arizona, 2006.
Download: ISIS_0_0_2006_Integratin.pdf (324.18 KB)
"A model driven tool for automated system level testing of middleware",
Fourth System Testing and Validation Workshop (STV), 2006.
Download: STV06Paper_Final_TK.pdf (758.27 KB)
"Model Transformations in the Model-Based Development of Real-time Systems",
ECBS, pp. 177-186, 2006.
Abstract
Download: 060105_Final.pdf (553.02 KB)
"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)
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)
"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)
"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)
"Node-Density Independent Localization",
In Proc. of IPSN/SPOTS, Nashville, Tennessee, April, 2006.
Download: spot6144-kusy.pdf (550.15 KB)
Efficient Simulation of Component-Based Hybrid Models Represented as Hybrid Bond Graphs,
: Institute for Software Integrated Systems, December, 2006.
Download: Daigle_MJ_12_18_2006_Efficient_.pdf (785.63 KB)
Analytical solution for radio-interferometric localization of mobile sensors,
, Nashville, Tennessee, Institute for Software Integrated Systems, Vanderbilt University, December, 2006.
Download: Kusy_B_12_1_2006_Analytical.pdf (196.56 KB)
"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)
"A Guided Explorative Approach for Autonomic Healing of Model-Based Systems",
Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, CA, July, 2006.
Download: Nordstrom_SG_7_0_2006_A_Guided_E.pdf (201.89 KB)
"Applying a Model Transformation Taxonomy to Graph Transformation Technology",
Electronic Notes in Theoretical Computer Science, vol. 152, pp. 143--159, March, 2006.
"Developing applications using model-driven design environments",
IEEE Computer, vol. 39, pp. 33--40, March, 2006.
"Improving the Usability of a Graph Transformation Language",
Electronic Notes in Theoretical Computer Science, vol. 152, pp. 207--222, March, 2006.
Abstract
Download: improve_gtl.pdf (262.32 KB)
"Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems",
Third IEEE International Workshop on Engineering of Autonomic {\&} Autonomous Systems (EASE'06), Potsdam, Germany, pp. 129--140, March, 2006.
Download: Dubey_A_3_0_2006_Verifying_.pdf (1.17 MB)
FTSP Protocol Verification using SPIN,
: Institute for Software Integrated Systems, May, 2006.
Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
"Efficient Integration of Web Services in Ambient-aware Sensor Network Applications",
Basenets, San Jose, CA, October, 2006.
Download: Amundson_I_10_1_2006_Efficient_.pdf (849.01 KB)
"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)
"On the Correctness of Model Transformations in the Development of Embedded Systems",
Lecture Notes in Computer Science, vol. 4888: Springer, 2007.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering