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.
Download: Davis_J_3_0_1999_Multi_Doma.pdf (73.25 KB)
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.
Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 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.
Daigle, M., X. Koutsoukos, and G. Biswas,
"Relative Measurement Orderings in Diagnosis of Distributed Physical Systems",
43rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, pp. 1707--1716, September, 2005.
Download: Daigle_MJ_9_0_2005_Relative_M.pdf (160.46 KB)