Skip to navigation | Skip to main content | Skip to footer
Menu
Menu Search the University of Manchester siteSearch
Search type

Alternatively, use our A–Z index

Prof Howard Barringer - publications

List of publications

2013

  • Reger, G., Barringer, H., & Rydeheard, D. (2013). A pattern-based approach to parametric specification mining. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. (pp. 658-663). IEEE. DOI: 10.1109/ASE.2013.6693129. Publication link: 95948aaf-06c4-472b-9e93-39ac029d646b

2012

  • Barringer, H., Gabbay, D. M., & Woods, J. (2012). Temporal, numerical and metalevel dynamics in argumentation networks. Argument & Computation, 3(2-3), 143-202. . Publication link: 87cb6afd-1f2b-469f-9055-af9cc4539d99
  • Barringer, H., Falcone, Y., Havelund, K., Reger, G., & Rydeheard, D. (2012). Quantified event automata: Towards expressive and efficient runtime monitors. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7436, pp. 68-84). DOI: 10.1007/978-3-642-32759-9_9. Publication link: 2c9ba7d3-a8e4-4c36-885b-5cbdd9e84030
  • Barringer, H., Gabbay, D. M., & Woods, J. (2012). Modal and temporal argumentation networks. Argument and Computation, 3(2-3), 203-227. DOI: 10.1080/19462166.2012.704399. Publication link: c88c5c7c-be66-4104-8353-355dffb144f8

2011

  • Barringer, H., & Havelund, K. (2011). TraceContract: A scala DSL for trace analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6664, pp. 57-72). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-21437-0_7. Publication link: a0bf6f80-587e-4be4-b140-1cb4ab088dcd
  • Barringer, H., Havelund, K., Kurklu, E., & Morris, R. (2011). Checking Flight Rules with TraceContract --- Application of a SCALA DSL for Trace Analysis. In host publication.. Publication link: e5fb6b64-655f-4a24-b5ff-deadb30067cb
  • Bujorianu, M. L., Bujorianu, M. C., & Barringer, H. (2011). Systems theory in an analytic setting. In Proceedings of the IEEE Conference on Decision and Control|Proc IEEE Conf Decis Control. (pp. 2901-2906). IEEE Computer Society. . Publication link: 68373eb6-1942-4c98-8bf3-0d9404eb9fea

2010

  • Barringer, H., Rydeheard, D., & Havelund, K. (2010). Rule systems for run-time monitoring: From eagle to ruler. Journal of Logic and Computation, 20(3), 675-706. DOI: 10.1093/logcom/exn076. Publication link: 5f451ee8-636e-4c2f-aec7-b8100bd855fe
  • Afifi, D., Rydeheard, D. E., & Barringer, H. (2010). ESAT: A tool for animating logic-based specifications of evolvable component systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6418, pp. 469-474). Springer Verlag. DOI: 10.1007/978-3-642-16612-9_36. Publication link: 4f0fd124-6868-45b5-821c-32a010856e63
  • Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G. J., ... Tillmann, N. (Eds.) (2010). Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. In Lecture Notes in Computer Science. (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 212b095a-61d6-49c5-b5fa-c291db4aad8f
  • Afifi, D., Rydeheard, D., & Barringer, H. (2010). Automated Reasoning in the Simulation of Evolvable Systems. In host publication. (pp. 12-22). Publication link: 33eb6cf1-ca0f-4918-8e80-c2ca9678d860
  • Barringer, H., Groce, A., Havelund, K., & Smith, M. (2010). Formal analysis of log files. Journal of Aerospace Computing, Information and Communication, 7(11), 365-390. DOI: 10.2514/1.49356. Publication link: 3a2b5e93-3479-4041-a9d2-57f6bfefe083
  • Barringer, H., & Gabbay, D. M. (2010). Modal and temporal argumentation networks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6200, pp. 1-25). Springer Verlag. DOI: 10.1007/978-3-642-13754-9_1. Publication link: ca806af5-bdc4-4393-a1dd-9b484ed97bb1

2009

  • Bujorianu, M. C., Bujorianu, M. L., & Barringer, H. (2009). A Unifying Specification Logic for Cyber-Physical Systems. In Proceedings of 17th Mediterranean Conference on Control and Automation. (pp. 1166-1171). IEEE Computer Society. . Publication link: 3d42da25-ae56-4623-9d97-cba18845250f
  • Barringer, H., Groce, A., Havelund, K., & Smith, M. H. (2009). An Entry Point for Formal Methods: Specification and Analysis of Event Logs. In host publication. (Vol. 20, pp. 16-21). (Electronic Proceedings in Theoretical Computer Science). DOI: 10.4204/EPTCS.20.2. Publication link: 2d5fa1b5-df66-419a-b790-1323b997f689
  • Bujorianu, M. C., & Barringer, H. (2009). An integrated specification logic for cyber-physical systems. In Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS|Proc IEEE Int Conf Eng Complex Comput Syst ICECCS. (pp. 291-300). IEEE Computer Society. DOI: 10.1109/ICECCS.2009.36. Publication link: 1fc6dc50-791e-4700-97c4-fb5b0d2e53d0
  • Bujorianu, M. C., Bujorianu, M. L., & Barringer, H. (2009). A formal framework for user centric control of probabilistic multi-agent cyber-physical systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5405, pp. 97-116). Springer Verlag. . Publication link: 0b68121f-33c9-41f8-b996-5920c2ada1a5
  • Barringer, H., Havelund, K., Rydeheard, D., & Groce, A. (2009). Rule systems for runtime verification: A short tutorial. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5779, pp. 1-24). Springer Verlag. DOI: 10.1007/978-3-642-04694-0_1. Publication link: 1344a509-2bb1-43f1-935a-6c80554fc95f
  • Barringer, H., Gabbay, D., & Rydeheard, D. (2009). Modelling evolvable component systems: Part I: A logical framework. Logic Journal of the IGPL, 17(6), 631-696. [jzp026]. DOI: 10.1093/jigpal/jzp026. Publication link: 8ef249dc-f25c-4403-af48-3d5412835143

2008

  • Pǎsǎreanu, C. S., Giannakopoulou, D., Bobaru, M. G., Cobleigh, J. M., & Barringer, H. (2008). Learning to divide and conquer: Applying the L*algorithm to automate assume-guarantee reasoning. Formal Methods in System Design, 32(3), 175-205. DOI: 10.1007/s10703-008-0049-6. Publication link: 0c843bf0-b38d-4232-9e03-b1a8c4dda3ae
  • Baran, J., & Barringer, H. (2008). Forays into sequential composition and concatenation in eagle. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5289, pp. 69-85). Springer-Verlag Berlin. . Publication link: 5efae5b5-c4ed-4d2d-9c98-09ba77a3d5d3

2007

  • Barringer, H., Rydeheard, D., & Havelund, K. (2007). Rule systems for run-time monitoring: From EAGLE to RULER. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4839, pp. 111-125). Springer-Verlag Berlin. . Publication link: 3bbe4714-f9d3-4596-a458-e83a905b1c58
  • Baran, J., & Barringer, H. (2007). A grammatical representation of visibly pushdown languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4576, pp. 1-11). Springer-Verlag Berlin. . Publication link: 565954ec-19e1-42ac-abde-bd43689ec68e
  • Barringer, H., Gabbay, D., & Rydeheard, D. (2007). From runtime verification to evolvable systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 4839, pp. 97-110). (Lecture Notes in Computer Science). Springer-Verlag Berlin. DOI: 10.1007/978-3-540-77395-5_9. Publication link: 561dfeaa-de0e-44b2-98f1-410e953016df
  • Barringer, H., Rydeheard, D., Warboys, B., & Gabbay, D. (2007). A revision-based logical framework for evolvable software. In Proceedings of the IASTED International Conference on Software Engineering, SE 2007|Proc. IASTED Int. Conf. Software Eng. SE. (pp. 78-83). Acta Press Anaheim. . Publication link: 66f18089-dcc6-4ffc-9632-17160a9aa07e
  • Naikuo, Y., Barringer, H., & Ning, Z. (2007). A purpose-based access control model. In Proceedings - IAS 2007 3rd Internationl Symposium on Information Assurance and Security|Proc. IAS Int. Symp. Inf. Assur. Secur.. (pp. 143-148). IEEE Computer Society. DOI: 10.1109/IAS.2007.29. Publication link: 782212e5-37ba-425e-bd93-290b2411ef51
  • Barringer, H., Rydeheard, D., & Gabbay, D. (2007). A logical framework for monitoring and evolving software components. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07|First Joint IEEE/IFIP Symp. Theor. Aspects Softw. Eng.. (pp. 273-282). IEEE Computer Society. DOI: 10.1109/TASE.2007.4. Publication link: 8a30ff70-3cb7-4ef8-9b9f-af4e1ec9cfc7

2006

2005

  • Giannakopoulou, D., Pǎsǎreanu, C. S., & Barringer, H. (2005). Component verification with automatically generated assumptions. Automated Software Engineering, 12(3), 297-320. DOI: 10.1007/s10515-005-2641-y. Publication link: 7f7017e5-949f-4cdf-a4c6-89399a93ba79
  • Inggs, C. P., & Barringer, H. (2005). CTL* model checking on a shared-memory architecture. In L. Brim, & M. Leucker (Eds.), Electronic Notes in Theoretical Computer Science|Electron. Notes Theor. Comput. Sci.. (Vol. 128, pp. 107-123). Electronic Notes in Theoretical Computer Science, Volume 128, No 3.: Springer Verlag. DOI: 10.1016/j.entcs.2004.10.022. Publication link: b1b3f8e7-ba0b-427e-a73f-bdf1599b7932
  • Barringer, H., Gabbay, D., & Woods, J. (2005). Temporal dynamics of support and attack networks: From argumentation to zoology initial results. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 2605, pp. 59-98). Publication link: ee0c8435-b068-48d4-829f-48db3f8e4024
  • Barringer, H., & Gabbay, D. (2005). Chapter 4 Modal varieties of temporal logic. In Foundations of Artificial Intelligence|Found. Artif. Intell.. (Vol. 1, pp. 119-165). The Netherlands: Elsevier. . Publication link: f7df3b82-b975-4a64-b10d-2bbabbdf801c
  • Artho, C., Barringer, H., Goldberg, A., Havelund, K., Khurshid, S., Lowry, M., ... Washington, R. (2005). Combining test case generation and runtime verification. Theoretical Computer Science, 336(2), 209-234. DOI: 10.1016/j.tcs.2004.11.007. Publication link: fe3be207-9da8-4a66-9e20-8b3fd1c94408

2004

  • Inggs, C., Barringer, H., Nenadic, A., & Zhang, N. (2004). Model Checking a Security Protocol. In host publication.. Publication link: e1247450-0dc9-4007-961d-976af959dae1
  • Barringer, H., Goldberg, A., Havelund, K., & Sen, K. (2004). Rule-Based Runtime Verification. In host publication. (Vol. 2937, pp. 44-57). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: ce4da161-9601-48d6-aaa0-ce11832fd0d3
  • Barringer, H., Goldberg, A., Havelund, K., & Sen, K. (2004). Program monitoring with LTL in EAGLE. In Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2004 (Abstracts and CD-ROM)|Proc. Int. Parall. Distrib. Process. Symp. IPDPS 2004. (Vol. 18, pp. 3617-3624). IEEE Computer Society. . Publication link: 40ea76a1-58f1-464a-9202-492a8c599b1d

2003

  • Barringer, H., Giannakopolou, D., & Pasareanu, C. (2003). Proof Rules for Automated Compositional Verification through Learning. In host publication.. Publication link: e4c447a4-408b-422a-8de4-831166d3f40d

2002

  • Giannakopoulou, D., Pasareanu, C. S., & Barringer, H. (2002). Assumption Generation for Software Component Verification. In ASE. (pp. 3-12). IEEE Computer Society. . Publication link: ba8d4498-221b-4909-b429-9f9d44961e55
  • Barringer, H., Fellows, D., Gough, G., & Williams, A. (2002). Rainbow: Development, simulation and analysis tools for asynchronous micropipeline hardware design. Computer Journal, 45(1), 2-11. DOI: 10.1093/comjnl/45.1.2. Publication link: 76b21b40-facd-45d5-b463-958525217acf
  • Inggs, C., & Barringer, H. (2002). On the Parallelisation of Model Checking. In host publication. University of Birmingham, School of Computer Science, Technical Report CSR-02-6. . Publication link: 35be5d42-f15a-438f-8ffe-19c57878c6d3
  • Inggs, C. P., & Barringer, H. (2002). Effective state exploration for model checking on a shared memory architecture. Electronic Notes in Theoretical Computer Science, 68(4), 605-620. DOI: 10.1016/S1571-0661(05)80395-0. Publication link: 234e35c3-4717-44c9-8ba4-4730d0320839

2000

1999

  • Barringer, H., Fisher, M., Gabbay, D., & Gough, G. (Eds.) (1999). Advances in Temporal Logic. (Applied Logic Series). Kluwer Academic Publishers.. Publication link: c7b8bbfa-4bda-4913-8f8d-3002e8949cf0

1998

  • Visser, W., & Barringer, H. (1998). CTL* Model Checking for SPIN. In host publication. Ecole Nationale Superieure des Telecommunications - ENST 98 S 002. . Publication link: a47c66e6-997d-4156-a18a-933aaed64db8

