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)
Ledeczi, A., J. Davis, S. Neema, and A. Agrawal,
"Modeling Methodology for Integrated Simulation of Embedded Systems",
ACM Transactions on Modeling and Computer Simulation, vol. 13, pp. 82--103, January, 2003.
Download: Ledeczi_A_0_0_2003_Modeling_M.pdf (231.04 KB)
Bapty, T., J. Davis, M. Eby, and J. Scott,
"Model Based Development in the FACE Ecosystem",
FACE Consortium Keynote Address, Linthicum, MD, Future Airborne Capability Environment Consortium - The Open Group, 02/2012.
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.
Agrawal, A., A. Bakshi, J. Davis, B. Eames, A. Ledeczi, S. Mohanty, V. Mathur, S. Neema, G. Nordstrom, V. Prasanna, et al.,
"MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems",
Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), Snowbird, UT, June, 2001.
Download: Agrawal_A_6_0_2001_MILAN__A_M.pdf (121.36 KB)