Home

ISIS Publications

Export 539 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
Thesis
Katzlberger, T., " Learning by teaching agents (Doctoral dissertation)", Department of EECS, Nashville, TN, Vanderbilt University, 2005.
Kottenstette, N., "Control of passive plants with memoryless nonlinearities over wireless networks", Electrical Engineering, vol. Doctor of, Notre Dame, IN, University of Notre Dame, pp. 196, 08/2007. Abstract  Download: KottenstetteNE082007.pdf (1.96 MB)
Karsai, G., Declarative Programming Techniques for Engineering, : Vanderbilt University, 1988.
Kushwaha, M., "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)
Report
Sprinkle, J., C. van Buskirk, and G. Karsai, "Analysis and Representation of Clauses in Satisfiability of Constraints", ISIS-01-205: Institute for Software Integrated Systems, August, 2001.  Download: Sprinkle_JM_8_6_2001_Analysis_a.pdf (171.11 KB)
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)
Kavimandan, A., and J. Balasubramanian, Automated Techniques for Mapping Domain-level QoS Requirements to Middleware-specific QoS Configurations, : Institute for Software Integrated Systems, May, 2007.  Download: Kavimandan_AJ_5_31_2007_Automated_.pdf (252.83 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)
Bhattacharjee, A., Y. Barve, T. Kuroda, and A. Gokhale, CloudCAMP: A Model-driven Generative Approach for Automating Cloud Application Deployment and Management, , Nashville, Institute for Software Integrated Systems, Vanderbilt University, 2017. Abstract  Download: CloudCAMP.pdf (1.06 MB)
Zhang, Z., E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems, , pp. 39, 08/2013.  Download: TR-13-104.pdf (3.02 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)
Daigle, M., I. Roychoudhury, G. Biswas, X. Koutsoukos, A. Patterson-Hine, and S. Poll, "A Comprehensive Diagnosis Methodology for Complex Hybrid Systems: A Case Study on Spacecraft Power Distribution Systems", Technical Report, 2008. Abstract  Download: adapt-diagnosis.pdf (895.46 KB)
van Buskirk, C., B. Dawant, G. Karsai, J. Sprinkle, G. Szokoli, K. Suwanmongkol, and R. Currer, "Computer-aided Aircraft Maintenance Scheduling", ISIS-02-303: Institute for Software Integrated Systems, November, 2002.  Download: van_Buskir_CP_11_0_2002_Computer_a.pdf (313.15 KB)
LeBlanc, H. J., H. Zhang, S. Sundaram, and X. Koutsoukos, Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information, : Institute for Software-Integrated Systems, 06/2012.  Download: HiCoNSISISTech.pdf (1005.39 KB)
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. 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)
Kandasamy, N., and S. Abdelwahed, Designing Self-Managing Distributed Systems using Online Predictive Control, : Institute for Software Integrated Systems, December, 2003.
Kottenstette, N., and P. J. Antsaklis, "Digital Control Networks for Continuous Passive Plants Which Maintain Stability Using Cooperative Schedulers", Technical Report, Notre Dame, IN, ISIS Lab University of Notre Dame, pp. 1-13, 2007. Abstract
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)
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)
Daigle, M., I. Roychoudhury, G. Biswas, and X. Koutsoukos, 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)
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)
Porter, J., G. Hemingway, H. Nine, C. vanBuskirk, N. Kottenstette, G. Karsai, and J. Sztipanovits, The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis, , Nashville, TN, Vanderbilt University, 09/2010.  Download: ESMoL_TR.pdf (3.99 MB)
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)
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
Fu, Y., N. Kottenstette, C. Lu, and X. Koutsoukos, Feedback Thermal Control of Real-time Systems on Multicore Processors, : Washington University in St. Louis, 01/2011. Abstract
Kottenstette, N., Filters for Audio Equalizing and Artificial Reverberation, , Notre Dame, IN, University of Notre Dame, 9/2004.  Download: 2004-kott-fil_for_audio-tr.zip (11.93 MB)
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)
Koutsoukos, X., T. Bapty, and S. Neema, Formal Verification and Reliability in the META Toolchain (status: review pending), , no. ISIS-15-108, 2015.
Dubey, A., G. Karsai, and N. Mahadevan, "Formalization of a Component Model for Real-time Systems", ISIS Technical Report, 04/2012. Abstract  Download: ISIS-12-102-TechReport.pdf (1.3 MB)
Kusy, B., and S. Abdelwahed, FTSP Protocol Verification using SPIN, : Institute for Software Integrated Systems, May, 2006.  Download: Abdelwahed_S_5_0_2006_FTSP_Proto.pdf (194.51 KB)
Agrawal, A., G. Karsai, and F. Shi, Graph Transformations on Domain-Specific Models, : Institute for Software Integrated Systems, November, 2003.  Download: Agrawal_A_11_0_2003_Graph_Tran.pdf (926.08 KB)
Kushwaha, M., and X. Koutsoukos, A Graphical Model Approach to Source Localization in Wireless Sensor Networks, , no. ISIS-09-10, Nashville, ISIS, Vanderbilt University, 03/2009. Abstract  Download: KUSHWAHA-ISIS-TR-2009.pdf (613.52 KB)
Dubey, A., N. Mahadevan, and G. Karsai, "The Inertial Measurement Unit Example: A Software Health Management Case Study", ISIS Technical Report, no. ISIS-12-101, 02/2012. Abstract  Download: TechReport_IMU.pdf (1.49 MB)
Daigle, M., X. Koutsoukos, and G. Biswas, An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems, : Institute for Software Integrated Systems, January, 2008.  Download: Daigle_MJ_1_10_2008_An_Integra.pdf (660.84 KB)
Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, S. Neema, and J. Scott, Integration Platform Technology Components in the META Toolchain, , no. ISIS-15-110, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: Integration Platform Technology Components in the META Toolchain.pdf (2.3 MB)
Schwartz, D. L., C. Chase, D. Chin, M. Oppezzo, H. Kwong, S. Okita, G. Biswas, R. D. Roscoe, H. Jeong, and J. D. Wagster, "Interactive Metacognition: Monitoring and Regulating a Teachable Agent", Handbook of Metacognition in Education, pp. 340-358, 2009.
Agrawal, A., G. Karsai, and F. Shi, Interpreter Writing using Graph Transformations, : Institute for Software Integrated Systems, 2003.  Download: Agrawal_A_0_0_2003_Interprete.pdf (1.42 MB)
Kinnebrew, J. S., G. Biswas, B. Sulcer, and R. Taylor, "Investigating Self-Regulated Learning in Teachable Agent Environments", International Handbook of Metacognition and Learning Technologies, Berlin, Germany: Springer, 2011.
Balasubramanian, D., Z. Zhang, D. McDermet, and G. Karsai, Janalyzer: A Static Analysis Tool for Java Bytecode, , Nashville, Institute for Software Integrated Systems, 08/2017.  Download: main.pdf (261.01 KB)
Zhang, Z., Z. Zhan, D. Balasubramanian, B. Li, P. Volgyesi, and X. Kousoukos, Leveraging EM Side-Channel Information to Detect Rowhammer Attacks, , 2019.  Download: radar.pdf (5.86 MB)
Kottenstette, N., and N. Chopra, "Lm2-stable digital-control networks for multiple continuous passive plants", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-14, 04/2009.  Download: tr_l2_power_junction.pdf (1.44 MB)
Kinnebrew, J. S., G. Biswas, and B. Sulcer, "Measuring Self-regulated Learning Skills through Social Interactions in a Teachable Agent Environment", The AAAI Fall Symposium on Cognitive and Metacognitive Educational Systems, 2010.
Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, and S. Neema, META Design Space Exploration Using Dynamics, , no. ISIS-15-106, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: META Design Space Exploration Using Dynamics.pdf (1.66 MB)
Sztipanovits, J., T. Bapty, S. Neema, X. Koutsoukos, and J. Scott, The META Toolchain: Accomplishments and Open Challenges, , no. ISIS-15-102, 2015.  Download: The META Toolchain_Accomplishments and Open Challenges.pdf (871.55 KB)
Xue, Y., T. Busch, M. Gacek, H. Neema, G. Karsai, and J. Sztipanovits, A Model-Based Integration of Network Emulation with HLA-based Heterogeneous Simulation Environments, , no. ISIS-10-107, 2010.  Download: milcom10-xue.docx (132.74 KB)