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 computing, computer science, and formal methods.

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

Computing, Computer Engineering, Computer Science +16

Assumption generation for software component verification

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

Computing, Computer Science, Formal Methods +10

A logic covering undefinedness in program proofs

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

Computing, Computer Science, Formal Methods +11

A really abstract concurrent model and its temporal logic

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

Computing, Computer Science, Computer Systems +17

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

Computing, Computer Science, Computer Systems +15

1–5 of 41