Concepedia

Benjamin Delaware

BD

9

Publications

337

Citations

9

H-Index

2009

Active since

Affiliations

The University of Texas at Austin(Current)

Purdue University West Lafayette

Massachusetts Institute of Technology

Benjamin Delaware is an author at The University of Texas at Austin specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal SpecificationVerificationSoftware Design

Publications per year

2009–2019

9

Publications

9

Fiat

Benjamin Delaware, Clément Pit-Claudel, Jason Gross et al. · 2014 · 87 citations

Coq Proof Assistant, Formal Specification, Engineering +14

Fitting the pieces together

Benjamin Delaware, William R. Cook, Don Batory · 2009 · 68 citations

Software Maintenance, Engineering, Verification +28

Product lines of theorems

Benjamin Delaware, William R. Cook, Don Batory · 2011 · 46 citations

Theoretical Mathematics, Engineering, Verification +21

A machine-checked model of safe composition

Benjamin Delaware, William R. Cook, Don Batory · 2009 · 36 citations

Software Maintenance, Safety Case, Engineering +24

Modular monadic meta-theory

Benjamin Delaware, Steven Keuchel, Tom Schrijvers et al. · 2013 · 36 citations

Individual Language Features, Engineering, Language Constructs +16

Rows per page

1–5 of 9