1997

  • Barringer, H., Fellows, D., Gough, G., Jinks, P., & Williams, A. (1997). Multi-view design of Asynchronous Micropipeline Systems using Rainbow. In host publication. Chapman & Hall. . Publication link: a7b8ce90-1003-42d7-a99f-251c076a9b16
  • Visser, W., Barringer, H., Fellows, D., Gough, G., Williams, A., Li, H. F. (Ed.), & Probst, D. K. (Ed.) (1997). Efficient CTL* model checking for analysis of rainbow designs. In H. F. Li, & D. K. Probst (Eds.), CHARME. (Vol. 105, pp. 128-145). (IFIP Conference Proceedings). Chapman & Hall. . Publication link: d23325d2-3f6c-4426-9327-93564af45401
  • Barringer, H., & Visser, W. (1997). Memory efficient state storage in SPIN. In host publication. (Vol. 32, pp. 185-203). (DIMACS Series in Discrete Mathematics and Theoretical Science). American Mathematical Society. . Publication link: 5797a6d6-f03d-45f8-bde2-477e46b99202
  • de Melo, A., & Barringer, H. (1997). Minimization of Synchronous Processes Preserving Bisimulation. In host publication. (pp. 293-302). Publication link: 4a6582aa-ce4c-4704-9f75-f45076f4982d
  • Barringer, H., Fellows, D., Gough, G., & Williams, A. (1997). Abstract Modelling of Asynchronous Micropipeline Systems using Rainbow. In host publication. (pp. 285-304). Chapman & Hall. . Publication link: 1873a843-70fc-4221-adb2-8b255f17f870

1996

  • Barringer, H., Gough, G., Brough, D., Gabbay, D. M., Hodkinson, I. M., Hunter, A., ... Fisher, M. (1996). Languages, Meta-languages and METATEM, A Discussion Paper. Logic Journal of the IGPL, 4(2), 255-272. DOI: 10.1093/jigpal/4.2.255. Publication link: 5a583347-e13d-43ac-b527-789c0a79edde
  • Barringer, H., Fellows, D., Graham, . U., Jinks, P., Marsden, B., & Williams, A. (1996). Design and Simulation in Rainbow: A framework for Asynchronous Micropipeline Circuits. In host publication. (Vol. 2, pp. 567-571). Society for Computer Simulation International. . Publication link: a4fda948-965d-4fa8-bd0e-20dd61aa5cb1
  • Barringer, H., Gough, G., Monahan, B., & Williams, A. (1996). A process algebra foundation for reasoning about core ELLA. Computer Journal, 39(4), -324. . Publication link: a8071a95-8311-45c5-840d-a8bc2d23a37c

1995

  • Barringer, H., Fisher, M., Gabbay, D., Gough, G., & Owens, R. (1995). MetateM: An introduction. Formal Aspects of Computing, 7(5), 533-549. DOI: 10.1007/BF01211631. Publication link: 31660cf8-3589-4c3d-a25c-a4f5ad722b2c
  • Barringer, H., Gough, G., Monahan, B., & Williams, A. (1995). Symbolic verification of hardware systems. In Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC|Proc Asia South Pac Des Autom Conf. (pp. 631-636). IEEE. . Publication link: 174464fb-bb21-4ca5-be8a-80c1054bd870
  • Barringer, H., Gough, G., Monahan, B., & Williams, A. (1995). A Design and Verification Environment for ELLA. In host publication. (pp. 685-691). Publication link: 6dc01ea4-1243-4e65-aa90-ab26c75ac5c8
  • Melo, A. C. V. D., Barringer, H., Camurati, P. (Ed.), & Eveking, H. (Ed.) (1995). A foundation for formal reuse of hardware. In P. Camurati, & H. Eveking (Eds.), CHARME. (Vol. 987, pp. 124-145). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 9c83f5df-9b12-43f0-974b-d499bdb81a19
  • Barringer, H., Gough, G., Monahan, B., & Williams, A. (1995). Symbolic Equivalence Checking for the ELLA Hardware Description Language. Journal of the Brazilian Computer Society, 2(2), 49-62. . Publication link: 96e9d646-a109-4245-b2f9-6d8e8eb2c159
  • Barringer, H., Gough, G., Monahan, B., Williams, A., Camurati, P. (Ed.), & Eveking, H. (Ed.) (1995). Formal support for the ELLA hardwar description language. In P. Camurati, & H. Eveking (Eds.), CHARME. (Vol. 987, pp. 225-245). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 96e12dbd-f796-46ab-85fb-01dbd54023dc

1994

  • Dixon, C., Fisher, M., Barringer, H., Gabbay, D. M. (Ed.), & Ohlbach, H. J. (Ed.) (1994). A Graph-Based Approach to Resolution in Temporal Logic. In D. M. Gabbay, & H. J. Ohlbach (Eds.), ICTL. (Vol. 827, pp. 415-429). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: c0433b1a-76b7-41e3-a486-3b6e9e07e326

1993

  • Barringer, H., Gough, G., Longshaw, T., Monahan, B., Peim, M., & Williams, A. (1993). Formal Verification Support for ELLA. In host publication.. Publication link: 531b8e7a-3d36-4f3b-92df-16c018fa6329

1992

  • Barringer, H., Prinetto, P. (Ed.), & Camurati, P. (Ed.) (1992). Operational Semantics for Hardware Design Languages. In P. Prinetto, & P. Camurati (Eds.), Correct Hardware Design Methodologies. (pp. 313-334). North-Holland Publishing Company. . Publication link: 762fd54b-2390-47b2-ba1b-8de21fac62b4

1991

  • Barringer, H., Fisher, M., Gabbay, D. M., & Hunter, A. (1991). Meta-Reasoning in Executable Temporal Logic. In KR. (pp. 40-49). Publication link: 5bea14aa-a0e9-4fd6-a168-952b6cd0bc56
  • Barringer, H. (1991). Editorial. Journal of Logic and Computation, 1(5), 573-574. . Publication link: 869c5c8d-1178-43d2-8d21-5ad8da82b82b
  • Barringer, H., Babb, E., & Gabbay, D. (1991). A Meta-level Rewrite Language for Non-linear Planning. In host publication.. Publication link: 43043b8c-0249-4597-9218-097c53a441ff
  • Barringer, H., & Fisher, M. (1991). Concurrent MetateM Processes - A Language for Distributed AI. In host publication. (pp. 343-348). Society for Computer Simulation (SCS). . Publication link: 4427745d-5bf2-4f71-8f69-1d538e78b638
  • Barringer, H., & Gabbay, D. (1991). The Imperative Future: Past Successes => Future Actions. In host publication. (Vol. 21, pp. 1-16). (Mathematical Sciences Research Institute Publications). Springer Verlag. . Publication link: 307540f0-ea2a-41aa-8936-701c6b8a470c

1990

  • de Roever, W. P., Barringer, H., Courcoubetis, C., Gabbay, D., Gerth, R., Jonsson, B., ... Wolper, P. (1990). 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, (40), 117-133. . Publication link: 4df3e8ef-5010-443e-846f-8091b6a40dc8

1989

  • Banieqbal, B., Barringer, H., & Pnueli, A. (Eds.) (1989). Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings. In Lecture Notes in Computer Science. (Vol. 398). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 7699ab61-9524-4127-9cc8-7f6e7a13abdb
  • Barringer, H., Fisher, M., Gabbay, D. M., Gough, G., Owens, R., Bakker, J. W. D. (Ed.), ... Rozenberg, G. (Ed.) (1989). METATEM: A Framework for Programming in Temporal Logic. In J. W. D. Bakker, W. P. D. Roever, & G. Rozenberg (Eds.), REX Workshop. (Vol. 430, pp. 94-129). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 521298fe-ce4f-418b-a301-cdd7e1178298
  • Barringer, H., Fisher, M., Gough, G., & Sifakis, J. (Ed.) (1989). Fair SMG and Linear Time Model Checking. In J. Sifakis (Ed.), Automatic Verification Methods for Finite State Systems. (Vol. 407, pp. 133-150). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/3-540-52148-8_12. Publication link: 4b45d993-2cf9-4533-b935-9d49375b4334
  • Bjoerner, D., Hoare, C., Bowen, J., JiFeng, H., Langmaack, H., Olderog, E-R., ... Rischel, H. (1989). A ProCos Project Description: Esprit BRA 3104. Bulletin of the European Association of Theoretical Computer Science, (39), 60-73. . Publication link: ddeaaf96-681d-4651-add5-260bd8373f33

