The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Howard Barringer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Howard Barringer, Ruurd Kuiper
    Towards the Hierarchical, Temporal Logic, Specification. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:157-183 [Conf]
  2. Howard Barringer, Michael Fisher, Graham Gough
    Fair SMG and Linear Time Model Checking. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:133-150 [Conf]
  3. Howard Barringer, Dov M. Gabbay, John Woods
    Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:59-98 [Conf]
  4. Howard Barringer, David E. Rydeheard
    Modelling Evolvable Systems: A Temporal Logic View. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:195-228 [Conf]
  5. Ana Cristina Vieira de Melo, Howard Barringer
    A foundation for formal reuse of hardware. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:124-145 [Conf]
  6. Howard Barringer, Graham Gough, Brian Monahan, Alan Williams
    Formal support for the ELLA hardwar description language. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:225-245 [Conf]
  7. Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams
    Efficient CTL* model checking for analysis of rainbow designs. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:128-145 [Conf]
  8. Howard Barringer, Dov M. Gabbay
    Executing Temporal Logic: Review and Prospects (Abstract). [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:104-105 [Conf]
  9. Howard Barringer, Ruurd Kuiper
    Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:35-61 [Conf]
  10. Victoria Stavridou, Howard Barringer, David A. Edwards
    Formal Specification and Verification of Hardware: A Comparative Case Study. [Citation Graph (0, 0)][DBLP]
    DAC, 1988, pp:197-204 [Conf]
  11. Graham Gough, Howard Barringer
    A Semantics Driven Temporal Verification System. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:21-33 [Conf]
  12. Clare Dixon, Michael Fisher, Howard Barringer
    A Graph-Based Approach to Resolution in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:415-429 [Conf]
  13. Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
    Program Monitoring with LTL in EAGLE. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  14. Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
    Assumption Generation for Software Component Verification. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:3-12 [Conf]
  15. Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter
    Meta-Reasoning in Executable Temporal Logic. [Citation Graph (0, 0)][DBLP]
    KR, 1991, pp:40-49 [Conf]
  16. Howard Barringer, Ruurd Kuiper, Amir Pnueli
    A Really Abstract Concurrent Model and its Temporal Logic. [Citation Graph (0, 0)][DBLP]
    POPL, 1986, pp:173-183 [Conf]
  17. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
    METATEM: A Framework for Programming in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1989, pp:94-129 [Conf]
  18. Howard Barringer, Ruurd Kuiper, Amir Pnueli
    Now You May Compose Temporal Logic Specifications [Citation Graph (0, 0)][DBLP]
    STOC, 1984, pp:51-63 [Conf]
  19. Behnam Banieqbal, Howard Barringer
    Temporal Logic with Fixed Points. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:62-74 [Conf]
  20. Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
    Rule-Based Runtime Verification. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:44-57 [Conf]
  21. Howard Barringer, J. H. Cheng, Cliff B. Jones
    A Logic Covering Undefinedness in Program Proofs. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1984, v:21, n:, pp:251-269 [Journal]
  22. Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
    Component Verification with Automatically Generated Assumptions. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:297-320 [Journal]
  23. Howard Barringer
    Up and Down The Temporal Wey. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1987, v:30, n:2, pp:134-148 [Journal]
  24. Howard Barringer, Graham Gough, Brian Monahan, Alan Williams
    A Process Algebra Foundation for Reasoning about Core ELLA. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1996, v:39, n:4, pp:303-324 [Journal]
  25. Howard Barringer, Donal Fellows, Graham Gough, Alan Williams
    Rainbow: Development, Simulation and Analysis Tools for Asynchronous Micropipeline Hardware Design. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2002, v:45, n:1, pp:2-11 [Journal]
  26. Howard Barringer, I. Mearns
    A Proof System for Ada Tasks. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1986, v:29, n:5, pp:404-415 [Journal]
  27. Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:1- [Journal]
  28. Cornelia P. Inggs, Howard Barringer
    Effective State Exploration for Model Checking on a Shared Memory Architecture. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  29. Cornelia P. Inggs, Howard Barringer
    CTL ast Model Checking on a Shared-Memory Architecture. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:107-123 [Journal]
  30. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
    METATEM: An Introduction. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:5, pp:533-549 [Journal]
  31. Cornelia P. Inggs, Howard Barringer
    CTL* model checking on a shared-memory architecture. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:2, pp:135-155 [Journal]
  32. Howard Barringer
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1991, v:1, n:5, pp:573-574 [Journal]
  33. Howard Barringer, P. C. Capon, R. Philips
    The Portable Compiling Systems of MUSS. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1979, v:9, n:8, pp:645-655 [Journal]
  34. Willem Visser, Howard Barringer
    Practical CTL* Model Checking: Should SPIN be Extended? [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:350-365 [Journal]
  35. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:209-234 [Journal]
  36. Howard Barringer, David E. Rydeheard, Dov M. Gabbay
    A Logical Framework for Monitoring and Evolving Software Components. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:273-282 [Conf]
  37. Joachim Baran, Howard Barringer
    A Grammatical Representation of Visibly Pushdown Languages. [Citation Graph (0, 0)][DBLP]
    WoLLIC, 2007, pp:1-11 [Conf]

  38. Modal and Temporal Argumentation Networks. [Citation Graph (, )][DBLP]


  39. A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. [Citation Graph (, )][DBLP]


  40. An Integrated Specification Logic for Cyber-Physical Systems. [Citation Graph (, )][DBLP]


  41. From Runtime Verification to Evolvable Systems. [Citation Graph (, )][DBLP]


  42. Rule Systems for Run-Time Monitoring: From Eagleto RuleR. [Citation Graph (, )][DBLP]


  43. Forays into Sequential Composition and Concatenation in Eagle. [Citation Graph (, )][DBLP]


  44. Rule Systems for Runtime Verification: A Short Tutorial. [Citation Graph (, )][DBLP]


  45. A Purpose-Based Access Control Model. [Citation Graph (, )][DBLP]


  46. An Entry Point for Formal Methods: Specification and Analysis of Event Logs [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002