On the public citation graph

The B-method

https://doi.org/10.1007/bfb0020001

0 signed · 91 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.1007/3-540-51305-1_1openalex-snapshot

A formal approach to large SOFTWARE CONSTRUCTION

What points at this work

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

inferred← citeshttps://doi.org/10.1002/047134608x.w6916openalex-snapshot

Formal Specification of Software

inferred← citeshttps://doi.org/10.1002/smr.4360060404openalex-snapshot

Inverse‐engineering a simple real‐time program

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

Formal Development of Mechanisms for Tolerating Transient Faults

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

Rigorous Development of Fault-Tolerant Agent Systems

inferred← citeshttps://doi.org/10.1007/3-540-58786-1_88openalex-snapshot

A formal software specification tool using the entity-relationship model

inferred← citeshttps://doi.org/10.1007/978-1-4471-0997-6_1openalex-snapshot

Software-based Safety-critical Systems: a Taxonomy

inferred← citeshttps://doi.org/10.1007/978-1-4471-3431-2_6openalex-snapshot

Real-Time and Safety-Critical Systems

inferred← citeshttps://doi.org/10.1007/978-3-030-30942-8_31openalex-snapshot

Embedding High-Level Formal Specifications into Applications

inferred← citeshttps://doi.org/10.1007/978-3-030-54997-8_23openalex-snapshot

Towards a Method for the Decomposition by Refinement in Event-B

inferred← citeshttps://doi.org/10.1007/978-3-031-68150-9_11openalex-snapshot

Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools

inferred← citeshttps://doi.org/10.1007/978-3-031-94533-5_4openalex-snapshot

Safely Encoding B Proof Obligations in SMT-LIB

inferred← citeshttps://doi.org/10.1007/978-3-032-10762-6_24openalex-snapshot

Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems

inferred← citeshttps://doi.org/10.1007/978-3-032-10762-6_4openalex-snapshot

From Relay-Based Railway Interlocking Circuits to Formal Specification: An AI-Driven Approach

inferred← citeshttps://doi.org/10.1007/978-3-032-12484-5_4openalex-snapshot

The Successful Use of the B Method in Industrial Development of Critical Systems: Standards Compliance and Certification in CBTC

inferred← citeshttps://doi.org/10.1007/978-3-319-41135-4_1openalex-snapshot

Using Formal Methods for Verification and Validation in Railway

inferred← citeshttps://doi.org/10.1007/978-3-319-41135-4_12openalex-snapshot

Automatic Predicate Testing in Formal Certification

inferred← citeshttps://doi.org/10.1007/978-3-319-77935-5_18openalex-snapshot

Distributed Model Checking Using ProB

inferred← citeshttps://doi.org/10.1007/978-3-319-91271-4_16openalex-snapshot

Verifiable Code Generation from Scheduled Event-B Models

inferred← citeshttps://doi.org/10.1007/978-3-319-98938-9_16openalex-snapshot

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin

inferred← citeshttps://doi.org/10.1007/978-3-540-24756-2_11openalex-snapshot

UML to B: Formal Verification of Object-Oriented Models

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

Refinement of Fault Tolerant Control Systems in B

inferred← citeshttps://doi.org/10.1007/978-3-540-49676-2_5openalex-snapshot

Using B to Specify, Verify and Design Hardware Circuits

inferred← citeshttps://doi.org/10.1007/978-3-540-73770-4_4openalex-snapshot

Testing and Verifying Invariant Based Programs in the SOCOS Environment

inferred← citeshttps://doi.org/10.1007/978-3-540-75294-3_7openalex-snapshot

Architecture-Centric Fault Tolerance with Exception Handling

inferred← citeshttps://doi.org/10.1007/978-3-540-88030-1_11openalex-snapshot

Development of Fault-Tolerant Software Systems Based on Architectural Abstractions

inferred← citeshttps://doi.org/10.1007/978-3-642-32096-5_3openalex-snapshot

Reasoning about I/O in Functional Programs

