Travelled to:1 × Ireland
1 × United Kingdom
2 × France
5 × USA
Collaborated with:K.Havelund R.Kuiper A.Pnueli G.Reger D.E.Rydeheard G.Gough D.Giannakopoulou C.S.Pasareanu V.Stavridou D.A.Edwards A.Goldberg K.Sen M.Fisher D.M.Gabbay A.Hunter Y.Falcone
Talks about:tempor (4) verif (4) specif (3) logic (3) runtim (2) trace (2) base (2) quantifi (1) parametr (1) contract (1)
Person: Howard Barringer
DBLP: Barringer:Howard
Contributed to:
2013
20122011
20042002
1991
1988
1988
1986
1984Wrote 10 papers:
- ASE-2013-RegerBR #approach #mining #parametricity #specification
- A pattern-based approach to parametric specification mining (GR, HB, DER), pp. 658–663.
- FM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #runtime #towards
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.
- FM-2011-BarringerH #analysis #domain-specific language #named #scala
- TraceContract: A Scala DSL for Trace Analysis (HB, KH), pp. 57–72.
- VMCAI-2004-BarringerGHS #rule-based #runtime #verification
- Rule-Based Runtime Verification (HB, AG, KH, KS), pp. 44–57.
- ASE-2002-GiannakopoulouPB #component #generative #verification
- Assumption Generation for Software Component Verification (DG, CSP, HB), pp. 3–12.
- KR-1991-BarringerFGH #execution #logic
- Meta-Reasoning in Executable Temporal Logic (HB, MF, DMG, AH), pp. 40–49.
- DAC-1988-StavridouBE #case study #comparative #hardware #specification #verification
- Formal Specification and Verification of Hardware: A Comparative Case Study (VS, HB, DAE), pp. 197–204.
- ESOP-1988-GoughB #semantics #verification
- A Semantics Driven Temporal Verification System (GG, HB), pp. 21–33.
- POPL-1986-BarringerKP #concurrent #logic
- A Really Abstract Concurrent Model and its Temporal Logic (HB, RK, AP), pp. 173–183.
- STOC-1984-BarringerKP #logic #specification
- Now You May Compose Temporal Logic Specifications (HB, RK, AP), pp. 51–63.