Concepedia

Howard Barringer

HB

Statistics

Publications

41

Citations

2.4K

H-Index

24

Active since

1964

Affiliations

University of Manchester(Current)

Ames Research Center

Research Institute for Advanced Computer Science

Kestrel Technology (United States)

Jet Propulsion Laboratory

Howard Barringer is an author at University of Manchester specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationSystems EngineeringAutomated ReasoningSystem SoftwareProgram AnalysisSoftware Analysis

Publications per year

1964–2013

41

Publications

41

Now you may compose temporal logic specifications

Howard Barringer, Ruurd Kuiper, Amir Pnueli · 1984 · 266 citations · Full text

Engineering, Temporal Logic Specifications, Verification +19

Assumption generation for software component verification

Dimitra Giannakopoulou, Corina S. Păsăreanu, Howard Barringer · 2002 · 184 citations

Software Maintenance, Engineering, Verification +20

A logic covering undefinedness in program proofs

Howard Barringer, Jinsong Cheng, Cliff B. Jones · Acta Informatica · 1984 · 172 citations

Engineering, Automated Reasoning, Proof Complexity +8

A really abstract concurrent model and its temporal logic

Howard Barringer, Ruurd Kuiper, Amir Pnueli · 1986 · 157 citations

Engineering, Verification, Concurrent System +19

Rule Systems for Run-time Monitoring: from EAGLE to RULER

Howard Barringer, David Rydeheard, Klaus Havelund · Journal of Logic and Computation · 2008 · 154 citations · Full text

1–5 of 41