| 2012 | FM | Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. | Howard Barringer, Ylis Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard |
| 2011 | FM | TraceContract: A Scala DSL for Trace Analysis. | Howard Barringer, Klaus Havelund |
| 2011 | RV | Internal versus External DSLs for Trace Analysis - (Extended Abstract). | Howard Barringer, Klaus Havelund |
| 2010 | CADE | Automated Reasoning in the Simulation of Evolvable Systems. | Djihed Afifi, David E. Rydeheard, Howard Barringer |
| 2010 | RV | ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. | Djihed Afifi, David E. Rydeheard, Howard Barringer |
| 2009 | ICECCS | An Integrated Specification Logic for Cyber-Physical Systems. | Marius C. Bujorianu, Howard Barringer |
| 2009 | RV | Rule Systems for Runtime Verification: A Short Tutorial. | Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce |
| 2008 | RV | Forays into Sequential Composition and Concatenation in Eagle. | Joachim Baran, Howard Barringer |
| 2007 | RV | From Runtime Verification to Evolvable Systems. | Howard Barringer, Dov M. Gabbay, David E. Rydeheard |
| 2007 | RV | Rule Systems for Run-Time Monitoring: From Eagleto RuleR. | Howard Barringer, David E. Rydeheard, Klaus Havelund |
| 2007 | TASE | A Logical Framework for Monitoring and Evolving Software Components. | Howard Barringer, David E. Rydeheard, Dov M. Gabbay |
| 2007 | WoLLIC | A Grammatical Representation of Visibly Pushdown Languages. | Joachim Baran, Howard Barringer |
| 2004 | VMCAI | Rule-Based Runtime Verification. | Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen |
| 1991 | KR | Meta-Reasoning in Executable Temporal Logic. | Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter |
| 1988 | CONCUR | Executing Temporal Logic: Review and Prospects (Abstract). | Howard Barringer, Dov M. Gabbay |
| 1988 | DAC | Formal Specification and Verification of Hardware: A Comparative Case Study. | Victoria Stavridou, Howard Barringer, David A. Edwards |
| 1988 | ESOP | A Semantics Driven Temporal Verification System. | Graham Gough, Howard Barringer |
| 1986 | POPL | A Really Abstract Concurrent Model and its Temporal Logic. | Howard Barringer, Ruurd Kuiper, Amir Pnueli |
| 1984 | CONCUR | Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. | Howard Barringer, Ruurd Kuiper |
| 1984 | STOC | Now You May Compose Temporal Logic Specifications | Howard Barringer, Ruurd Kuiper, Amir Pnueli |