Home

ISIS Publications

Export 452 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Taxonomy Term is   [Clear All Filters]
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)
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.
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)
Narayanan, A., and G. Karsai, "Towards Verifying Model Transformations", Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Towards Two-Level Formal Modeling of Computer-Based Systems", Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.  Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
Karsai, G., J. Sztipanovits, and H. Franke, "Towards Specification of Program Synthesis in Model-Integrated Computing", ECBS-98, Jerusalem, Israel, pp. 226--233, 1998.  Download: Karsai_G_0_0_1998_Towards_Sp.pdf (359.33 KB)
Mosterman, P., and G. Biswas, "Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems", Hybrid Systems: Computation and Control - Third International Workshop (HSCC 2000), Volume 1790, Berlin, Germany, pp. 324--337, March, 2000.  Download: ISIS_3_0_2000_Towards_Pr.pdf (381.52 KB)
Ledeczi, A., P. Volgyesi, J. Sallai, B. Kusy, X. Koutsoukos, and M. Maroti, "Towards Precise Indoor RF Localization", HOTEMNETS'08, Charlottesville, VA, 06/02, 2008.  Download: hotemnets08-indoorloc.pdf (717.53 KB); hotemnets08-indoorloc.ppt (2.33 MB)
Vizhanyo, A., A. Agrawal, and F. Shi, "Towards Generation of High-performance Transformations", Generative Programming and Component Engineering, Vancouver, Canada, October, 2004.  Download: Vizhanyo_A_10_24_2004_Towards_Ge.pdf (366.47 KB)
Shetty, S., "Towards Developing Tools and Technologies for Large Scale Real time Embedded systems", Master's Thesis: Vanderbilt University, April, 2004.  Download: Shetty_SS_4_1_2004_Towards_De.PDF (2.8 MB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems", ISSE, vol. 3, pp. 33--52, 2007.  Download: Dubey_A_1_24_2007_Towards_a_.pdf (1.2 MB)
Deva, D., J. Sprinkle, M. Maroti, and G. Nordstrom, "Towards A Standard For Model Specification And Storage", IEEE SMC 2000, Nashville, TN, September, 2000.
Garrett, J., A. Ledeczi, and F. DeCaria, "Towards a Paradigm for Activity Modeling", SMC 2000, Nashville, TN, October, 2000.  Download: Garrett_JT_10_0_2000_Towards_a_.pdf (74.33 KB)
Dubey, A., S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty, and G. Karsai, "Towards A Model-Based Autonomic Reliability Framework for Computing Clusters", Fifth IEEE Workshop in Engineering of Autonomic and Autonomous Systems (EASe 2008), Belfast, Northern Ireland, April, 2008.  Download: Dubey_A_4_0_2008_Towards_A_.pdf (733.09 KB)
Sztipanovits, J., "Toward Structural Adaptivity", IEEE International Symposium on Circuits and systems, Espoo, Finland, 1988.
Nordstrom, S., S. Shetty, D. Yao, S. Ahuja, S. Neema, T. Bapty, and G. Karsai, "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)
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)
Chen, K., J. Sztipanovits, S. Neema, M. Emerson, and S. Abdelwahed, "Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages", Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05), Jersey City, New Jersey, pp. 35--44, September, 2005.  Download: Chen_K_9_19_2005_Toward_a_S.pdf (363.02 KB)
Karsai, G., Tool Support for Design Patterns, , NDIST 4 Workshop, Institute for Software Integrated Systems, December, 2001.  Download: Karsai_G_12_0_2001_Tool_Suppo.pdf (250.66 KB)
Karsai, G., A. Lang, and S. Neema, "Tool Integration Patterns", Workshop on Tool Integration in System Developement, ESEC/FSE, Helsinki, Finland, pp. 33--38, September, 2003.  Download: Karsai_G_9_0_2003_Tool_Integ.pdf (274.24 KB)
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)
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)
Balogh, G., A. Ledeczi, M. Maroti, and G. Simon, "Time of Arrival Data Fusion for Source Localization", Sensorfusion, Visegrad, Hungary, July, 2005.  Download: Balogh_G_7_14_2005_Time_of_Ar.pdf (516.73 KB)
Abbott, B., and A. Ledeczi, "TICK: TI TMS320C40 Utility Program", International Conference on Signal Processing Applications and Technology, Dallas, TX, January, 1994.
Sztipanovits, J., C. Krishnamurthy, and B. Purves, "Testing and Validation in Artificial Intelligence Programming", Proceedings of the SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge, MA, pp. 2--10, 1987.
Kushwaha, M., S. Oh, I. Amundson, X. Koutsoukos, and A. Ledeczi, "Target Tracking in Heterogeneous Sensor Networks Using Audio and Video Sensor Fusion", IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), Seoul, Korea, 2008.  Download: multifusion.pdf (587.45 KB)
S
Shetty, S., S. Nordstrom, S. Ahuja, D. Yao, T. Bapty, and S. Neema, "Systems Integration of Autonomic Large Scale Systems Using Multiple Domain Specific Modeling Language", 12 IEEE International Conference on ECBS ,Engineering of Autonomic Systems, 0-7695-2306-0/05, Greenbelt, MD , USA, April, 2005.  Download: Shetty_SS_4_6_2005_Systems_In.pdf (542.27 KB)
Ledeczi, A., "System Synthesis for Parallel Signal Processing", International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 1507--1511, 1995.
Neema, S., "System Level Synthesis of Adaptive Computing Systems", PhD Dissertation: Vanderbilt University, May, 2001.  Download: Neema_S_5_0_2001_System_Lev.pdf (1.61 MB)
Hanak, D., and N. Kandasamy, "Synthesising Robust Schedules for Minimum Disruption Repair Using Linear Programming", Acta Cybernetica, January, 2007.  Download: Hanak_D_1_1_2007_Synthesisi.pdf (320.9 KB)
Ledeczi, A., T. Bapty, and G. Karsai, "Synthesis of Self-Adaptive Software", IEEE Aerospace 2000, Big Sky, MT, March, 2000.  Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 KB)
Bapty, T., A. Ledeczi, J. Sztipanovits, and J. Davis, "Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques", Proceedings of the the Software Engineering Research Forum, Boca Raton, FL, 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)
Padalkar, S., W. Blokland, and J. Sztipanovits, "A Study on Diagnosability of Space Station ECLSS", Fifth Conference on Artificial Intelligence for Space Applications, Huntsville, AL, 1990.