Howard Barringer

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

Collaborative distances:



In proceedings 
PhD thesis 





Automata-based Pattern Mining from Imperfect Traces.
ACM SIGSOFT Software Engineering Notes, 2015

Reactivity and Grammars: An Exploration.
Proceedings of the Language, Culture, Computation. Computing - Theory and Technology, 2014

A pattern-based approach to parametric specification mining.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Modal and temporal argumentation networks.
Argument & Computation, 2012

Temporal, numerical and meta-level dynamics in argumentation networks.
Argument & Computation, 2012

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.
Proceedings of the FM 2012: Formal Methods, 2012

Internal versus External DSLs for Trace Analysis - (Extended Abstract).
Proceedings of the Runtime Verification - Second International Conference, 2011

TraceContract: A Scala DSL for Trace Analysis.
Proceedings of the FM 2011: Formal Methods, 2011

Systems theory in an analytic setting.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Rule Systems for Run-time Monitoring: from Eagle to RuleR.
J. Log. Comput., 2010

Formal Analysis of Log Files.
J. Aerosp. Comput. Inf. Commun., 2010

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems.
Proceedings of the Runtime Verification - First International Conference, 2010

Automated Reasoning in the Simulation of Evolvable Systems.
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010

Modal and Temporal Argumentation Networks.
Proceedings of the Time for Verification, 2010

Modelling evolvable component systems: Part I: A logical framework.
Log. J. IGPL, 2009

An Entry Point for Formal Methods: Specification and Analysis of Event Logs
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

Rule Systems for Runtime Verification: A Short Tutorial.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

An Integrated Specification Logic for Cyber-Physical Systems.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.
Formal Methods Syst. Des., 2008

Forays into Sequential Composition and Concatenation in Eagle.
Proceedings of the Runtime Verification, 8th International Workshop, 2008

A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

A Grammatical Representation of Visibly Pushdown Languages.
Proceedings of the Logic, 2007

A Logical Framework for Monitoring and Evolving Software Components.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Rule Systems for Run-Time Monitoring: From Eagleto RuleR.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

From Runtime Verification to Evolvable Systems.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

A Purpose-Based Access Control Model.
Proceedings of the Third International Symposium on Information Assurance and Security, 2007

Electron. Notes Theor. Comput. Sci., 2006

Modal Varieties of Temporal Logic.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Combining test case generation and runtime verification.
Theor. Comput. Sci., 2005

CTL<sup>*</sup> Model Checking on a Shared-Memory Architecture.
Electron. Notes Theor. Comput. Sci., 2005

Component Verification with Automatically Generated Assumptions.
Autom. Softw. Eng., 2005

Modelling Evolvable Systems: A Temporal Logic View.
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.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

Rule-Based Runtime Verification.
Proceedings of the Verification, 2004

Program Monitoring with LTL in EAGLE.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Effective State Exploration for Model Checking on a Shared Memory Architecture.
Electron. Notes Theor. Comput. Sci., 2002

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

Assumption Generation for Software Component Verification.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Practical CTL<sup>*</sup> Model Checking: Should SPIN be Extended?
Int. J. Softw. Tools Technol. Transf., 2000

Efficient CTL* model checking for analysis of rainbow designs.
Proceedings of the Advances in Hardware Design and Verification, 1997

Languages, Meta-languages and METATEM, A Discussion Paper.
Log. J. IGPL, 1996

A Process Algebra Foundation for Reasoning about Core ELLA.
Comput. J., 1996

Memory efficient state storage in Spin.
Proceedings of the Spin Verification System, 1996

METATEM: An Introduction.
Formal Asp. Comput., 1995

A foundation for formal reuse of hardware.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

Formal support for the ELLA hardwar description language.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

A Graph-Based Approach to Resolution in Temporal Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

J. Log. Comput., 1991

Meta-Reasoning in Executable Temporal Logic.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

METATEM: A Framework for Programming in Temporal Logic.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Fair SMG and Linear Time Model Checking.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

A Semantics Driven Temporal Verification System.
Proceedings of the ESOP '88, 1988

Formal Specification and Verification of Hardware: A Comparative Case Study.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988

Executing Temporal Logic: Review and Prospects (Abstract).
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

Up and Down The Temporal Wey.
Comput. J., 1987

Temporal Logic with Fixed Points.
Proceedings of the Temporal Logic in Specification, 1987

A Proof System for Ada Tasks.
Comput. J., 1986

A Really Abstract Concurrent Model and its Temporal Logic.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

A Survey of Verification Techniques for Parallel Programs
Lecture Notes in Computer Science 191, Springer, ISBN: 3-540-15239-3, 1985

A Logic Covering Undefinedness in Program Proofs.
Acta Informatica, 1984

Now You May Compose Temporal Logic Specifications
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.
Proceedings of the Seminar on Concurrency, 1984

Towards the Hierarchical, Temporal Logic, Specification.
Proceedings of the Analysis of Concurrent Systems, 1983

The Portable Compiling Systems of MUSS.
Softw. Pract. Exp., 1979