Heym, W., Sivilotti, P.A.G., Bucci, P., Sitaraman, M., Plis, K., Hollingsworth, J.E., Krone, J., and Sridhar, N., "Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions," 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), Savannah, GA, 2017, pp. 202-211. [Web] [PDF]

Kulczycki, G., Sitaraman, M., Krone, J., Hollingsworth, J.E., Ogden, W.F., Weide, B.W., Bucci, P., Cook, C.T., Drachova, S., Durkee, B., Harton, H., Heym, W., Hoffman, D., Smith, H., Sun, Y., Tagore, A., Yasmin, N., and Zaccai, D., "A Language for Building Verified Software Components", Proceedings 2013 International Conference on Software Reuse, June 2013, 308-314. [PDF]

Sitaraman, M., Adcock, B., Avigad, J., Bronish, D., Bucci, B., Frazier, D., Friedman, H.M., Harton, Heym, W., Kirschenbaum, J., Krone, J., Smith, H., and Weide, B.W., "Building a Push-Button RESOLVE Verifier: Progress and Challenges", Formal Aspects of Computing 23, 5 (2011), 607-626. [PDF]