Selected ISIS Presentations

Karsai G.: Tool Support for Design Patterns, NDIST 4 Workshop, December, 2001.

   

Bapty T., Gray J., Neema S.: February 2001 PCES PI Meeting: Constraint-Based Embedded Program Composition, San Diego, CA, February, 2001.

   

Bapty T., Gray J., Neema S.: Initial PCES PI Meeting: Constraint-Based Embedded Program Composition, Colorado Springs, CO, July 31, 2000.

   

Sztipanovits J.: Safety Analysis and Diagnosis in a Model-Integrated Computing Framework, Workshop on Model-Integrated Computing, Nashville, TN, June, 1996.

   

Misra A., Sztipanovits J., Underbrink A., Carnes J.: Diagnosability Analysis and Robust Diagnostics with Multiple Aspect Modeling, Abstracts of the NASA Workshop on Model-Based Diagnosis and Monitoring; Pasadena, CA, January, 1992.