inferred← citeshttps://doi.org/10.1007/978-981-10-4121-1_8openalex-snapshot

Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects

inferred← citeshttps://doi.org/10.1007/978-981-10-6496-8_59openalex-snapshot

Graphic Modelling Approach as a Support for Event-B Modelling

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

Design of software for safety critical systems

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

Algebraic specification languages: An overview

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

Algorithm refinement with read and write frames

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

Invariants, frames and postconditions: a comparison of the VDM and B notations

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

Reasoning and refinement in object-oriented specification languages

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

Towards a theory of consistency enforcement

inferred← citeshttps://doi.org/10.1007/s10009-014-0318-1openalex-snapshot

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

inferred← citeshttps://doi.org/10.1007/s10270-024-01226-5openalex-snapshot

Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling

inferred← citeshttps://doi.org/10.1007/s10703-020-00351-3openalex-snapshot

Integrating formal specifications into applications: the ProB Java API

inferred← citeshttps://doi.org/10.1007/s11390-009-9219-2openalex-snapshot

Architecting Fault Tolerance with Exception Handling: Verification and Validation

inferred← citeshttps://doi.org/10.1016/0164-1212(94)00082-xopenalex-snapshot

The practice of formal methods in safety-critical systems

inferred← citeshttps://doi.org/10.1016/0950-5849(93)90083-fopenalex-snapshot

Formal specifications in software maintenance: from code to Z++ and back again

inferred← citeshttps://doi.org/10.1016/b978-0-12-800160-8.00001-2openalex-snapshot

Automated Test Oracles

inferred← citeshttps://doi.org/10.1016/b978-0-444-89901-9.50024-0openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1016/bs.adcom.2015.03.003openalex-snapshot

A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs

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

What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?

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

Structure and behavior preserving statecharts refinements

inferred← citeshttps://doi.org/10.1016/s0167-6423(99)00015-5openalex-snapshot

ESTEREL: a formal method applied to avionic software development

inferred← citeshttps://doi.org/10.1016/s0950-5849(99)00012-9openalex-snapshot

Integrating structured OO approaches with formal techniques for the development of real-time systems

inferred← citeshttps://doi.org/10.1016/s1474-6670(17)49421-3openalex-snapshot

Vital Coded Processor and Safety Related Software Design

inferred← citeshttps://doi.org/10.1023/a:1008645826258openalex-snapshot

A Formal Verification Environment for Railway Signaling System Design

inferred← citeshttps://doi.org/10.1023/a:1008688421367openalex-snapshot

Reasoning about Action Systems using the B-Method

inferred← citeshttps://doi.org/10.1023/a:1018942406449openalex-snapshot

ATOM: An object-based formal method for real-time systems

inferred← citeshttps://doi.org/10.1049/sej.1993.0025openalex-snapshot

Safety-critical systems, formal methods and standards

inferred← citeshttps://doi.org/10.1093/comjnl/39.7.598openalex-snapshot

Program Analysis by Formal Transformation

inferred← citeshttps://doi.org/10.1109/aero.1995.468939openalex-snapshot

Formal specification of software critical systems with agents

inferred← citeshttps://doi.org/10.1109/csd.2004.1309123openalex-snapshot

Rialto to B: an exercise in formal development of a language for multiple models of computation

inferred← citeshttps://doi.org/10.1109/csfw.1996.503695openalex-snapshot

Action systems for security specification

inferred← citeshttps://doi.org/10.1109/ftcs.1993.627365openalex-snapshot

SACEM: A fault tolerant system for train speed control

inferred← citeshttps://doi.org/10.1109/ftcs.1996.534602openalex-snapshot

Executable assertions and timed traces for on-line software error detection

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

Verification of Exception Control Flows and Handlers Based on Architectural Scenarios

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

Semi-automatic transformation from formal specifications to programs

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

Requirements validation by lifting retrenchments in B

inferred← citeshttps://doi.org/10.1109/icse.1994.296781openalex-snapshot

Formal specification techniques

inferred← citeshttps://doi.org/10.1109/icstw.2011.8openalex-snapshot

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification -- Extended Abstract

