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.
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.
Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
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)
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)