] Filters: First Letter Of Last Name is N [Clear All Filters]
"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)
"Implementation of Image Processing Algorithms on FPGA Hardware",
Master's Thesis: Vanderbilt University, 2000.
Download: Nelson_T_0_0_2000_Implementa.pdf (1.31 MB)
Large-Scale Integration of Heterogeneous Simulations,
, vol. PhD Dissertation, Nashville, TN, Vanderbilt University, 01/2018.
Abstract
"Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments",
PhD Dissertation: Vanderbilt University, March, 1999.
Download: Nordstrom_GG_3_0_1999_Metamodeli.pdf (869.92 KB)
"A Runtime Environment to Support Fault Mitigative Large-Scale Real-Time Embedded Systems Research",
Master's Thesis: Vanderbilt University, May, 2003.
Download: Nordstrom_SG_5_0_2003_A_Runtime_.pdf (918.86 KB)
"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)
"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)
"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)
Architecture Exploration in the META Toolchain,
, no. ISIS-15-105, Nashville, 2015.
Download: Architecture Exploration in the META Toolchain.pdf (1.52 MB)
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)
Case Studies and Use Cases in the META Toolchain (status: review pending),
, no. ISIS-15-113, 2015.
Case Studies and Use Cases in the META Toolchain (status: review pending),
, no. ISIS-15-113, 2015.
Compositional Specification of Behavioral Semantics,
: Institute for Software Integrated Systems, June, 2006.
Download: Chen_K_6_1_2006_Compositio.doc (629.5 KB)
CyPhyML Language in the META Toolchain,
, no. ISIS-15-104, 2015.
Download: CyPhyML Language in the META Toolchain.pdf (2.65 MB)
"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)
"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)
"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)
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)
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)
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)
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)
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)
Formal Verification and Reliability in the META Toolchain (status: review pending),
, no. ISIS-15-108, 2015.
"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)
"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)
"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)
Initial PCES PI Meeting: Constraint-Based Embedded Program Composition,
, Colorado Springs, CO, Institute for Software Integrated Systems, July, 2000.
Download: Bapty_T_7_31_2000_Initial_PI.ppt (314.5 KB)
Integration Platform Technology Components in the META Toolchain,
, no. ISIS-15-110, Nashville, Institute for Software Integrated Systems, 01/2015.
Download: Integration Platform Technology Components in the META Toolchain.pdf (2.3 MB)
META Design Space Exploration Using Dynamics,
, no. ISIS-15-106, Nashville, Institute for Software Integrated Systems, 01/2015.
Download: META Design Space Exploration Using Dynamics.pdf (1.66 MB)
The META Toolchain: Accomplishments and Open Challenges,
, no. ISIS-15-102, 2015.
Download: The META Toolchain_Accomplishments and Open Challenges.pdf (871.55 KB)
A Model-Based Integration of Network Emulation with HLA-based Heterogeneous Simulation Environments,
, no. ISIS-10-107, 2010.
Download: milcom10-xue.docx (132.74 KB)
Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems,
: Institute for Software Integrated Systems, 2000.
Download: Bapty_T_0_0_2000_Model_Inte.PDF (1.04 MB)
"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)
OASiS: A Service-Oriented Middleware for Pervasive Ambient-Aware Sensor Networks,
: Institute for Software Integrated Systems, 2006.
Download: Amundson_I_0_0_2006_OASiS__A_S.pdf (1.44 MB)
Overview of the META Toolchain in the Adaptive Vehicle Make Progam (status: review pending),
, no. ISIS-15-103, 2015.
"Overview of the Model-based Integrated Simulation Framework",
ISIS-01-201: Institute for Software Integrated Systems, January, 2001.
Download: Ledeczi_A_1_30_2001_Overview_o.pdf (84.4 KB)
A Reachability based Stability Analysis for Switching Systems,
: Institute for Software Integrated Systems, September, 2004.
Download: ISIS_9_0_2004_A_Reachabi.pdf (3.95 KB)
"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)
"Shooter Localization and Weapon Classification with Soldier Wearable Networked Sensors",
Technical Report: Institute for Software Integrated Systems, January, 2007.
Download: Volgyesi_P_1_15_2007_Shooter_Lo.pdf (4.79 MB)
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)
Software Quality Assurance for the META Toolchain,
, no. ISIS-15-111, Nashville, Institute for Software Integrated Systems, 01/2015.
Download: Software Quality Assurance for the META Toolchain.pdf (1.56 MB)
Structural Design and Analysis in the META Toolchain (status: review pending),
, no. ISIS-15-109, 2015.
Transitioning the META Toolchain,
, no. ISIS-15-114, 2015.
Download: Transitioning the META Toolchain.pdf (1.2 MB)
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)
"New Developments in Model-Integrated Development of High-Confidence Software",
Safe and Secure Systems & Software Symposium, Beavercreek, OH, 06/2010.
"OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks",
Monterey Workshop 2006, LNCS 4888, Springer-Verlag, Paris, France, 2007.
Download: LNCS2007.pdf (1.54 MB)
Resilient traffic light control (Poster),
, Science of Security Quarterly Lablet Meeting, College Park, MD, 10/2015.
SURE: An Experimentation and Evaluation Testbed for Security and Resilience of CPS (Poster),
, Science of Security Quarterly Lablet Meeting, Raleigh, NC, 02/2016.
"Technical Standard for Future Airborne Capability Environment (FACE) Reference Architecture",
FACE Consortium, 2.0: The Open Group, 2013.
"An Approach to Model-Based Diagnosis of Hybrid Systems",
Lecture Notes in Computer Science, vol. 2289, pp. 308--322, March, 2002.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering