The Portable Compiling Systems of MUSS. - Howard Barringer; P. C. Capon; R. Philips (Softw. Pract. Exp., 1979)

Towards the Hierarchical, Temporal Logic, Specification. - Howard Barringer; Ruurd Kuiper 001 (The Analysis of Concurrent Systems, 1983)

Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. - Howard Barringer; Ruurd Kuiper 001 (Seminar on Concurrency, 1984)

Now You May Compose Temporal Logic Specifications - Howard Barringer; Ruurd Kuiper 001; Amir Pnueli (STOC, 1984)

A Logic Covering Undefinedness in Program Proofs. - Howard Barringer; J. H. Cheng; Cliff B. Jones (Acta Informatica, 1984)

A Survey of Verification Techniques for Parallel Programs - Howard Barringer (Springer, 1985)

A Really Abstract Concurrent Model and its Temporal Logic. - Howard Barringer; Ruurd Kuiper 001; Amir Pnueli (POPL, 1986)

A Proof System for Ada Tasks. - Howard Barringer; Ian Mearns (Comput. J., 1986)

Temporal Logic with Fixed Points. - Behnam Banieqbal; Howard Barringer (Temporal Logic in Specification, 1987)

Up and Down The Temporal Way. - Howard Barringer (Comput. J., 1987)

Executing Temporal Logic: Review and Prospects (Abstract). - Howard Barringer; Dov M. Gabbay (Concurrency, 1988)

Formal Specification and Verification of Hardware: A Comparative Case Study. - Victoria Stavridou; Howard Barringer; David A. Edwards (DAC, 1988)

A Semantics Driven Temporal Verification System. - Graham Gough; Howard Barringer (ESOP, 1988)

Fair SMG and Linear Time Model Checking. - Howard Barringer; Michael Fisher 001; Graham Gough (Automatic Verification Methods for Finite State Systems, 1989)

METATEM: A Framework for Programming in Temporal Logic. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Graham Gough; Richard Owens (REX Workshop, 1989)

Meta-Reasoning in Executable Temporal Logic. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Anthony Hunter (KR, 1991)

Editorial. - Howard Barringer (J. Log. Comput., 1991)

A Graph-Based Approach to Resolution in Temporal Logic. - Clare Dixon; Michael Fisher 001; Howard Barringer (ICTL, 1994)

Formal support for the ELLA hardwar description language. - Howard Barringer; Graham Gough; Brian Monahan; Alan R. Williams (CHARME, 1995)

A foundation for formal reuse of hardware. - Ana Cristina Vieira de Melo; Howard Barringer (CHARME, 1995)

METATEM: An Introduction. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Graham Gough; Richard Owens (Formal Aspects Comput., 1995)

Memory efficient state storage in Spin. - Willem Visser; Howard Barringer (The Spin Verification System, 1996)

A Process Algebra Foundation for Reasoning about Core ELLA. - Howard Barringer; Graham Gough; Brian Monahan; Alan R. Williams (Comput. J., 1996)

Languages, Meta-languages and METATEM, A Discussion Paper. - Howard Barringer; Graham Gough; Derek Brough; Dov M. Gabbay; Ian M. Hodkinson; Anthony Hunter; Richard Owens; Peter McBrien; Mark Reynolds 001; Michael Fisher 001 (Log. J. IGPL, 1996)

Efficient CTL* model checking for analysis of rainbow designs. - Willem Visser; Howard Barringer; Donal Fellows; Graham Gough; Alan R. Williams (CHARME, 1997)

Practical CTL* Model Checking: Should SPIN be Extended? - Willem Visser; Howard Barringer (Int. J. Softw. Tools Technol. Transf., 2000)

Assumption Generation for Software Component Verification. - Dimitra Giannakopoulou; Corina S. Pasareanu; Howard Barringer (ASE, 2002)

Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. - Howard Barringer; Donal Fellows; Graham Gough; Alan R. Williams (Comput. J., 2002)

Effective State Exploration for Model Checking on a Shared Memory Architecture. - Cornelia P. Inggs; Howard Barringer (PDMC@CONCUR, 2002)

Program Monitoring with LTL in EAGLE. - Howard Barringer; Allen Goldberg; Klaus Havelund; Koushik Sen (IPDPS, 2004)

Rule-Based Runtime Verification. - Howard Barringer; Allen Goldberg; Klaus Havelund; Koushik Sen (VMCAI, 2004)

CTL* Model Checking on a Shared-Memory Architecture. - Cornelia P. Inggs; Howard Barringer (PDMC, 2004)

Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. - Howard Barringer; Dov M. Gabbay; John Woods 001 (Mechanizing Mathematical Reasoning, 2005)

Modelling Evolvable Systems: A Temporal Logic View. - Howard Barringer; David E. Rydeheard (We Will Show Them! (1), 2005)

