On the public citation graph
Decomposition tool for event‐B
0 signed · 68 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-57208-2_16openalex-snapshot
Refinement and decomposition of value-passing action systems
inferredcites →https://doi.org/10.1007/978-3-642-00255-7_2openalex-snapshot
Decomposition Structures for Event-B
inferredcites →https://doi.org/10.1007/978-3-642-11811-1_24openalex-snapshot
Event-B Decomposition for Parallel Programs
inferredcites →https://doi.org/10.1007/bfb0027291openalex-snapshot
An approach to the design of distributed systems with B AMN
inferredcites →https://doi.org/10.1007/s002360050148openalex-snapshot
Fusion and simultaneous execution in the refinement calculus
inferredcites →https://doi.org/10.1023/a:1016503426126openalex-snapshot
A System-Based Approach to the Formal Development of Embedded Controllers for a Railway
inferredcites →https://doi.org/10.1109/32.761449openalex-snapshot
A decomposition of a formal specification: an improved constraint-oriented method
inferredcites →https://doi.org/10.1109/tase.2008.39openalex-snapshot
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
inferredcites →https://doi.org/10.14236/ewic/fmi2007.2openalex-snapshot
The Rodin Formal Modelling Tool
inferredcites →https://doi.org/10.5555/2366448.2366450openalex-snapshot
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-1-4471-4426-7_93openalex-snapshot
Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case
inferred← citeshttps://doi.org/10.1007/978-3-030-48077-6_28openalex-snapshot
An Event-B Model of an Automotive Adaptive Exterior Light System
inferred← citeshttps://doi.org/10.1007/978-3-030-63461-2_6openalex-snapshot
Towards Generating SPARK from Event-B Models
inferred← citeshttps://doi.org/10.1007/978-3-030-76020-5_9openalex-snapshot
Spot the Difference: A Detailed Comparison Between B and Event-B
inferred← citeshttps://doi.org/10.1007/978-3-031-23119-3_13openalex-snapshot
Generating SPARK from Event-B, Providing Fundamental Safety and Security
inferred← citeshttps://doi.org/10.1007/978-3-031-66673-5_6openalex-snapshot
Analysing the Safety Implications of Security Risks in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-26752-8_21openalex-snapshot
SHARCS: Refinement-Centric Hazard Analysis of Requirements for Critical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-07512-9_6openalex-snapshot
Modeling a Landing Gear System in Event-B
inferred← citeshttps://doi.org/10.1007/978-3-319-07512-9_9openalex-snapshot
The Landing Gear Case Study in Hybrid Event-B
inferred← citeshttps://doi.org/10.1007/978-3-319-10181-1_8openalex-snapshot
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-47846-3_20openalex-snapshot
An Event-B Development Process for the Distributed BIP Framework
inferred← citeshttps://doi.org/10.1007/978-3-319-56841-6_3openalex-snapshot
Reasoned Modelling with Event-B
inferred← citeshttps://doi.org/10.1007/978-3-319-66197-1_10openalex-snapshot
Specification Clones: An Empirical Study of the Structure of Event-B Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-20398-5_24openalex-snapshot
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-22045-6_7openalex-snapshot
Composing Event-B Specifications - Case-Study Experience
inferred← citeshttps://doi.org/10.1007/978-3-642-25271-6_7openalex-snapshot
Shared Event Composition/Decomposition in Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-30598-6_9openalex-snapshot
Formal Modelling for Ada Implementations: Tasking Event-B
inferred← citeshttps://doi.org/10.1007/978-3-642-30885-7_16openalex-snapshot
Refinement by Interface Instantiation
inferred← citeshttps://doi.org/10.1007/978-3-642-34026-0_40openalex-snapshot
Model Learning and Test Generation for Event-B Decomposition
inferred← citeshttps://doi.org/10.1007/978-3-662-43652-3_1openalex-snapshot
The Rodin Platform Has Turned Ten
inferred← citeshttps://doi.org/10.1007/978-3-662-43652-3_23openalex-snapshot
Invariant Guided System Decomposition
inferred← citeshttps://doi.org/10.1007/978-981-15-5054-6_13openalex-snapshot
An Event-B Development Process for the Distributed BIP Framework
inferred← citeshttps://doi.org/10.1007/978-981-99-7743-7_2openalex-snapshot
A Formal Approach for Traceability Preservation in Software Development Process
inferred← citeshttps://doi.org/10.1007/s00766-011-0120-5openalex-snapshot
Utilizing Event-B for domain engineering: a critical analysis
inferred← citeshttps://doi.org/10.1007/s10009-015-0391-0openalex-snapshot
Modeling a landing gear system in Event-B
inferred← citeshttps://doi.org/10.1007/s10009-015-0395-9openalex-snapshot
Validation of the ABZ landing gear system using ProB
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.1007/s10009-019-00543-1openalex-snapshot
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard
inferred← citeshttps://doi.org/10.1007/s10009-024-00748-zopenalex-snapshot
An Event-B model of an automotive adaptive exterior light system
inferred← citeshttps://doi.org/10.1007/s11334-024-00551-8openalex-snapshot
Systematic hierarchical analysis of requirements for critical systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2011.11.020openalex-snapshot
Towards the Composition of Specifications in Event-B
inferred← citeshttps://doi.org/10.1016/j.scico.2014.05.005openalex-snapshot
Refinement of decomposed models by interface instantiation
inferred← citeshttps://doi.org/10.1016/j.scico.2016.12.003openalex-snapshot
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines
inferred← citeshttps://doi.org/10.1093/comjnl/bxab115openalex-snapshot
An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications
inferred← citeshttps://doi.org/10.1093/comjnl/bxu032openalex-snapshot
Model Learning and Test Generation Using Cover Automata
inferred← citeshttps://doi.org/10.1109/access.2020.2987972openalex-snapshot
Formal Verification of AADL Models by Event-B
inferred← citeshttps://doi.org/10.1109/formreq51202.2020.00012openalex-snapshot
Formalization of Requirements for Correct Systems
inferred← citeshttps://doi.org/10.1109/hase.2011.47openalex-snapshot
Guidelines for Formal Domain Modeling in Event-B
inferred← citeshttps://doi.org/10.1109/ic3i.2014.7019780openalex-snapshot
Architectural semantics of AADL using Event-B
inferred← citeshttps://doi.org/10.1109/icisa.2013.6579481openalex-snapshot
Requirement Analysis for Event-B Modeling
inferred← citeshttps://doi.org/10.1109/re.2010.37openalex-snapshot
Domain Engineering with Event-B: Some Lessons We Learned
inferred← citeshttps://doi.org/10.1145/2851613.2851836openalex-snapshot
Session types for communicating systems in event-B
inferred← citeshttps://doi.org/10.11606/t.3.2013.tde-21102014-113929openalex-snapshot
Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências.
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.46.701.708openalex-snapshot
Specification and refinement of discrete timing properties in Event-B
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.70.969openalex-snapshot
A Formal Co-Simulation Approach for Wireless Sensor Network Development
inferred← citeshttps://doi.org/10.24200/sci.2018.20798openalex-snapshot
From Object-Z Specification to Groovy Implementation
inferred← citeshttps://doi.org/10.3929/ethz-a-007224650openalex-snapshot
A Survey on Event-B Decomposition
inferred← citeshttps://doi.org/10.4108/airo.v1i.16openalex-snapshot
An Event-B Approach to the Development of Fork/Join Parallel Programs
inferred← citeshttps://doi.org/10.4204/eptcs.411.1openalex-snapshot
Autonomous System Safety Properties with Multi-Machine Hybrid Event-B
inferred← citeshttps://doi.org/10.48550/arxiv.1210.7030openalex-snapshot
Lessons Learned/Sharing the Experience of Developing a Metro System Case Study
inferred← citeshttps://doi.org/10.48550/arxiv.1210.7034openalex-snapshot
Building on the DEPLOY Legacy: Code Generation and Simulation
inferred← citeshttps://doi.org/10.70675/94bdd33bz1a7ez4f46zad7bz6c26f43aa446openalex-snapshot
Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP
inferred← citeshttps://doi.org/10.70675/d9be617bz77daz47eez848dzc78f73e4578copenalex-snapshot
Towards a tooled and proven formal requirements engineering approach
inferred← citeshttps://doi.org/10.71548/24573openalex-snapshot
Model Based System Consistency Checking Using Event-B
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.