![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Howard Barringer
Person information
- affiliation: University of Manchester, UK
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [j20]Giles Reger, Howard Barringer, David E. Rydeheard:
Automata-based Pattern Mining from Imperfect Traces. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-8 (2015) - 2014
- [c43]Howard Barringer, David E. Rydeheard, Dov M. Gabbay:
Reactivity and Grammars: An Exploration. Language, Culture, Computation (1) 2014: 103-155 - 2013
- [c42]Giles Reger
, Howard Barringer, David E. Rydeheard:
A pattern-based approach to parametric specification mining. ASE 2013: 658-663 - 2012
- [j19]Howard Barringer, Dov M. Gabbay, John Woods:
Temporal, numerical and meta-level dynamics in argumentation networks. Argument Comput. 3(2-3): 143-202 (2012) - [j18]Howard Barringer, Dov M. Gabbay, John Woods:
Modal and temporal argumentation networks. Argument Comput. 3(2-3): 203-227 (2012) - [c41]Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger
, David E. Rydeheard:
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM 2012: 68-84 - 2011
- [c40]Manuela-Luminita Bujorianu, Marius C. Bujorianu, Howard Barringer:
Systems theory in an analytic setting. CDC/ECC 2011: 2901-2906 - [c39]Howard Barringer, Klaus Havelund:
TraceContract: A Scala DSL for Trace Analysis. FM 2011: 57-72 - [c38]Howard Barringer, Klaus Havelund:
Internal versus External DSLs for Trace Analysis - (Extended Abstract). RV 2011: 1-3 - 2010
- [j17]Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith:
Formal Analysis of Log Files. J. Aerosp. Comput. Inf. Commun. 7(11): 365-390 (2010) - [j16]Howard Barringer, David E. Rydeheard, Klaus Havelund:
Rule Systems for Run-time Monitoring: from Eagle to RuleR. J. Log. Comput. 20(3): 675-706 (2010) - [c37]Howard Barringer, Dov M. Gabbay:
Modal and Temporal Argumentation Networks. Essays in Memory of Amir Pnueli 2010: 1-25 - [c36]Djihed Afifi, David E. Rydeheard, Howard Barringer:
Automated Reasoning in the Simulation of Evolvable Systems. PAAR@IJCAR 2010: 11-21 - [c35]Djihed Afifi, David E. Rydeheard, Howard Barringer:
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. RV 2010: 469-474 - [e5]Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace
, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann:
Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-2 [contents]
2000 – 2009
- 2009
- [j15]Howard Barringer, Dov M. Gabbay, David E. Rydeheard:
Modelling evolvable component systems: Part I: A logical framework. Log. J. IGPL 17(6): 631-696 (2009) - [c34]Marius C. Bujorianu, Howard Barringer:
An Integrated Specification Logic for Cyber-Physical Systems. ICECCS 2009: 291-300 - [c33]Howard Barringer, Klaus Havelund, David E. Rydeheard, Alex Groce:
Rule Systems for Runtime Verification: A Short Tutorial. RV 2009: 1-24 - [c32]Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith:
An Entry Point for Formal Methods: Specification and Analysis of Event Logs. FMA 2009: 16-21 - 2008
- [j14]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): 175-205 (2008) - [c31]Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer:
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. CLIMA 2008: 97-116 - [c30]Joachim Baran, Howard Barringer:
Forays into Sequential Composition and Concatenation in Eagle. RV 2008: 69-85 - 2007
- [c29]Naikuo Yang, Howard Barringer, Ning Zhang:
A Purpose-Based Access Control Model. IAS 2007: 143-148 - [c28]Howard Barringer, Dov M. Gabbay, David E. Rydeheard:
From Runtime Verification to Evolvable Systems. RV 2007: 97-110 - [c27]Howard Barringer, David E. Rydeheard, Klaus Havelund:
Rule Systems for Run-Time Monitoring: From Eagleto RuleR. RV 2007: 111-125 - [c26]Howard Barringer, David E. Rydeheard, Dov M. Gabbay:
A Logical Framework for Monitoring and Evolving Software Components. TASE 2007: 273-282 - [c25]Joachim Baran, Howard Barringer:
A Grammatical Representation of Visibly Pushdown Languages. WoLLIC 2007: 1-11 - 2006
- [j13]Cornelia P. Inggs, Howard Barringer:
CTL* model checking on a shared-memory architecture. Formal Methods Syst. Des. 29(2): 135-155 (2006) - [e4]Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny Sipma:
Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005. Electronic Notes in Theoretical Computer Science 144(4), Elsevier 2006 [contents] - 2005
- [j12]Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer:
Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3): 297-320 (2005) - [j11]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): 209-234 (2005) - [c24]Howard Barringer, Dov M. Gabbay, John Woods:
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. Mechanizing Mathematical Reasoning 2005: 59-98 - [c23]Howard Barringer, David E. Rydeheard:
Modelling Evolvable Systems: A Temporal Logic View. We Will Show Them! (1) 2005: 195-228 - [c22]Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma:
Preface. RV@CAV 2005: 1 - [e3]Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods:
We Will Show Them! Essays in Honour of Dov Gabbay, Volume One. College Publications 2005, ISBN 1-904987-25-7 [contents] - [e2]Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods:
We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two. College Publications 2005, ISBN 1-904987-26-5 [contents] - [r1]Howard Barringer, Dov M. Gabbay:
Modal Varieties of Temporal Logic. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 119-165 - 2004
- [c21]Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Program Monitoring with LTL in EAGLE. IPDPS 2004 - [c20]Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Rule-Based Runtime Verification. VMCAI 2004: 44-57 - [c19]Cornelia P. Inggs, Howard Barringer:
CTL* Model Checking on a Shared-Memory Architecture. PDMC 2004: 107-123 - 2002
- [j10]Howard Barringer, Donal Fellows
, Graham Gough, Alan R. Williams:
Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. Comput. J. 45(1): 2-11 (2002) - [c18]Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer:
Assumption Generation for Software Component Verification. ASE 2002: 3-12 - [c17]Cornelia P. Inggs, Howard Barringer:
Effective State Exploration for Model Checking on a Shared Memory Architecture. PDMC@CONCUR 2002: 605-620 - 2000
- [j9]Willem Visser, Howard Barringer:
Practical CTL* Model Checking: Should SPIN be Extended? Int. J. Softw. Tools Technol. Transf. 2(4): 350-365 (2000)
1990 – 1999
- 1997
- [c16]Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams:
Efficient CTL* model checking for analysis of rainbow designs. CHARME 1997: 128-145 - 1996
- [j8]Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams:
A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39(4): 303-324 (1996) - [j7]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): 255-272 (1996) - [c15]Willem Visser, Howard Barringer:
Memory efficient state storage in Spin. The Spin Verification System 1996: 185-203 - 1995
- [j6]Howard Barringer, Michael Fisher
, Dov M. Gabbay, Graham Gough, Richard Owens:
METATEM: An Introduction. Formal Aspects Comput. 7(5): 533-549 (1995) - [c14]Ana Cristina Vieira de Melo, Howard Barringer:
A foundation for formal reuse of hardware. CHARME 1995: 124-145 - [c13]Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams:
Formal support for the ELLA hardwar description language. CHARME 1995: 225-245 - 1994
- [c12]Clare Dixon, Michael Fisher, Howard Barringer:
A Graph-Based Approach to Resolution in Temporal Logic. ICTL 1994: 415-429 - 1991
- [j5]Howard Barringer:
Editorial. J. Log. Comput. 1(5): 573-574 (1991) - [c11]Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter:
Meta-Reasoning in Executable Temporal Logic. KR 1991: 40-49
1980 – 1989
- 1989
- [c10]Howard Barringer, Michael Fisher
, Graham Gough:
Fair SMG and Linear Time Model Checking. Automatic Verification Methods for Finite State Systems 1989: 133-150 - [c9]Howard Barringer, Michael Fisher
, Dov M. Gabbay, Graham Gough, Richard Owens:
METATEM: A Framework for Programming in Temporal Logic. REX Workshop 1989: 94-129 - [e1]Behnam Banieqbal, Howard Barringer, Amir Pnueli:
Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings. Lecture Notes in Computer Science 398, Springer 1989, ISBN 3-540-51803-7 [contents] - 1988
- [c8]Howard Barringer, Dov M. Gabbay:
Executing Temporal Logic: Review and Prospects (Abstract). Concurrency 1988: 104-105 - [c7]Victoria Stavridou, Howard Barringer, David A. Edwards:
Formal Specification and Verification of Hardware: A Comparative Case Study. DAC 1988: 197-204 - [c6]Graham Gough, Howard Barringer:
A Semantics Driven Temporal Verification System. ESOP 1988: 21-33 - 1987
- [j4]Howard Barringer:
Up and Down The Temporal Way. Comput. J. 30(2): 134-148 (1987) - [c5]Behnam Banieqbal, Howard Barringer:
Temporal Logic with Fixed Points. Temporal Logic in Specification 1987: 62-74 - 1986
- [j3]Howard Barringer, Ian Mearns:
A Proof System for Ada Tasks. Comput. J. 29(5): 404-415 (1986) - [c4]Howard Barringer, Ruurd Kuiper, Amir Pnueli:
A Really Abstract Concurrent Model and its Temporal Logic. POPL 1986: 173-183 - 1985
- [b1]Howard Barringer:
A Survey of Verification Techniques for Parallel Programs. Lecture Notes in Computer Science 191, Springer 1985, ISBN 3-540-15239-3 - 1984
- [j2]Howard Barringer, J. H. Cheng, Cliff B. Jones
:
A Logic Covering Undefinedness in Program Proofs. Acta Informatica 21: 251-269 (1984) - [c3]Howard Barringer, Ruurd Kuiper:
Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Seminar on Concurrency 1984: 35-61 - [c2]Howard Barringer, Ruurd Kuiper, Amir Pnueli:
Now You May Compose Temporal Logic Specifications. STOC 1984: 51-63 - 1983
- [c1]Howard Barringer, Ruurd Kuiper:
Towards the Hierarchical, Temporal Logic, Specification. The Analysis of Concurrent Systems 1983: 157-183
1970 – 1979
- 1979
- [j1]Howard Barringer, P. C. Capon, R. Philips:
The Portable Compiling Systems of MUSS. Softw. Pract. Exp. 9(8): 645-655 (1979)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint