Home

Biblio

Export 557 results:
Sort by: Author [ Title (Desc)] 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 
W
Balogh, G., A. Ledeczi, and M. Maroti, Wireless sensor network-based projectile trajectory estimation, : Institute for Software Integrated Systems, February, 2005.  Download: Balogh_G_2_10_2005_Wireless_s.pdf (522.99 KB)
Kottenstette, N., and P. J. Antsaklis, "Wireless Digital Control of Continuous Passive Plants Over Token Ring Networks", International Journal of Robust and Nonlinear Control: Special Issue on Control with Limited Information, 11/2008. Abstract
Kottenstette, N., and P. J. Antsaklis, "Wireless control of passive systems subject to actuator constraints", 47th IEEE Conference on Decision and Control (CDC 2008), Cancun, Mexico, IEEE, pp. 2979-2984, 12/2008. Abstract
Ledeczi, A., T. Hay, P. Volgyesi, R. Hay, A. Nadas, and S. Jayaraman, "Wireless Acoustic Emission Sensor Network for Structural Monitoring", IEEE Sensors Journal, 2009. Abstract
Emerson, M., J. Mathe, and S. Duncavage, "WiNeSim: A Wireless Network Simulation Tool", Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Seoul, South Korea, 10/2006. Abstract  Download: EMSOFT-WS.2006.Paper-WiNeSim.v2.0.pdf (416.03 KB)
Karsai, G., "Why is XML not suitable for Semantic Translation", Research Note, Nashville, TN, April, 2000.  Download: Karsai_G_4_0_2000_Why_is_XML.pdf (122.3 KB)
Chhokra, K., T. Bapty, and J. Scott, "WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms", Engineering of Computer Based Systems, Brno, Czech Republic, pp. 121--127, May, 2004.  Download: Chhokra_K_5_0_2004_WASP__A_Ra.pdf (408.31 KB)
V
Wang, J., "Visual Specification of Model Interpreters", Master's Thesis: Vanderbilt University, 2000.  Download: Wang_J_0_0_2000_Visual_Spe.pdf (397.35 KB)
Gray, J., T. Bapty, S. Neema, and A. Ledeczi, "Viewpoints and Aspects in Domain-Specific Modeling", 1st International Conference on Aspect-Oriented Software Development, Enschede, The Netherlands, April, 2002.
Narayanan, A., and G. Karsai, "Verifying Model Transformations by Structural Correspondence", Electronic Communications of the EASST, vol. 10, 2008.  Download: 25_AN_GK.pdf (394.52 KB)
Madl, G., S. Abdelwahed, and D. C. Schmidt, "Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking", International Journal of Time-Critical Computing Systems, 2005.  Download: Madl_G_0_0_2005_Verifying_.pdf (525.32 KB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, and T. Bapty, "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)
U
Gray, J., "Using Software Component Generators to Construct a Meta-Weaver Framework", 23rd International Conference on Software Engineering (ICSE 2001), Doctoral Symposium, Toronto, Ontario, Canada, May, 2001.  Download: Gray_J_5_0_2001_Using_Soft.pdf (18.95 KB)
Jackson, E., and J. Sztipanovits, "Using Separation of Concerns for Embedded Systems Design", EMSOFT '05, Jersey City, New Jersey, September, 2005.  Download: Jackson_EK_9_0_2005_Using_Sepa.pdf (201.69 KB)
Narayanan, A., and G. Karsai, "Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations", Electronic Communications of the EASST, vol. 4, 2006.
Williams, B. W., "Using Hybrid Automata to Model Four Stroke Engines with Variable Valve Timing in Simulink/Stateflow", ACMSE 2006, Melbourne, FL, March, 2006.
Summers, R., R. Pirjamali, J. Sztipanovits, and E. Carson, "Use of the Multigraph Architecture for the Development of Monitoring and Control in the High Dependency Environment", IMIA-IFMBE Working Conference on Biosignal Interpretation, Denmark, pp. 185--188, August, 1993.
Bapty, T., J. Scott, S. Neema, and J. Sztipanovits, "Uniform Execution Environment for Dynamic Reconfiguration", Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems, Nashville, TN, pp. 181--187, March, 1999.  Download: Bapty_T_3_0_1999_Uniform_Ex.PDF (57.12 KB)
Magyari, E., A. Bakay, A. Lang, T. Paka, A. Vizhanyo, A. Agrawal, and G. Karsai, "UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages", The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anahiem, California, October, 2003.  Download: Magyari_E_10_26_2003_UDM__An_In.pdf (285.3 KB)
T
Gray, J., J. Sztipanovits, T. Bapty, and S. Neema, "Two-level Weaving to Support Changeability in Model-Based Synthesis", Aspect-Oriented Programming, 2003.
Gray, J., J. Sztipanovits, D. C. Schmidt, T. Bapty, S. Neema, and J. Balasubramanian, "TWO-LEVEL ASPECT WEAVING TO SUPPORT EVOLUTION IN MODEL-DRIVEN SOFTWARE", Aspect-Oriented Software Development (Book): Addison Wesley, pp. 681--705, August, 2004.  Download: Gray_J_8_0_2004_TWO_LEVEL_.pdf (358.75 KB)
Bapty, T., A. Ledeczi, J. Davis, B. Abbott, L. Howard, and T. Tibbals, "Turbine Engine Diagnostics Using a Parallel Signal Processor", Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention, Mobile, AL, 1996.
Manders, E. J., and G. Biswas, "Transient Detection and Analysis for Diagnosis of Abrupt Faults in Continuous Dynamic Systems", IEEE International Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.  Download: Manders_EJ_5_0_2001_Transient_.pdf (539.68 KB)
Kusy, B., A. Ledeczi, and X. Koutsoukos, "Tracking mobile nodes using RF Doppler shifts", SenSys '07: Proceedings of the 5th international conference on Embedded networked sensor systems, New York, NY, USA, ACM, pp. 29--42, 2007.  Download: Kusy_B_11_7_2007_Tracking_M.pdf (811.73 KB)
Kushwaha, M., S. Oh, I. Amundson, X. Koutsoukos, and A. Ledeczi, "Tracking in Urban Environments Using Sensor Networks Based on Audio-Video Fusion", Handbook of Ambient Intelligence and Smart Environments (AISE): Springer, 2009.  Download: kushwaha_aise_bookchapter.pdf (1.59 MB)