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
Printers
jhenry
Home
ISIS Publications
List
Filter
Export 517 results:
Tagged
XML
BibTex
Sort by:
Author
Title
Type
[
Year
]
Filters:
First Letter Of Last Name
is
S
[Clear All Filters]
2000
Szedo, G.
,
S. Neema
,
J. Scott
, and
T. Bapty
,
"
Reconfigurable Target Recognition System
",
Proceedings of the FPGA 2000
, Monterey, CA, February, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Szedo_G_2_0_2000_Reconfigur.pdf
(267.98 KB)
Nordstrom, G.
,
G. Karsai
,
M. Moore
,
T. Bapty
, and
J. Sztipanovits
,
"
Model Integrated Computing-Based Software Design and Evolution
",
Conference on Life Cycle Software Engineering Technology for Modern Avionics, Missiles, and Smart Weapon Systems
, Huntsville, Alabama, August, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Nordstrom_GG_8_16_2000_Model_Inte.pdf
(252.99 KB)
Sprinkle, J.
,
"
Model Integrated Program Synthesis of Agent Interaction Protocols
",
Master's Thesis
: Vanderbilt University, August, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Sprinkle_JM_8_0_2000_Model_Inte.pdf
(1.53 MB)
Gray, J.
, and
S. Schach
,
"
Constraint Animation Using an Object-Oriented Declarative Language
",
Proceedings of the 38th Annual ACM SE Conference
, Clemson, SC, pp. 1--10, April, 2000.
Tagged
XML
BibTex
Google Scholar
Download:
Gray_J_4_0_2000_Constraint.doc
(101 KB)
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)
Sztipanovits, J.
, and
G. Karsai
,
"
Embedded Software: Challenges and Opportunities
",
Lecture Notes in Computer Science
, vol. 2211: Springer Verlag, pp. 403--408, 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
",
VLSI Design
, vol. 10, pp. 281--306, 2000.
Tagged
XML
BibTex
Google Scholar
1999
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.
Tagged
XML
BibTex
Google Scholar
Download:
Neema_S_9_0_1999_Adaptive_C.pdf
(53.24 KB)
Tibbals, T.
,
M. Sensmeier
,
K. Nichol
,
A. Stoner
, and
C. Biegl
,
"
Model Integrated Testing for Durability Assessment of Turbine Engines
",
Proceedings of the ITEA Conference
, Tullahoma, TN, pp. 151--158, October, 1999.
Tagged
XML
BibTex
Google Scholar
Download:
Tibbals_T_10_0_1999_Model_Inte.pdf
(1.39 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.
Tagged
XML
BibTex
Google Scholar
Download:
Neema_S_11_0_1999_Developmen.pdf
(5.77 KB)
Scott, J.
,
T. Bapty
, and
S. Neema
,
"
Runtime Environment for Dynamically Reconfigurable Embedded Systems
",
Proceedings of the International Conference on Signal Processing Applications and Technology
, Orlando, FL, November, 1999.
Tagged
XML
BibTex
Google Scholar
Download:
Scott_J_11_0_1999_Runtime_En.pdf
(3.8 KB)
Karsai, G.
, and
J. Sztipanovits
,
"
A Model-Based Approach to Self-Adaptive Software
",
Journal of Intelligent Systems
, vol. 14, pp. 46--53, May, 1999.
Tagged
XML
BibTex
Google Scholar
Davis, J.
,
J. Scott
,
J. Sztipanovits
, and
M. Martinez
,
"
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
",
Proceedings of the Engineering of Computer Based Systems
, Nashville, TN, pp. 254--260, March, 1999.
Tagged
XML
BibTex
Google Scholar
Download:
Davis_J_3_0_1999_Multi_Doma.pdf
(73.25 KB)
Bapty, T.
,
J. Scott
,
S. Neema
, and
J. Sztipanovits
,
"
Uniform Execution Environment for Dynamic Reconfiguration
",
Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems
, Nashville, TN, pp. 181--187, March, 1999.
Tagged
XML
BibTex
Google Scholar
Download:
Bapty_T_3_0_1999_Uniform_Ex.PDF
(57.12 KB)
Nordstrom, G.
,
J. Sztipanovits
,
G. Karsai
, and
A. Ledeczi
,
"
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments
",
Proceedings of the IEEE ECBS'99 Conference
, Nashville, Tennessee, pp. 68--74, April, 1999.
Tagged
XML
BibTex
Google Scholar
Download:
Nordstrom_GG_4_0_1999_Metamodeli.pdf
(67.92 KB)
Brophy, S.
,
G. Biswas
,
T. Katzlberger
,
J. Bransford
, and
D. Schwartz
,
"
Teachable agents: Combining insights from learning theory and computer science
",
Artificial Intelligence in Education
, 1999.
Tagged
XML
BibTex
Google Scholar
Download:
aied99.pdf
(446.63 KB)
1998
Davis, J.
,
J. Scott
,
J. Sztipanovits
,
G. Karsai
, and
M. Martinez
,
"
An Integrated Multi-Domain Analysis Environment for High Consequence Systems
",
Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532
, Altanta, GA, September, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Davis_J_9_0_1998_An_Integtr.pdf
(251.31 KB)
Scott, J.
,
T. Bapty
,
S. Neema
, and
J. Sztipanovits
,
"
Model-Integrated Environment for Adaptive Computing
",
Proceedings of the Military and Aerospace Applications of Programmable Devices and Technologies Conference
, Greenbelt, MA, September, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Scott_J_9_0_1998_Model_Inte.pdf
(65.99 KB)
Misra, A.
,
G. Provan
,
G. Karsai
,
G. Bloor
, and
E. Scarl
,
"
A Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable Properties
",
IEEE International Conference on Systems, Man and Cybernetics
, San Diego, CA, October, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Misra_A_10_0_1998_A_Generic_.pdf
(102.01 KB)
Long, E.
,
A. Misra
, and
J. Sztipanovits
,
"
Saturn Site Production Flow (SSPF): Accomplishments and Challenges
",
Engineering of Computer Based Systems
, Jerusalem, Israel, pp. 248--255, March, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Long_E_3_0_1998_Saturn_Sit.pdf
(112.49 KB)
Sztipanovits, J.
, and
G. Karsai
,
"
Self-Adaptive Software for Signal Processing
",
Communications of the ACM
, vol. 41, pp. 55--65, March, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Sztipanovi_J_0_0_1998_Self_Adapt.pdf
(66.17 KB)
Long, E.
,
A. Misra
, and
J. Sztipanovits
,
"
Increasing Productivity at Saturn
",
IEEE Computer Magazine
, August, 1998.
Tagged
XML
BibTex
Google Scholar
Davis, J.
,
J. Scott
,
J. Sztipanovits
,
G. Karsai
, and
M. Martinez
,
"
Integrated Analysis Environment for High Impact Systems
",
Proceedings of the Engineering of Computer Based Systems
, Jerusalem, Israel, pp. 218--225, April, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Davis_J_9_0_1998_Integrated.pdf
(141.59 KB)
Nordstrom, G.
,
J. Sztipanovits
, and
G. Karsai
,
"
Metalevel Extension of the MultiGraph Architecture
",
Proceedings of the IEEE ECBS'98 Conference
, Jerusalem, Israel, pp. 61--68, April, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Nordstrom_GG_4_0_1998_Metalevel_.pdf
(118.28 KB)
Brophy, S.
,
D. Schwartz
,
G. Biswas
, and
J. Bransford
,
"
Learning through programmable agents
",
Paper presented at Workshop on Pedagogical Agents
, San Antonio, TX, ITS, 1998.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
J. Sztipanovits
, and
H. Franke
,
"
Towards Specification of Program Synthesis in Model-Integrated Computing
",
ECBS-98
, Jerusalem, Israel, pp. 226--233, 1998.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_1998_Towards_Sp.pdf
(359.33 KB)
1997
Sztipanovits, J.
, and
G. Karsai
,
"
Model-Integrated Computing Environment
",
ACM SIGSOFT Software Engineering Notes
, vol. 22, pp. 72--73, September, 1997.
Tagged
XML
BibTex
Google Scholar
Misra, A.
,
E. Long
, and
J. Sztipanovits
,
"
Evolutionary Design for Manufacturing Execution Systems
",
World Manufacturing Congress
, Auckland, New Zealand, November, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Misra_A_11_0_1997_Evolutiona.pdf
(171.95 KB)
Franke, H.
,
J. Sztipanovits
, and
G. Karsai
,
"
Model-Integrated Computing
",
Hawaii Systems of the World Manufacturing Congress
, Auckland, New Zealand, November, 1997.
Tagged
XML
BibTex
Google Scholar
Bapty, T.
, and
J. Sztipanovits
,
"
Model-Based Engineering of Large-Scale Real-Time Systems
",
Proceedings of the the Engineering of Computer Based Systems (ECBS) Conference
, Monterey, CA, pp. 467--474, March, 1997.
Tagged
XML
BibTex
Google Scholar
Misra, A.
,
G. Karsai
,
J. Sztipanovits
,
A. Ledeczi
, and
M. Moore
,
"
A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing
",
International Conference and Workshop on Engineering of Computer Based Systems
, Monterey, CA, pp. 203--210, March, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Misra_A_3_24_1997_A_Model_In.pdf
(170.66 KB)
Misra, A.
,
G. Karsai
, and
J. Sztipanovits
,
"
Model-Integrated Development of Complex Applications
",
Fifth International Symposium on Assessment of Software Tools
, Pittsburgh, PA, pp. 14--23, June, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Misra_A_6_0_1997_Model_Inte.pdf
(235.84 KB)
Moore, M.
,
J. Sztipanovits
,
G. Karsai
, and
J. Nichols
,
"
A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing
",
SPIE Conference on Parallel and Distributed Methods for Image Processing
, San Diego, CA, pp. 31--45, June, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Moore_MS_6_0_1997_A_Model_In.pdf
(265.03 KB)
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)
Karsai, G.
,
J. Sztipanovits
,
A. Ledeczi
, and
M. Moore
,
"
Model-Integrated System Development: Models, Architecture and Process
",
21st Annual International Computer Software and Application Conference (COMPSAC)
, Bethesda, MD, pp. 176--181, August, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_8_0_1997_Model_Inte.pdf
(4.73 MB)
Sztipanovits, J.
, and
G. Karsai
,
"
Model-Integrated Computing
",
IEEE Computer
, vol. 30, pp. 110--112, April, 1997.
Tagged
XML
BibTex
Google Scholar
Download:
Sztipanovi_J_4_0_1997_Model_Inte.pdf
(53.27 KB)
1996
Sztipanovits, J.
, and
A. Misra
,
"
Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams
",
Seventh International Workshop on Principles of Diagnosis
, Val Morin, Quebec, October, 1996.
Tagged
XML
BibTex
Google Scholar
Download:
Sztipanovi_J_10_0_1996_Diagnosis_.pdf
(71.52 KB)
Sztipanovits, J.
,
Safety Analysis and Diagnosis in a Model-Integrated Computing Framework
,
, Workshop on Model-Integrated Computing, Nashville, TN, Institute for Software Integrated Systems, June, 1996.
Tagged
XML
BibTex
Google Scholar
Download:
Sztipanovi_J_6_0_1996_Safety_Ana.pdf
(72.52 KB)
Davis, J.
,
T. Bapty
,
G. Karsai
,
D. Malloy
,
J. Sztipanovits
, and
T. Tibbals
,
"
Model Based Data Validation
",
Proceedings of the Joint Technology Showcase on Integrated Monitoring, Diagnostics, and Failure Prevention
, Mobile, AL, April, 1996.
Tagged
XML
BibTex
Google Scholar
Scott, J.
,
"
Method for Modeling and Verification of Real-Time Systems
",
Master's Thesis
: Vanderbilt University, 1996.
Tagged
XML
BibTex
Google Scholar
Download:
Scott_J_0_0_1996_Method_for.pdf
(293.57 KB)
Karsai, G.
,
S. Padalkar
,
H. Franke
, and
J. Sztipanovits
,
"
A Practical Method For Creating Plant Diagnostics Applications
",
Integrated Computer-Aided Engineering
, vol. 3, pp. 291--304, 1996.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_1996_A_Practica.pdf
(364.48 KB)
1995
Karsai, G.
,
J. Sztipanovits
,
S. Padalkar
, and
F. DeCaria
,
"
Model-embedded On-line Problem Solving Environment for Chemical Engineering
",
International Conference on Engineering of Complex Computer Systems
, Ft Lauderdale, FL, pp. 227--233, November, 1995.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_11_6_1995_Model_embe.pdf
(180.47 KB)
Sztipanovits, J.
,
G. Karsai
,
C. Biegl
,
T. Bapty
,
A. Ledeczi
, and
D. Malloy
,
"
MULTIGRAPH: An Architecture for Model-Integrated Computing
",
Proceedings of the International Conference on Engineering of Complex Computer Systems
, Ft. Lauderdale, FL, pp. 361--368, November, 1995.
Tagged
XML
BibTex
Google Scholar
Download:
Sztipanovi_J_11_6_1995_MULTIGRAPH.pdf
(146.05 KB)
Padalkar, S.
,
G. Karsai
,
J. Sztipanovits
, and
F. DeCaria
,
"
Online Diagnostics Makes Manufacturing More Robust
",
Chemical Engineering Magazine
, pp. 80--83, March, 1995.
Tagged
XML
BibTex
Google Scholar
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
Ledeczi, A.
,
T. Bapty
,
G. Karsai
, and
J. Sztipanovits
,
"
Modeling Paradigm for Parallel Signal Processing
",
The Australian Computer Journal
, vol. 27, pp. 92--102, August, 1995.
Tagged
XML
BibTex
Google Scholar
Bapty, T.
,
A. Ledeczi
,
J. Sztipanovits
, and
J. Davis
,
"
Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques
",
Proceedings of the the Software Engineering Research Forum
, Boca Raton, FL, 1995.
Tagged
XML
BibTex
Google Scholar
1994
Karsai, G.
,
S. Padalkar
,
J. Sztipanovits
, and
F. DeCaria
,
"
Activity Modeling
",
Foundation of Computer Aided Process Design, microfilm publication
, Snowmass, CO, July, 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
Moore, M.
,
G. Karsai
, and
J. Sztipanovits
,
"
Model-Based Programming for Parallel Image Processing
",
IEEE International Conference on Image Processing
, Austin, TX, pp. 811--815, January, 1994.
Tagged
XML
BibTex
Google Scholar
« first
‹ previous
…
3
4
5
6
7
8
9
10
11
next ›
last »