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
ISIS VPN
Printers
Home
›
sztipaj
sztipaj
View
Publications
2000
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
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)
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)
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)
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)
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
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
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
Padalkar, S.
,
J. Sztipanovits
,
G. Karsai
,
N. Miyasaka
, and
K. Okuda
,
"
Real-Time Fault Diagnostics with Multiple-Aspect Models
",
IEEE International Conference on Robotics and Automation
, Sacramento, CA, pp. 803--808, April, 1994.
Tagged
XML
BibTex
Google Scholar
Misra, A.
,
J. Sztipanovits
, and
R. Carnes
,
"
Robust Diagnostics: Structural Redundancy Approach
",
Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE's Symposium on Intelligent Systems
, Orlando, FL, April, 1994.
Tagged
XML
BibTex
Google Scholar
Download:
Misra_A_4_0_1994_Robust_Dia.pdf
(233.04 KB)
1993
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
Pirjamali, R.
,
R. Summers
,
J. Sztipanovits
, and
E. Carson
,
"
Application of the Multigraph Architecture in Intelligent Patient Monitoring
",
IEEE-EMBS Annual Conference
, San Diego, CA, October, 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
,
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
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
Sztipanovits, J.
,
G. Karsai
,
M. Wilkes
, and
D. L. Lynd
,
"
The Multigraph and Structural Adaptivity
",
IEEE Transactions on Signal Processing
, vol. 41, pp. 2695--2717, August, 1993.
Tagged
XML
BibTex
Google Scholar
Summers, R.
,
R. Pirjamali
,
J. Sztipanovits
, and
E. Carson
,
"
Use of the Multigraph Architecture for the Development of Monitoring and Control in the High Dependency Environment
",
IMIA-IFMBE Working Conference on Biosignal Interpretation
, Denmark, pp. 185--188, August, 1993.
Tagged
XML
BibTex
Google Scholar
Karsai, G.
,
S. Padalkar
,
H. Franke
, and
J. Sztipanovits
,
"
"Model-based Programming Tools for Integrated Monitoring, Simulation, Diagnosis, and Control"
",
Proc. of Computing in Aerospace 9, AIAA paper 93-4578
, 1993.
Tagged
XML
BibTex
Google Scholar
Download:
Karsai_G_0_0_1993_Model_base.pdf
(141.99 KB)
Sztipanovits, J.
,
R. Carnes
, and
A. Misra
,
"
Finite-State temporal Automata Modeling for Fault Diagnosis
",
Computing in Aerospace, 9th AIAA Conference
, Sand Diego, 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
1992
Misra, A.
,
J. Sztipanovits
,
A. Underbrink
,
R. Carnes
, and
B. Purves
,
"
Diagnosability of Dynamical Systems
",
Third International Workshop on Principles of Diagnosis
, Rosario, WA, October, 1992.
Tagged
XML
BibTex
Google Scholar
Download:
Misra_A_10_0_1992_Diagnosabi.pdf
(193.24 KB)
Summers, R.
,
J. Sztipanovits
,
R. Pirjamali
, and
E. Carson
,
"
Model-Based Monitoring in Anaesthesia and Critical Care
",
3rd Annual Meeting of the European Society for Computing and Technology in Anaesthesia and Intensive Care
, Salzurg, Germany, October, 1992.
Tagged
XML
BibTex
Google Scholar
« first
‹ previous
1
2
3
4
next ›
last »