Most of these are held in the directory http://www.cs.man.ac.uk/~banach/some.pubs (refered to below as . . .) in both ps.gz and pdf forms.
Note that the ps.gz and pdf forms can differ slightly in inessential formatting detail due to the pdf having been produced using later releases of the document processing software in some cases, and/or ps2pdf vagaries.
Last Updated: 19.04.12
Refereed Conference Contributions R. Banach, H. Zhu, W. Su, X. Wu 2012 Proc. ABZ-12, LNCS 7316, 65-78, S. Reeves, E. Riccobene (eds.), `Continuous ASM, and a Pacemaker Sensing Fragment.' Preprint: .../Contin.ASM.Pace.ps.gz .../Contin.ASM.Pace.pdf R. Banach, H. Zhu, W. Su, X. Wu 2012 Proc. ABZ-12, LNCS 7316, 51-64, S. Reeves, E. Riccobene (eds.), `ASM and Controller Synthesis.' Preprint: .../Contin.ASM.Con.ps.gz .../Contin.ASM.Con.pdf R. Banach, H. Zhu, W. Su, X. Wu 2012 Proc. ABZ-12, LNCS 7316, 349-352, S. Reeves, E. Riccobene (eds.), `Continuous Behaviour in Event-B: A Sketch.' Preprint: .../Contin.EvB.SHORT.ps.gz .../Contin.EvB.SHORT.pdf R. Banach, H. Zhu, W. Su, R. Huang 2011 Proc. Refine-11, EPTCS 55, 121-138, J. Derrick, E. Boiten, S. Reeves (eds.), `Formalising the Continuous/Discrete Modeling Step.' Preprint: .../Retrench.CD.Mod.ps.gz .../Retrench.CD.Mod.pdf R. Banach 2010 Proc. ACM SAC-10, 267-274, M. Lencastre (RE-track ed.), `A Deidealisation Semantics for KAOS.' Preprint: .../Retrench.KAOS.ps.gz .../Retrench.KAOS.pdf R. Banach 2009 Proc. IEEE TASE-09, 103-110, W. Chin, S. Qin (eds.), `Coarse Grained Retrenchment and the Mondex Denial of Service Attacks.' ISBN. 9780769537573 Preprint: .../Retrench.Mondex.CG.DOS.ps.gz .../Retrench.Mondex.CG.DOS.pdf R. Banach 2008 Proc. ABZ-08 VSR Workshop, 29pp., (to appear), `The Mondex Purse: Requirements and Retrenchments.' Preprint: .../Retrench.Mondex.OvView.ps.gz .../Retrench.Mondex.OvView.pdf G. Schellhorn, R. Banach 2008 Proc. ABZ-08, LNCS 5238, 57-70, P. Boca, E. Boerger, J. Bowen, M. Butler (eds.), `A Concept-Driven Construction of the Mondex Protocol using Three Refinements.' ISBN. 3540876022 Preprint: .../Refine.Mondex.Concept.ps.gz .../Refine.Mondex.Concept.pdf R. Banach 2008 Proc. ABZ-08, LNCS 5238, 42-56, P. Boca, E. Boerger, J. Bowen, M. Butler (eds.), `Model Based Refinement and the Tools of Tomorrow.' ISBN. 3540876022 Preprint: .../Refine.Mod.Tools.Tom.ps.gz .../Refine.Mod.Tools.Tom.pdf R. Banach 2008 Proc. ABZ-08, LNCS 5238, 167-180, P. Boca, E. Boerger, J. Bowen, M. Butler (eds.), `UseCase-wise Development: Retrenchment for Event-B.' ISBN. 3540876022 Preprint: .../Retrench.UCWDev.EvB.ps.gz .../Retrench.UCWDev.EvB.pdf S. Fraser, R. Banach 2007 Proc. IEEE SEFM-07, 361-370, M. Hinchey, T. Margaria (eds.), `Configurable Proof Obligations in the Frog Toolkit.' ISBN. 0769528848 Preprint: .../Retrench.Config.POs.ps.gz .../Retrench.Config.POs.pdf R. Banach, C. Jeske, A. Hall, S. Stepney 2007 Proc. IEEE SEFM-07, 37-46, M. Hinchey, T. Margaria (eds.), `Retrenchment and the Atomicity Pattern.' ISBN. 0769528848 Preprint: .../Retrench.At.Patt.ps.gz .../Retrench.At.Patt.pdf R. Banach, G. Schellhorn 2007 Proc. Refine-07, E. Boiten, J. Derrick, G. Smith (eds.), `On the Refinement of Atomic Actions.' ENTCS 201, 3-30, University of Kent Computing Laboratory Technical Report 4-07, 168-191, Preprint: .../Refine.At.Act.ps.gz .../Refine.At.Act.pdf R. Banach, C. Jeske, M. Poppleton, S. Stepney 2006 Proc. IEEE ISOLA-06, 82-90, T. Margaria, B. Steffen (eds.), `Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.' ISBN. 9780769530710 Preprint: .../Retrench.Mondex.Hash.ps.gz .../Retrench.Mondex.Hash.pdf R. Banach, J. Derrick 2006 Proc. IEEE SEFM-06, 60-69, D.V. Hung, P. Pandya (eds.), `Filtering Retrenchments into Refinements.' ISBN. 0769526780 Preprint: .../Retrench.Filter.ps.gz .../Retrench.Filter.pdf R. Banach, M. Bozzano 2006 Proc. SAFECOMP-06, LNCS 4166, 127-141, J. Gorski (ed.), `Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems.' ISBN. 3540457623 Preprint: .../Retrench.Gen.FT.SDCS.ps.gz .../Retrench.Gen.FT.SDCS.pdf R. Banach, C. Jeske, M. Poppleton, S. Stepney 2006 Proc. IEEE/NASA SEW30-06, 234-245, M. Hinchey (ed.), `Retrenching the Purse: Finite Exception Logs, and Validating the Small.' ISBN. 0769526241 Preprint: .../Retrench.Mondex.Log.ps.gz .../Retrench.Mondex.Log.pdf R. Banach, J-P. Bodeveix, M. Filali, M. Poppleton 2005 Proc. SEEWFM-05, 104-118, G. Eleftherakis (ed.), `Dynamic Aspects of Retrenchments through Temporal Logic.' ISBN. 9608786983 Preprint: .../Retrench.Dyn.Asp.TL.ps.gz .../Retrench.Dyn.Asp.TL.pdf R. Banach, M. Poppleton, C. Jeske, S. Stepney 2005 Proc. FM-05, LNCS 3582, 382-398, J. Fitzgerald, I. Hayes, A. Tarlecki (eds.), `Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.' ISBN. 3540278826 Preprint: .../Retrench.Mondex.Seq.ps.gz .../Retrench.Mondex.Seq.pdf R. Banach, S. Fraser 2005 Proc. ZB-05, LNCS 3455, 203-221, H. Treharne, S. King, M. Hensen, S. Schneider (eds.), `Retrenchment and the BToolkit.' ISBN. 3540255591 Preprint: .../Retrench.BToolkit.ps.gz .../Retrench.BToolkit.pdf R. Banach, M. Poppleton, C. Jeske, S. Stepney 2005 Proc. ASM-05, 41-48, D. Beauquier, E. Boerger, A. Slissenko (eds.), `Retrenchment and the Mondex Electronic Purse (Extended Abstract).' Preprint: .../Retrench.Mondex.Short.ps.gz .../Retrench.Mondex.Short.pdf R. Banach, R. Cross 2004 Proc. SAFECOMP-04, LNCS 3219, 210-223, M. Heisel, P. Liggesmeyer, S. Wittmann (eds.), `Safety Requirements and Fault Trees using Retrenchment.' ISBN. 3540231765 Preprint: .../Retrench.Safety.FT.ps.gz .../Retrench.Safety.FT.pdf M. Poppleton, R. Banach 2004 Proc. IEEE ICECCS-04, 87-96, P. Bellini, S.A.Bohner, B. Steffen (eds.), `Requirements Validation by Lifting Retrenchments in B.' ISBN. 0769521096 Preprint: .../Retrench.Req.Val.Lift.ps.gz .../Retrench.Req.Val.Lift.pdf M. Poppleton, R. Banach 2003 Proc. FME-03, LNCS 2805, 814-833, K. Araki, S. Gnesi, D. Mandrioli (eds.) `Structuring Retrenchments in B by Decomposition' ISBN. 3540408282 Preprint: .../Retrench.Struct.Decom.ps.gz .../Retrench.Struct.Decom.pdf R. Banach, F. Arbab, G. A. Papadopoulos, J. R. W. Glauert 2002 Proc. ICALP FMCI-02, ENTCS 66.4, 15pp., A. Brogi, E. Pimentel (eds.), `IWIM Semantics via Fibred Automata' ISBN. 0444512799 Preprint: .../IWIM.Short.ps.gz .../IWIM.Short.pdf C. Jeske, R. Banach 2002 Proc. IFM-02, LNCS 2335, 380-399, M. Butler, L. Petre, K. Sere (eds.), `Minimally and Maximally Abstract Retrenchments.' ISBN. 3540437037 Preprint: .../Retrench.Min.Max.Abs.ps.gz .../Retrench.Min.Max.Abs.pdf M. Poppleton, R. Banach 2002 Proc. ZB-02, LNCS 2272, 42-61, D. Bert, J. P. Bowen, M. C. Henson, K. Robinson (eds.), `Controlling Control Systems: An Application of Evolving Retrenchment.' ISBN. 3540431667 Preprint: .../Retrench.Control.Evol.ps.gz .../Retrench.Control.Evol.pdf R. Banach, M. Poppleton 2001 Proc. MBRE-01, 1-8, T. Menzies, J. Kiper, T. Kurtz (eds.), `Model Based Engineering of Specifications by Retrenching Partial Requirements.' Preprint: .../Retrench.Mod.Base.Req.Eng.ps.gz .../Retrench.Mod.Base.Req.Eng.pdf R. Banach 2000 Proc. IEEE ICFEM-00, 133-142, S. Liu, J.A. McDermid, M.G. Hinchey (eds.), `Maximally Abstract Retrenchments.' ISBN. 0769508227 Preprint: .../Retrench.Max.Abs.ps.gz .../Retrench.Max.Abs.pdf R. Banach, M. Poppleton 2000 Proc. IEEE ICFEM-00, 143-151, S. Liu, J.A. McDermid, M.G. Hinchey (eds.), `Fragmented Retrenchment, Concurrency and Fairness.' ISBN. 0769508227 Preprint: .../Retrench.Frag.Fair.ps.gz .../Retrench.Frag.Fair.pdf R. Banach, M. Poppleton 2000 Proc. BZ-00, LNCS 1878, 304-323, J. Bowen, S. King, S. Dunne, A. Galloway (eds.), `Retrenchment, Refinement and Simulation.' ISBN. 3450679448 Preprint: .../Retrench.Ref.Sim.ps.gz .../Retrench.Ref.Sim.pdf M. Poppleton, R. Banach 2000 Proc. IWFM-00, 19pp., `Retrenchment: Extending Refinement for Continuous and Control Systems.' http://www1.bcs.org.uk Preprint: .../Retrench.Ext.Ref.Control.ps.gz .../Retrench.Ext.Ref.Control.pdf R. Banach, A. Corradini 2000 Proc. ETAPS GRATRA-00, 155-162, H. Ehrig, G. Taentzer (eds.), Technische Universitat Berlin, Fachbereichs-Informatik, Rep. 2000-2, `Graph Transformation via Abstract Diagrams.' ISSN. 1436-9915 Preprint: .../GTr.Abs.Diag.ps.gz .../GTr.Abs.Diag.pdf M. Poppleton, R. Banach 1999 Proc. IEEE ASE-99, 158-165, `Retrenchment: Extending the Reach of Refinement.' ISBN. 0769504159 Preprint: .../Retrench.Ext.Reach.Ref.ps.gz .../Retrench.Ext.Reach.Ref.pdf R. Banach, M. Poppleton 1999 Proc. FM-99, LNCS 1709, 1864-1865, J. M. Wing, J. C. P. Woodcock, J. Davies (eds.), `Retrenchment.' ISBN. 3540665889 Preprint: .../Retrench.ps.gz .../Retrench.pdf R. Banach, M. Poppleton 1999 Proc. IFM-99, 457-476, K. Araki, A. Gallway, K. Taguchi (eds.), `Retrenchment and Punctured Simulation.' Springer-Verlag, ISBN. 1852331070 Preprint: .../Retrench.Punct.Sim.ps.gz .../Retrench.Punct.Sim.pdf R. Banach, M. Poppleton 1998 Proc. B-98, LNCS 1393, 129-147, D. Bert (ed.), `Retrenchment: An Engineering Variation on Refinement.' ISBN. 3540644059 Preprint: .../Retrench.Eng.Var.Ref.ps.gz .../Retrench.Eng.Var.Ref.pdf R. Banach, G.A. Papadopoulos 1997 Proc. ACM SAC-97, 509-514, `Implementing Interaction Nets in MONSTR.' http://www.ucy.ac.cy/ucy/cs/george5.html R. Banach, G.A. Papadopoulos 1996 Proc. IFIP FMOODS-96, 373-388, ENST French Telecom, ENST 96 S 001, E. Najm, J-B. Stefani (eds.) `Expressing Runtime Structure and Synchronisation in Concurrent Object Oriented Languages with MONSTR.' Preprint: .../Expr.Run.Struc.Sync.COOL.FULL.ps.gz .../Expr.Run.Struc.Sync.COOL.FULL.pdf R. Banach, G.A. Papadopoulos 1995 Proc. IEEE MPPM-95, 151-158, W.K. Giloi, S. Jahnichen, B.D. Shriver (eds.) `Term Graph Rewriting as a Specification and Implementation Framework for Concurrent Object Oriented Programming Languages.' Preprint: .../TGR.Spec.Imp.FWork.COOL.ps.gz .../TGR.Spec.Imp.FWork.COOL.pdf R. Banach 1995 Proc. SEGRAGRA-95, ENTCS, 2, 9-16, A. Corradini, U. Montanari (eds.), `DPO Rewriting and Abstract Semantics Using Opfibrations.' ISBN. 0444507655 http://www.elsevier.nl/locate/entcs R. Banach, G.A. Papadopoulos 1995 Proc. IEEE ICA3PP-95 Vol. 1, 61-70, `A Highly Parallel Model for Object-Oriented Concurrent Constraint Programming.' http://www.ucy.ac.cy/ucy/cs/george5.html R. Banach, G.A. Papadopoulos 1995 Proc. ACM SAC-95, 157-163, `Linear Behaviour of Term Graph Rewriting Programs.' http://www.ucy.ac.cy/ucy/cs/george5.html R. Banach 1995 Proc. GRA-GRA-94, LNCS 1073, 16-26, J. Cuny, H. Ehrig, G. Engels, G. Rozenberg (eds.), `The Contractum in Algebraic Graph Rewriting.' ISBN. 3540612289 Preprint: .../Contractum.Alg.GR.ps.gz .../Contractum.Alg.GR.pdf R. Banach, G.A. Papadopoulos 1993 Proc. WPDP-93, Bulgarian Acad. of Sci., K. Boyanov (ed.), 303-322, `Parallel Term Graph Rewriting and Concurrent Logic Programs.' Preprint: .../Parallel.TGR.Conc.LP.ps.gz .../Parallel.TGR.Conc.LP.pdf R. Banach 1992 Proc. CTRS-92, LNCS 656, 51-66, M. Rusinowitch J. Remy (eds.), `Simple Type Inference for Term Graph Rewriting Systems.' ISBN. 3540563938 Preprint: .../Simple.Type.Inf.TGRS.ps.gz .../Simple.Type.Inf.TGRS.pdf R. Banach 1991 Proc. SemaGraph-91, Nijmegen Technical Report 91-25, 251-262 M.J. Plasmeijer M.R. Sleep (eds.) `MONSTR: Term Graph Rewriting for Parallel Machines.' Preprint: .../MONSTR.TGR.Par.Mach.FULL.ps.gz .../MONSTR.TGR.Par.Mach.FULL.pdf R. Banach 1991 Proc. SemaGraph-91, Nijmegen Technical Report 91-25, 339-358 M.J. Plasmeijer M.R. Sleep (eds.) `DACTL Rewriting is Categorical.' Preprint: .../Fib.Sem.ETGRS.FULL.ps.gz .../Fib.Sem.ETGRS.FULL.pdf R. Banach 1989 Proc. PARLE-89, LNCS 366, 55-72, E. Odijk M. Rem J-C. Syre (eds.), `Dataflow Analysis of Term Graph Rewriting Systems.' ISBN. 3540512853 R. Banach, P. Watson 1988 Proc. CONPAR-88, 595-604, C.R. Jesshope D.K. Reinartz (eds.), `Dealing with State on Flagship: the MONSTR Computational Model.' C.U.P., ISBN. 0521371775 R. Banach, J. Sarjeant, I. Watson, P. Watson, V. Woods 1988 Proc. Alvey Technical Conference IT-88, IEE/BCS, 242-245, `The Flagship Project.' I. Watson, V. Woods, P. Watson, R. Banach, M. Greenberg, J. Sargeant 1988 Proc. 15th IEEE ISCA-88 124-30, `Flagship: A Parallel Architecture for Declarative Programming.'