ISIS Publications

Export 1047 results:
Sort by: Author Title [ Type  (Desc)] Year
Report
Kusy, B., and J. Sallai, 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)
Schwartz, D. L., K. P. Blair, G. Biswas, K. Leelawong, and J. Davis, "Animations of thought: Interactivity in the teachable agent paradigm", Learning with Animation: Research and Implications for Design, UK, Cambrige University Press, pp. 114-140, 2007.
Lindecker, D., and J. Sztipanovits, "Applying Decentralized Information Flow Labels to Component-Based Software Systems Deployment", Technical Report, no. ISIS-15-118, Nashville, ISIS Vanderbilt University, 09/2014, 2015.  Download: System-Level-Codesign.pdf (252.89 KB)
Kottenstette, N., H. LeBlanc, E. Eyisi, and J. Porter, A Backstepping Control Framework for m-Triangular Systems, , Nashville, Institute for Software Integrated Systems, pp. 1-13, 04/28/2011. Abstract  Download: official_sop_bstep_press_Apr_28_2011.pdf (554.37 KB)
Mahadevan, N., A. Dubey, and G. Karsai, "A Case Study On The Application of Software Health Management Techniques", ISIS Technical Report, no. ISIS-11-101, Nashville, Institute For Software Integrated Systems, 01/2011. Abstract  Download: ADIRUTechReport.pdf (1.53 MB)
Balasubramanian, D., and G. Karsai, Component Models for Vehicle Software Platforms: Two Case Studies, , no. ISIS-15-101, Nashville, Institute for Software Integrated Systems, 01/2015. Abstract  Download: ISIS-15-101.pdf (2.52 MB)
Chen, K., J. Sztipanovits, and S. Neema, Compositional Specification of Behavioral Semantics, : Institute for Software Integrated Systems, June, 2006.  Download: Chen_K_6_1_2006_Compositio.doc (629.5 KB)
Tan, J., C. Beers, R. Gupta, and G. Biswas, "Computer games as intelligent learning environments: A river ecosystem adventure", Artificial Intelligence in Education - Supporting Learning through Intelligent and Socially Informed Technology, Amsterdam, IOS Press, pp. 646-653, 2005.
Kottenstette, N., "Constructive Non-Linear Control Design With Applications to Quad-Rotor and Fixed-Wing Aircraft", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, 01/2010. Abstract  Download: fixed_wing_Nov_08_2010_03_45_PM.pdf (770.84 KB)
Hasan, S., A. Chhokra, N. Mahadevan, A. Dubey, and G. Karsai, "Cyber-Physical Vulnerability Analysis", ISIS Technical Report, no. ISIS-17-101, Nashville, Insitute For Software Integrated Systems, pp. 1-14, 01/2017.  Download: report.pdf (927.21 KB)
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative Reasoning in Software Health Management", ISIS Technical Report, no. ISIS-13-101: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212, 04/2013.  Download: TechReport2013.pdf (1.29 MB)
Neema, S., J. Davis, B. Eames, and A. Ledeczi, "Design Representation Issues in Polymorphous Computing", ISIS-01-202: Institute for Software Integrated Systems, January, 2001.  Download: Neema_S_1_30_2001_Design_Rep.pdf (2.93 MB)
Neema, S., "Design Space Representation and Management for Model-Based Embedded System Synthesis", ISIS-01-203: Institute for Software Integrated Systems, February, 2001.  Download: Neema_S_2_0_2001_Design_Spa.pdf (213.02 KB)
Neema, S., J. Sztipanovits, and G. Karsai, "Design-Space Construction and Exploration in Platform-Based Design", ISIS-02-301: Institute for Software Integrated Systems, June, 2002.  Download: Neema_S_6_24_2002_Design_Spa.pdf (379.45 KB)
Biswas, G., K. Leelawong, K. Belynne, K. Viswanath, D. Schwartz, and J. Davis, "Developing learning by teaching environments that support self-regulated learning", Intelligent Tutoring Systems: Vol. 3220. Lecture Notes in Computer Science, Maceió, Brazil, Springer, pp. 730-740, 2004.
Misra, A., J. Sztipanovits, A. Underbrink, and R. Carnes, Diagnosability Analysis and Robust Diagnostics with Multiple Aspect Modeling, , Abstracts of the NASA Workshop on Model-Based Diagnosis and Monitoring; Pasadena, CA, Institute for Software Integrated Systems, January, 1992.
Kottenstette, N., J. Hall, X. Koutsoukos, P. J. Antsaklis, and J. Sztipanovits, "Digital Control of Multiple Discrete Passive Plants Over Networks", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-16, 03/2009. Abstract  Download: tr_power_junction_revised_8_2009.pdf (1.12 MB)
Kottenstette, N., and J. Porter, "Digital Passive Attitude and Altitude Control Schemes for Quadrotor Aircraft", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-8, 11/2008. Abstract  Download: uav_tr_revised_11_08_2011.pdf (486.61 KB); tr_uav_revised_03_31_2010.pdf (701.83 KB); uav_tr_revised_10_15_2009.pdf (618.44 KB); tr_uav_11_2008.pdf (430.14 KB)
Maroti, M., The Directed Flood Routing Framework, : Institute for Software Integrated Systems, February, 2004.  Download: Maroti_M_2_12_2004_The_Direct.pdf (267.33 KB)
Kottenstette, N., Dual-Tone Multiple Frequency Detection and Estimation, , Notre Dame, IN, University of Notre Dame, 12/2004.  Download: 2004-kott-dtmf-tr.zip (4.13 MB)
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)
Volgyesi, P., M. Maroti, S. Dora, E. Osses, A. Ledeczi, and T. Paka, Embedded Software Composition and Verification, : Institute for Software Integrated Systems, February, 2004.  Download: Volgyesi_P_2_13_2004_Embedded_S.pdf (627.06 KB)
Bapty, T., Embedded System Validation for Polymorphous Computing Architectures, : Institute for Software Integrated Systems, January, 2001.  Download: Bapty_T_1_30_2001_Embedded_S.pdf (44.64 KB)
Balasubramanian, D., C. vanBuskirk, G. Karsai, A. Narayanan, S. Neema, B. Ness, and F. Shi, Evolving Paradigms and Models in Multi-Paradigm Modeling, , no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.  Download: ISIS-08-912.pdf (651.03 KB)
Nordstrom, S., Experiences in Developing Model-Integrated Tools and Technologies for Large-Scale Fault Tolerant Real-Time Embedded Systems, , OMG First Annual Model-Integrated Computing (MIC) Workshop, Arlington, VA, USA, Institute for Software Integrated Systems, October, 2004.  Download: Nordstrom_SG_10_0_2004_Experience.ps (23.25 KB)
Bapty, T., J. Gray, and S. Neema, February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition, , San Diego, CA, Institute for Software Integrated Systems, February, 2001.  Download: Bapty_T_2_0_2001_February_2.ppt (540 KB)
Fu, Y., N. Kottenstette, Y. Chen, C. Lu, X. Koutsoukos, and H. Wang, Feedback Thermal Control for Real-time Systems, , St. Louis, MO, Washington University in St. Louis, pp. 1-13, 06/2009. Abstract
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)