Home

ISIS Publications

Export 237 results:
Sort by: Author [ Title (Desc)] 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]
H
Scott, J., S. Neema, B. Eames, T. Bapty, A. Vandivort, S. Khamsi, and T. Gangwer, "A HW/SW Co-design Tool for Modern FPGA’s with FPGA-Embedded Processors", 7th Military and Aerospace Programmable Logic Devices, Washington, DC, September, 2004.  Download: Scott_JM_9_11_2004_A_HW_SW_Co.pdf (284.38 KB)
Eames, B., S. Neema, J. Scott, and T. Bapty, "High-Level Functional Simulation for Model-Based Embedded System Synthesis", ISIS-01-202: Institute for Software Integrated Systems, February, 2001.  Download: Eames_BK_2_0_2001_High_Level.PDF (724.47 KB)
Scott, J., S. Neema, T. Bapty, and B. Abbott, "Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems", ISIS-2000-06: Institute for Software Integrated Systems, May, 2000.  Download: Scott_J_5_0_2000_Hardware_S.PDF (198.18 KB)
Gray, J., T. Bapty, and S. Neema, "Handling Crosscutting Constraints in Domain-Specific Modeling", Communications of the ACM, pp. 87--93, October, 2001.  Download: Gray_J_10_0_2001_Handling_C_.pdf (68.96 KB)
Gray, J., T. Bapty, and S. Neema, "Handling Crosscutting Constraints in Domain-Specific Modeling", OOPSLA 2001, Tampa, FL, October, 2001.  Download: Gray_J_10_0_2001_Handling_C.zip (357.1 KB)
G
Nordstrom, S., T. Bapty, S. Neema, A. Dubey, and T. Keskinpala, "A Guided Explorative Approach for Autonomic Healing of Model-Based Systems", Second IEEE conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadena, CA, July, 2006.  Download: Nordstrom_SG_7_0_2006_A_Guided_E.pdf (201.89 KB)
Balasubramanian, D., A. Narayanan, C. van Buskirk, and G. Karsai, "The Graph Rewriting and Transformation Language: GReAT", Electronic Communications of the EASST, vol. 1, 2006. Abstract  Download: great_easst.pdf (274.21 KB)
Nordstrom, G., J. Davis, and M. Briski, "A Graduate-Level Course on CBS Design Tool Development", Engineering of Computer Based Systems, Washington, D.C., April, 2001.
Ledeczi, A., M. Maroti, A. Bakay, G. Nordstrom, J. Garrett, C. Thomasson, J. Sprinkle, and P. Volgyesi, GME 2000 Users Manual (v2.0), : Institute for Software Integrated Systems, December, 2001.  Download: Ledeczi_A_12_18_2001_GME_2000_U.pdf (584.8 KB)
Ledeczi, A., M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomasson, G. Nordstrom, J. Sprinkle, and P. Volgyesi, "The Generic Modeling Environment", Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.  Download: Ledeczi_A_5_17_2001_The_Generi.pdf (116.09 KB)
F
Chhokra, A., S. Abdelwahed, A. Dubey, S. Neema, and G. Karsai, "From System Modeling to Formal Verification", The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015. Abstract  Download: Session3_Paper3.pdf (1.04 MB)
Simko, G., D. Lindecker, T. Levendovszky, E. Jackson, S. Neema, and J. Sztipanovits, "A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems", IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Phoenix, AZ, IEEE, pp. 30-39, 2013.  Download: ECBS2013.pdf (416.4 KB)
Simko, G., T. Levendovszky, S. Neema, E. Jackson, T. Bapty, J. Porter, and J. Sztipanovits, "Foundation for Model Integration: Semantic Backplane", Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE, 2012.
Nordstrom, G., and A. Ledeczi, "Formalizing the Specification of Graphical Modeling Languages", ISIS-00-200: Institute for Software Integrated Systems, 2000.  Download: Nordstrom_GG_0_0_2000_Formalizin.pdf (160.48 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)
Koutsoukos, X., T. Bapty, and S. Neema, Formal Verification and Reliability in the META Toolchain (status: review pending), , no. ISIS-15-108, 2015.
Bapty, T., J. Gray, and S. Neema, February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition, , San Diego, CA, Institute for Software Integrated Systems, February, 2001.  Download: Bapty_T_2_0_2001_February_2.ppt (540 KB)
Karsai, G., G. Biswas, T. Pasternak, S. Narasimhan, G. Peceli, G. Simon, and T. Kovacshazy, "Fault-Adaptive Control: A CBS Application", ECBS-2001, Washington, DC, February, 2001.  Download: Karsai_G_2_0_2001_Fault_Adap.pdf (79 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)
E
Koutsoukos, X., H. Neema, B. Potteiger, and P. Volgyesi, "An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster)", CPS PI Meeting, Arlington, VA, 11/2016.
Porter, J., P. Volgyesi, N. Kottenstette, H. Nine, G. Karsai, and J. Sztipanovits, "An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software", 20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09), Paris, France, 06/2009. Abstract
Nordstrom, S., Experiences in Developing Model-Integrated Tools and Technologies for Large-Scale Fault Tolerant Real-Time Embedded Systems, , OMG First Annual Model-Integrated Computing (MIC) Workshop, Arlington, VA, USA, Institute for Software Integrated Systems, October, 2004.  Download: Nordstrom_SG_10_0_2004_Experience.ps (23.25 KB)
Gray, J., T. Bapty, and S. Neema, "An Example of Constraint Weaving in Domain-Specific Modeling", OOPSLA 2001 Workshop on Domain-Specific Visual Languages, Tampa, FL, October, 2001.  Download: Gray_J_10_0_2001_An_Example.pdf (410.7 KB)
Howard, L., J. Johnson, and C. Neitzel, "Examining learner control in a structured inquiry cycle using process mining", 3rd International Conference on Educational Data Mining, Pittsburgh, PA, pp. 71-80, June 2010.
Szekely, P., R. Maheswaran, R. Neches, C. Rogers, R. Sanchez, M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, G. Karsai, et al., "An Examination of CriticalitySensitive Approaches to Coordination", In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
Balasubramanian, D., C. vanBuskirk, G. Karsai, A. Narayanan, S. Neema, B. Ness, and F. Shi, Evolving Paradigms and Models in Multi-Paradigm Modeling, , no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.  Download: ISIS-08-912.pdf (651.03 KB)
Potteiger, B., W. A. Emfinger, H. Neema, X. Kousoukos, C. Y. Tang, and K. Stouffer, "Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed", Resilience Week (RWS), Wilmington, DE, IEEE, pp. 177-183, 09/2017. Abstract
Kavimandan, A., A. Narayanan, J. Balasubramanian, and G. Karsai, "Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-time and Embedded Systems", The Eleventh IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2008), Orlando, FL, 2008.
Porter, J., Z. Lattmann, G. Hemingway, N. Mahadevan, S. Neema, H. Nine, N. Kottenstette, P. Volgyesi, G. Karsai, and J. Sztipanovits, "The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems", 15th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, 04/2009. Abstract  Download: rtas_demo_2009.pdf (491.24 KB)
Porter, J., G. Hemingway, H. Nine, C. vanBuskirk, N. Kottenstette, G. Karsai, and J. Sztipanovits, The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis, , Nashville, TN, Vanderbilt University, 09/2010.  Download: ESMoL_TR.pdf (3.99 MB)
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)
Amundson, I., M. Kushwaha, X. Koutsoukos, S. Neema, and J. Sztipanovits, "Efficient Integration of Web Services in Ambient-aware Sensor Network Applications", Basenets, San Jose, CA, October, 2006.  Download: Amundson_I_10_1_2006_Efficient_.pdf (849.01 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)
D
Ahuja, S., D. Yao, S. Neema, T. Bapty, S. Shetty, and S. Nordstrom, "Dynamically Reconfigurable Monitoring in Large Scale Real-Time Embedded Systems", IEEE SoutheastCon, Fort Lauderdale, Florida, pp. 327, April, 2005.  Download: Ahuja_S_4_8_2005_Dynamicall.pdf (629.1 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)
Levendovszky, T., A. Dubey, W. R. Otte, D. Balasubramanian, A. Coglio, S. Nyako, W. Emfinger, P. Kumar, A. Gokhale, and G. Karsai, "DREMS: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems", IEEE Software, vol. 99: IEEE Computer Society, 2014. Abstract  Download: f6paper.pdf (3.95 MB); Final.pdf (3.33 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)
Balasubramanian, K., J. Balasubramanian, G. Karsai, J. Sztipanovits, and S. Neema, "Developing applications using model-driven design environments", IEEE Computer, vol. 39, pp. 33--40, March, 2006.
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., "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., 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., 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)
Karsai, G., A. Lang, and S. Neema, "Design Patterns for Open Tool Integration", Journal of Software and System Modeling, vol. 4, 2004.
Agrawal, A., G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, "The Design of a Language for Model Transformations", Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.  Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)
He, W., Y. Xue, and K. Nahrstedt, "Delay Management in Wireless Networks", Guide to Wireless Ad Hoc Networks: Springer Science, 2009.
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)
C
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)
Roth, T., E. Song, M. Burns, H. Neema, W. Emfinger, and J. Szipanovits, "Cyber-Physical System Development Environment for Energy Applications", ASME Power and Energy Conference 2017, Charlotte, USA, 06/2017. Abstract
Szekely, P., M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, J. Jin, G. Karsai, R. T. Maheswaran, B. Neches, C. M. Rogers, et al., "CSC: Criticality-Sensitive Coordination", Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, pp. 1441–1442, 2006.