World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
31
Citations
5207
World Ranking
13504
National Ranking
861

Overview

Howard Barringer is affiliated with the University of Manchester in the United Kingdom. Their academic profile reflects ongoing contributions to research through institutional association, although there are no recorded recent papers or detailed publication records available.

Their work does not have publicly listed frequent co-authors or repeated publication venues, indicating either a diverse collaborative network or a focus outside widely indexed conferences and journals.

Information about fields of study, subfields, main topics of work, and book publications is not documented, limiting specific insight into their scientific specialization or thematic focus within academia.

There are no recorded awards associated with Howard Barringer. The available data does not suggest any particular accolades or recognitions in their career to date.

Based on the provided information, Howard Barringer remains an active academic presence without detailed publicly available bibliographic or topic-specific records. Their affiliation with a major research university reflects an ongoing engagement in research, likely spanning multiple areas that are currently undocumented in this dataset.

Best Publications

  • Rule-Based Runtime Verification

    Howard Barringer;Allen Goldberg;Klaus Havelund;Koushik Sen

  • Now you may compose temporal logic specifications

    Howard Barringer;Ruurd Kuiper;Amir Pnueli

  • A logic covering undefinedness in program proofs

    H. Barringer;J. H. Cheng;C. B. Jones

  • Assumption generation for software component verification

    D. Giannakopoulou;C.S. Pasareanu;H. Barringer

  • A really abstract concurrent model and its temporal logic

    Howard Barringer;Ruurd Kuiper;Amir Pnueli

  • Rule Systems for Run-time Monitoring

    Howard Barringer;David Rydeheard;Klaus Havelund

  • METATEM: A Framework for Programming in Temporal Logic

    Howard Barringer;Michael Fisher;Dov M. Gabbay;Graham Gough

  • Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

    Howard Barringer;Yliès Falcone;Klaus Havelund;Giles Reger

  • The imperative future: principles of executable temporal logic

    Howard Barringer;Michael Fisher;Dov Gabbay;Richard Owens

  • Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning

    Corina S. Păsăreanu;Dimitra Giannakopoulou;Mihaela Gheorghiu Bobaru;Jamieson M. Cobleigh

  • TRACECONTRACT: a scala DSL for trace analysis

    Howard Barringer;Klaus Havelund

  • Combining test case generation and runtime verification

    Cyrille Artho;Howard Barringer;Allen Goldberg;Klaus Havelund

  • Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.

    Howard Barringer;Dov M. Gabbay;John Woods

  • Proof Rules for Automated Compositional Verification through Learning

    Howard Barringer;Dimitra Giannakopolou;Corina Pasareanu

  • MetateM: An introduction

    H. Barringer;M. Fisher;D. Gabbay;G. Gough

  • Life Cycle Cost Tutorial

    Unknown

  • Formal Analysis of Log Files

    Howard Barringer;Alex Groce;Klaus Havelund;Margaret H. Smith

  • Rule systems for run-time monitoring: from eagle to ruler

    Howard Barringer;David Rydeheard;Klaus Havelund

  • Temporal Logic with Fixed Points

    Behnam Banieqbal;Howard Barringer

  • A Purpose-Based Access Control Model

    Naikuo Yang;H. Barringer;Ning Zhang

  • Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology Initial Results

    Howard Barringer;Dov Gabbay;John Woods

Frequent Co-Authors

Dov M. Gabbay
Dov M. Gabbay University of Luxembourg
Klaus Havelund
Klaus Havelund Jet Propulsion Lab
Michael Fisher
Michael Fisher University of Manchester
Amir Pnueli
Amir Pnueli Weizmann Institute of Science
Koushik Sen
Koushik Sen University of California, Berkeley
Corina S. Pasareanu
Corina S. Pasareanu Carnegie Mellon University
Alex Groce
Alex Groce Northern Arizona University
Willem Visser
Willem Visser Amazon (United States)
Costas Courcoubetis
Costas Courcoubetis Chinese University of Hong Kong, Shenzhen
Grigore Rosu
Grigore Rosu University of Illinois at Urbana-Champaign

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens diverse career avenues, especially when explored alongside related fields. For instance, environmental science is increasingly driven by data and technology. If you’re curious about sustainability, consider learning more about what jobs can you get with an environmental science degree for tech-integrated green careers.

Many students prefer the flexibility of digital learning. Accredited online computer science degree programs let you earn your credentials quickly and conveniently. These degrees are well-suited to working professionals or those needing a more adaptable schedule.

Engineering offers a pathway for students interested in building the tech of tomorrow. You can opt for synergistic fields, such as environmental engineering degrees online, which blend environmental studies with technical problem-solving, or a practical online degree in mechanical engineering to work in robotics, manufacturing, and beyond.

Exploring these related online degrees can widen your skill set and broaden your career horizons, helping you find the best fit for your professional goals.

Best Scientists Citing Howard Barringer