Blair Durkee

According to our database, Blair Durkee authored at least 3 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Formalization IDEs Integrated with a Verifying Compiler.

Daniel Welch, Blair Durkee, Mike Kabbani, Murali Sitaraman

Proceedings of the 12th Workshop on Implementation, 2017

2015

Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.

Nabil M. Kabbani, Daniel Welch, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman

Proceedings of the Proceedings Second International Workshop on Formal Integrated Development Environment, 2015

2013

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, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013