Prof Howard Barringer - publications

Journal article

• Barringer H, Groce A, Havelund K, Smith M. Formal Analysis of Log Files. Journal of Aerospace Computing, Information, and Communication. 2010; 7(11): 365-390. eScholarID:112840 | DOI:10.2514/1/49356
• Barringer H, Rydeheard D, Havelund K. Rule Systems for Run-time Monitoring: from Eagle to RuleR. Journal of Logic and Computation. 2010; 20(3): 675-706. eScholarID:112781 | DOI:10.1093/logcom/exn076
• Barringer H, Gabbay D, Rydeheard D. Modelling evolvable component systems: Part I: A logical framework. Logic Journal of the IGPL. 2009; 17(6): 631-696. eScholarID:112798 | DOI:10.1093/jigpal/jzp026
• Pasareanu C, Giannakopoulou D, Bobaru M, Cobleigh J, Barringer H. Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods in System Design. 2008 June; 32(3): 175-205. eScholarID:1f158 | DOI:10.1007/s10703-008-0049-6
• BARRINGER H; INGGS C. CTL* model checking on a shared-memory architecture. Formal Methods in System Design. 2006 July; 29(2): eScholarID:1a9969 | DOI:10.1007/s10703-006-0008-z
• BARRINGER H; GIANNAKOPOULOU D; PASAREANU C. Component Verification with Automatically Generated Assumptions. Automated Software Engineering. 2005 July; 12(3): eScholarID:1a9967 | DOI:10.1007/s10515-005-2641-y
• Artho C, Barringer H, Goldberg A, Havelund K, Khurshid S, Lowry M, Pasareanu C, Rosu G, Sen K, Visser W, Washington R. Combining test case generation and runtime verification. Theor. Comput. Sci. 2005; 336(2-3): 209-234. eScholarID:1h42 | DOI:10.1016/j.tcs.2004.11.007
• Barringer H, Fellows D, Gough G, Williams A. Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. Comput. J. 2002; 45(1): 2-11. eScholarID:1h281
• Inggs C, Barringer H. Effective State Exploration for Model Checking on a Shared Memory Architecture. Electr. Notes Theor. Comput. Sci. 2002; 68(4): eScholarID:1h44
• Visser W, Barringer H. Practical CTL* Model Checking: Should SPIN be Extended?. STTT. 2000; 2(4): 350-365. eScholarID:1h45
• Barringer H, Gough G, Monahan B, Williams A. A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 1996; 39(4): 303-324. eScholarID:1h282
• Barringer H, Gough G, Brough D, Gabbay D, Hodkinson I, Hunter A, Owens R, McBrien P, Reynolds M, Fisher M. Languages, Meta-languages and METATEM, A Discussion Paper. Logic Journal of the IGPL. 1996; 4(2): 255-272. eScholarID:1h283 | DOI:10.1093/jigpal/4.2.255
• Barringer H, Fisher M, Gabbay D, Gough G, Owens R. METATEM: An Introduction. Formal Asp. Comput. 1995; 7(5): 533-549. eScholarID:1h284
• Barringer H, Gough G, Monahan B, Williams A. Symbolic Equivalence Checking for the ELLA Hardware Description Language. Journal of the Brazilian Computer Society. 1995; 2(2): 49-62. eScholarID:113359
• Barringer H. Editorial. Journal of Logic and Computation. 1991; 1(5): 573-574. eScholarID:1h49
• de Roever W, Barringer H, Courcoubetis C, Gabbay D, Gerth R, Jonsson B, Pnueli A, Reed M, Vytopil J, Wolper P. Formal Methods and Tools for the Development of Distributed and Real Time Systems: SPEC -- Esprit Project 3096 (Extended Abstract). Bulletin of the European Association of Theoretical Computer Science. 1990; (40): 117-133. eScholarID:113358
• Bjoerner D, Hoare C, Bowen J, JiFeng H, Langmaack H, Olderog E, Martin U, Stavridou V, Nielson F, Barringer H, Edwards D, Lovengreen H, Ravn A, Rischel H. A ProCos Project Description: Esprit BRA 3104. Bulletin of the European Association of Theoretical Computer Science. 1989; (39): 60-73. eScholarID:113357
• Barringer H. Up and Down The Temporal Wey. Comput. J. 1987; 30(2): 134-148. eScholarID:1h50
• Barringer H, Mearns I. A Proof System for Ada Tasks. Comput. J. 1986; 29(5): 404-415. eScholarID:1h51
• Barringer H, Cheng J, Jones C. A Logic Covering Undefinedness in Program Proofs. Acta Inf. 1984; 21: 251-269. eScholarID:1h52
• Barringer H, Capon P, Philips R. The Portable Compiling Systems of MUSS. Softw., Pract. Exper. 1979; 9(8): 645-655. eScholarID:1h53

