Richard Banach

According to our database, Richard Banach authored at least 121 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Core Hybrid Event-B III: Fundamentals of a reasoning framework.

Richard Banach

Sci. Comput. Program., January, 2024

2023

Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx.

Ran Li, Huibiao Zhu, Richard Banach

Internet Things, October, 2023

Graded Refinement, Retrenchment, and Simulation.

Richard Banach

ACM Trans. Softw. Eng. Methodol., April, 2023

Exploring the Privacy Concerns in Permissionless Blockchain Networks and Potential Solutions.

Talgar Bayan, Richard Banach

CoRR, 2023

Formalisation, Abstraction and Refinement of Bond Graphs.

Richard Banach, John W. Baugh Jr.

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

Translating CPS with Shared-Variable Concurrency in SpaceEx.

Ran Li, Huibiao Zhu, Richard Banach

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency.

Ran Li, Huibiao Zhu, Richard Banach

Proceedings of the Formal Methods and Software Engineering, 2022

Denotational and Algebraic Semantics for Cyber-physical Systems.

Ran Li, Huibiao Zhu, Richard Banach

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

2021

Language evolution and healthiness for critical cyber-physical systems.

Richard Banach, Huibiao Zhu

J. Softw. Evol. Process., 2021

Formal methods by stealth: The INSPEX experience.

Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq

J. Softw. Evol. Process., 2021

Blockchain applications beyond the cryptocurrency casino: The Punishment not Reward blockchain architecture.

Richard Banach

Concurr. Comput. Pract. Exp., 2021

Moded and Continuous Abstract State Machines.

Richard Banach, Huibiao Zhu

Proceedings of the Logic, Computation and Rigorous Methods, 2021

2020

Automated urban train control with hybrid Event-B: 'Tackling' the rugby club problem.

Richard Banach

Sci. Comput. Program., 2020

2019

INSPEX: Optimize Range Sensors for Environment Perception as a Portable System.

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

Sensors, 2019

John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems - Springer, Berlin Heidelberg, 2014.

Richard Banach

Formal Aspects Comput., 2019

Punishment not Reward: Disincentivising Blockchain Application Misbehaviour.

Richard Banach

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX.

Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Verification-Led Smart Contracts.

Richard Banach

Proceedings of the Financial Cryptography and Data Security, 2019

2018

Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B.

Richard Banach

Sci. Comput. Program., 2018

Exploring Applications of Formal Methods in the INSPEX Project.

Joseph Razavi, Richard Banach, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq, Julie Foucault

Proceedings of the Software Technologies: Applications and Foundations, 2018

Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System.

Joseph Razavi, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik

Proceedings of the 13th International Conference on Software Technologies, 2018

Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept.

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

Proceedings of the Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX.

Richard Banach, Joe Razavi, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik

Proceedings of the Complex Systems Design & Management, 2018

Cyberphysical Systems: A Behind-the-Scenes Foundational View.

Richard Banach, Wen Su

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem.

Richard Banach

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

The landing gear system in multi-machine Hybrid Event-B.

Richard Banach

Int. J. Softw. Tools Technol. Transf., 2017

Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines.

Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu

Sci. Comput. Program., 2017

Invariant Management in the Presence of Failures.

Richard Banach

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

INSPEX: Design and integration of a portable/wearable smart spatial exploration system.

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B.

Richard Banach

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks.

Richard Banach, Michael J. Butler

Proceedings of the Formal Methods and Software Engineering, 2016

Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems.

Richard Banach, Huibiao Zhu

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

Hemodialysis Machine in Hybrid Event-B.

Richard Banach

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Modelling and Refining Hybrid Systems in Event-B and Rodin.

Michael J. Butler, Jean-Raymond Abrial, Richard Banach

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Core Hybrid Event-B I: Single Hybrid Event-B machines.

Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu

Sci. Comput. Program., 2015

Retrenchment and refinement interworking: the tower theorems.

Richard Banach, Czeslaw Jeske

Math. Struct. Comput. Sci., 2015

Simulation and formal modelling of yaw control in a drive-by-wire application.

Richard Banach, Pieter Van Schaik, Eric Verhulst

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

Stochastic Analogues of Invariants - Martingales in Stochastic Event-B.

Richard Banach

Proceedings of the ENASE 2015, 2015

2014

A Continuous ASM Modelling Approach to Pacemaker Sensing.

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

ACM Trans. Softw. Eng. Methodol., 2014

ASM, controller synthesis, and complete refinement.

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

Sci. Comput. Program., 2014

Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application.

Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang

Formal Aspects Comput., 2014

Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B.

Richard Banach

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

The Landing Gear Case Study in Hybrid Event-B.

Richard Banach

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

Invariant Guided System Decomposition.

Richard Banach

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Atomicity failure and the retrenchment atomicity pattern.

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney

Formal Aspects Comput., 2013

The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits.

Richard Banach, Marco Bozzano

Formal Aspects Comput., 2013

The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits.

Richard Banach, Marco Bozzano

Formal Aspects Comput., 2013

Cruise Control in Hybrid Event-B.

Richard Banach, Michael J. Butler

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

A Hybrid Event-B Study of Lane Centering.

Richard Banach, Michael J. Butler

Proceedings of the Complex Systems Design & Management, 2013

Pliant Modalities in Hybrid Event-B.

Richard Banach

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Continuous Behaviour in Event-B: A Sketch.

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Continuous ASM, and a Pacemaker Sensing Fragment.

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

ASM and Controller Synthesis.

Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Review of <i>Modeling in Event-B: System and Sofware Engineering</i>, 1st edition, by Jean-Raymond Abrial.

Richard Banach

J. Log. Comput., 2011

Simple feature engineering via neat default retrenchments.

Richard Banach, Czeslaw Jeske

J. Log. Algebraic Methods Program., 2011

Retrenchment for Event-B: UseCase-wise development and Rodin integration.

Richard Banach

Formal Aspects Comput., 2011

Formalising the Continuous/Discrete Modeling Step

Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

2010

Stronger compositions for retrenchments.

Richard Banach, Czeslaw Jeske

J. Log. Algebraic Methods Program., 2010

Atomic actions, and their refinements to isolated protocols.

Richard Banach, Gerhard Schellhorn

Formal Aspects Comput., 2010

A deidealisation semantics for KAOS.

Richard Banach

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

Coarse Grained Retrenchment and the Mondex Denial of Service Attacks.

Richard Banach

Proceedings of the TASE 2009, 2009

2008

Composition mechanisms for retrenchment.

Richard Banach, Czeslaw Jeske, Michael Poppleton

J. Log. Algebraic Methods Program., 2008

A Concept-Driven Construction of the Mondex Protocol Using Three Refinements.

Gerhard Schellhorn, Richard Banach

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

UseCase-Wise Development: Retrenchment for Event-B.

Richard Banach

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

Model Based Refinement and the Tools of Tomorrow.

Richard Banach

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Engineering and theoretical underpinnings of retrenchment.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Sci. Comput. Program., 2007

The Verification Grand Challenge.

Jim Woodcock, Richard Banach

J. Univers. Comput. Sci., 2007

Formal Methods Guest Editorial.

Richard Banach

J. Univers. Comput. Sci., 2007

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.

Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney

Fundam. Informaticae, 2007

On the Refinement of Atomic Actions.

Richard Banach, Gerhard Schellhorn

Proceedings of the BCS-FACS Refinement Workshop, 2007

Configurable Proof Obligations in the Frog Toolkit.

Simon Fraser, Richard Banach

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Retrenchment and the Atomicity Pattern.

Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006

Retrenching the Purse: Finite Exception Logs, and Validating the Small.

Richard Banach, Michael Poppleton, Susan Stepney

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Filtering Retrenchments into Refinements.

Richard Banach, John Derrick

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Retrenchment Tutorial.

Richard Banach

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems.

Richard Banach, Marco Bozzano

Proceedings of the Computer Safety, 2006

Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Retrenchment and the B-Toolkit.

Richard Banach, Simon Fraser

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Proceedings of the FM 2005: Formal Methods, 2005

Retrenchment and the Mondex Electronic Purse.

Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Review: Process Algebra with Timing.

Richard Banach

J. Log. Comput., 2004

Safety Requirements and Fault Trees Using Retrenchment.

Richard Banach, R. Cross

Proceedings of the Computer Safety, 2004

Requirements Validation by Lifting Retrenchments in B.

Michael Poppleton, Richard Banach

Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

2003

Retrenching partial requirements into system definitions: a simple feature interaction case study.

