Search by title, author, keywords, etc.

2000

publication

Model Integrated Program Synthesis of Agent Interaction Protocols

Authored by Jonathan Sprinkle
publication

Model Integrated Computing-Based Software Design and Evolution

Authored by Greg Nordstrom, Gabor Karsai, Michael Moore, Ted Bapty, and Janos Sztipanovits
publication

Extended Relational Models for Diagnosis

Authored by Tal Pasternak
publication

Reconfigurable Target Recognition System

Authored by Gabor Szedo, Sandeep Neema, Jason Scott, and Ted Bapty
publication

Integrated Diagnostics for Electric Utilities

Authored by Michael Moore, Saeed Monemi, and Jianfeng Wang
publication

Initial PCES PI Meeting: Constraint-Based Embedded Program Composition

Authored by Ted Bapty, Jeff Gray, and Sandeep Neema
publication

Building observers to address fault isolation and control problems in hybrid dynamic systems

Authored by Sriram Narasimhan, Gautam Biswas, Gabor Karsai, Tal Pasternak, and Feng Zhao
publication

Qualitative Dynamic Behavior of Physical System Models With Algebraic Loops

Authored by Pieter Mosterman, Eric Manders, and Gautam Biswas
publication

An Integrated Framework for Combining Global and Local Analysis in Diagnosing Hybrid Systems

Authored by Sriram Narasimhan, Feng Zhao, Gautam Biswas, and E. Hung
publication

Fault Isolation in Hybrid Systems combining Model Based Diagnosis and Signal Processing

Authored by Sriram Narasimhan, Feng Zhao, Gautam Biswas, and E. Hung
publication

A Combined Qualitative/Quantitative Approach for Fault Isolation in Continuous Dynamic Systems

Authored by Eric Manders, Sriram Narasimhan, Gautam Biswas, and Pieter Mosterman
publication

Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems

Authored by Pieter Mosterman and Gautam Biswas
publication

Synthesis of Self-Adaptive Software

Authored by Akos Ledeczi, Ted Bapty, and Gabor Karsai
publication

Modeling and Instrumentation for Fault Detection and Isolation of a Cooling System

Authored by Pieter Feenstra, Eric Manders, Pieter Mosterman, Gautam Biswas, and Robert Barnett
publication

Model-Integrated Program Synthesis Environment

Authored by Janos Sztipanovits, Gabor Karsai, and Hubertus Franke
publication

Formalizing the Specification of Graphical Modeling Languages

Authored by Greg Nordstrom
publication

Design Tool Integration: An Exercise in Semantic Interoperability

Authored by Gabor Karsai
publication

Component Generation Technology for Semantic Tool Integration

Authored by Gabor Karsai and Jeff Gray
publication

Automating Human Based Negotiation Processes for Autonomic Logistics

Authored by Gabor Karsai, George Bloor, and Jon Doyle
publication

Integrated Safety, Reliability, and Diagnostics of High Assurance, High Consequence Systems

Authored by James Davis
publication

Hardware/Software Runtime Environment for Dynamically Reconfigurable Systems

Authored by Jason Scott, Sandeep Neema, Ted Bapty, and Ben Abbott
publication

Diagnostics and Integration in Electric Utilities

Authored by Michael Moore, Saeed Monemi, Jianfeng Wang, James Marble, and Steve Jones
publication

Diagnosis of a Continuous Dynamic System from Distributed Measurements

Authored by Eric Manders and Lee Barford
publication

Towards Two-Level Formal Modeling of Computer-Based Systems

Authored by Gabor Karsai, Greg Nordstrom, Akos Ledeczi, and Janos Sztipanovits
publication

Towards a Paradigm for Activity Modeling

Authored by Jason Garrett, Akos Ledeczi, and Frank DeCaria
Download CSV