Howard Barringer

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