Home

ISIS Publications

Export 68 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, S. Pradhan, and A. Dubey, "Towards Reliability-based decision making in Cyber-Physical Systems", SMART SERVICE SYSTEMS (SMARSYS): IEEE, 05/2016. Abstract  Download: IEEE_SmartSys_Reliability.pdf (212.2 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)
Nannapaneni, S., A. Dubey, and S. Mahadevan, "Performance Evaluation of Smart Systems under Uncertainty", IEEE Smart World Congress: IEEE, 08/2017. Abstract  Download: IEEE_SWC.pdf (541 KB)
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., G. Biswas, G. Karsai, T. Pasternak, and F. Zhao, "Building observers to address fault isolation and control problems in hybrid dynamic systems", IEEE SMC 2000, Nashville, TN, July, 2000.  Download: Narasimhan_S_7_0_2000_Building_o.pdf (251.26 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., G. Biswas, G. Karsai, T. Szemethy, T. Bowman, M. Kay, and K. Keller, "Hybrid Modeling and Diagnosis in the Real World: A Case Study", Intl. Workshop on Principles of Diagnosis, Simmering, Austria, May, 2002.
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.
Narayanan, A., "Declarative Techniques for Unparsing Complex Data Structures", Master's Thesis: Vanderbilt University, April, 2004.  Download: Narayanan_A_4_1_2004_Declarativ.pdf (238.33 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., and G. Karsai, "Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations", Electronic Communications of the EASST, vol. 4, 2006.
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.
Naug, A., and G. Biswas, "Data Driven Methods for Energy Reduction in Large Buildings", 4th IEEE International Conference on Smart Computing(SMARTCOMP 20018), Taormina, Sicily, Italy, IEEE Xplore, 07/2018. Abstract  Download: Data Driven Methods for Energy Reduction in Large Buildings.pdf (678.98 KB)
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. 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., 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)
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)
Neema, H., B. Potteiger, X. D. Koutsoukos, C. Y. Tang, and K. Stouffer, "Metrics-Driven Evaluation of Cybersecurity for Critical Railway Infrastructure", IEEE Resilience Week, Denver, Colorado, 08/2018. Abstract
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., B. Potteiger, X. Kousoukos, G. Karsai, P. Volgyesi, and S. Janos, "Integrated Simulation Testbed for Security and Resilience of CPS", The 33rd ACM Symposium on Applied Computing - Cyber-Physical Systems Track, Pau, France, ACM, 04/2018. Abstract
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, H., S. Neema, and T. Bapty, Architecture Exploration in the META Toolchain, , no. ISIS-15-105, Nashville, 2015.  Download: Architecture Exploration in the META Toolchain.pdf (1.52 MB)
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., J. Sztipanovits, C. Steinbrink, T. Raub, B. Cornelsen, and S. Lehnhoff, "Simulation Integration Platforms for Cyber-Physical Systems", The First Workshop on Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, ACM, 04/2019. Abstract
Neema, H., "A Solution-Clusters Based Approach To Solve Hard Constraint Satisfaction Problems", Master's Thesis: Vanderbilt University, May, 2008.  Download: Neema_H_5_0_2008_A_Solution.pdf (495.62 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, H., P. Volgyesi, B. Potteiger, W. Emfinger, X. Kousoukos, G. Karsai, Y. Vorobeychik, and S. Janos, "SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience", 7th International Conference on Cyber-Physical Systems (ICCPS) , Vienna, Austria, 04/2016. Abstract
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, S., T. Bapty, and D. Balasubramanian, Software Design and Implementation in the META Toolchain, , no. ISIS-15-107, 2015.  Download: Software Design and Implementation in the META Toolchain.pdf (3.32 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., Large-Scale Integration of Heterogeneous Simulations, , vol. PhD Dissertation, Nashville, TN, Vanderbilt University, 01/2018. Abstract
Neema, S., J. Sztipanovits, G. Karsai, and K. Butts, "Constraint-Based Design-Space Exploration and Model Synthesis", EMSOFT 2003, LNCS 2855, Philadelphia, PA, October, 2003.  Download: Neema_S_10_2_2003_Constraint.pdf (140.03 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)