dblp.uni-trier.dewww.uni-trier.de

Richard Banach Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
62EERichard Banach: Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. TASE 2009: 103-110
2008
61EERichard Banach: UseCase-Wise Development: Retrenchment for Event-B. ABZ 2008: 167-180
60EERichard Banach: Model Based Refinement and the Tools of Tomorrow. ABZ 2008: 42-56
59EEGerhard Schellhorn, Richard Banach: A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. ABZ 2008: 57-70
58EERichard Banach, Gerhard Schellhorn: On the Refinement of Atomic Actions. Electr. Notes Theor. Comput. Sci. 201: 3-30 (2008)
57EERichard Banach, Czeslaw Jeske, Michael Poppleton: Composition mechanisms for retrenchment. J. Log. Algebr. Program. 75(2): 209-229 (2008)
2007
56EESimon Fraser, Richard Banach: Configurable Proof Obligations in the Frog Toolkit. SEFM 2007: 361-370
55EERichard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney: Retrenchment and the Atomicity Pattern. SEFM 2007: 37-46
54EERichard 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)
53EERichard Banach: Formal Methods Guest Editorial. J. UCS 13(5): 593-601 (2007)
52EEJim Woodcock, Richard Banach: The Verification Grand Challenge. J. UCS 13(5): 661-668 (2007)
51EERichard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67(2-3): 301-329 (2007)
2006
50EERichard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA 2006: 82-90
49EERichard Banach, Marco Bozzano: Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. SAFECOMP 2006: 127-141
48EERichard Banach: Retrenchment Tutorial. SEFM 2006: 259
47EERichard Banach, John Derrick: Filtering Retrenchments into Refinements. SEFM 2006: 60-69
46EERichard 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
44EERichard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenchment and the Mondex Electronic Purse. Abstract State Machines 2005: 41-48
43EERichard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney: Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM 2005: 382-398
42EERichard Banach, Simon Fraser: Retrenchment and the B-Toolkit. ZB 2005: 203-221
2004
41EEMichael Poppleton, Richard Banach: Requirements Validation by Lifting Retrenchments in B. ICECCS 2004: 87-96
40EERichard Banach, R. Cross: Safety Requirements and Fault Trees Using Retrenchment. SAFECOMP 2004: 210-223
39EERichard Banach: Review: Process Algebra with Timing. J. Log. Comput. 14(6): 881 (2004)
2003
38EEMichael Poppleton, Richard Banach: Structuring Retrenchments in B by Decomposition. FME 2003: 814-833
37EERichard 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)
36EERichard 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)
35EERichard Banach: Review: Mathematics of Quantum Computation. J. Log. Comput. 13(6): 957-959 (2003)
34EERichard Banach: Review: Handbook of Process Algebra. J. Log. Comput. 13(6): 959-962 (2003)
33EERichard 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)
32EERichard Banach, Michael Poppleton: Retrenching partial requirements into system definitions: a simple feature interaction case study. Requir. Eng. 8(4): 266-288 (2003)
2002
31EECzeslaw Jeske, Richard Banach: Minimally and Maximally Abstract Retrenchments. IFM 2002: 380-400
30EEMichael Poppleton, Richard Banach: Controlling Control Systems: An Application of Evolving Retrenchment. ZB 2002: 42-61
29EERichard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert: IWIM Semantics via Fibred Automata. Electr. Notes Theor. Comput. Sci. 66(4): (2002)
28EERichard Banach: Book Reviews. Softw. Test., Verif. Reliab. 12(4): 278 (2002)
2000
27EERichard Banach: Maximally Abstract Retrenchments. ICFEM 2000: 133-142
26EERichard Banach, Michael Poppleton: Fragmented Retrenchment, Concurrency and Fairness. ICFEM 2000: 143-
25EEMichael Poppleton, Richard Banach: Retrenchment: Extending Refinement for Continuous and Control Systems. IWFM 2000
24EERichard Banach, Michael Poppleton: Retrenchment, Refinement, and Simulation. ZB 2000: 304-323
1999
23EEMichael 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
21EERichard Banach, Michael Poppleton: Retrenchment. World Congress on Formal Methods 1999: 1864-1865
20EERichard Banach, Michael Poppleton: Sharp Retrenchment, Modulated Refinement and Simulation. Formal Asp. Comput. 11(5): 498-540 (1999)
1998
19EERichard Banach, Michael Poppleton: Retrenchment: An Engineering Variation on Refinement. B 1998: 129-147
1997
18EERichard Banach, George A. Papadopoulos: Implementing interaction nets in MONSTR. SAC 1997: 509-514
17EERichard Banach, George A. Papadopoulos: A study of two graph rewriting formalisms: Interaction Nets and MONSTR. J. Prog. Lang. 5(1): 201-231 (1997)
16EERichard Banach: MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property. J. UCS 3(12): 1283-1336 (1997)
15EERichard Banach: MONSTR II - Suspending Semantics and Independence. J. UCS 3(7): 756-801 (1997)
1996
14EERichard 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
12EERichard 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)
10EERichard Banach: DPO rewriting and abstract semantics via opfibrations. Electr. Notes Theor. Comput. Sci. 2: (1995)
9EERichard 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)
7EERichard 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
2EERichard 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)