ISIS Publications

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)

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)

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)

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.

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., 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.

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)

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, 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)

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)