Richard Banach, Michael Poppleton

Requir. Eng., 2003

Review: Handbook of Process Algebra.

Richard Banach

J. Log. Comput., 2003

Review: Mathematics of Quantum Computation.

Richard Banach

J. Log. Comput., 2003

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.).

Richard Banach

J. Log. Comput., 2003

Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten.

Richard Banach

J. Log. Comput., 2003

A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model.

Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert

J. Univers. Comput. Sci., 2003

Structuring Retrenchments in B by Decomposition.

Michael Poppleton, Richard Banach

Proceedings of the FME 2003: Formal Methods, 2003

2002

Book Reviews.

Richard Banach

Softw. Test. Verification Reliab., 2002

IWIM Semantics via Fibred Automata.

Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert

Proceedings of the Formal Methods and Component Interaction 2002, 2002

Controlling Control Systems: An Application of Evolving Retrenchment.

Michael Poppleton, Richard Banach

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Minimally and Maximally Abstract Retrenchments.

Czeslaw Jeske, Richard Banach

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2000

Retrenchment, Refinement, and Simulation.

Richard Banach, Michael Poppleton

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Retrenchment: Extending Refinement for Continuous and Control Systems.

Michael Poppleton, Richard Banach

Proceedings of the 4th Irish Workshop on Formal Methods, 2000

Fragmented Retrenchment, Concurrency and Fairness.

Richard Banach, Michael Poppleton

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Maximally Abstract Retrenchments.

Richard Banach

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1999

Sharp Retrenchment, Modulated Refinement and Simulation.

Richard Banach, Michael Poppleton

Formal Aspects Comput., 1999

Retrenchment: Extending the Reach of Refinement.

Michael Poppleton, Richard Banach

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Retrenchment and Punctured Simulation.

Richard Banach, Michael Poppleton

Proceedings of the Integrated Formal Methods, 1999

Retrenchment.

Richard Banach, Michael Poppleton

Proceedings of the FM'99 - Formal Methods, 1999

1998

Retrenchment: An Engineering Variation on Refinement.

Richard Banach, Michael Poppleton

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property.

Richard Banach

J. Univers. Comput. Sci., 1997

MONSTR II - Suspending Semantics and Independence.

Richard Banach

J. Univers. Comput. Sci., 1997

A study of two graph rewriting formalisms: Interaction Nets and MONSTR.

Richard Banach, George A. Papadopoulos

J. Program. Lang., 1997

Implementing interaction nets in MONSTR.

Richard Banach, George A. Papadopoulos

Proceedings of the 1997 ACM symposium on Applied Computing, 1997

1996

MONSTR I - Fundamental Issues and the Design of MONSTR.

Richard Banach

J. Univers. Comput. Sci., 1996

Transitive Term Graph Rewriting.

Richard Banach

Inf. Process. Lett., 1996

1995

Locating the Contractum in the Double Pushout Approach.

Richard Banach

Theor. Comput. Sci., 1995

On Regularity in Software Design.

Richard Banach

Sci. Comput. Program., 1995

A Translation of the Pi-Caculus Into MONSTR.

Richard Banach, J. Balazs, G. Papadoupolous

J. Univers. Comput. Sci., 1995

DPO rewriting and abstract semantics via opfibrations.

Richard Banach

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Sequent Reconstruction in LLM - A Sweepline Proof.

Richard Banach

Ann. Pure Appl. Log., 1995

Linear behaviour of term graph rewriting programs.

Richard Banach, George A. Papadopoulos

Proceedings of the 1995 ACM symposium on applied computing, 1995

1994

Term Graph Rewriting and Garbage Collection Using Ppfibrations.

Richard Banach

Theor. Comput. Sci., 1994

Regular Relations and Bicartesian Squares.

Richard Banach

Theor. Comput. Sci., 1994

The Contractum in Algebraic Graph Rewriting.

Richard Banach

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

1992

Simple Type Inference for Term Graph Rewriting Systems.

Richard Banach

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1989

Dataflow Analysis if Term Graph Rewriting Systems.

Richard Banach

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

1988

Flagship: A Parallel Architecture for Declarative Programming.

Ian Watson, Viv Woods, Paul Watson, Richard Banach, Mark Irvine Greenberg, John Sargeant

Proceedings of the 15th Annual International Symposium on Computer Architecture, 1988