Richard Banach

128 papers A* 2A 1B 14C 19Misc 7Journal 55Unranked 29

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Permissionless Blockchain Recent Trends, Privacy Concerns, Potential Solutions and Secure Development Lifecycle. Future Internet Talgar Bayan, Adnan Yazici, Richard Banach
2024	J	`jnl`	A Privacy-Preserving DAO Model Using NFT Authentication for the Punishment not Reward Blockchain Architecture. CoRR Talgar Bayan, Richard Banach
2024	J	`jnl`	An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency. J. Log. Algebraic Methods Program. Ran Li, Huibiao Zhu, Richard Banach
2024	—	`conf`	Autonomous System Safety Properties with Multi-Machine Hybrid Event-B. FMAS@iFM Richard Banach
2024	J	`jnl`	Blockchain-enhanced Integrity Verification in Educational Content Assessment Platform: A Lightweight and Cost-Efficient Approach. CoRR Talgar Bayan, Richard Banach, Askar Nurbekov, Makhmud Mustafabek Galy, Adi Sabyrbayev, Zhanat Nurbekova
2024	J	`jnl`	Core Hybrid Event-B III: Fundamentals of a reasoning framework. Sci. Comput. Program. Richard Banach
2024	B	`conf`	The 'Causality' Quagmire for Formalised Bond Graphs. ICGT Richard Banach, John W. Baugh Jr.
2023	J	`jnl`	Exploring the Privacy Concerns in Permissionless Blockchain Networks and Potential Solutions. CoRR Talgar Bayan, Richard Banach
2023	B	`conf`	Formalisation, Abstraction and Refinement of Bond Graphs. ICGT Richard Banach, John W. Baugh Jr.
2023	J	`jnl`	Graded Refinement, Retrenchment, and Simulation. ACM Trans. Softw. Eng. Methodol. Richard Banach
2023	J	`jnl`	Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx. Internet Things Ran Li, Huibiao Zhu, Richard Banach
2022	C	`conf`	A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. ICFEM Ran Li, Huibiao Zhu, Richard Banach
2022	B	`conf`	Denotational and Algebraic Semantics for Cyber-physical Systems. ICECCS Ran Li, Huibiao Zhu, Richard Banach
2022	Misc	`conf`	Translating CPS with Shared-Variable Concurrency in SpaceEx. SETTA Ran Li, Huibiao Zhu, Richard Banach
2021	J	`jnl`	Blockchain applications beyond the cryptocurrency casino: The Punishment not Reward blockchain architecture. Concurr. Comput. Pract. Exp. Richard Banach
2021	J	`jnl`	Formal methods by stealth: The INSPEX experience. J. Softw. Evol. Process. Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq
2021	J	`jnl`	Language evolution and healthiness for critical cyber-physical systems. J. Softw. Evol. Process. Richard Banach, Huibiao Zhu
2021	—	`conf`	Moded and Continuous Abstract State Machines. Logic, Computation and Rigorous Methods Richard Banach, Huibiao Zhu
2020	J	`jnl`	Automated urban train control with hybrid Event-B: 'Tackling' the rugby club problem. Sci. Comput. Program. Richard Banach
2019	—	`conf`	Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX. FM Workshops (1) Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq
2019	J	`jnl`	INSPEX: Optimize Range Sensors for Environment Perception as a Portable System. Sensors Julie Foucault, Suzanne Lesecq, Gabriela Dudnik, Marc Correvon, Rosemary O'Keeffe, Vincenza Di Palma, Marco Passoni, Fabio Quaglia, Laurent Ouvry, Steve Buckley, Jean Herveg, Andrea Di Matteo, Tiana A. Rakotovao, Olivier Debicki, Nicolas Mareau, John Barrett, Susan Rea, Alan McGibney, Francois Birot, Hugues de Chaumont, Richard Banach, Joseph Razavi, Cian O'Murchu
2019	J	`jnl`	John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems - Springer, Berlin Heidelberg, 2014. Formal Aspects Comput. Richard Banach
2019	—	`conf`	Punishment not Reward: Disincentivising Blockchain Application Misbehaviour. IEEE ICBC Richard Banach
2019	—	`conf`	Verification-Led Smart Contracts. Financial Cryptography Workshops Richard Banach
2018	—	`conf`	Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept. FedCSIS (Communication Papers) Suzanne Lesecq, Olivier Debicki, Laurent Ouvry, Christian Fabre, Nicolas Mareau, Julie Foucault, Francois Birot, Loïc Sevrin, Steve Buckley, Carl Jackson, John Barrett, Alan McGibney, Susan Rea, David Rojas, Richard Banach, Joseph Razavi, Marc Correvon, Gabriela Dudnik, Jean-Marc Van Gyseghem, Jean Herveg, Nathalie Grandjean, Florence Thiry, Cian O'Murchu, Alan Mathewson, Rosemary O'Keeffe, Andrea Di Matteo, Vincenza Di Palma, Fabio Quaglia, Giuseppe Villa
2018	—	`conf`	Cyberphysical Systems: A Behind-the-Scenes Foundational View. Models: Concepts, Theory, Logic, Reasoning and Semantics Richard Banach, Wen Su
2018	—	`conf`	Exploring Applications of Formal Methods in the INSPEX Project. STAF Workshops Joseph Razavi, Richard Banach, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq, Julie Foucault
2018	—	`conf`	Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX. CSDM Richard Banach, Joe Razavi, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik
2018	C	`conf`	Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System. ICSOFT Joseph Razavi, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik
2018	C	`conf`	Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem. ABZ Richard Banach
2018	J	`jnl`	Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B. Sci. Comput. Program. Richard Banach
2017	J	`jnl`	Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Sci. Comput. Program. Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu
2017	A	`conf`	INSPEX: Design and integration of a portable/wearable smart spatial exploration system. DATE Suzanne Lesecq, Julie Foucault, Francois Birot, Hugues de Chaumont, Carl Jackson, Marc Correvon, P. Heck, Richard Banach, Andrea Di Matteo, Vincenza Di Palma, John Barrett, Susan Rea, Jean-Marc Van Gyseghem, Cian O'Murchu, Alan Mathewson
2017	—	`conf`	Invariant Management in the Presence of Failures. IMBSA Richard Banach
2017	J	`jnl`	The landing gear system in multi-machine Hybrid Event-B. Int. J. Softw. Tools Technol. Transf. Richard Banach
2016	Misc	`conf`	Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B. TASE Richard Banach
2016	C	`conf`	Hemodialysis Machine in Hybrid Event-B. ABZ Richard Banach
2016	C	`conf`	Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. ICFEM Richard Banach, Michael J. Butler
2016	—	`ch.`	Modelling and Refining Hybrid Systems in Event-B and Rodin. From Action Systems to Distributed Systems Michael J. Butler, Jean-Raymond Abrial, Richard Banach
2016	—	`conf`	Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. FTSCS Richard Banach, Huibiao Zhu
2015	J	`jnl`	Core Hybrid Event-B I: Single Hybrid Event-B machines. Sci. Comput. Program. Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu
2015	J	`jnl`	Retrenchment and refinement interworking: the tower theorems. Math. Struct. Comput. Sci. Richard Banach, Czeslaw Jeske
2015	C	`conf`	Simulation and formal modelling of yaw control in a drive-by-wire application. FedCSIS Richard Banach, Pieter Van Schaik, Eric Verhulst
2015	B	`conf`	Stochastic Analogues of Invariants - Martingales in Stochastic Event-B. ENASE Richard Banach
2014	J	`jnl`	A Continuous ASM Modelling Approach to Pacemaker Sensing. ACM Trans. Softw. Eng. Methodol. Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
2014	J	`jnl`	ASM, controller synthesis, and complete refinement. Sci. Comput. Program. Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
2014	Misc	`conf`	Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B. TASE Richard Banach
2014	J	`jnl`	Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Formal Aspects Comput. Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang
2014	C	`conf`	Invariant Guided System Decomposition. ABZ Richard Banach
2014	—	`conf`	The Landing Gear Case Study in Hybrid Event-B. ABZ (Case Study) Richard Banach
2013	—	`conf`	A Hybrid Event-B Study of Lane Centering. CSDM Richard Banach, Michael J. Butler
2013	J	`jnl`	Atomicity failure and the retrenchment atomicity pattern. Formal Aspects Comput. Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
2013	C	`conf`	Cruise Control in Hybrid Event-B. ICTAC Richard Banach, Michael J. Butler
2013	—	`conf`	Pliant Modalities in Hybrid Event-B. Theories of Programming and Formal Methods Richard Banach
2013	J	`jnl`	The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits. Formal Aspects Comput. Richard Banach, Marco Bozzano
2013	J	`jnl`	The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits. Formal Aspects Comput. Richard Banach, Marco Bozzano
2012	C	`conf`	ASM and Controller Synthesis. ABZ Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
2012	C	`conf`	Continuous ASM, and a Pacemaker Sensing Fragment. ABZ Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
2012	C	`conf`	Continuous Behaviour in Event-B: A Sketch. ABZ Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
2011	—	`conf`	Formalising the Continuous/Discrete Modeling Step Refine@FM Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang
2011	J	`jnl`	Retrenchment for Event-B: UseCase-wise development and Rodin integration. Formal Aspects Comput. Richard Banach
2011	J	`jnl`	Review of J. Log. Comput. Richard Banach
2011	J	`jnl`	Simple feature engineering via neat default retrenchments. J. Log. Algebraic Methods Program. Richard Banach, Czeslaw Jeske
2010	Misc	`conf`	A deidealisation semantics for KAOS. SAC Richard Banach
2010	J	`jnl`	Atomic actions, and their refinements to isolated protocols. Formal Aspects Comput. Richard Banach, Gerhard Schellhorn
2010	J	`jnl`	Stronger compositions for retrenchments. J. Log. Algebraic Methods Program. Richard Banach, Czeslaw Jeske
2009	Misc	`conf`	Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. TASE Richard Banach
2008	C	`conf`	A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. ABZ Gerhard Schellhorn, Richard Banach
2008	J	`jnl`	Composition mechanisms for retrenchment. J. Log. Algebraic Methods Program. Richard Banach, Czeslaw Jeske, Michael Poppleton
2008	C	`conf`	Model Based Refinement and the Tools of Tomorrow. ABZ Richard Banach
2008	C	`conf`	UseCase-Wise Development: Retrenchment for Event-B. ABZ Richard Banach
2007	B	`conf`	Configurable Proof Obligations in the Frog Toolkit. SEFM Simon Fraser, Richard Banach
2007	J	`jnl`	Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
2007	J	`jnl`	Formal Methods Guest Editorial. J. Univers. Comput. Sci. Richard Banach
2007	—	`conf`	On the Refinement of Atomic Actions. REFINE@IFM Richard Banach, Gerhard Schellhorn
2007	J	`jnl`	Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Informaticae Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney
2007	B	`conf`	Retrenchment and the Atomicity Pattern. SEFM Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
2007	J	`jnl`	The Verification Grand Challenge. J. Univers. Comput. Sci. Jim Woodcock, Richard Banach
2006	B	`conf`	Filtering Retrenchments into Refinements. SEFM Richard Banach, John Derrick
2006	C	`conf`	Retrenching the Purse: Finite Exception Logs, and Validating the Small. SEW Richard Banach, Michael Poppleton, Susan Stepney
2006	C	`conf`	Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
2006	B	`conf`	Retrenchment Tutorial. SEFM Richard Banach
2006	B	`conf`	Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. SAFECOMP Richard Banach, Marco Bozzano
2005	C	`ed.`	Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings ICFEM Kung-Kiu Lau, Richard Banach
2005	B	`conf`	Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
2005	—	`conf`	Retrenchment and the B-Toolkit. ZB Richard Banach, Simon Fraser
2005	—	`conf`	Retrenchment and the Mondex Electronic Purse. Abstract State Machines Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
2004	B	`conf`	Requirements Validation by Lifting Retrenchments in B. ICECCS Michael Poppleton, Richard Banach
2004	J	`jnl`	Review: Process Algebra with Timing. J. Log. Comput. Richard Banach
2004	B	`conf`	Safety Requirements and Fault Trees Using Retrenchment. SAFECOMP Richard Banach, R. Cross
2003	J	`jnl`	A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model. J. Univers. Comput. Sci. Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert
2003	J	`jnl`	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. Richard Banach
2003	J	`jnl`	Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten. J. Log. Comput. Richard Banach
2003	J	`jnl`	Retrenching partial requirements into system definitions: a simple feature interaction case study. Requir. Eng. Richard Banach, Michael Poppleton
2003	J	`jnl`	Review: Handbook of Process Algebra. J. Log. Comput. Richard Banach
2003	J	`jnl`	Review: Mathematics of Quantum Computation. J. Log. Comput. Richard Banach
2003	—	`conf`	Structuring Retrenchments in B by Decomposition. FME Michael Poppleton, Richard Banach
2002	J	`jnl`	Book Reviews. Softw. Test. Verification Reliab. Richard Banach
2002	—	`conf`	Controlling Control Systems: An Application of Evolving Retrenchment. ZB Michael Poppleton, Richard Banach
2002	—	`conf`	IWIM Semantics via Fibred Automata. Formal Methods and Component Interaction @ ICALP Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert
2002	B	`conf`	Minimally and Maximally Abstract Retrenchments. IFM Czeslaw Jeske, Richard Banach
2000	C	`conf`	Fragmented Retrenchment, Concurrency and Fairness. ICFEM Richard Banach, Michael Poppleton
2000	C	`conf`	Maximally Abstract Retrenchments. ICFEM Richard Banach
2000	—	`conf`	Retrenchment, Refinement, and Simulation. ZB Richard Banach, Michael Poppleton
2000	—	`conf`	Retrenchment: Extending Refinement for Continuous and Control Systems. IWFM Michael Poppleton, Richard Banach
1999	B	`conf`	Retrenchment and Punctured Simulation. IFM Richard Banach, Michael Poppleton
1999	—	`conf`	Retrenchment. World Congress on Formal Methods Richard Banach, Michael Poppleton
1999	A*	`conf`	Retrenchment: Extending the Reach of Refinement. ASE Michael Poppleton, Richard Banach
1999	J	`jnl`	Sharp Retrenchment, Modulated Refinement and Simulation. Formal Aspects Comput. Richard Banach, Michael Poppleton
1998	—	`conf`	Retrenchment: An Engineering Variation on Refinement. B Richard Banach, Michael Poppleton
1997	J	`jnl`	A study of two graph rewriting formalisms: Interaction Nets and MONSTR. J. Program. Lang. Richard Banach, George A. Papadopoulos
1997	Misc	`conf`	Implementing interaction nets in MONSTR. SAC Richard Banach, George A. Papadopoulos
1997	J	`jnl`	MONSTR II - Suspending Semantics and Independence. J. Univers. Comput. Sci. Richard Banach
1997	J	`jnl`	MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property. J. Univers. Comput. Sci. Richard Banach
1996	J	`jnl`	MONSTR I - Fundamental Issues and the Design of MONSTR. J. Univers. Comput. Sci. Richard Banach
1996	J	`jnl`	Transitive Term Graph Rewriting. Inf. Process. Lett. Richard Banach
1995	J	`jnl`	A Translation of the Pi-Caculus Into MONSTR. J. Univers. Comput. Sci. Richard Banach, J. Balazs, G. Papadoupolous
1995	—	`conf`	DPO rewriting and abstract semantics via opfibrations. SEGRAGRA Richard Banach
1995	Misc	`conf`	Linear behaviour of term graph rewriting programs. SAC Richard Banach, George A. Papadopoulos
1995	J	`jnl`	Locating the Contractum in the Double Pushout Approach. Theor. Comput. Sci. Richard Banach
1995	J	`jnl`	On Regularity in Software Design. Sci. Comput. Program. Richard Banach
1995	J	`jnl`	Sequent Reconstruction in LLM - A Sweepline Proof. Ann. Pure Appl. Log. Richard Banach
1994	J	`jnl`	Regular Relations and Bicartesian Squares. Theor. Comput. Sci. Richard Banach
1994	J	`jnl`	Term Graph Rewriting and Garbage Collection Using Ppfibrations. Theor. Comput. Sci. Richard Banach
1994	—	`conf`	The Contractum in Algebraic Graph Rewriting. TAGT Richard Banach
1992	—	`conf`	Simple Type Inference for Term Graph Rewriting Systems. CTRS Richard Banach
1989	—	`conf`	Dataflow Analysis of Term Graph Rewriting Systems. PARLE (2) Richard Banach
1988	A*	`conf`	Flagship: A Parallel Architecture for Declarative Programming. ISCA Ian Watson, Viv Woods, Paul Watson, Richard Banach, Mark Irvine Greenberg, John Sargeant