Howard Barringer

According to our database, Howard Barringer authored at least 64 papers between 1979 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2015

Automata-based Pattern Mining from Imperfect Traces.

Giles Reger, Howard Barringer, David E. Rydeheard

ACM SIGSOFT Softw. Eng. Notes, 2015

2014

Reactivity and Grammars: An Exploration.

Howard Barringer, David E. Rydeheard, Dov M. Gabbay

Proceedings of the Language, Culture, Computation. Computing - Theory and Technology, 2014

2013

A pattern-based approach to parametric specification mining.

Giles Reger, Howard Barringer, David E. Rydeheard

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Modal and temporal argumentation networks.

Howard Barringer, Dov M. Gabbay, John Woods

Argument Comput., 2012

Temporal, numerical and meta-level dynamics in argumentation networks.

Howard Barringer, Dov M. Gabbay, John Woods

Argument Comput., 2012

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.

Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard

Proceedings of the FM 2012: Formal Methods, 2012

2011

Internal versus External DSLs for Trace Analysis - (Extended Abstract).

Howard Barringer, Klaus Havelund

Proceedings of the Runtime Verification - Second International Conference, 2011

TraceContract: A Scala DSL for Trace Analysis.

Howard Barringer, Klaus Havelund

Proceedings of the FM 2011: Formal Methods, 2011

Systems theory in an analytic setting.

Manuela-Luminita Bujorianu, Marius C. Bujorianu, Howard Barringer

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Rule Systems for Run-time Monitoring: from Eagle to RuleR.

Howard Barringer, David E. Rydeheard, Klaus Havelund

J. Log. Comput., 2010

Formal Analysis of Log Files.

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

J. Aerosp. Comput. Inf. Commun., 2010

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems.

Djihed Afifi, David E. Rydeheard, Howard Barringer

Proceedings of the Runtime Verification - First International Conference, 2010

Automated Reasoning in the Simulation of Evolvable Systems.

Djihed Afifi, David E. Rydeheard, Howard Barringer

Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010

Modal and Temporal Argumentation Networks.

Howard Barringer, Dov M. Gabbay

Proceedings of the Time for Verification, 2010

2009

Modelling evolvable component systems: Part I: A logical framework.

Howard Barringer, Dov M. Gabbay, David E. Rydeheard

Log. J. IGPL, 2009

An Entry Point for Formal Methods: Specification and Analysis of Event Logs

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

Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Rule Systems for Runtime Verification: A Short Tutorial.

Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce

Proceedings of the Runtime Verification, 9th International Workshop, 2009

An Integrated Specification Logic for Cyber-Physical Systems.

Marius C. Bujorianu, Howard Barringer

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

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

Forays into Sequential Composition and Concatenation in Eagle.

Joachim Baran, Howard Barringer

Proceedings of the Runtime Verification, 8th International Workshop, 2008

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.

Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer

Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

2007

A Grammatical Representation of Visibly Pushdown Languages.

Joachim Baran, Howard Barringer

Proceedings of the Logic, 2007

A Logical Framework for Monitoring and Evolving Software Components.

Howard Barringer, David E. Rydeheard, Dov M. Gabbay

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Rule Systems for Run-Time Monitoring: From Eagleto RuleR.

Howard Barringer, David E. Rydeheard, Klaus Havelund

Proceedings of the Runtime Verification, 7th International Workshop, 2007

From Runtime Verification to Evolvable Systems.

Howard Barringer, Dov M. Gabbay, David E. Rydeheard

Proceedings of the Runtime Verification, 7th International Workshop, 2007

A Purpose-Based Access Control Model.

Naikuo Yang, Howard Barringer, Ning Zhang

Proceedings of the Third International Symposium on Information Assurance and Security, 2007

2005

Modal Varieties of Temporal Logic.

Howard Barringer, Dov M. Gabbay

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 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

Preface.

Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma

Proceedings of the Fifth Workshop on Runtime Verification, 2005

