Home

ISIS Publications

Export 82 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Title is T  [Clear All Filters]
1987
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.
1988
Sztipanovits, J., "Toward Structural Adaptivity", IEEE International Symposium on Circuits and systems, Espoo, Finland, 1988.
1994
Abbott, B., and A. Ledeczi, "TICK: TI TMS320C40 Utility Program", International Conference on Signal Processing Applications and Technology, Dallas, TX, January, 1994.
1996
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.
1998
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)
1999
Brophy, S., G. Biswas, T. Katzlberger, J. Bransford, and D. Schwartz, "Teachable agents: Combining insights from learning theory and computer science", Artificial Intelligence in Education, 1999.  Download: aied99.pdf (446.63 KB)
2000
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)
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)
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)
Deva, D., J. Sprinkle, M. Maroti, and G. Nordstrom, "Towards A Standard For Model Specification And Storage", IEEE SMC 2000, Nashville, TN, September, 2000.
2001
Biswas, G., D. Schwartz, and J. Bransford, "Technology support for complex problem solving: From SAD environments to AI", Smart Machines in Education, Menlo Park, CA, AAAI Press, pp. 71-98, 2001.  Download: sad01.pdf (307.53 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)
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)
2002
Karsai, G., G. Biswas, S. Abdelwahed, S. Narasimhan, T. Pasternak, and T. Szemethy, "Towards Fault-Adaptive Control of Complex Dynamic Systems", Software Enabled Control, (Book), 2002.  Download: Karsai_G_0_0_2002_Towards_Fa.pdf (390.07 KB)
2003
Gray, J., J. Sztipanovits, T. Bapty, and S. Neema, "Two-level Weaving to Support Changeability in Model-Based Synthesis", Aspect-Oriented Programming, 2003.
Karsai, G., G. Biswas, S. Abdelwahed, S. Narasimhan, T. Pasternak, and T. Szemethy, "Towards Fault-Adaptive Control of Complex Dynamic Systems", Software-Enabled Control: IEEE Press, 2003.
Leelawong, K., K. Viswanath, J. Davis, G. Biswas, N. Vye, B. K., and J. Bransford, "Teachable agents: Learning by teaching environments for science domains", Proceedings of the Fifteenth Annual Conference on Innovative Applications of Artificial Intelligence, Menlo Park, CA, AAAI Press, pp. 109-116, 2003.
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)
2004
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)
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)
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)
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)
2005
Gupta, R., Y. Wu, and G. Biswas, "Teaching about dynamic processes: A teachable agents approach", Artificial Intelligence in Education - Supporting Learning through Intelligent and Socially Informed Technology, Amsterdam, The Netherlands, IOS Press, pp. 241-248, 2005.
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)
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)
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)
2007
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)
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)
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)
Mathe, J., S. Duncavage, J. Werner, B. A. Malin, A. Ledeczi, and J. Sztipanovits, "Towards the Security and Privacy Analysis of Patient Portals", Special Interest Group on Embedded Systems Review (SIGBED), vol. 4 (#2), 04/2007. Abstract  Download: Mathe-ACM.SIGBED.07-Towards.Analysis.pdf (374.36 KB)
2008
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)
Kushwaha, M., A. Ledeczi, S. Oh, I. Amundson, and X. Koutsoukos, "Target Tracking in Urban Environments using Audio-Video Signal Processing in Heterogeneous Wireless Sensor Networks", 42nd IEEE Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, 2008.  Download: tracking_asilomar2008.pdf (442.11 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)
Narayanan, A., and G. Karsai, "Towards Verifying Model Transformations", Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
Roy, N., J. S. Kinnebrew, N. Shankaran, G. Biswas, and D. C. Schmidt, "Toward Effective Multi-Capacity Resource Allocation in Distributed Real-Time and Embedded Systems", 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), Orlando, Florida, pp. 124 -128, 05/2008. Abstract  Download: Roy et al - 2008 - ISORC -- Toward Effective Multi-capacity Resource Allocation in DRE Sys.pdf (168.46 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)
Kottenstette, N., and P. J. Antsaklis, "Time Domain and Frequency Domain Conditions For Passivity", Technical Report, Notre Dame, IN, ISIS Lab University of Notre Dame, pp. 1-7, 11/2008. Abstract
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)
2009
Kavimandan, A., A. Gokhale, G. Karsai, and J. Gray, Templatized Model Transformations: Enabling Reuse in Model Transformations, , no. ISIS-09-110, Nashville, ISIS, pp. 15, 2009.  Download: templatization.pdf (1.39 MB)
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)
Porter, J., G. Karsai, and J. Sztipanovits, "Towards a time-triggered schedule calculation tool to support model-based embedded software design", ACM International Conference on Embedded Software (EMSOFT ’09), Grenoble, France, ACM, 10/2009. Abstract
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, Towards a Real-time Component Framework for Software Health Management, , no. ISIS-09-111, Nashville, Institute for Software Integrated Systems, 11/2009. Abstract  Download: TechReport2009.pdf (11.07 MB)
2010
Tambe, S., and A. Gokhale, Toward Native XML Processing Using Multi-paradigm Design in C++, , no. ISIS-10-105, Nashville, ISIS, 2010.  Download: Multiparadigm.pdf (440.68 KB)
Otte, W. R., D. C. Schmidt, and A. Gokhale, "Towards an Adaptive Deployment and Configuration Framework for Component-based Distributed Systems", Proceedings of the 9th Workshop on Adaptive and Reflective Middleware (ARM '10), Bengarulu, India, 2010.
Dubey, A., G. Karsai, and N. Mahadevan, "Towards Model-based Software Health Management for Real-Time Systems", ISIS Technical report, 2010. Abstract  Download: Report.pdf (3.38 MB)
Levendovszky, T., D. Balasubramanian, K. Smyth, F. Shi, and G. Karsai, "A Transformation Instance-Based Approach to Traceability", 6th ECMFA Traceability Workshop (ECMFA-TW), Paris, France, ACM Digital Library, pp. 55-60, 2010. Abstract
2011
Tambe, S., and A. Gokhale, "Toward Native XML Processing Using Multi-paradigm Design in C++", To Appear in the 5th Annual Boost Libraries Conference (BoostCon 2011), Aspen, CO, USA, Boost, 2011.
Porter, J., D. Balasubramanian, G. Hemingway, and J. Sztipanovits, "Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models", Software Composition (SC 2011), vol. LNCS 6708, Zurich, Springer, pp. 133-140, 2011.
Li, X., Y. Xue, and B. Malin, "Towards Understanding the Usage Pattern of Web-based Electronic Medical Record Systems", The Third International IEEE WoWMoM Workshop on Interdisciplinary Research on E-Health Services and Systems, 2011.
Porter, J., D. Balasubramanian, G. Hemingway, and J. Sztipanovits, Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models, , no. ISIS-11-106, Nashville, TN, ISIS, Vanderbilt University, 04/2011. Abstract  Download: incr_cycle_analysis.pdf (1.08 MB)