The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard Banach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Richard Banach, Michael Poppleton
    Retrenchment: An Engineering Variation on Refinement. [Citation Graph (0, 0)][DBLP]
    B, 1998, pp:129-147 [Conf]
  2. Richard Banach
    Simple Type Inference for Term Graph Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1992, pp:51-66 [Conf]
  3. Richard Banach, Michael Poppleton
    Retrenchment. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1864-1865 [Conf]
  4. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
    Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:382-398 [Conf]
  5. Michael Poppleton, Richard Banach
    Structuring Retrenchments in B by Decomposition. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:814-833 [Conf]
  6. Michael Poppleton, Richard Banach
    Requirements Validation by Lifting Retrenchments in B. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2004, pp:87-96 [Conf]
  7. Richard Banach
    Maximally Abstract Retrenchments. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:133-142 [Conf]
  8. Richard Banach, Michael Poppleton
    Fragmented Retrenchment, Concurrency and Fairness. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:143-0 [Conf]
  9. Richard Banach, Michael Poppleton
    Retrenchment and Punctured Simulation. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:457-476 [Conf]
  10. Czeslaw Jeske, Richard Banach
    Minimally and Maximally Abstract Retrenchments. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:380-400 [Conf]
  11. Ian Watson, Viv Woods, Paul Watson, Richard Banach, Mark Greenberg, John Sargeant
    Flagship: A Parallel Architecture for Declarative Programming. [Citation Graph (0, 0)][DBLP]
    ISCA, 1988, pp:124-130 [Conf]
  12. Michael Poppleton, Richard Banach
    Retrenchment: Extending Refinement for Continuous and Control Systems. [Citation Graph (0, 0)][DBLP]
    IWFM, 2000, pp:- [Conf]
  13. Michael Poppleton, Richard Banach
    Retrenchment: Extending the Reach of Refinement. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:158-165 [Conf]
  14. Richard Banach
    Dataflow Analysis if Term Graph Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1989, pp:55-72 [Conf]
  15. Richard Banach, George A. Papadopoulos
    Linear behaviour of term graph rewriting programs. [Citation Graph (0, 0)][DBLP]
    SAC, 1995, pp:157-163 [Conf]
  16. Richard Banach, George A. Papadopoulos
    Implementing interaction nets in MONSTR. [Citation Graph (0, 0)][DBLP]
    SAC, 1997, pp:509-514 [Conf]
  17. Richard Banach, Marco Bozzano
    Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2006, pp:127-141 [Conf]
  18. Richard Banach, R. Cross
    Safety Requirements and Fault Trees Using Retrenchment. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2004, pp:210-223 [Conf]
  19. Richard Banach
    Retrenchment Tutorial. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:259- [Conf]
  20. Richard Banach, John Derrick
    Filtering Retrenchments into Refinements. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:60-69 [Conf]
  21. Richard Banach
    The Contractum in Algebraic Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    TAGT, 1994, pp:16-26 [Conf]
  22. Richard Banach, Simon Fraser
    Retrenchment and the B-Toolkit. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:203-221 [Conf]
  23. Richard Banach, Michael Poppleton
    Retrenchment, Refinement, and Simulation. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:304-323 [Conf]
  24. Michael Poppleton, Richard Banach
    Controlling Control Systems: An Application of Evolving Retrenchment. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:42-61 [Conf]
  25. Richard Banach, Michael Poppleton, Susan Stepney
    Retrenching the Purse: Finite Exception Logs, and Validating the Small. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:234-248 [Conf]
  26. Richard Banach
    Sequent Reconstruction in LLM - A Sweepline Proof. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1995, v:73, n:3, pp:277-295 [Journal]
  27. Richard Banach
    DPO rewriting and abstract semantics via opfibrations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal]
  28. Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert
    IWIM Semantics via Fibred Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:4, pp:- [Journal]
  29. Richard Banach, Michael Poppleton
    Sharp Retrenchment, Modulated Refinement and Simulation. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:5, pp:498-540 [Journal]
  30. Richard Banach
    Transitive Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:60, n:3, pp:109-114 [Journal]
  31. Richard Banach, George A. Papadopoulos
    A study of two graph rewriting formalisms: Interaction Nets and MONSTR. [Citation Graph (0, 0)][DBLP]
    J. Prog. Lang., 1997, v:5, n:1, pp:201-231 [Journal]
  32. Richard Banach
    MONSTR I - Fundamental Issues and the Design of MONSTR. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1996, v:2, n:4, pp:164-216 [Journal]
  33. Richard Banach
    MONSTR II - Suspending Semantics and Independence. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:7, pp:756-801 [Journal]
  34. Richard Banach
    MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1997, v:3, n:12, pp:1283-1336 [Journal]
  35. Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert
    A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:1, pp:2-33 [Journal]
  36. Richard Banach, J. Balazs, G. Papadoupolous
    A Translation of the Pi-Caculus Into MONSTR. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1995, v:1, n:6, pp:339-398 [Journal]
  37. Richard Banach
    Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:2, pp:313-314 [Journal]
  38. Richard Banach
    Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.). [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:625-627 [Journal]
  39. Richard Banach
    Review: Mathematics of Quantum Computation. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:6, pp:957-959 [Journal]
  40. Richard Banach
    Review: Handbook of Process Algebra. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:6, pp:959-962 [Journal]
  41. Richard Banach
    Review: Process Algebra with Timing. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:6, pp:881- [Journal]
  42. Richard Banach, Michael Poppleton
    Retrenching partial requirements into system definitions: a simple feature interaction case study. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2003, v:8, n:4, pp:266-288 [Journal]
  43. Richard Banach
    On Regularity in Software Design. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1995, v:24, n:3, pp:221-248 [Journal]
  44. Richard Banach
    Book Reviews. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:4, pp:278- [Journal]
  45. Richard Banach
    Regular Relations and Bicartesian Squares. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:129, n:1, pp:187-192 [Journal]
  46. Richard Banach
    Term Graph Rewriting and Garbage Collection Using Ppfibrations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:131, n:1, pp:29-94 [Journal]
  47. Richard Banach
    Locating the Contractum in the Double Pushout Approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:152, n:2, pp:305-320 [Journal]
  48. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
    Retrenchment and the Mondex Electronic Purse. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:41-48 [Conf]
  49. Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney
    Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:77, n:1-2, pp:29-69 [Journal]
  50. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
    Engineering and theoretical underpinnings of retrenchment. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:67, n:2-3, pp:301-329 [Journal]

  51. Model Based Refinement and the Tools of Tomorrow. [Citation Graph (, )][DBLP]


  52. A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. [Citation Graph (, )][DBLP]


  53. UseCase-Wise Development: Retrenchment for Event-B. [Citation Graph (, )][DBLP]


  54. Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. [Citation Graph (, )][DBLP]


  55. A deidealisation semantics for KAOS. [Citation Graph (, )][DBLP]


  56. Retrenchment and the Atomicity Pattern. [Citation Graph (, )][DBLP]


  57. Configurable Proof Obligations in the Frog Toolkit. [Citation Graph (, )][DBLP]


  58. Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. [Citation Graph (, )][DBLP]


  59. On the Refinement of Atomic Actions. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
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