ISIS Publications

Export 63 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: First Letter Of Last Name is N  [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]
N
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)
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)
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)
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., 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, "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)
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.
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., and G. Karsai, "Towards Verifying Model Transformations", Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
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.
Neema, S., and A. Ledeczi, "Constraint Guided Self-Adaptation", Self-Adaptive Software: Applications, LNCS 2614,, pp. 39--51, 2003.  Download: Neema_S_0_0_2003_Constraint.pdf (139.34 KB)
Neema, H., A. Kashyap, R. Kereskenyi, Y. Xue, and G. Karsai, "SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-hoc Networks", The 14th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2010), Fairfax, VA, pp. 179-188, 10/2010. Abstract  Download: Paper.pdf (1013.92 KB)
Neema, H., W. Emfinger, and A. Dubey, "A Reusable and Extensible Web-Based Co-Simulation Platform for Transactive Energy Systems", 3rd International Transactive Energy Systems, Portland, Oregon, GridWise® Architecture Council , 05/2016. Abstract
Neema, H., J. Sztipanovits, M. Burns, and E. Griffor, "C2WT-TE: A Model-Based Open Platform for Integrated Simulations of Transactive Smart Grids", 2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, Vienna, Austria, 04/2016. Abstract
Neema, S., "Analysis of Matlab Simulink and Stateflow Data Model", ISIS-01-204: Institute for Software Integrated Systems, March, 2001.  Download: Neema_S_3_0_2001_Analysis_o.pdf (259.18 KB)
Neema, S., T. Bapty, and J. Scott, "Development Environment for Dynamically Reconfigurable Embedded Systems", Proceedings of the International Conference on Signal processing Applications and Technology, Orlando, FL, November, 1999.  Download: Neema_S_11_0_1999_Developmen.pdf (5.77 KB)
Neema, H., J. Gohl, Z. Lattmann, J. Sztipanovits, G. Karsai, S. Neema, T. Bapty, J. Batteh, H. Tummescheit, and C. Sureshkumar, "Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems", 10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 235-245, 03/2014. Abstract  Download: Neema_H_12_8_2013_Modelica_2014_FMUCS_HLA.PDF (536.88 KB)
Neema, H., H. Nine, G. Hemingway, J. Sztipanovits, and G. Karsai, "Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2", Armed Forces Communications and Electronics Association - George Mason University Symposium, issue Critical Issue in C4I, Lansdowne, Virginia, George Mason University: http://hdl.handle.net/1920/5639, 05/2009. Abstract  Download: C4I-09-07.pdf (717.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)
Neema, S., "System Level Synthesis of Adaptive Computing Systems", PhD Dissertation: Vanderbilt University, May, 2001.  Download: Neema_S_5_0_2001_System_Lev.pdf (1.61 MB)
Neema, S., T. Bapty, S. Shetty, and S. Nordstrom, "Autonomic Fault Mitigation in Embedded Systems", Special Issue on Autonomic Computing and Grids at the Journal: Elsevier, 2004.
Neema, S., J. Davis, B. Eames, and A. Ledeczi, "Design Representation Issues in Polymorphous Computing", ISIS-01-202: Institute for Software Integrated Systems, January, 2001.  Download: Neema_S_1_30_2001_Design_Rep.pdf (2.93 MB)
Neema, H., Z. Lattmann, P. Meijer, J. Klingler, S. Neema, T. Bapty, J. Sztipanovits, and G. Karsai, "Design Space Exploration and Manipulation for Cyber Physical Systems", IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL' 2014), Berlin, Germany, Springer, 04/2014. Abstract  Download: Himanshu_DSEMForCPS.PDF (773.23 KB)
Neema, S., T. Bapty, X. Koutsoukos, H. Neema, J. Sztipanovits, and G. Karsai, "Model Based Integration and Experimentation of Information Fusion and C2 Systems", FUSION '09. 12th International Conference on Information Fusion, Seattle, WA, 07/2009. Abstract  Download: Paper.pdf (556.87 KB)
Neema, H., A. Dubey, and G. Karsai, "A Report On Simulating External Applications With SOAMANET in the Loop", ISIS Technical Report, no. ISIS-10-108, Nashville, Insitute For Software Integrated Systems, 08/2010.  Download: report.pdf (6.13 MB)
Neema, S., "Design Space Representation and Management for Model-Based Embedded System Synthesis", ISIS-01-203: Institute for Software Integrated Systems, February, 2001.  Download: Neema_S_2_0_2001_Design_Spa.pdf (213.02 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)
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, S., T. Bapty, and J. Scott, "Adaptive Computing and Run-time Reconfiguration", Proceedings of the Military Applications of Programmable Logic Devices, Laurel, MD, September, 1999.  Download: Neema_S_9_0_1999_Adaptive_C.pdf (53.24 KB)
Nichols, J., and M. Moore, "An Adaptable, Cost Effective Image Processing System", The 10th JANNAF Non-destructive Evaluation Sub Committee, Salt Lake City, UT, pp. 1--5, March, 1998.  Download: Nichols_JA_3_0_1998_An_Adaptab.pdf (120.75 KB)
Nichols, J., and S. Neema, "Dynamically Reconfigurable Embedded Image Processing System", Proceedings of the International Conference on Signal Processing Applications and Technology, Orlando, FL, November, 1999.  Download: Nichol_KL_11_0_1999_Dynamicall.pdf (334.08 KB)
Nordstrom, G., "Formalizing the Specification of Graphical Modeling Languages", Proceedings of the IEEE Aerospace 2000 Conference, Big Sky, MT, March, 2000.  Download: Nordstrom_GG_3_0_2000_Formalizin.pdf (276.47 KB)