Login / Signup
Blair Durkee
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Logical Reasoning
Development Environments
Software Components
Top Venues
ICSR
ICOOOLPS@ECOOP
F-IDE
</>
Publications
</>
Daniel Welch
,
Blair Durkee
,
Mike Kabbani
,
Murali Sitaraman
Formalization IDEs Integrated with a Verifying Compiler.
ICOOOLPS@ECOOP
(2017)
Nabil M. Kabbani
,
Daniel Welch
,
Caleb H. Priester
,
Stephen Schaub
,
Blair Durkee
,
Yu-Shan Sun
,
Murali Sitaraman
Formal Reasoning Using an Iterative Approach with an Integrated Web IDE.
F-IDE
(2015)
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
A Language for Building Verified Software Components.
ICSR
(2013)