ISIS Publications

Export 241 results:
Sort by: Author Title [ Type  (Desc)] Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
Thesis
Moore, M., "Model-Integrated Program Synthesis for Real-Time Image Processing", PhD Dissertation: Vanderbilt University, February, 1997.  Download: Moore_MS_2_0_1997_Model_Inte.pdf (1.01 MB)
Mujumdar, S., "Prioritized Geographical Routing in Sensor Networks", Master's Thesis: Vanderbilt University, April, 2004.  Download: Mujumdar_SJ_4_1_2004_Prioritize.pdf (473.35 KB)
Misra, A., "Sensor-Based Diagnosis of Dynamical Systems", PhD Dissertation: Vanderbilt University, 1994.  Download: Misra_A_0_0_1994_Sensor_Bas.pdf (1.02 MB)
Report
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)
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)
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)
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.
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)
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)
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)
Meijer, P., and A. Mavridou, How to Build a Design Studio with WebGME, , Nashville, Institute for Software Integrated Systems, 05/09/2018.  Download: isis-tech-report-How-to-Build-a-Design-Studio-with-WebGME.pdf (786.59 KB)
Monceaux, W. P., D. E. Evans, K. N. Rappold, C. D. Butler, S. Abdelwahed, R. Mehrotra, and A. Dubey, "Implementing Autonomic Computing Methods to Improve Attack Resilience in Web Services", DoD High Performance Computing Modernization Program Users Group Conference: DTIC Document, pp. 422, 2012.
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)
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)
Mehrotra, R., A. Dubey, S. Abdelwahed, and A. Tantawi, "Model Identification for Performance Management of Distributed Enterprise Systems", ISIS Technical Report, no. ISIS-10-104, Nashville, Institute for Software Integrated Systems, 2010.  Download: Paper.pdf (4.02 MB)
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, S. Dora, and A. Ledeczi, Radio Interferometric Positioning, : Institute for Software Integrated Systems, April, 2005.  Download: Maroti_M_4_10_2005_Radio_Inte.pdf (422.8 KB)
An, K., S. Tambe, A. Sorbini, S. Mukherjee, J. Povedano-Molina, M. Walker, N. Vermani, A. Gokhale, and P. Pazandak, "Real-time Sensor Data Analysis Processing of a Soccer Game Using OMG DDS Publish/Subscribe Middleware", ISIS Technical Report, no. ISIS-13-102: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37212, 06/2013.  Download: TechReport_13_102.pdf (930.22 KB)
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)
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)
Miscellaneous
Journal Article
Mens, T., P. van Gorp, D. Varro, and G. Karsai, "Applying a Model Transformation Taxonomy to Graph Transformation Technology", Electronic Notes in Theoretical Computer Science, vol. 152, pp. 143--159, March, 2006.
Nannapaneni, S., S. Mahadevan, A. Dubey, D. Lechevalier, A. Narayanan, and S. Rachuri, "Automated Uncertainty Quantification through Information Fusion in Manufacturing Processes", Journal of Sustainable and Smart Manufacturing Systems: American Society for Testing and Materials, 2017. Abstract  Download: AutomatedUQ_2.pdf (559.07 KB)
Dubey, A., G. Karsai, and N. Mahadevan, "A Component Model for Hard-Real Time Systems: CCM with ARINC-653", Software: Practice and Experience, no. In press, 2011.  Download: Journal.pdf (1.94 MB)
Mosterman, P., and G. Biswas, "A Comprehensive Methodology for Building Hybrid Models of Physical Systems", Artifical Intelligence Journal, vol. 121, pp. 171--209, 2000.  Download: ISIS_0_0_2000_A_Comprehe.pdf (642.21 KB)
Sallai, J., M. Maroti, and A. Ledeczi, "A Concurrency Abstraction for Reliable Sensor Network Applications", Reliable Systems on Unreliable Netowked Platforms, Monterey Workshop 2005, vol. LNCS 4322, pp. 143–160, 2005.  Download: monterey.pdf (350.85 KB)
Ledeczi, A., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al., "Countersniper System for Urban Warfare", ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
Gokhale, A., M. McDonald, S. Drager, and W. McKeever, "A Cyber Physical Systems Perspective on the Real-time and Reliable Information Dissemination in Intelligent Transportation Systems", International Journal of Network Protocols and Algorithms (IJNPA), Special Issue on Data Dissemination for Large-scale Complex Critical Infrastructures (DD4LCCI), vol. 2, no. 3, pp. 116–136, 2010.  Download: JNPA10-ITS.pdf (413.87 KB)
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative, search-based mitigation strategies for model-based software health management", Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.  Download: Paper.pdf (16.09 MB)
Mosterman, P., and G. Biswas, "Diagnosis of Continuous Valued Systems in Transient Operating Regions", IEEE Transactions on Systems, Man, and Cybernetics, vol. 29, issue 6, pp. 554-565, November, 1999.  Download: ISIS_11_0_1999_Diagnosis_.pdf (246.82 KB)