Concepedia

Morgan Deters

MD

12

Publications

366

Citations

11

H-Index

2002

Active since

Affiliations

New York University(Current)

Washington University in St. Louis

Centre National de la Recherche Scientifique

University of Iowa

Universitat Politècnica de Catalunya

Morgan Deters is an author at New York University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisSoftware AnalysisComputer EngineeringSoftware Engineering

Publications per year

2002–2017

12

Publications

12

6 Years of SMT-COMP

Clark Barrett, Morgan Deters, Leonardo de Moura et al. · Journal of Automated Reasoning · 2012 · 54 citations

Technology Readiness Level, Business Continuity Planning, End-of-life Product +2

An efficient SMT solver for string constraints

Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze et al. · Formal Methods in System Design · 2016 · 54 citations

Computational Science, Constraint Solving, Engineering +7

Automated discovery of scoped memory regions for real-time Java

Morgan Deters, Ron K. Cytron · 2002 · 52 citations

Engineering, Computer Architecture, Software Engineering +20

DESIGN AND RESULTS OF THE 3RD ANNUAL SATISFIABILITY MODULO THEORIES COMPETITION (SMT-COMP 2007)

Clark Barrett, Morgan Deters, Albert Oliveras et al. · International Journal of Artificial Intelligence Tools · 2008 · 39 citations

Decision Procedure, Smt-comp 2007, Design And Results +15

Verified programming in Guru

Aaron Stump, Morgan Deters, Adam Petcher et al. · 2009 · 39 citations

Dependently Typed Programming, Program Checking, Engineering +14

Rows per page

1–5 of 12