Component Verification with Automatically Generated Assumptions. - Dimitra Giannakopoulou; Corina S. Pasareanu; Howard Barringer (Autom. Softw. Eng., 2005)

Preface. - Howard Barringer; Bernd Finkbeiner; Yuri Gurevich; Henny B. Sipma (RV@CAV, 2005)

Combining test case generation and runtime verification. - Cyrille Artho; Howard Barringer; Allen Goldberg; Klaus Havelund; Sarfraz Khurshid; Michael R. Lowry; Corina S. Pasareanu; Grigore Rosu; Koushik Sen; Willem Visser; Richard Washington (Theor. Comput. Sci., 2005)

Modal Varieties of Temporal Logic. - Howard Barringer; Dov M. Gabbay (Handbook of Temporal Reasoning in Artificial Intelligence, 2005)

A Purpose-Based Access Control Model. - Naikuo Yang; Howard Barringer; Ning Zhang 001 (IAS, 2007)

From Runtime Verification to Evolvable Systems. - Howard Barringer; Dov M. Gabbay; David E. Rydeheard (RV, 2007)

Rule Systems for Run-Time Monitoring: From Eagleto RuleR. - Howard Barringer; David E. Rydeheard; Klaus Havelund (RV, 2007)

A Logical Framework for Monitoring and Evolving Software Components. - Howard Barringer; David E. Rydeheard; Dov M. Gabbay (TASE, 2007)

A Grammatical Representation of Visibly Pushdown Languages. - Joachim Baran; Howard Barringer (WoLLIC, 2007)

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. - Marius C. Bujorianu; Manuela-Luminita Bujorianu; Howard Barringer (CLIMA, 2008)

Forays into Sequential Composition and Concatenation in Eagle. - Joachim Baran; Howard Barringer (RV, 2008)

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. - Corina S. Pasareanu; Dimitra Giannakopoulou; Mihaela Gheorghiu Bobaru; Jamieson M. Cobleigh; Howard Barringer (Formal Methods Syst. Des., 2008)

An Integrated Specification Logic for Cyber-Physical Systems. - Marius C. Bujorianu; Howard Barringer (ICECCS, 2009)

Rule Systems for Runtime Verification: A Short Tutorial. - Howard Barringer; Klaus Havelund; David E. Rydeheard; Alex Groce (RV, 2009)

An Entry Point for Formal Methods: Specification and Analysis of Event Logs - Howard Barringer; Alex Groce; Klaus Havelund; Margaret H. Smith (FMA, 2009)

Modelling evolvable component systems: Part I: A logical framework. - Howard Barringer; Dov M. Gabbay; David E. Rydeheard (Log. J. IGPL, 2009)

Modal and Temporal Argumentation Networks. - Howard Barringer; Dov M. Gabbay (Essays in Memory of Amir Pnueli, 2010)

Automated Reasoning in the Simulation of Evolvable Systems. - Djihed Afifi; David E. Rydeheard; Howard Barringer (PAAR@IJCAR, 2010)

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. - Djihed Afifi; David E. Rydeheard; Howard Barringer (RV, 2010)

Formal Analysis of Log Files. - Howard Barringer; Alex Groce; Klaus Havelund; Margaret H. Smith (J. Aerosp. Comput. Inf. Commun., 2010)

Rule Systems for Run-time Monitoring: from Eagle to RuleR. - Howard Barringer; David E. Rydeheard; Klaus Havelund (J. Log. Comput., 2010)

Systems theory in an analytic setting. - Manuela-Luminita Bujorianu; Marius C. Bujorianu; Howard Barringer (CDC/ECC, 2011)

TraceContract: A Scala DSL for Trace Analysis. - Howard Barringer; Klaus Havelund (FM, 2011)

Internal versus External DSLs for Trace Analysis - (Extended Abstract). - Howard Barringer; Klaus Havelund (RV, 2011)

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. - Howard Barringer; Yliès Falcone; Klaus Havelund; Giles Reger; David E. Rydeheard (FM, 2012)

Temporal, numerical and meta-level dynamics in argumentation networks. - Howard Barringer; Dov M. Gabbay; John Woods 001 (Argument Comput., 2012)

Modal and temporal argumentation networks. - Howard Barringer; Dov M. Gabbay; John Woods 001 (Argument Comput., 2012)

A pattern-based approach to parametric specification mining. - Giles Reger; Howard Barringer; David E. Rydeheard (ASE, 2013)

Reactivity and Grammars: An Exploration. - Howard Barringer; David E. Rydeheard; Dov M. Gabbay (Language, Culture, Computation (1), 2014)

Automata-based Pattern Mining from Imperfect Traces. - Giles Reger; Howard Barringer; David E. Rydeheard (ACM SIGSOFT Softw. Eng. Notes, 2015)