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