Howard Barringer

Publication Activity (10 Years)

Years Active: 1979-2015
Publications (10 Years): 0

Top Topics

Mildly Context Sensitive

Top Venues

Argument Comput.

Language, Culture, Computation (1)

Publications

Giles Reger, Howard Barringer, David E. Rydeheard
Automata-based Pattern Mining from Imperfect Traces. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Howard Barringer, David E. Rydeheard, Dov M. Gabbay
Reactivity and Grammars: An Exploration. Language, Culture, Computation (1) (2014)
Giles Reger, Howard Barringer, David E. Rydeheard
A pattern-based approach to parametric specification mining. ASE (2013)
Howard Barringer, Dov M. Gabbay, John Woods
Modal and temporal argumentation networks. Argument Comput. 3 (2-3) (2012)
Howard Barringer, Dov M. Gabbay, John Woods
Temporal, numerical and meta-level dynamics in argumentation networks. Argument Comput. 3 (2-3) (2012)
Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM (2012)
Manuela-Luminita Bujorianu, Marius C. Bujorianu, Howard Barringer
Systems theory in an analytic setting. CDC/ECC (2011)
Howard Barringer, Klaus Havelund
TraceContract: A Scala DSL for Trace Analysis. FM (2011)
Howard Barringer, Klaus Havelund
Internal versus External DSLs for Trace Analysis - (Extended Abstract). RV (2011)
Howard Barringer, Dov M. Gabbay
Modal and Temporal Argumentation Networks. Essays in Memory of Amir Pnueli (2010)
Djihed Afifi, David E. Rydeheard, Howard Barringer
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. RV (2010)
Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
Formal Analysis of Log Files. J. Aerosp. Comput. Inf. Commun. 7 (11) (2010)
Djihed Afifi, David E. Rydeheard, Howard Barringer
Automated Reasoning in the Simulation of Evolvable Systems. PAAR@IJCAR (2010)
Howard Barringer, David E. Rydeheard, Klaus Havelund
Rule Systems for Run-time Monitoring: from Eagle to RuleR. J. Log. Comput. 20 (3) (2010)
Marius C. Bujorianu, Howard Barringer
An Integrated Specification Logic for Cyber-Physical Systems. ICECCS (2009)
Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith
An Entry Point for Formal Methods: Specification and Analysis of Event Logs FMA (2009)
Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce
Rule Systems for Runtime Verification: A Short Tutorial. RV (2009)
Howard Barringer, Dov M. Gabbay, David E. Rydeheard
Modelling evolvable component systems: Part I: A logical framework. Log. J. IGPL 17 (6) (2009)
Joachim Baran, Howard Barringer
Forays into Sequential Composition and Concatenation in Eagle. RV (2008)
Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. CLIMA (2008)
Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods Syst. Des. 32 (3) (2008)
Naikuo Yang, Howard Barringer, Ning Zhang
A Purpose-Based Access Control Model. IAS (2007)
Howard Barringer, David E. Rydeheard, Klaus Havelund
Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV (2007)
Howard Barringer, David E. Rydeheard, Dov M. Gabbay
A Logical Framework for Monitoring and Evolving Software Components. TASE (2007)
Howard Barringer, Dov M. Gabbay, David E. Rydeheard
From Runtime Verification to Evolvable Systems. RV (2007)
Joachim Baran, Howard Barringer
A Grammatical Representation of Visibly Pushdown Languages. WoLLIC (2007)
Cornelia P. Inggs, Howard Barringer
model checking on a shared-memory architecture. Formal Methods Syst. Des. 29 (2) (2006)
Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma
Preface. Electron. Notes Theor. Comput. Sci. 144 (4) (2006)
Howard Barringer, Dov M. Gabbay, John Woods
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. Mechanizing Mathematical Reasoning (2005)
Cornelia P. Inggs, Howard Barringer
Model Checking on a Shared-Memory Architecture. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Howard Barringer, David E. Rydeheard
Modelling Evolvable Systems: A Temporal Logic View. We Will Show Them! (1) (2005)
Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12 (3) (2005)
Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
Combining test case generation and runtime verification. Theor. Comput. Sci. 336 (2-3) (2005)
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Rule-Based Runtime Verification. VMCAI (2004)
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
Program Monitoring with LTL in EAGLE. IPDPS (2004)
Cornelia P. Inggs, Howard Barringer
Effective State Exploration for Model Checking on a Shared Memory Architecture. Electron. Notes Theor. Comput. Sci. 68 (4) (2002)
Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
Assumption Generation for Software Component Verification. ASE (2002)
Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams
Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. Comput. J. 45 (1) (2002)
Willem Visser, Howard Barringer
Model Checking: Should SPIN be Extended? Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams
Efficient CTL* model checking for analysis of rainbow designs. CHARME (1997)
Willem Visser, Howard Barringer
Memory efficient state storage in Spin. The Spin Verification System (1996)
Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher
Languages, Meta-languages and METATEM, A Discussion Paper. Log. J. IGPL 4 (2) (1996)
Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams
A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39 (4) (1996)
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
METATEM: An Introduction. Formal Aspects Comput. 7 (5) (1995)
Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams
Formal support for the ELLA hardwar description language. CHARME (1995)
Ana Cristina Vieira de Melo, Howard Barringer
A foundation for formal reuse of hardware. CHARME (1995)
Clare Dixon, Michael Fisher, Howard Barringer
A Graph-Based Approach to Resolution in Temporal Logic. ICTL (1994)
Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter
Meta-Reasoning in Executable Temporal Logic. KR (1991)
Howard Barringer
Editorial. J. Log. Comput. 1 (5) (1991)
Howard Barringer, Michael Fisher, Graham Gough
Fair SMG and Linear Time Model Checking. Automatic Verification Methods for Finite State Systems (1989)
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
METATEM: A Framework for Programming in Temporal Logic. REX Workshop (1989)
Graham Gough, Howard Barringer
A Semantics Driven Temporal Verification System. ESOP (1988)
Victoria Stavridou, Howard Barringer, David A. Edwards
Formal Specification and Verification of Hardware: A Comparative Case Study. DAC (1988)
Howard Barringer, Dov M. Gabbay
Executing Temporal Logic: Review and Prospects (Abstract). Concurrency (1988)
Howard Barringer
Up and Down The Temporal Way. Comput. J. 30 (2) (1987)
Behnam Banieqbal, Howard Barringer
Temporal Logic with Fixed Points. Temporal Logic in Specification (1987)
Howard Barringer, Ruurd Kuiper, Amir Pnueli
A Really Abstract Concurrent Model and its Temporal Logic. POPL (1986)
Howard Barringer, I. Mearns
A Proof System for Ada Tasks. Comput. J. 29 (5) (1986)
Howard Barringer, J. H. Cheng, Cliff B. Jones
A Logic Covering Undefinedness in Program Proofs. Acta Informatica 21 (1984)
Howard Barringer, Ruurd Kuiper, Amir Pnueli
Now You May Compose Temporal Logic Specifications STOC (1984)
Howard Barringer, Ruurd Kuiper
Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Seminar on Concurrency (1984)
Howard Barringer, Ruurd Kuiper
Towards the Hierarchical, Temporal Logic, Specification. The Analysis of Concurrent Systems (1983)
Howard Barringer, P. C. Capon, R. Philips
The Portable Compiling Systems of MUSS. Softw. Pract. Exp. 9 (8) (1979)