1988

  • Stavridou, V., Barringer, H., & Edwards, D. A. (1988). Formal specification and verification of hardware: A comparative case study. In Proceedings - Design Automation Conference|Proc Des Autom Conf. (pp. 197-204). Piscataway, NJ, United States: Publ by IEEE. . Publication link: b5731287-4ba8-428d-a2ae-b493717aacfd
  • Barringer, H., Gabbay, D. M., & Vogt, F. H. (Ed.) (1988). Executing Temporal Logic: Review and Prospects (Abstract). In F. H. Vogt (Ed.), Concurrency. (Vol. 335, pp. 104-105). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: f10a406a-8f62-4b41-8f92-0777321f2ac7
  • Gough, G., Barringer, H., & Ganzinger, H. (Ed.) (1988). A Semantics Driven Temporal Verification System. In H. Ganzinger (Ed.), ESOP. (Vol. 300, pp. 21-33). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/3-540-19027-9_2. Publication link: 7084f177-f3c9-4c21-8b82-f62fa41b86d8

1987

  • Barringer, H. (1987). Temporal Logic and its Applications. In host publication. (pp. 53-97). Academic Press Inc. (London) Limited. . Publication link: 3c7b37ed-47a1-4f57-a670-7af7407daefc
  • Banieqbal, B., Barringer, H., & Pnueli, A. (Eds.) (1987). Temporal Logic with Fixed Points. In B. Banieqbal, H. Barringer, & A. Pnueli (Eds.), Temporal Logic in Specification. (Vol. 398, pp. 62-74). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 1f4ff5ee-7c59-4dc7-9b4b-f65ad32beb0d
  • Barringer, H. (1987). Up and Down The Temporal Wey. Comput. J, 30(2), 134-148. . Publication link: b118fbc8-5050-44bb-97e7-b2cf71fa3301

1986

1985

  • Barringer, H., Kuiper, R., & Pnueli, A. (1985). A Compositional Approach to a CSP-like Language. In host publication. (pp. 207-227). North-Holland Publishing Company. . Publication link: 22f7e27b-6199-4a02-aaa5-5ec3dbe178fa
  • Barringer, H. (1985). A Survey of Verification Techniques for Parallel Programs. (Lecture Notes in Computer Science). Springer Verlag.. Publication link: 3d571459-49a0-4802-aa8e-121dcd1b1aef
  • Barringer, H. (1985). Specifying Ada Tasks. In host publication. (Vol. 6). (Ada UK News).. Publication link: c501758b-fbe1-4591-a4ed-cf5466e5ee3e

1984

  • Barringer, H., Kuiper, R., Brookes, S. D. (Ed.), Roscoe, A. W. (Ed.), & Winskel, G. (Ed.) (1984). Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. In S. D. Brookes, A. W. Roscoe, & G. Winskel (Eds.), Seminar on Concurrency. (Vol. 197, pp. 35-61). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 40110171-1167-444c-adda-7cb65e0e3570
  • Barringer, H. (1984). Formal Specification Techniques for Parallel and Distributed Systems: A Survey. In host publication. (pp. 281-296). (The Ada Companion Series). Cambridge University Press. . Publication link: 4c5b4727-c3aa-4ffe-8451-b08a9b3b3861
  • Barringer, H., Cheng, J. H., & Jones, C. B. (1984). A logic covering undefinedness in program proofs. Acta Informatica, 21(3), 251-269. . Publication link: 2bd5a615-07df-452e-b577-1f2c07d3fe2d
  • Barringer, H., Kuiper, R., & Pnueli, A. (1984). Now You May Compose Temporal Logic Specifications. In STOC. (pp. 51-63). ACM. . Publication link: 30eba1fd-7c02-4fc8-82b5-fe1109246cc5

1983

  • Barringer, H., Kuiper, R., Denvir, B. T. (Ed.), Harwood, W. T. (Ed.), Jackson, M. I. (Ed.), & Wray, M. J. (Ed.) (1983). Towards the Hierarchical, Temporal Logic, Specification. In B. T. Denvir, W. T. Harwood, M. I. Jackson, & M. J. Wray (Eds.), The Analysis of Concurrent Systems. (Vol. 207, pp. 157-183). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 1c4526d4-089d-402c-9e3b-1fea97a7830b

1979

  • Barringer, H., Capon, P. C., & Philips, R. (1979). The Portable Compiling Systems of MUSS. Softw., Pract. Exper, 9(8), 645-655. . Publication link: 946c686a-0cbb-4d7d-91c7-8c46aaa8f910

1977

  • Barringer, H., & Lindsey, C. (1977). The Manchester ALGOL 68 Compiler - Part 1. In host publication. (pp. 145-165). INRIA. . Publication link: b2a98a30-33fd-4d69-ad6a-71acd46c9f1f