Home

ISIS Publications

Export 514 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Unpublished
Samal, C., A. Dubey, and L. J. Ratliff, Mobilytics-Gym: A Simulation Framework forAnalyzing Urban Mobility Decision Strategies, , 2019. Abstract
Bapty, T., J. Davis, M. Eby, and J. Scott, "Model Based Development in the FACE Ecosystem", FACE Consortium Keynote Address, Linthicum, MD, Future Airborne Capability Environment Consortium - The Open Group, 02/2012.
Thesis
Szilvasi, S., "Advanced RF Techniques for Wireless Sensor Networks: The Software-Defined Radio Approach", Electrical Engineering, vol. Ph.D., Nashville, Vanderbilt University, pp. 149, 05/2014. Abstract  Download: SSzilvasi-Dissertation.pdf (6.74 MB)
Scott, J., "Efficient Verification of Multi-Processor Real-Time Systems Using Symbolic Methods", PhD Dissertation: Vanderbilt University, May, 2003.  Download: Scott_JM_5_21_2004_Efficient_.pdf (2.37 MB)
Sprinkle, J., "Metamodel Driven Model Migration", PhD Dissertation: Vanderbilt University, August, 2003.  Download: Sprinkle_JM_8_0_2003_Metamodel_.pdf (920.84 KB)
Scott, J., "Method for Modeling and Verification of Real-Time Systems", Master's Thesis: Vanderbilt University, 1996.  Download: Scott_J_0_0_1996_Method_for.pdf (293.57 KB)
Sprinkle, J., "Model Integrated Program Synthesis of Agent Interaction Protocols", Master's Thesis: Vanderbilt University, August, 2000.  Download: Sprinkle_JM_8_0_2000_Model_Inte.pdf (1.53 MB)
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)
Report
Chhokra, K., T. Bapty, J. Scott, and M. Wilkes, Accuracy Enhancements for TDOA Estimation on Highly Resource Constrained Mobile Platforms, : Institute for Software Integrated Systems, November, 2003.  Download: Chhokra_K_11_4_2003_Accuracy_E.pdf (256.81 KB)
Sallai, J., G. Balogh, M. Maroti, and A. Ledeczi, Acoustic Ranging in Resource Constrained Sensor Networks, : Institute for Software Integrated Systems, February, 2004.  Download: Sallai_J_2_25_2004_Acoustic_R.pdf (376.5 KB)
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)
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)
Neema, S., and I. Sturmer, Automated Test Case Generation for Code Generators based on Graph-Transformation Rules, : Institute for Software Integrated Systems, March, 2006.  Download: Neema_S_3_1_2006_Automated_.pdf (344.23 KB)
Bapty, T., S. Neema, J. Scott, and S. Eisele, Case Studies and Use Cases in the META Toolchain (status: review pending), , no. ISIS-15-113, 2015.
Bapty, T., S. Neema, J. Scott, and S. Eisele, Case Studies and Use Cases in the META Toolchain (status: review pending), , no. ISIS-15-113, 2015.
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)
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)
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)
Neema, S., J. Scott, and T. Bapty, CyPhyML Language in the META Toolchain, , no. ISIS-15-104, 2015.  Download: CyPhyML Language in the META Toolchain.pdf (2.65 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)
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)
Deng, G., D. C. Schmidt, and J. Balasubramanian, Ensuring Deployment Predictability of Distributed Real-time and Embedded Systems, : Institute for Software Integrated Systems, November, 2007.  Download: Deng_G_11_25_2007_Ensuring_D.pdf (962 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)
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)
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)
Scott, J., S. Neema, T. Bapty, and B. Abbott, "Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems", ISIS-2000-06: Institute for Software Integrated Systems, May, 2000.  Download: Scott_J_5_0_2000_Hardware_S.PDF (198.18 KB)
Eames, B., S. Neema, J. Scott, and T. Bapty, "High-Level Functional Simulation for Model-Based Embedded System Synthesis", ISIS-01-202: Institute for Software Integrated Systems, February, 2001.  Download: Eames_BK_2_0_2001_High_Level.PDF (724.47 KB)
Sallai, J., and A. Ledeczi, "Hough-transform based acoustic multi-shooter localization and data association", ISIS Technical Report, no. ISIS-14-105, 12/2014.  Download: MultiShooter-Tech Report-Final.pdf (387.07 KB)
Shekhar, S., A. Chhokra, A. Bhattacharjee, G. Aupy, and A. Gokhale, "INDICES: Exploiting Edge Resources for Performance-aware Cloud-hosted Services", Technical Report, Nashville, Institute for Software Integrated Systems, Vanderbilt University, 2017.  Download: indices.pdf (649.09 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.
Sztipanovits, J., ISIS Overview 2005, , ISIS - Vanderbilt, Institute for Software Integrated Systems, January, 2006.  Download: Sztipanovi_J_1_13_2006_ISIS_Overv.ppt (3.56 MB)
Brophy, S., D. Schwartz, G. Biswas, and J. Bransford, "Learning through programmable agents", Paper presented at Workshop on Pedagogical Agents, San Antonio, TX, ITS, 1998.
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.
Scott, J., T. Bapty, and R. Boyles, META Toolchain Interface to Manufacturing, , no. ISIS-15-112, 2015.  Download: META Toolchain Interface to Manufacturing.pdf (741.13 KB)
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)
Saxena, T., and A. Dubey, Meta-Tools For Designing Scientifi c Workflow Management Systems: Part-I, Survey, , no. ISIS-11-105, 2011.  Download: Survey-report.pdf (787.39 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)
Bapty, T., S. Neema, J. Scott, J. Sztipanovits, and S. Asaad, Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems, : Institute for Software Integrated Systems, 2000.  Download: Bapty_T_0_0_2000_Model_Inte.PDF (1.04 MB)
Amundson, I., M. Kushwaha, X. Koutsoukos, S. Neema, and J. Sztipanovits, OASiS: A Service-Oriented Middleware for Pervasive Ambient-Aware Sensor Networks, : Institute for Software Integrated Systems, 2006.  Download: Amundson_I_0_0_2006_OASiS__A_S.pdf (1.44 MB)
Bapty, T., S. Neema, and J. Scott, Overview of the META Toolchain in the Adaptive Vehicle Make Progam (status: review pending), , no. ISIS-15-103, 2015.
Ledeczi, A., J. Davis, S. Neema, B. Eames, G. Nordstrom, V. Prasanna, C. Raghavendra, A. Bakshi, S. Mohanty, V. Mathur, et al., "Overview of the Model-based Integrated Simulation Framework", ISIS-01-201: Institute for Software Integrated Systems, January, 2001.  Download: Ledeczi_A_1_30_2001_Overview_o.pdf (84.4 KB)