Richard Banach

	2011
69		Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang: Formalising the Continuous/Discrete Modeling Step Refine 2011: 121-138
68		Richard Banach: Retrenchment for Event-B: UseCase-wise development and Rodin integration. Formal Asp. Comput. 23(1): 113-131 (2011)
67		Richard Banach, Czeslaw Jeske: Simple feature engineering via neat default retrenchments. J. Log. Algebr. Program. 80(8): 453-480 (2011)
66		Richard Banach: Review of Modeling in Event-B: System and Sofware Engineering, 1st edition, by Jean-Raymond Abrial. J. Log. Comput. 21(2): 403-404 (2011)
	2010
65		Richard Banach: A deidealisation semantics for KAOS. SAC 2010: 267-274
64		Richard Banach, Gerhard Schellhorn: Atomic actions, and their refinements to isolated protocols. Formal Asp. Comput. 22(1): 33-61 (2010)
63		Richard Banach, Czeslaw Jeske: Stronger compositions for retrenchments. J. Log. Algebr. Program. 79(3-5): 215-232 (2010)
	2009
62		Richard Banach: Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. TASE 2009: 103-110
	2008
61		Richard Banach: UseCase-Wise Development: Retrenchment for Event-B. ABZ 2008: 167-180
60		Richard Banach: Model Based Refinement and the Tools of Tomorrow. ABZ 2008: 42-56
59		Gerhard Schellhorn, Richard Banach: A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. ABZ 2008: 57-70
58		Richard Banach, Gerhard Schellhorn: On the Refinement of Atomic Actions. Electr. Notes Theor. Comput. Sci. 201: 3-30 (2008)
57		Richard Banach, Czeslaw Jeske, Michael Poppleton: Composition mechanisms for retrenchment. J. Log. Algebr. Program. 75(2): 209-229 (2008)
	2007
56		Simon Fraser, Richard Banach: Configurable Proof Obligations in the Frog Toolkit. SEFM 2007: 361-370
55		Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46
54		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)
53		Richard Banach: Formal Methods Guest Editorial. J. UCS 13(5): 593-601 (2007)
52		Jim Woodcock, Richard Banach: The Verification Grand Challenge. J. UCS 13(5): 661-668 (2007)
51		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)
	2006
50		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA 2006: 82-90
49		Richard Banach, Marco Bozzano: Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. SAFECOMP 2006: 127-141
48		Richard Banach: Retrenchment Tutorial. SEFM 2006: 259
47		Richard Banach, John Derrick: Filtering Retrenchments into Refinements. SEFM 2006: 60-69
46		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		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48
43		Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398
42		Richard Banach, Simon Fraser: Retrenchment and the B-Toolkit. ZB 2005: 203-221
	2004
41		Michael Poppleton, Richard Banach: Requirements Validation by Lifting Retrenchments in B. ICECCS 2004: 87-96
40		Richard Banach, R. Cross: Safety Requirements and Fault Trees Using Retrenchment. SAFECOMP 2004: 210-223
39		Richard Banach: Review: Process Algebra with Timing. J. Log. Comput. 14(6): 881 (2004)
	2003
38		Michael Poppleton, Richard Banach: Structuring Retrenchments in B by Decomposition. FME 2003: 814-833
37		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		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		Richard Banach: Review: Mathematics of Quantum Computation. J. Log. Comput. 13(6): 957-959 (2003)
34		Richard Banach: Review: Handbook of Process Algebra. J. Log. Comput. 13(6): 959-962 (2003)
33		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		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		Czeslaw Jeske, Richard Banach: Minimally and Maximally Abstract Retrenchments. IFM 2002: 380-400
30		Michael Poppleton, Richard Banach: Controlling Control Systems: An Application of Evolving Retrenchment. ZB 2002: 42-61
29		Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert: IWIM Semantics via Fibred Automata. Electr. Notes Theor. Comput. Sci. 66(4): 1-15 (2002)
28		Richard Banach: Book Reviews. Softw. Test., Verif. Reliab. 12(4): 278 (2002)
	2000
27		Richard Banach: Maximally Abstract Retrenchments. ICFEM 2000: 133-142
26		Richard Banach, Michael Poppleton: Fragmented Retrenchment, Concurrency and Fairness. ICFEM 2000: 143-
25		Michael Poppleton, Richard Banach: Retrenchment: Extending Refinement for Continuous and Control Systems. IWFM 2000
24		Richard Banach, Michael Poppleton: Retrenchment, Refinement, and Simulation. ZB 2000: 304-323
	1999
23		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		Richard Banach, Michael Poppleton: Retrenchment. World Congress on Formal Methods 1999: 1864-1865
20		Richard Banach, Michael Poppleton: Sharp Retrenchment, Modulated Refinement and Simulation. Formal Asp. Comput. 11(5): 498-540 (1999)
	1998
19		Richard Banach, Michael Poppleton: Retrenchment: An Engineering Variation on Refinement. B 1998: 129-147
	1997
18		Richard Banach, George A. Papadopoulos: Implementing interaction nets in MONSTR. SAC 1997: 509-514
17		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		Richard Banach: MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property. J. UCS 3(12): 1283-1336 (1997)
15		Richard Banach: MONSTR II - Suspending Semantics and Independence. J. UCS 3(7): 756-801 (1997)
	1996
14		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		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		Richard Banach: DPO rewriting and abstract semantics via opfibrations. Electr. Notes Theor. Comput. Sci. 2: 3-10 (1995)
9		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		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

Coauthor Index

1	Farhad Arbab	[29] [33]
2	J. Balazs	[9]
3	Marco Bozzano	[49]
4	R. Cross	[40]
5	John Derrick	[47]
6	Simon Fraser	[42] [56]
7	John R. W. Glauert	[29] [33]
8	Mark Greenberg	[1]
9	Anthony Hall	[55]
10	Runlei Huang	[69]
11	Czeslaw Jeske	[31] [43] [44] [50] [51] [54] [55] [57] [63] [67]
12	Kung-Kiu Lau	[45]
13	George Angelos Papadopoulos (George A. Papadopoulos)	[12] [17] [18] [29] [33]
14	G. Papadoupolous	[9]
15	Michael Poppleton (M. Poppleton)	[19] [20] [21] [22] [23] [24] [25] [26] [30] [32] [38] [41] [43] [44] [46] [50] [51] [54] [57]
16	John Sargeant	[1]
17	Gerhard Schellhorn	[58] [59] [64]
18	Susan Stepney	[43] [44] [46] [50] [51] [54] [55]
19	Wen Su	[69]
20	Ian Watson	[1]
21	Paul Watson	[1]
22	Jim Woodcock (J. C. P. Woodcock)	[52]
23	Viv Woods	[1]
24	Huibiao Zhu	[69]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page