On the public citation graph

Retrenchment: An engineering variation on refinement

0 signed · 70 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1001/jama.1953.02940340098036openalex-snapshot

The Physics of Radiation Therapy

inferredcites →https://doi.org/10.1007/3-540-52559-9_60openalex-snapshot

Refinement calculus, part I: Sequential nondeterministic programs

inferredcites →https://doi.org/10.1007/978-1-4471-1591-5openalex-snapshot

Theorem Proving with the Real Numbers

inferredcites →https://doi.org/10.1007/bf00291051openalex-snapshot

A calculus of refinements for program derivations

inferredcites →https://doi.org/10.1007/bf01192157openalex-snapshot

The lattice of data refinement

inferredcites →https://doi.org/10.1007/bf01211217openalex-snapshot

Specification by interface separation

inferredcites →https://doi.org/10.1007/bfb0014706openalex-snapshot

Hybrid and Real-Time Systems

inferredcites →https://doi.org/10.1016/0022-0000(81)90005-2openalex-snapshot

On correct refinement of programs

inferredcites →https://doi.org/10.1016/0167-6423(87)90011-6openalex-snapshot

A theoretical basis for stepwise refinement and the programming calculus

inferredcites →https://doi.org/10.1016/0304-3975(91)90224-popenalex-snapshot

The existence of refinement mappings

inferredcites →https://doi.org/10.1016/0360-3016(89)90937-1openalex-snapshot

Keynote address: development of computer algorithms for radiation treatment planning

inferredcites →https://doi.org/10.1017/cbo9780511624162openalex-snapshot

The B-Book

inferredcites →https://doi.org/10.1142/p006openalex-snapshot

Specification in B: An Introduction Using the B Toolkit

inferredcites →https://doi.org/10.25405/ncl.34123986openalex-snapshot

Case Studies in Systematic Software Development

inferredcites →https://doi.org/10.5860/choice.34-5139openalex-snapshot

Software engineering with B

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/spe.2634openalex-snapshot

Evaluating the suitability of state‐based formal methods for industrial deployment

inferred← citeshttps://doi.org/10.1007/11415787_13openalex-snapshot

Retrenchment and the B-Toolkit

inferred← citeshttps://doi.org/10.1007/11494713_3openalex-snapshot

The ArchWare Tower: The Implementation of an Active Software Engineering Environment Using a π-Calculus Based Architecture Description Language

inferred← citeshttps://doi.org/10.1007/11526841_26openalex-snapshot

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

inferred← citeshttps://doi.org/10.1007/11608035_11openalex-snapshot

Active Models:A Possible Approach to the Integration of Objective and Subjective Process Models

inferred← citeshttps://doi.org/10.1007/11875567_10openalex-snapshot

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

inferred← citeshttps://doi.org/10.1007/11955757_16openalex-snapshot

Formal Transformation of Platform Independent Models into Platform Specific Models

inferred← citeshttps://doi.org/10.1007/3-540-44525-0_18openalex-snapshot

Retrenchment, Refinement, and Simulation

inferred← citeshttps://doi.org/10.1007/3-540-45648-1_3openalex-snapshot

Controlling Control Systems: An Application of Evolving Retrenchment

inferred← citeshttps://doi.org/10.1007/3-540-47884-1_21openalex-snapshot

Minimally and Maximally Abstract Retrenchments

inferred← citeshttps://doi.org/10.1007/3-540-48118-4_6openalex-snapshot

Systems development using Z generics

inferred← citeshttps://doi.org/10.1007/3-540-48257-1_1openalex-snapshot

High Level System Design and Analysis Using Abstract State Machines

inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_10openalex-snapshot

Modelling Discrete Behaviour in a Continuous-Time Formalism

inferred← citeshttps://doi.org/10.1007/978-1-4471-0851-1_24openalex-snapshot

Retrenchment and Punctured Simulation

inferred← citeshttps://doi.org/10.1007/978-3-030-15792-0_11openalex-snapshot

Sound and Relaxed Behavioural Inheritance

inferred← citeshttps://doi.org/10.1007/978-3-030-15792-0_3openalex-snapshot

Anti-heterotic Computing

inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_10openalex-snapshot

Scaling Correctness-by-Construction

inferred← citeshttps://doi.org/10.1007/978-3-032-24494-9_12openalex-snapshot

Structure as Semantics: Impedance Modeling and Retrenchment in Cyber-Physical Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-30138-7_18openalex-snapshot

Safety Requirements and Fault Trees Using Retrenchment

inferred← citeshttps://doi.org/10.1007/978-3-540-45236-2_44openalex-snapshot

Structuring Retrenchments in B by Decomposition

inferred← citeshttps://doi.org/10.1007/978-3-540-87603-8_14openalex-snapshot