Component Verification with Automatically Generated Assumptions.

Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer

Autom. Softw. Eng., 2005

Modelling Evolvable Systems: A Temporal Logic View.

Howard Barringer, David E. Rydeheard

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

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

Howard Barringer, Dov M. Gabbay, John Woods

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

CTL^* Model Checking on a Shared-Memory Architecture.

Cornelia P. Inggs, Howard Barringer

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Rule-Based Runtime Verification.

Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen

Proceedings of the Verification, 2004

Program Monitoring with LTL in EAGLE.

Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2002

Effective State Exploration for Model Checking on a Shared Memory Architecture.

Cornelia P. Inggs, Howard Barringer

Proceedings of the Parallel and Distributed Model Checking, 2002

Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design.

Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams

Comput. J., 2002

Assumption Generation for Software Component Verification.

Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2000

Practical CTL^* Model Checking: Should SPIN be Extended?

Willem Visser, Howard Barringer

Int. J. Softw. Tools Technol. Transf., 2000

1997

Efficient CTL* model checking for analysis of rainbow designs.

Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams

Proceedings of the Advances in Hardware Design and Verification, 1997

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, Michael Fisher

Log. J. IGPL, 1996

A Process Algebra Foundation for Reasoning about Core ELLA.

Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams

Comput. J., 1996

Memory efficient state storage in Spin.

Willem Visser, Howard Barringer

Proceedings of the Spin Verification System, 1996

1995

METATEM: An Introduction.

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens

Formal Aspects Comput., 1995

A foundation for formal reuse of hardware.

Ana Cristina Vieira de Melo, Howard Barringer

Proceedings of the Correct Hardware Design and Verification Methods, 1995

Formal support for the ELLA hardwar description language.

Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994

A Graph-Based Approach to Resolution in Temporal Logic.

Clare Dixon, Michael Fisher, Howard Barringer

Proceedings of the Temporal Logic, First International Conference, 1994

1991

Editorial.

Howard Barringer

J. Log. Comput., 1991

Meta-Reasoning in Executable Temporal Logic.

Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

1989

METATEM: A Framework for Programming in Temporal Logic.

Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Fair SMG and Linear Time Model Checking.

Howard Barringer, Michael Fisher, Graham Gough

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

A Semantics Driven Temporal Verification System.

Graham Gough, Howard Barringer

Proceedings of the ESOP '88, 1988

Formal Specification and Verification of Hardware: A Comparative Case Study.

Victoria Stavridou, Howard Barringer, David A. Edwards

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

Executing Temporal Logic: Review and Prospects (Abstract).

Howard Barringer, Dov M. Gabbay

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987

Up and Down The Temporal Way.

Howard Barringer

Comput. J., 1987

Temporal Logic with Fixed Points.

Behnam Banieqbal, Howard Barringer

Proceedings of the Temporal Logic in Specification, 1987

1986

A Proof System for Ada Tasks.

Howard Barringer, Ian Mearns

Comput. J., 1986

A Really Abstract Concurrent Model and its Temporal Logic.

Howard Barringer, Ruurd Kuiper, Amir Pnueli

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985

A Survey of Verification Techniques for Parallel Programs

Howard Barringer

Lecture Notes in Computer Science 191, Springer, ISBN: 3-540-15239-3, 1985

1984

A Logic Covering Undefinedness in Program Proofs.

Howard Barringer, J. H. Cheng, Cliff B. Jones

Acta Informatica, 1984

Now You May Compose Temporal Logic Specifications

Howard Barringer, Ruurd Kuiper, Amir Pnueli

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.

Howard Barringer, Ruurd Kuiper

Proceedings of the Seminar on Concurrency, 1984

1983

Towards the Hierarchical, Temporal Logic, Specification.

Howard Barringer, Ruurd Kuiper

Proceedings of the Analysis of Concurrent Systems, 1983

1979

The Portable Compiling Systems of MUSS.

Howard Barringer, P. C. Capon, R. Philips

Softw. Pract. Exp., 1979