Richard Banach

Available identifiers

zbMath Open banach.richardMaRDI QIDQ470017

List of research outcomes

Publication	Date of Publication	Type
An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency	2024-06-25	Paper
Formalisation, abstraction and refinement of bond graphs	2024-01-12	Paper
Verification-Led Smart Contracts	2023-08-03	Paper
Simple type inference for term graph rewriting systems	2023-03-09	Paper
Moded and continuous abstract state machines	2022-03-22	Paper
The contractum in algebraic graph rewriting	2019-01-10	Paper
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application	2016-08-05	Paper
Retrenchment and refinement interworking: the tower theorems	2016-07-27	Paper
The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits	2014-11-11	Paper
The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits	2014-11-11	Paper
Pliant Modalities in Hybrid Event-B	2013-08-16	Paper
Simple feature engineering via neat default retrenchments	2011-12-02	Paper
Retrenchment for Event-B: UseCase-wise development and Rodin integration	2011-05-27	Paper
Stronger compositions for retrenchments	2010-05-27	Paper
Atomic actions, and their refinements to isolated protocols	2010-03-08	Paper
Composition mechanisms for retrenchment	2008-04-22	Paper
https://portal.mardi4nfdi.de/entity/Q5294156	2007-07-24	Paper
Engineering and theoretical underpinnings of retrenchment	2007-07-23	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4737572	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472175	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4494260	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4520284	2001-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4520508	2001-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4520536	2001-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4942251	2000-07-20	Paper
Sharp retrenchment, modulated refinement and simulation	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4942037	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4222779	1998-12-13	Paper
Locating the contractum in the double pushout approach	1997-02-27	Paper
Transitive term graph rewriting	1997-02-27	Paper
On regularity in software design	1995-10-04	Paper
Sequent reconstruction in LLM -- A sweepline proof	1995-07-26	Paper
Term graph rewriting and garbage collection using opfibrations	1995-07-23	Paper
Regular relations and bicartesian squares	1994-12-19	Paper
Weak fibrations	1993-06-29	Paper

Research outcomes over time

This page was built for person: Richard Banach