UseCase-Wise Development: Retrenchment for Event-B

inferred← citeshttps://doi.org/10.1007/978-3-540-87698-4_26openalex-snapshot

Formal Verification by Reverse Synthesis

inferred← citeshttps://doi.org/10.1007/978-3-642-21341-0_16openalex-snapshot

Heterotic Computing

inferred← citeshttps://doi.org/10.1007/s00165-005-0073-xopenalex-snapshot

Refinement and retrenchment for programming language data types

inferred← citeshttps://doi.org/10.1007/s00165-007-0060-5openalex-snapshot

The certification of the Mondex electronic purse to ITSEC Level E6

inferred← citeshttps://doi.org/10.1007/s00165-009-0139-2openalex-snapshot

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

inferred← citeshttps://doi.org/10.1007/s00165-011-0202-7openalex-snapshot

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

inferred← citeshttps://doi.org/10.1007/s00165-017-0426-2openalex-snapshot

Simulation relations for fault-tolerance

inferred← citeshttps://doi.org/10.1007/s001650050056openalex-snapshot

Sharp Retrenchment, Modulated Refinement and Simulation

inferred← citeshttps://doi.org/10.1007/s00766-002-0157-6openalex-snapshot

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

inferred← citeshttps://doi.org/10.1007/s10009-015-0409-7openalex-snapshot

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

inferred← citeshttps://doi.org/10.1016/j.entcs.2005.04.033openalex-snapshot

Breaking the Model: Finalisation and a Taxonomy of Security Attacks

inferred← citeshttps://doi.org/10.1016/j.scico.2007.04.002openalex-snapshot

Engineering and theoretical underpinnings of retrenchment

inferred← citeshttps://doi.org/10.1109/acsc.2000.824408openalex-snapshot

Stepwise development from ideal specifications

inferred← citeshttps://doi.org/10.1109/ase.1999.802189openalex-snapshot

Retrenchment: extending the reach of refinement

inferred← citeshttps://doi.org/10.1109/dasc50938.2020.9256479openalex-snapshot

An Analysis of Implementing PVS in SPARK Ada

inferred← citeshttps://doi.org/10.1109/hase.2011.47openalex-snapshot

Guidelines for Formal Domain Modeling in Event-B

inferred← citeshttps://doi.org/10.1109/hase.2015.32openalex-snapshot

Observation-Level-Driven Formal Modeling

inferred← citeshttps://doi.org/10.1109/iceccs.2004.1310907openalex-snapshot

Requirements validation by lifting retrenchments in B

inferred← citeshttps://doi.org/10.1109/iceccs.2006.1690358openalex-snapshot

Engineering emergence

inferred← citeshttps://doi.org/10.1109/icfem.2000.873813openalex-snapshot

Maximally abstract retrenchments

inferred← citeshttps://doi.org/10.1109/isola.2006.17openalex-snapshot

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

inferred← citeshttps://doi.org/10.1109/ivmem51402.2020.00015openalex-snapshot

A State-based Refinement Technique for Event-B

inferred← citeshttps://doi.org/10.1109/sefm.2006.17openalex-snapshot

Filtering Retrenchments into Refinements

inferred← citeshttps://doi.org/10.1109/sefm.2007.12openalex-snapshot

Configurable Proof Obligations in the Frog Toolkit

inferred← citeshttps://doi.org/10.1109/sefm.2007.34openalex-snapshot

Retrenchment and the Atomicity Pattern

inferred← citeshttps://doi.org/10.1109/sew.2006.28openalex-snapshot

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

inferred← citeshttps://doi.org/10.1109/tase.2009.19openalex-snapshot

Coarse Grained Retrenchment and the Mondex Denial of Service Attacks

inferred← citeshttps://doi.org/10.1145/1134285.1134468openalex-snapshot

The echo approach to formal verification

inferred← citeshttps://doi.org/10.14236/ewic/iwfm2000.6openalex-snapshot

Retrenchment: Extending Refinement for Continuous and Control Systems

inferred← citeshttps://doi.org/10.18130/v3mf71openalex-snapshot

Echo: Practical Formal Verification by Reverse Synthesis

inferred← citeshttps://doi.org/10.4204/eptcs.115.5openalex-snapshot

Relaxing Behavioural Inheritance

inferred← citeshttps://doi.org/10.4204/eptcs.95.18openalex-snapshot

A Framework for Heterotic Computing

inferred← citeshttps://doi.org/10.48550/arxiv.0907.2039openalex-snapshot

Refining interfaces: the case of the B method

inferred← citeshttps://doi.org/10.48550/arxiv.1002.1796openalex-snapshot

Refinement and Verification of Real-Time Systems

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.