Richard Banach

Available identifiers

zbMath Open banach.richardMaRDI QIDQ470017

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Richard Banach