Howard Barringer

According to our database1, Howard Barringer
  • authored at least 65 papers between 1979 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

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

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

2012
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

2011
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

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

Formal Analysis of Log Files.
JACIC, 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

2009
Modelling evolvable component systems: Part I: A logical framework.
Logic Journal of the 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

2008
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.
Formal Methods in System Design, 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

2007
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

2006
CTL* model checking on a shared-memory architecture.
Formal Methods in System Design, 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

2005
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* Model Checking on a Shared-Memory Architecture.
Electr. 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

2004
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

2002
Effective State Exploration for Model Checking on a Shared Memory Architecture.
Electr. 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

2000
Practical CTL* Model Checking: Should SPIN be Extended?
STTT, 2000

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

1996
Languages, Meta-languages and METATEM, A Discussion Paper.
Logic Journal of the 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

1995
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

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

1991
Editorial.
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

1989
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

1988
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

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

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

1986
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

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

1984
A Logic Covering Undefinedness in Program Proofs.
Acta Inf., 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

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

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


  Loading...