ISIS Publications

Export 1043 results:
Sort by: [ Author  (Desc)] Title Type Year
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 
N
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)
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)
Neema, H., G. Karsai, and A. Levis, "Next-Generation Command and Control Wind Tunnel for Courses of Action Simulation", ISIS Technical Report, no. ISIS-15-119, Nashville, Institute for Software-Integrated Systems, Vanderbilt University, 05/2015. Abstract  Download: ngc2wt-report.pdf (8.43 MB)
Narayanan, A., and G. Karsai, "Towards Verifying Model Transformations", Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
Narayanan, A., and G. Karsai, "Verifying Model Transformations by Structural Correspondence", Electronic Communications of the EASST, vol. 10, 2008.  Download: 25_AN_GK.pdf (394.52 KB)
Narayanan, A., T. Levendovszky, D. Balasubramanian, and G. Karsai, "Automatic Domain Model Migration to Manage Metamodel Evolution", 12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, Springer, 2009.
Narayanan, A., and G. Karsai, "Specifying the Correctness Properties of Model Transformations", 3rd International Workshop on Graph and Model Transformation (GraMoT), 05/2008.
Narayanan, A., T. Levendovszky, D. Balasubramanian, and G. Karsai, "Continuous Migration Support for Domain-Specific Languages", The 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, FL, 10/2009.
Narasimhan, S., and G. Biswas, "An Approach to Model-Based Diagnosis of Hybrid Systems", Lecture Notes in Computer Science, vol. 2289, pp. 308--322, March, 2002.
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung, "An Integrated Framework for Combining Global and Local Analysis in Diagnosing Hybrid Systems", Eleventh Intl. Workshop on Principles of Diagnosis, Morelia, Mexico, pp. 163--170, June, 2000.
Narasimhan, S., G. Biswas, and G. Karsai, "An integrated approach to diagnosis of complex hybrid systems.", 15th Annual Intl. Symposium on AeroSense (Component and Systems Diagnostics, Prognosis, and Health Management) (SPIE 2001), Orlando, Florida, April, 2001.  Download: ISIS_4_0_2001_An_integra.pdf (902.42 KB)
Narasimhan, S., F. Zhao, G. Biswas, and E. Hung, "Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing", 4th Symposium on Fault Detection, Supervision and Safety for Technical Processes, {Budapest, Hungary}, June, 2000.", pp. 1074--1079, June, 2000.  Download: Narasimhan_S_6_0_2000_Fault_Isol.pdf (37.96 KB)
Narasimhan, S., and G. Biswas, "Model-based Diagnosis of Hybrid Systems", 18th Intl. Joint Conference on Artificial Intelligence, Acapulco, Mexico, pp. 376--381, August, 2003.
Narasimhan, S., and G. Biswas, "Efficient diagnosis of hybrid system using model of the supervisory controller", 12th Intl. Workshop on Principles of Diagnosis (Dx '01), via Lattea, Italy, March, 2001.  Download: ISIS_3_0_2001_Efficient_.pdf (910.09 KB)
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)
Nadas, A., L. Juracz, J. Sztipanovits, M. E. Frisse, and A. J. Olsen, "PolicyForge: A Collaborative Environment for Formalizing Privacy Policies in Health Care", Software Engineering in Health Care (SEHC 2013) at the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, California, USA, ACM and IEEE Digital Libraries, 05/2013. Abstract  Download: icsews13sehc-id14-p-16536-preprint.pdf (648 KB)
M
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., 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 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.
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 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)
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., 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., 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., 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., "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)
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)
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., 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)
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., B. Abbott, and J. Sztipanovits, "Performance Optimization in Signal Processing Systems", 22nd Southeastern Symposium on System Theory, Cookeville, TN, March, 1990.
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., 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)