] Filters: Author is Karsai, Gabor [Clear All Filters]
"A Case Study On The Application of Software Health Management Techniques",
ISIS Technical Report, no. ISIS-11-101, Nashville, Institute For Software Integrated Systems, 01/2011.
Abstract
Download: ADIRUTechReport.pdf (1.53 MB)
A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems,
, pp. 39, 08/2013.
Download: TR-13-104.pdf (3.02 MB)
Component Models for Vehicle Software Platforms: Two Case Studies,
, no. ISIS-15-101, Nashville, Institute for Software Integrated Systems, 01/2015.
Abstract
Download: ISIS-15-101.pdf (2.52 MB)
"Computer-aided Aircraft Maintenance Scheduling",
ISIS-02-303: Institute for Software Integrated Systems, November, 2002.
Download: van_Buskir_CP_11_0_2002_Computer_a.pdf (313.15 KB)
"Cyber-Physical Vulnerability Analysis",
ISIS Technical Report, no. ISIS-17-101, Nashville, Insitute For Software Integrated Systems, pp. 1-14, 01/2017.
Download: report.pdf (927.21 KB)
"Deliberative Reasoning in Software Health Management",
ISIS Technical Report, no. ISIS-13-101: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212, 04/2013.
Download: TechReport2013.pdf (1.29 MB)
"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)
"Formalization of a Component Model for Real-time Systems",
ISIS Technical Report, 04/2012.
Abstract
Download: ISIS-12-102-TechReport.pdf (1.3 MB)
Graph Transformations on Domain-Specific Models,
: Institute for Software Integrated Systems, November, 2003.
Download: Agrawal_A_11_0_2003_Graph_Tran.pdf (926.08 KB)
"The Inertial Measurement Unit Example: A Software Health Management Case Study",
ISIS Technical Report, no. ISIS-12-101, 02/2012.
Abstract
Download: TechReport_IMU.pdf (1.49 MB)
Interpreter Writing using Graph Transformations,
: Institute for Software Integrated Systems, 2003.
Download: Agrawal_A_0_0_2003_Interprete.pdf (1.42 MB)
Janalyzer: A Static Analysis Tool for Java Bytecode,
, Nashville, Institute for Software Integrated Systems, 08/2017.
Download: main.pdf (261.01 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)
"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)
"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)
System Diagnosis using Hybrid Failure Propagation Graphs,
: Institute for Software Integrated Systems, December, 2003.
Download: Abdelwahed_S_12_0_2003_System_Dia.pdf (385.08 KB)
Templatized Model Transformations: Enabling Reuse in Model Transformations,
, no. ISIS-09-110, Nashville, ISIS, pp. 15, 2009.
Download: templatization.pdf (1.39 MB)
Tool Support for Design Patterns,
, NDIST 4 Workshop, Institute for Software Integrated Systems, December, 2001.
Download: Karsai_G_12_0_2001_Tool_Suppo.pdf (250.66 KB)
Towards a Product Line of Heterogeneous Distributed Applications,
, Nashville, Institute for Software Integrated Systems, 4/2015.
Abstract
Download: Pradhan_UMRELA_TR.pdf (1.16 MB)
Towards a Real-time Component Framework for Software Health Management,
, no. ISIS-09-111, Nashville, Institute for Software Integrated Systems, 11/2009.
Abstract
Download: TechReport2009.pdf (11.07 MB)
Towards a Self-adaptive Deployment and Configuration Infrastructure for Cyber-Physical Systems,
, Nashville, Institute for Software Integrated Systems, 6/2014.
Abstract
Download: Pradhan_SEAMS_TechReport.pdf (2.05 MB)
"Towards Model-based Software Health Management for Real-Time Systems",
ISIS Technical report, 2010.
Abstract
Download: Report.pdf (3.38 MB)
Declarative Programming Techniques for Engineering,
: Vanderbilt University, 1988.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering