Home

ISIS Publications

Export 85 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is M  [Clear All Filters]
A B C D E F G H I J K L [M] N O P Q R S T U V W X Y Z   [Show ALL]
M
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "A comparison of extended Kalman filter, particle filter, and least squares localization methods for a high heat flux concentrated source", International Journal of Heat and Mass Transfer, vol. 55, issue 9-10, pp. 2219 - 2228, 4/2012.
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "An Adaptive Extended Kalman Filter for Localizing a High Heat Flux Point Source Using an Ultrasonic Sensor Array", Computer Modeling in Engineering and Sciences, vol. 83, no. 3, pp. 27, 2012.
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "A comparison of extended Kalman filter, ultrasound time-of-flight measurement models for heating source localization", Inverse Problems in Science and Engineering, pp. 1 - 26, 04/2012.
Myers, M. R., A. B. Jorge, D. E. Yuhas, and G. D. Walker, "Using Ultrasound and the Extended Kalman Filter for Characterizing Aerothermodynamic Environments", AIAA Journal, 2013.
Myers, M. R., A. B. Jorge, M. J. Mutton, and D. G. Walker, "High heat flux point source sensitivity and localization analysis for an ultrasonic sensor array", International Journal of Heat and Mass Transfer, vol. 55, issue 9-10, pp. 2472 - 2485, 4/2012.
Mukhopadhyay, A., G. Pettet, C. Samal, A. Dubey, and Y. Vorobeychik, "An Online Decision-Theoretic Pipeline for Responder Dispatch", International Conference on Cyber-Physical Systems, 04/2019. Abstract  Download: ICCPS_CameraReady_2019_arxiv.pdf (3.2 MB)
Mukhopadhyay, A., Y. Vorobeychik, A. Dubey, and G. Biswas, "Prioritized Allocation of Emergency Responders based on a Continuous-Time Incident Prediction Model", Sixteenth International Conference on Antonomous Agents and Multiagent Sytems, Sao Paulo - Brazil, 05/2017.
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)
Mosterman, P., E. J. Manders, and G. Biswas, "Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops", Eleventh Intl. Workshop on Principles of Diagnosis, Morelia, Mexico, pp. 155--162, June, 2000.  Download: ISIS_6_0_2000_Qualitativ.pdf (316.79 KB)
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)
Mosterman, P., J. Sztipanovits, and S. Engell, "Computer-Automated Multi-Paradigm Modeling in Control Systems technology", IEEE Transactions on Automatic Control, 2003.
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)
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)
Mosterman, P., and G. Biswas, "A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems", SIMULATION: Transactions of the Society for Modeling and Simulation International}, volume {78, pp. 5--17, January, 2002.
Moore, M., S. Monemi, J. Wang, J. Marble, and S. Jones, "Diagnostics and Integration in Electric Utilities", IEEE Rural Electric Power Conference, Louisville, KY, pp. C2-1 throu, May, 2000.  Download: Moore_MS_5_0_2000_Diagnostic.pdf (491.92 KB)
Moore, M., and J. Nichols, "Model-Based Synthesis of a Real-Time Image Processing Systems", The International Conference on Engineering of Complex Computer Systems (ICECCS), Ft. Lauderdale, FL, pp. 69, August, 1995.  Download: Moore_MS_8_0_1995_Model_Base.pdf (125.56 KB)
Moore, M., J. Sztipanovits, G. Karsai, and J. Nichols, "A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing", SPIE Conference on Parallel and Distributed Methods for Image Processing, San Diego, CA, pp. 31--45, June, 1997.  Download: Moore_MS_6_0_1997_A_Model_In.pdf (265.03 KB)
Moore, M., S. Monemi, and J. Wang, "Integrated Diagnostics for Electric Utilities", World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, pp. 458--463, July, 2000.  Download: Moore_MS_7_0_2000_Integrated.pdf (100.49 KB)
Moore, M., G. Karsai, and J. Sztipanovits, "Model-Based Programming for Parallel Image Processing", IEEE International Conference on Image Processing, Austin, TX, pp. 811--815, January, 1994.
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)
Moore, M., S. Monemi, and J. Wang, "Integrating Information Systems in Electric Utilities", IEEE International Conference on Systems, Man, and Cybernetics, Nashville, TN, October, 2000.  Download: Moore_MS_10_9_2000_Integratin.pdf (84.88 KB)
Moore, M., "A DSP-Based Real-Time Image Processing System", The 6th International Conference on Signal Processing Applications and Technology (ICSPAT95), Boston, MA, pp. 1042--1046, August, 1995.  Download: Moore_MS_8_0_1995_A_DSP_Base.pdf (131.96 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.
Mohanty, S., V. Prasanna, S. Neema, and J. Davis, "Rapid Design Space Exploration of Heterogeneous Embedded Systems using Symbolic Search and Multi-Granular Simulation", Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Berlin, Germany, June, 2002.  Download: Mohanty_S_6_0_2002_Rapid_Desi.pdf (263.12 KB)
Misra, A., B. Abbott, and J. Sztipanovits, "Performance Optimization in Signal Processing Systems", 22nd Southeastern Symposium on System Theory, Cookeville, TN, March, 1990.
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)
Misra, A., G. Karsai, and J. Sztipanovits, "Model-Integrated Development of Complex Applications", Fifth International Symposium on Assessment of Software Tools, Pittsburgh, PA, pp. 14--23, June, 1997.  Download: Misra_A_6_0_1997_Model_Inte.pdf (235.84 KB)
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.
Misra, A., G. Provan, G. Karsai, G. Bloor, and E. Scarl, "A Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable Properties", IEEE International Conference on Systems, Man and Cybernetics, San Diego, CA, October, 1998.  Download: Misra_A_10_0_1998_A_Generic_.pdf (102.01 KB)
Misra, A., J. Sztipanovits, A. Underbrink, R. Carnes, and B. Purves, "Diagnosability of Dynamical Systems", Third International Workshop on Principles of Diagnosis, Rosario, WA, October, 1992.  Download: Misra_A_10_0_1992_Diagnosabi.pdf (193.24 KB)
Misra, A., J. Sztipanovits, and R. Carnes, "Robust Diagnostics: Structural Redundancy Approach", Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE's Symposium on Intelligent Systems, Orlando, FL, April, 1994.  Download: Misra_A_4_0_1994_Robust_Dia.pdf (233.04 KB)
Misra, A., E. Long, and J. Sztipanovits, "Evolutionary Design for Manufacturing Execution Systems", World Manufacturing Congress, Auckland, New Zealand, November, 1997.  Download: Misra_A_11_0_1997_Evolutiona.pdf (171.95 KB)
Misra, A., G. Karsai, J. Sztipanovits, A. Ledeczi, and M. Moore, "A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing", International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 203--210, March, 1997.  Download: Misra_A_3_24_1997_A_Model_In.pdf (170.66 KB)
Messie, D., M. Jung, J. C. Oh, S. Shetty, S. Nordstrom, and M. Haney, "Prototype of Adaptive Embedded Software for Large-Scale Real-Time Systems", Engineering of Autonomic Systems, EASe, Greenbelt, MD,USA, April, 2005.  Download: ISIS_4_6_2005_Prototype_.pdf (897.19 KB)
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.
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)
Mehrotra, R., A. Dubey, S. Abdelwahed, and A. Tantawi, "A Power-aware Modeling and Autonomic Management Framework for Distributed Computing Systems", Handbook of Energy-Aware and Green Computing: CRC Press, 2012.  Download: paper.pdf (5.34 MB)
Mehrotra, R., A. Dubey, S. Abdelwahed, and A. Tantawi, "Integrated Monitoring and Control for Performance Management of Distributed Enterprise Systems", Modeling, Analysis, and Simulation of Computer Systems, International Symposium on, Los Alamitos, CA, USA, IEEE Computer Society, pp. 424-426, 2010.  Download: Paper.pdf (700.4 KB)
Mehrotra, R., A. Dubey, and S. Abdelwahed, "Large Scale Monitoring and Online Analysis in a Distributed Virtualized Environment", To Appear in Engineering of Autonomic and Autonomous Systems (EASe): IEEE Computer Society, 2011.
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)
Mehrotra, R., A. Dubey, S. Abdelwahed, and K. W. Rowland, "RFDMon: A Real-time and Fault-tolerant Distributed System Monitoring Approach", The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012.  Download: RFDMON.pdf (752.16 KB)
Mehrotra, R., A. Dubey, J. Kwalkowski, M. Paterno, A. Singh, R. Herber, and S. Abdelwahed, "RFDMon: A Real-Time and Fault-Tolerant Distributed System Monitoring Approach", ISIS Technical Report, Nashville, Vanderbilt University, 10/2011.  Download: SensorReport_Paper.pdf (1.64 MB)
Mavridou, A., A. Laszka, E. Stachtiari, and A. Dubey, "VeriSolid: Correct-by-Design Smart Contracts for Ethereum", Financial Cryptograph, St. Kitts, 2019. Abstract  Download: verisolid.pdf (1.02 MB)
Mathe, J., J. Werner, B. A. Malin, A. Ledeczi, and J. Sztipanovits, "A Modeling Environment for Patient Portals", American Medical Informatics Association (AMIA) - Annual Symposium, Chicago, IL, 11/2007. Abstract  Download: Duncavage.et.al-AMIA.2007.Paper-MoDECIS.pdf (312.16 KB)
Mathe, J., J. B. Martin, P. Miller, A. Ledeczi, L. Weavind, A. Nadas, A. Miller, D. J. Maron, and J. Sztipanovits, "A Model-Integrated Guideline-Driven Clinical Decision Support System", IEEE Software, Special issue on Domain-Specific Languages & Modeling, 2009. Abstract  Download: Mathe.et.al.IEEESoftware.2009.Paper-STEEP.pdf (3.62 MB)
Mathe, J., J. Werner, Y. Lee, B. A. Malin, and A. Ledeczi, "Model-Based Design of Clinical Information Systems", Methods of Information in Medicine, vol. 47, no. 5, pp. 10, 2008. Abstract  Download: Mathe.et_.al-MoIiM.2008.Paper-MBD_of_CIS.pdf (1.3 MB)
Mathe, J., S. Duncavage, J. Werner, B. A. Malin, A. Ledeczi, and J. Sztipanovits, "Implementing a Model-Based Design Environment for Clinical Information Systems", Workshop on Model-Based Trustworthy Health Information Systems (MOTHIS 2007), Nashville, TN, 09/2007. Abstract  Download: Mathe.et_.al-MOTHIS.2007.Paper-Implementing_MICIS.pdf (675.25 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)
Martins, G., A. Moondra, A. Dubey, A. Bhattacharjee, and X. D. Koutsoukos, "Computation and Communication Evaluation of an Authentication Mechanism for Time-Triggered Networked Control Systems", Sensors, vol. 16, no. 8, pp. 1166, 2016. Abstract
Martins, G., A. Bhattacharjee, A. Dubey, and X. D. Koutsoukos, "Performance Evaluation of an Authentication Mechanism in Time-Triggered Networked Control Systems", 2nd International Symposium on Resilient Cyber Systems (ISRCS 2014), Denver, 08/2014. Abstract  Download: Performance Evaluation of an Authentication Mechanism in Time-Triggered Networked Control Systems.pdf (333.21 KB)