Tertiary Links
Publications
Education
Resources
People
Sponsors
Careers
Contact
Alumni
Secondary links
Login
Search this site:
Primary links
Projects
Active Projects
Archived Projects
Tools
Research
Model Integrated Computing
Smart Cities
Distributed Object Computing
Network Embedded Systems
Cyber-Physical Systems
Education Technology
Smart Mobility
Modeling and Analysis of Complex Systems
Careers
Internships
Calendar
Proposal Questionnaire
Home
ISIS Publications
List
Filter
Export 194 results:
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
Filters:
First Letter Of Last Name
is
A
[Clear All Filters]
1990
Abbott, B.
,
C. Biegl
, and
J. Sztipanovits
,
"
Multigraph for the Transputer
",
Transputer Research and Applications
, pp. 211--222, 1990.
Tagged
XML
BibTex
Google Scholar
Abbott, B.
, and
T. Bapty
,
"
Real-Time Turbine Engine Data Visualization
",
Transputer Research Applications
, DL Fielding, IOS Press, 1990.
Tagged
XML
BibTex
Google Scholar
Abbott, B.
,
T. Bapty
, and
J. Sztipanovits
,
"
Real-Time Turbine Engine Data Visualization
",
Proceedings of the the 4th NATUG
, Ithaca, NY, pp. 1--11, 1990.
Tagged
XML
BibTex
Google Scholar
Abbott, B.
,
C. Biegl
, and
J. Sztipanovits
,
"
Multigraph on the Transputer
",
NATUG
, Santa Clara, CA, pp. 25--36, April, 1990.
Tagged
XML
BibTex
Google Scholar
Abbott, B.
,
C. Biegl
,
T. Bapty
,
J. Sztipanovits
, and
R. Souder
,
"
Graphical Programming for the Transputer
",
Proceedings of the 22nd Southeastern Symposium on System Theory
, pp. 86--90, March, 1990.
Tagged
XML
BibTex
Google Scholar
Misra, A.
,
B. Abbott
, and
J. Sztipanovits
,
"
Performance Optimization in Signal Processing Systems
",
22nd Southeastern Symposium on System Theory
, Cookeville, TN, March, 1990.
Tagged
XML
BibTex
Google Scholar
Andersen, K.
,
G. E. Cook
,
K. Ramaswamy
, and
G. Karsai
,
"
Artificial Neural Networks Applied to Arc Welding Process Modeling and Control
",
IEEE - IAS Transactions
, vol. 26, pp. 824--830, September, 1990.
Tagged
XML
BibTex
Google Scholar
1992
Karsai, G.
,
K. Andersen
,
G. E. Cook
, and
R. J. Barnett
,
"
Neural Network Methods for the Modeling and Control of Welding Processes
",
Journal of Intelligent Manufacturing
, pp. 229--235, 1992.
Tagged
XML
BibTex
Google Scholar
Abbott, B.
,
T. Bapty
,
C. Biegl
,
A. Ledeczi
,
G. Karsai
, and
J. Sztipanovits
,
"
Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System
",
Proceedings of the International Conference on Signal Processing Applications and Technology
, Boston, MA, pp. 573--582, February, 1992.
Tagged
XML
BibTex
Google Scholar
Ledeczi, A.
,
B. Abbott
,
C. Biegl
,
G. Karsai
, and
J. Sztipanovits
,
"
Modeling Parallel Hardware Architectures
",
International Conference on Signal Processing Applications and Technology
, Boston, MA, pp. 274--281, January, 1992.
Tagged
XML
BibTex
Google Scholar
1993
Ledeczi, A.
, and
B. Abbott
,
"
Model-Based Hardware Configuration Management
",
Transputer Research and Applications, ISSN: 0925-4986, ISO Press
, vol. 6, pp. 318--332, 1993.
Tagged
XML
BibTex
Google Scholar
Ledeczi, A.
,
B. Abbott
,
C. Biegl
,
T. Bapty
,
G. Karsai
, and
J. Sztipanovits
,
"
Parallel DSP System Integration
",
Microprocessors and Microsystems
, vol. 17, pp. 460--470, 1993.
Tagged
XML
BibTex
Google Scholar
Ledeczi, A.
,
C. Biegl
,
B. Abbott
,
T. Bapty
, and
J. Sztipanovits
,
"
Automatic Parallel Program Generation for Aerospace Testing
",
9th AIAA Conference on Computing in Aerospace
, San Diego, CA, pp. 434--440, January, 1993.
Tagged
XML
BibTex
Google Scholar
Abbott, B.
,
T. Bapty
,
C. Biegl
,
G. Karsai
, and
J. Sztipanovits
,
"
Model-Based Approach for Software Synthesis
",
IEEE Software
, vol. 10, pp. 42--52, May, 1993.
Tagged
XML
BibTex
Google Scholar
Bapty, T.
,
B. Abbott
,
C. Biegl
,
A. Ledeczi
, and
J. Sztipanovits
,
"
Parallel Turbine Engine Instrumentation System
",
Proceedings of the the 9th AIAA Conference on Computing in Aerospace
, San Diego, CA, pp. 423--433, October, 1993.
Tagged
XML
BibTex
Google Scholar
Abbott, B.
,
T. Bapty
,
C. Biegl
,
A. Ledeczi
, and
J. Sztipanovits
,
"
Model-Based Software Synthesis for Large-Scale Systems
",
Proceedings of the 9th AIAA Conference on Computing in Aerospace
, San Diego, CA, September, 1993.
Tagged
XML
BibTex
Google Scholar
1994
Abbott, B.
,
Model-Based Automatic Program Synthesis
,
: Vanderbilt University, 1994.
Tagged
XML
BibTex
Google Scholar
Ledeczi, A.
,
C. Biegl
, and
B. Abbott
,
"
High Performance Graphics for Parallel Systems
",
Int. Conf. on Signal Processing Applications and Technology
, Dallas, TX, pp. 733--738, January, 1994.
Tagged
XML
BibTex
Google Scholar
Ledeczi, A.
, and
B. Abbott
,
"
Parallel Systems with Flexible Topology
",
Scalable High Performance Computing Conference
, Knoxville, TN, pp. 460--470, January, 1994.
Tagged
XML
BibTex
Google Scholar
Abbott, B.
, and
A. Ledeczi
,
"
TICK: TI TMS320C40 Utility Program
",
International Conference on Signal Processing Applications and Technology
, Dallas, TX, January, 1994.
Tagged
XML
BibTex
Google Scholar
Sztipanovits, J.
,
B. Abbott
, and
T. Bapty
,
"
Model-based synthesis of complex embedded systems
",
Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'94)
, Washington DC, July, 1994.
Tagged
XML
BibTex
Google Scholar
Tibbals, T.
,
T. Bapty
, and
B. Abbott
,
"
CADDMAS: A Real-Time Parallel System for Dynamic Data Analysis
",
International Gas Turbine and Aeroengine Congress
, The Hauge, Netherlands, June, 1994.
Tagged
XML
BibTex
Google Scholar
Davis, J.
, and
B. Abbott
,
"
Cut-Through Message Passing on the TI TMS320C40
",
Proceedings of the 7th NATUG
, Athens, GA, pp. 167--175, October, 1994.
Tagged
XML
BibTex
Google Scholar
Bapty, T.
, and
B. Abbott
,
"
Parallel Volume Rendering
",
Proceedings of the ICSPAT
, Dallas, TX, October, 1994.
Tagged
XML
BibTex
Google Scholar
1995
Abdelwahed, S.
,
M. Hassan
, and
M. Sultan
,
"
Partially Asynchronous Co-State Prediction Algorithms
",
IEEE Proceedings on Control Theory Applications
, vol. 142, March, 1995.
Tagged
XML
BibTex
Google Scholar
Bapty, T.
, and
B. Abbott
,
"
Portable Kernel for High-Level Synthesis of Complex DSP-Systems
",
Proceedings of the the International Conference on Signal Processing Applications and Technology
, Boston, MA, May, 1995.
Tagged
XML
BibTex
Google Scholar
Download:
Bapty_T_5_0_1995_Portable_K.pdf
(117.17 KB)
1996
Bapty, T.
,
A. Ledeczi
,
J. Davis
,
B. Abbott
,
L. Howard
, and
T. Tibbals
,
"
Turbine Engine Diagnostics Using a Parallel Signal Processor
",
Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention
, Mobile, AL, 1996.
Tagged
XML
BibTex
Google Scholar
1997
Abdelwahed, S.
,
M. Hassan
, and
M. Sultan
,
"
Parallel Asynchronous Algorithms for Optimal Control of Large-scale Dynamic Systems
",
Optimal Control Applications and Methods
, vol. 18, July, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Abdelwahed_S_7_0_1997_Parallel_A.pdf
(178.49 KB)
2000
Bapty, T.
,
S. Neema
,
J. Scott
,
J. Sztipanovits
, and
S. Asaad
,
"
Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems
",
VLSI Design
, vol. 10, pp. 281--306, 2000.
Tagged
XML
BibTex
Google Scholar
Bapty, T.
,
S. Neema
,
J. Scott
,
J. Sztipanovits
, and
S. Asaad
,
Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems
,
: Institute for Software Integrated Systems, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Bapty_T_0_0_2000_Model_Inte.PDF
(1.04 MB)
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.
Tagged
XML
BibTex
Google Scholar
Download:
Scott_J_5_0_2000_Hardware_S.PDF
(198.18 KB)
Venkatachalam, S.
,
G. Nordstrom
,
R. A. Peters
,
M. Wilkes
, and
A. Alford
,
"
Modeling of Agent's Behavior in Human-robot Interaction Using Model Integrated Computing
",
IEEE-SMC 2000
, Nashville, TN, October, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Venkatacha_S_10_0_2000_Modeling_o.doc
(2.31 MB)
2001
Agrawal, A.
,
A. Bakshi
,
J. Davis
,
B. Eames
,
A. Ledeczi
,
S. Mohanty
,
V. Mathur
,
S. Neema
,
G. Nordstrom
,
V. Prasanna
, et al.,
"
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
",
Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES)
, Snowbird, UT, June, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
Agrawal_A_6_0_2001_MILAN__A_M.pdf
(121.36 KB)
Atlas, L.
,
G. Bloor
,
T. Brotherton
,
L. Howard
,
L. Jaw
,
G. Kacprzynski
,
G. Karsai
,
R. Mackey
,
J. Mesick
,
R. Reuter
, et al.,
"
An Evolvable Tri-Reasoner IVHM System
",
2001 IEEE Aerospace Conference, 11.0307
, Big Sky, Montana, USA, March, 2001.
Tagged
XML
BibTex
Google Scholar
Download:
ISIS_3_13_2001_An_Evolvab.pdf
(293.67 KB)
2002
Koutsoukos, X.
, and
P. Antsaklis
,
"
Design of Stabilizing Switching Control Laws for Discrete-and Comtinuous- Time Linear Systems Using Piecewise-Linear Lyapunov Functions
",
International Journal Control
, vol. 75, pp. 932--945, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Koutsoukos_X_0_0_2002_Design_of_.pdf
(157.74 KB)
Karsai, G.
,
G. Biswas
,
S. Abdelwahed
,
S. Narasimhan
,
T. Pasternak
, and
T. Szemethy
,
"
Towards Fault-Adaptive Control of Complex Dynamic Systems
",
Software Enabled Control, (Book)
, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_2002_Towards_Fa.pdf
(390.07 KB)
Abdelwahed, S.
,
G. Karsai
, and
G. Biswas
,
"
Online Safety Control of a Class of Hybrid Systems
",
IEEE 2002 Conference on Decision and Control
, Las Vegas, USA, pp. 1988--1990, December, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Abdelwahed_S_12_0_2002_Online_Saf.pdf
(96.96 KB)
Abdelwahed, S.
, and
W. M. Wonham
,
"
Supervisory control of interacting discrete event systems
",
41st IEEE Conference on Decision and Control
, Las Vegas, NV, pp. 1175--1180, December, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Abdelwahed_S_12_0_2002_Supervisor.pdf
(196.48 KB)
Agrawal, A.
,
"
Hardware Modeling and Simulation of Embedded Applications
",
Master's Thesis
: Vanderbilt University, May, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Agrawal_A_5_0_2002_Hardware_M.doc
(1.76 MB)
Sprinkle, J.
,
A. Agrawal
,
T. Levendovszky
,
F. Shi
, and
G. Karsai
,
"
Domain Evolution in Visual Languages Using Graph Transformations
",
OOPSLA, 2nd Workshop on Domain-Specific Languages
, Seattle, WA, November, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Sprinkle_JM_11_4_2002_Domain_Evo.doc
(216 KB)
Agrawal, A.
,
T. Levendovszky
,
J. Sprinkle
,
F. Shi
, and
G. Karsai
,
"
Generative Programming via Graph Transformations in the Model-Driven Architecture
",
OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture
, Seattle, WA, November, 2002.
Tagged
XML
BibTex
Google Scholar
Download:
Agrawal_A_11_5_2002_Generative.pdf
(351.64 KB)
2003
Karsai, G.
, and
A. Agrawal
,
"
Graph Transformations in OMG's Model-Driven Architecture
",
Lecture Notes in Computer Science
, vol. 2062: Springer, pp. 243--259, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_12_0_2003_Graph_Tran.pdf
(820.41 KB)
Agrawal, A.
,
G. Karsai
, and
F. Shi
,
Interpreter Writing using Graph Transformations
,
: Institute for Software Integrated Systems, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Agrawal_A_0_0_2003_Interprete.pdf
(1.42 MB)
Karsai, G.
,
A. Agrawal
,
F. Shi
, and
J. Sprinkle
,
"
On the Use of Graph Transformation in the Formal Specification of Model Interpreters
",
Journal of Universal Computer Science
, vol. 9, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_2003_On_the_Use.pdf
(253.4 KB)
Koutsoukos, X.
, and
P. Antsaklis
,
"
Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions
",
Journal of Discrete Event Dynamic Systems: Theory and Applications
, vol. 13, pp. 203--243, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Koutsoukos_X_0_0_2003_Safety_and.pdf
(699.61 KB)
Karsai, G.
,
G. Biswas
,
S. Abdelwahed
,
S. Narasimhan
,
T. Pasternak
, and
T. Szemethy
,
"
Towards Fault-Adaptive Control of Complex Dynamic Systems
",
Software-Enabled Control
: IEEE Press, 2003.
Tagged
XML
BibTex
Google Scholar
Sprinkle, J.
,
A. Agrawal
,
T. Levendovszky
,
F. Shi
, and
G. Karsai
,
"
Domain Translation Using Graph Transformations
",
Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
, Huntsville, AL, pp. 159--168, April, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Sprinkle_JM_4_7_2003_Domain_Tra.pdf
(255.82 KB)
Eames, B.
,
T. Bapty
,
B. Abbott
,
S. Neema
, and
K. Chhokra
,
"
Model Integrated Design Toolset for Polymorphous Computer-Based Systems
",
Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS)
, Huntsville, AL, pp. 72--79, April, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Eames_BK_4_7_2003_Model_Inte.pdf
(313.08 KB)
Agrawal, A.
, and
A. Ledeczi
,
"
Multigranular Simulation of Heterogeneous Embedded Systems
",
Tenth IEEE Conference and Workshops on the Engineering of Computer Based Systems (ECBS)
, Huntsville, Alabama, pp. 3--10, April, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Agrawal_A_4_7_2003_Multigranu.pdf
(156.95 KB)
Karsai, G.
,
A. Agrawal
,
F. Shi
, and
J. Sprinkle
,
"
On the use of Graph Transformations in the Formal Specification of Computer-Based Systems
",
IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
, Huntsville, Alabama, pp. 19--27, April, 2003.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_4_9_2003_On_the_use.pdf
(224.67 KB)
1
2
3
4
next ›
last »