Richard Banach

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 40

Top Venues

Sci. Comput. Program.

ABZ

J. Softw. Evol. Process.

ICFEM

Publications

Ran Li, Huibiao Zhu, Richard Banach
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency. J. Log. Algebraic Methods Program. 139 (2024)
Richard Banach, John W. Baugh Jr.
The 'Causality' Quagmire for Formalised Bond Graphs. ICGT (2024)
Richard Banach
Core Hybrid Event-B III: Fundamentals of a reasoning framework. Sci. Comput. Program. 231 (2024)
Talgar Bayan, Richard Banach
A Privacy-Preserving DAO Model Using NFT Authentication for the Punishment not Reward Blockchain Architecture. CoRR (2024)
Richard Banach, John W. Baugh Jr.
Formalisation, Abstraction and Refinement of Bond Graphs. ICGT (2023)
Richard Banach
Graded Refinement, Retrenchment, and Simulation. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Ran Li, Huibiao Zhu, Richard Banach
Translating and verifying Cyber-Physical systems with shared-variable concurrency in SpaceEx. Internet Things 23 (2023)
Talgar Bayan, Richard Banach
Exploring the Privacy Concerns in Permissionless Blockchain Networks and Potential Solutions. CoRR (2023)
Ran Li, Huibiao Zhu, Richard Banach
Translating CPS with Shared-Variable Concurrency in SpaceEx. SETTA (2022)
Ran Li, Huibiao Zhu, Richard Banach
Denotational and Algebraic Semantics for Cyber-physical Systems. ICECCS (2022)
Ran Li, Huibiao Zhu, Richard Banach
A Proof System for Cyber-Physical Systems with Shared-Variable Concurrency. ICFEM (2022)
Richard Banach, Huibiao Zhu
Language evolution and healthiness for critical cyber-physical systems. J. Softw. Evol. Process. 33 (9) (2021)
Richard Banach, Huibiao Zhu
Moded and Continuous Abstract State Machines. Logic, Computation and Rigorous Methods (2021)
Richard Banach
Blockchain applications beyond the cryptocurrency casino: The Punishment not Reward blockchain architecture. Concurr. Comput. Pract. Exp. 33 (1) (2021)
Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq
Formal methods by stealth: The INSPEX experience. J. Softw. Evol. Process. 33 (12) (2021)
Richard Banach
Automated urban train control with hybrid Event-B: 'Tackling' the rugby club problem. Sci. Comput. Program. 190 (2020)
Richard Banach
John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems - Springer, Berlin Heidelberg, 2014. Formal Aspects Comput. 31 (4) (2019)
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
INSPEX: Optimize Range Sensors for Environment Perception as a Portable System. Sensors 19 (19) (2019)
Richard Banach
Verification-Led Smart Contracts. Financial Cryptography Workshops (2019)
Richard Banach, Joseph Razavi, Olivier Debicki, Suzanne Lesecq
Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX. FM Workshops (1) (2019)
Richard Banach
Punishment not Reward: Disincentivising Blockchain Application Misbehaviour. IEEE ICBC (2019)
Richard Banach
Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B. Sci. Comput. Program. 156 (2018)
Richard Banach
Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem. ABZ (2018)
Joseph Razavi, Richard Banach, Olivier Debicki, Nicolas Mareau, Suzanne Lesecq, Julie Foucault
Exploring Applications of Formal Methods in the INSPEX Project. STAF Workshops (2018)
Joseph Razavi, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik
Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System. ICSOFT (2018)
Richard Banach, Wen Su
Cyberphysical Systems: A Behind-the-Scenes Foundational View. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
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
Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept. FedCSIS (Communication Papers) (2018)
Richard Banach, Joe Razavi, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik
Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX. CSDM (2018)
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
INSPEX: Design and integration of a portable/wearable smart spatial exploration system. DATE (2017)
Richard Banach
Invariant Management in the Presence of Failures. IMBSA (2017)
Richard Banach
The landing gear system in multi-machine Hybrid Event-B. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Sci. Comput. Program. 139 (2017)
Richard Banach, Huibiao Zhu
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. FTSCS (2016)
Richard Banach
Hemodialysis Machine in Hybrid Event-B. ABZ (2016)
Richard Banach
Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B. TASE (2016)
Richard Banach, Michael J. Butler
Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. ICFEM (2016)
Richard Banach, Michael J. Butler, Shengchao Qin, Nitika Verma, Huibiao Zhu
Core Hybrid Event-B I: Single Hybrid Event-B machines. Sci. Comput. Program. 105 (2015)
Richard Banach, Pieter Van Schaik, Eric Verhulst
Simulation and formal modelling of yaw control in a drive-by-wire application. FedCSIS (2015)
Richard Banach, Czeslaw Jeske
Retrenchment and refinement interworking: the tower theorems. Math. Struct. Comput. Sci. 25 (1) (2015)
Richard Banach
Stochastic Analogues of Invariants - Martingales in Stochastic Event-B. ENASE (2015)
Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
ASM, controller synthesis, and complete refinement. Sci. Comput. Program. 94 (2014)
Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
A Continuous ASM Modelling Approach to Pacemaker Sensing. ACM Trans. Softw. Eng. Methodol. 24 (1) (2014)
Richard Banach
Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B. TASE (2014)
Richard Banach
The Landing Gear Case Study in Hybrid Event-B. ABZ (Case Study) (2014)
Richard Banach
Invariant Guided System Decomposition. ABZ (2014)
Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application. Formal Aspects Comput. 26 (2) (2014)
Richard Banach, Marco Bozzano
The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits. Formal Aspects Comput. 25 (4) (2013)
Richard Banach
Pliant Modalities in Hybrid Event-B. Theories of Programming and Formal Methods (2013)
Richard Banach, Marco Bozzano
The mechanical generation of fault trees for reactive systems via retrenchment I: combinational circuits. Formal Aspects Comput. 25 (4) (2013)
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
Atomicity failure and the retrenchment atomicity pattern. Formal Aspects Comput. 25 (3) (2013)
Richard Banach, Michael J. Butler
Cruise Control in Hybrid Event-B. ICTAC (2013)
Richard Banach, Michael J. Butler
A Hybrid Event-B Study of Lane Centering. CSDM (2013)
Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
ASM and Controller Synthesis. ABZ (2012)
Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
Continuous ASM, and a Pacemaker Sensing Fragment. ABZ (2012)
Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu
Continuous Behaviour in Event-B: A Sketch. ABZ (2012)
Richard Banach, Czeslaw Jeske
Simple feature engineering via neat default retrenchments. J. Log. Algebraic Methods Program. 80 (8) (2011)
Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang
Formalising the Continuous/Discrete Modeling Step Refine@FM (2011)
Richard Banach
, 1st edition, by Jean-Raymond Abrial. J. Log. Comput. 21 (2) (2011)
Richard Banach
Retrenchment for Event-B: UseCase-wise development and Rodin integration. Formal Aspects Comput. 23 (1) (2011)
Richard Banach, Czeslaw Jeske
Stronger compositions for retrenchments. J. Log. Algebraic Methods Program. 79 (3-5) (2010)
Richard Banach, Gerhard Schellhorn
Atomic actions, and their refinements to isolated protocols. Formal Aspects Comput. 22 (1) (2010)
Richard Banach
A deidealisation semantics for KAOS. SAC (2010)
Richard Banach
Coarse Grained Retrenchment and the Mondex Denial of Service Attacks. TASE (2009)
Richard Banach
UseCase-Wise Development: Retrenchment for Event-B. ABZ (2008)
Richard Banach
Model Based Refinement and the Tools of Tomorrow. ABZ (2008)
Gerhard Schellhorn, Richard Banach
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements. ABZ (2008)
Richard Banach, Gerhard Schellhorn
On the Refinement of Atomic Actions. Electron. Notes Theor. Comput. Sci. 201 (2008)
Richard Banach, Czeslaw Jeske, Michael Poppleton
Composition mechanisms for retrenchment. J. Log. Algebraic Methods Program. 75 (2) (2008)
Richard Banach
Formal Methods Guest Editorial. J. Univers. Comput. Sci. 13 (5) (2007)
Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements. Fundam. Informaticae 77 (1-2) (2007)
Simon Fraser, Richard Banach
Configurable Proof Obligations in the Frog Toolkit. SEFM (2007)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Engineering and theoretical underpinnings of retrenchment. Sci. Comput. Program. 67 (2-3) (2007)
Jim Woodcock, Richard Banach
The Verification Grand Challenge. J. Univers. Comput. Sci. 13 (5) (2007)
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney
Retrenchment and the Atomicity Pattern. SEFM (2007)
Richard Banach, John Derrick
Filtering Retrenchments into Refinements. SEFM (2006)
Richard Banach, Marco Bozzano
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. SAFECOMP (2006)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties. ISoLA (2006)
Richard Banach, Michael Poppleton, Susan Stepney
Retrenching the Purse: Finite Exception Logs, and Validating the Small. SEW (2006)
Richard Banach
Retrenchment Tutorial. SEFM (2006)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Retrenchment and the Mondex Electronic Purse. Abstract State Machines (2005)
Richard Banach, Simon Fraser
Retrenchment and the B-Toolkit. ZB (2005)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. FM (2005)
Michael Poppleton, Richard Banach
Requirements Validation by Lifting Retrenchments in B. ICECCS (2004)
Richard Banach, R. Cross
Safety Requirements and Fault Trees Using Retrenchment. SAFECOMP (2004)
Richard Banach
Review: Process Algebra with Timing. J. Log. Comput. 14 (6) (2004)
Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model. J. Univers. Comput. Sci. 9 (1) (2003)
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) (2003)
Richard Banach
Review: Mathematics of Quantum Computation. J. Log. Comput. 13 (6) (2003)
Richard Banach, Michael Poppleton
Retrenching partial requirements into system definitions: a simple feature interaction case study. Requir. Eng. 8 (4) (2003)
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) (2003)
Richard Banach
Review: Handbook of Process Algebra. J. Log. Comput. 13 (6) (2003)
Michael Poppleton, Richard Banach
Structuring Retrenchments in B by Decomposition. FME (2003)
Richard Banach
Book Reviews. Softw. Test. Verification Reliab. 12 (4) (2002)
Michael Poppleton, Richard Banach
Controlling Control Systems: An Application of Evolving Retrenchment. ZB (2002)
Richard Banach, Farhad Arbab, George A. Papadopoulos, John R. W. Glauert
IWIM Semantics via Fibred Automata. Electron. Notes Theor. Comput. Sci. 66 (4) (2002)
Czeslaw Jeske, Richard Banach
Minimally and Maximally Abstract Retrenchments. IFM (2002)
Michael Poppleton, Richard Banach
Retrenchment: Extending Refinement for Continuous and Control Systems. IWFM (2000)
Richard Banach, Michael Poppleton
Fragmented Retrenchment, Concurrency and Fairness. ICFEM (2000)
Richard Banach
Maximally Abstract Retrenchments. ICFEM (2000)
Richard Banach, Michael Poppleton
Retrenchment, Refinement, and Simulation. ZB (2000)

Richard Banach.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Richard Banach