inferred← citeshttps://doi.org/10.1109/ipdps.2006.1639580openalex-snapshot

An overview of the Jahob analysis system: project goals and current status

inferred← citeshttps://doi.org/10.1109/issre.1992.285893openalex-snapshot

Error-free software development for critical systems using the B-Methodology

inferred← citeshttps://doi.org/10.1109/issre.1995.497644openalex-snapshot

The role of testing in the B formal development process

inferred← citeshttps://doi.org/10.1109/ms.1994.1279941openalex-snapshot

Case study: Paris Metro Signaling System

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

Fault tolerance in a layered architecture: a general specification pattern in B

inferred← citeshttps://doi.org/10.1109/sess.1993.263946openalex-snapshot

Standards and techniques for object-oriented formal specification

inferred← citeshttps://doi.org/10.1109/ssiri-c.2011.26openalex-snapshot

Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification

inferred← citeshttps://doi.org/10.1109/tse.2006.125openalex-snapshot

Modular Pluggable Analyses for Data Structure Consistency

inferred← citeshttps://doi.org/10.1109/wetice.2016.16openalex-snapshot

Adapting Security Policy at Runtime for Connected Autonomous Vehicles

inferred← citeshttps://doi.org/10.1109/wpc.1996.501128openalex-snapshot

Interprocedural analysis for program comprehension by specialization

inferred← citeshttps://doi.org/10.1142/s0219519416500652openalex-snapshot

FORMAL AND MODEL DRIVEN DESIGN OF THE BRIGHT LIGHT THERAPY SYSTEM LUXAMET

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

A unified framework and a transparent name-space for the Coq module system

inferred← citeshttps://doi.org/10.17562/pb-49-2openalex-snapshot

Reliable Web Services Composition: An MDD Approach

inferred← citeshttps://doi.org/10.2172/1166644openalex-snapshot

Survey of Existing Tools for Formal Verification

inferred← citeshttps://doi.org/10.25560/6348openalex-snapshot

Finite-State Abstractions for Probabilistic Computation Tree Logic

inferred← citeshttps://doi.org/10.2991/ijndc.k.200829.001openalex-snapshot

Vehicle Platooning Systems: Review, Classification and Validation Strategies

inferred← citeshttps://doi.org/10.3390/app11094119openalex-snapshot

Linguistic Patterns and Linguistic Styles for Requirements Specification: Focus on Data Entities

inferred← citeshttps://doi.org/10.4230/lipics.iclp.2010.144openalex-snapshot

From Relational Specifications to Logic Programs

inferred← citeshttps://doi.org/10.5381/jot.2002.1.3.a5openalex-snapshot

BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.

inferred← citeshttps://doi.org/10.5555/1998496.1998526openalex-snapshot

A framework for incremental modelling and verification of on-chip protocols

inferred← citeshttps://doi.org/10.5555/2685617.2685654openalex-snapshot

Co-simulating event-B and continuous models via FMI

inferred← citeshttps://doi.org/10.6100/ir719526openalex-snapshot

Assessing and improving the quality of model transformations

inferred← citeshttps://doi.org/10.6100/ir740040openalex-snapshot

From napkin sketches to reliable software

inferred← citeshttps://doi.org/10.70675/5245373fz6eaez4d9ez8bfdzc77ee2a6aa4bopenalex-snapshot

Analysis and formal specification of relay-based railway interlocking systems

inferred← citeshttps://doi.org/10.70675/a5edbdd5z2dc4z4c7cza3b5zab59b402df1eopenalex-snapshot

Protection des systèmes informatiques contre les attaques par entrées-sorties

inferred← citeshttps://doi.org/10.70675/a665ad18z5b63z4dcezbb96z2a4e6a63775bopenalex-snapshot

R-* : Réflexivité au service de l'évolution des systèmes de systèmes

inferred← citeshttps://doi.org/10.71548/18425openalex-snapshot

A Unifying Theory of Multi-Exit Programs

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.