Conference contribution

• Howard Barringer, Klaus Havelund. TraceContract: A Scala DSL for Trace Analysis. FM 2011: Formal Methods - 17th International Symposium on Formal Methods. Springer: 2011: 57-72. eScholarID:146982 | DOI:10.1007/978-3-642-21437-0_7
• Afifi, Djihed, David Rydeheard, and Howard Barringer. Automated Reasoning in the Simulation of Evolvable Systems. 2010: 12-22. eScholarID:113744
• Afifi, Djihed, David E Rydeheard, and Howard Barringer. ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. Springer: 2010: 469-474. eScholarID:112782 | DOI:10.1007/978-3-642-16612-9_36
• Barringer, Howard, and Dov M Gabbay. Modal and Temporal Argumentation Networks. 2010: 1-25. eScholarID:112780 | DOI:10.1007/978-3-642-13754-9_1
• Barringer, Howard, Alex Groce, Klaus Havelund, and Margaret H Smith. An Entry Point for Formal Methods: Specification and Analysis of Event Logs. 2009: 16-21. eScholarID:112800 | DOI:10.4204/EPTCS.20.2
• Barringer, Howard, Klaus Havelund, David E Rydeheard, and Alex Groce. Rule Systems for Runtime Verification: A Short Tutorial. Springer: 2009: 1-24. eScholarID:112797 | DOI:10.1007/978-3-642-04694-0_1
• Bujorianu, Marius C, and Howard Barringer. An Integrated Specification Logic for Cyber-Physical Systems. IEEE Computer Society: 2009: 291-300. eScholarID:112799 | DOI:10.1109/ICECCS.2009.36
• Baran, J, and H Barringer. Forays into Sequential Composition and Concatenation in EAGLE. 8th International Workshop on Runtime Verification. Springer-Verlag Berlin: 2008: 69-85. eScholarID:2f82
• Baran, J, and H Barringer. A grammatical representation of visibly pushdown languages. 14th International Workshop on Logic, Language, Information and Computation. Springer-Verlag Berlin: 2007: 1-11. eScholarID:2f188
• Barringer, H, D Rydeheard, B Warboys, and D Gabbay. A revision-based logical framework for evolvable software. International Conference on Software Engineering. Acta Press Anaheim: 2007: 78-83. eScholarID:2f184
• Barringer, H, D Gabbay, and D Rydeheard. From runtime verification to evolvable systems. 7th International Workshop on Runtime Verification. Springer-Verlag Berlin: 2007: 97-110. eScholarID:2f187
• Barringer, H, D Rydeheard, and K Havelund. Rule systems for run-time monitoring: From EAGLE to RULER. 7th International Workshop on Runtime Verification. Springer-Verlag Berlin: 2007: 111-125. eScholarID:2f185
• Barringer, Howard, David E Rydeheard, and Dov M Gabbay. A Logical Framework for Monitoring and Evolving Software Components. TASE. IEEE Computer Society: 2007: 273-282. eScholarID:2h44
• Yang, Naikuo, Howard Barringer, and Ning Zhang. A Purpose-Based Access Control Model. IAS. IEEE Computer Society: 2007: 143-148. eScholarID:2h41
• Cornelia P. Inggs, Howard Barringer. CTL* Model Checking on a Shared-Memory Architecture. Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC 2004). Electronic Notes in Theoretical Computer Science, Volume 128, No 3.: Springer: 2005: 107-123. eScholarID:65503
• Barringer, Howard, Allen Goldberg, Klaus Havelund, and Koushik Sen. Program Monitoring with LTL in EAGLE. IPDPS. IEEE Computer Society: 2004: eScholarID:2h48
• Barringer, Howard, Allen Goldberg, Klaus Havelund, and Koushik Sen. Rule-Based Runtime Verification. Springer: 2004: 44-57. eScholarID:112884
• Inggs, Cornelia, Howard Barringer, Aleksander Nenadic, and Ning Zhang. Model Checking a Security Protocol. 2004: eScholarID:112893
• Barringer, Howard, Dimitra Giannakopolou, and Corina Pasareanu. Proof Rules for Automated Compositional Verification through Learning. 2003: eScholarID:112894
• Giannakopoulou, Dimitra, Corina S Pasareanu, and Howard Barringer. Assumption Generation for Software Component Verification. ASE. IEEE Computer Society: 2002: 3-12. eScholarID:2h50
• Inggs, Cornelia, and Howard Barringer. On the Parallelisation of Model Checking. University of Birmingham, School of Computer Science, Technical Report CSR-02-6: 2002: eScholarID:112996
• Visser, Willem, and Howard Barringer. CTL* Model Checking for SPIN. Ecole Nationale Superieure des Telecommunications - ENST 98 S 002: 1998: eScholarID:112998
• Willem Visser, Howard Barringer. Memory efficient state storage in SPIN. American Mathematical Society: 1997: 185-203. eScholarID:112983
• Barringer, Howard, Donal Fellows, Graham Gough, and Alan Williams. Abstract Modelling of Asynchronous Micropipeline Systems using Rainbow. Chapman and Hall: 1997: 285-304. eScholarID:112954
• Barringer, Howard, Donal Fellows, Graham Gough, Peter Jinks, and Alan Williams. Multi-view design of Asynchronous Micropipeline Systems using Rainbow. Chapman and Hall: 1997: eScholarID:112953
• Visser, Willem, Howard Barringer, Donal Fellows, Graham Gough, and Alan Williams. Efficient CTL* model checking for analysis of rainbow designs. CHARME. Chapman & Hall: 1997: 128-145. eScholarID:2h51
• de Melo, Anna, and Howard Barringer. Minimization of Synchronous Processes Preserving Bisimulation. 1997: 293-302. eScholarID:112951
• Barringer, Howard, Donal Fellows, Graham Graham, Peter Jinks, Brian Marsden, and Alan Williams. Design and Simulation in Rainbow: A framework for Asynchronous Micropipeline Circuits. Society for Computer Simulation International: 1996: 567-571. eScholarID:112997
• Barringer, Howard, Graham Gough, Brian Monahan, and Alan Williams. A Design and Verification Environment for ELLA. 1995: 685-691. eScholarID:113011
• Barringer, Howard, Graham Gough, Brian Monahan, and Alan Williams. Formal support for the ELLA hardwar description language. CHARME. Springer: 1995: 225-245. eScholarID:2h576
• Barringer, Howard, Graham Gough, Brian Monahan, and Alan Williams. Formal support for the ELLA hardwar description language. CHARME. Springer: 1995: 225-245. eScholarID:2h53
• Barringer, Howard, Graham Gough, Brian Monahan, and Alan Williams. Symbolic Verification of hardware systems. 1995: 631-636. eScholarID:113012
• Melo, Ana Cristina Vieira de, and Howard Barringer. A foundation for formal reuse of hardware. CHARME. Springer: 1995: 124-145. eScholarID:2h52
• Dixon, Clare, Michael Fisher, and Howard Barringer. A Graph-Based Approach to Resolution in Temporal Logic. ICTL. Springer: 1994: 415-429. eScholarID:2h54
• Barringer, Howard, Graham Gough, Tom Longshaw, Brian Monahan, Martin Peim, and Alan Williams. Formal Verification Support for ELLA. 1993: eScholarID:113072
• Howard Barringer, Graham Gough, Brian Monahan. Operational Semantics for Hardware Design Languages. Correct Hardware Design Methodologies. North Holland: 1992: 313-334. eScholarID:113758
• Edward Babb, Howard Barringer, Dov Gabbay. A Meta-level Rewrite Language for Non-linear Planning. 1991: -. eScholarID:114062
• Barringer, Howard, and Michael Fisher. Concurrent MetateM Processes - A Language for Distributed AI. Society for Computer Simulation (SCS): 1991: 343-348. eScholarID:114088
• Barringer, Howard, Michael Fisher, Dov M Gabbay, and Anthony Hunter. Meta-Reasoning in Executable Temporal Logic. KR. 1991: 40-49. eScholarID:2h55
• Barringer, Howard, and Dov Gabbay. The Imperative Future: Past Successes => Future Actions. Springer-Verlag: 1991: 1-16. eScholarID:113565
• Barringer, Howard, Michael Fisher, and Graham Gough. Fair SMG and Linear Time Model Checking. Automatic Verification Methods for Finite State Systems. Springer: 1989: 133-150. eScholarID:2h56 | DOI:10.1007/3-540-52148-8_12
• Barringer, Howard, Michael Fisher, Dov M Gabbay, Graham Gough, and Richard Owens. METATEM: A Framework for Programming in Temporal Logic. REX Workshop. Springer: 1989: 94-129. eScholarID:2h57
• Barringer, Howard, and Dov M Gabbay. Executing Temporal Logic: Review and Prospects (Abstract). Concurrency. Springer: 1988: 104-105. eScholarID:2h58
• Gough, Graham, and Howard Barringer. A Semantics Driven Temporal Verification System. ESOP. Springer: 1988: 21-33. eScholarID:2h579 | DOI:10.1007/3-540-19027-9_2
• Stavridou, Victoria, Howard Barringer, and David A Edwards. Formal Specification and Verification of Hardware: A Comparative Case Study. DAC. 1988: 197-204. eScholarID:2h59
• Banieqbal, Behnam, and Howard Barringer. Temporal Logic with Fixed Points. Temporal Logic in Specification. Springer: 1987: 62-74. eScholarID:2h61
• Barringer, Howard, Ruurd Kuiper, and Amir Pnueli. A Really Abstract Concurrent Model and its Temporal Logic. POPL. 1986: 173-183. eScholarID:2h62
• Barringer, Howard, Ruurd Kuiper, and Amir Pnueli. A Compositional Approach to a CSP-like Language. North Holland: 1985: 207-227. eScholarID:113322
• Barringer, Howard. Specifying Ada Tasks. 1985: eScholarID:113321
• Barringer, Howard. Formal Specification Techniques for Parallel and Distributed Systems: A Survey. Cambridge University Press: 1984: 281-296. eScholarID:113148
• Barringer, Howard, and Ruurd Kuiper. Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. Seminar on Concurrency. Springer: 1984: 35-61. eScholarID:2h64
• Barringer, Howard, Ruurd Kuiper, and Amir Pnueli. Now You May Compose Temporal Logic Specifications. STOC. ACM: 1984: 51-63. eScholarID:2h63
• Barringer, Howard, and Ruurd Kuiper. Towards the Hierarchical, Temporal Logic, Specification. The Analysis of Concurrent Systems. Springer: 1983: 157-183. eScholarID:2h65
• Barringer, Howard, and Charles Lindsey. The Manchester ALGOL 68 Compiler - Part 1. INRIA: 1977: 145-165. eScholarID:113152

Conference proceeding

• Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. 2010. eScholarID:112755
• Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings. 1989. eScholarID:6h4

Book

• Advances in Temporal Logic. Kluwer academic Publishers:1999. eScholarID:113560
• A Survey of Verification Techniques for Parallel Programs. 191. Springer:1985. eScholarID:4h1

Book contribution

• H. Barringer, D.M. Gabbay. Modal Varieties of Temporal Logic. In: M.D. Fisher, D.M. Gabbay, L. Vila, ed. Handbook of Temporal Reasoning in Artificial Intelligence. The Netherlands, Elsevier.2005: eScholarID:29933
• H. Barringer, D. Gabbay and J. Woods. Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. 2605. 2005: eScholarID:3a69
• Barringer H. Temporal Logic and its Applications. Academic Press Inc. (London) Limited.1987: eScholarID:113564