Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits,
"Specifying Graphical Modeling Systems Using Constraint-based Metamodels",
IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.
Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)
Deva, D., J. Sprinkle, M. Maroti, and G. Nordstrom,
"Towards A Standard For Model Specification And Storage",
IEEE SMC 2000, Nashville, TN, September, 2000.
Eames, B., S. Neema, T. Bapty, and J. Scott,
"Interfacing a Simulation Engine to an Embedded Runtime Environment",
2000 IEEE International Conference on Systems, Man and Cybernetics, Nashville, TN, pp. 625--629, October, 2000.
Download: Eames_BK_10_11_2000_Interfacin.pdf (50.44 KB)
Sprinkle, J., C. van Buskirk, and G. Karsai,
"Modeling Agent Negotiation",
IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October, 2000.
Download: Sprinkle_JM_10_8_2000_Modeling_A.pdf (181.58 KB)
Karsai, G., G. Nordstrom, A. Ledeczi, and J. Sztipanovits,
"Towards Two-Level Formal Modeling of Computer-Based Systems",
Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.
Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
Sztipanovits, J., G. Karsai, and H. Franke,
"Model-Integrated Program Synthesis Environment",
Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany, pp. 348--355, March, 2000.
Download: Sztipanovi_J_0_0_2000_Model_Inte.pdf (218.64 KB)