A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. - Nabil M. Kabbani; Daniel Welch 001; Caleb H. Priester; Stephen Schaub; Blair Durkee; Yu-Shan Sun; Murali Sitaraman (F-IDE, 2015)

Formalization IDEs Integrated with a Verifying Compiler. - Daniel Welch 001; Blair Durkee; Mike Kabbani; Murali Sitaraman (ICOOOLPS@ECOOP, 2017)