On the public citation graph
Evaluating the suitability of state‐based formal methods for industrial deployment
0 signed · 170 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.1002/9781119004707openalex-snapshot
Formal Methods Applied to Industrial Complex Systems
inferredcites →https://doi.org/10.1002/spe.1016openalex-snapshot
Developing Camille, a text editor for Rodin
inferredcites →https://doi.org/10.1007/11526841_38openalex-snapshot
Testing Concurrent Object-Oriented Systems with Spec Explorer
inferredcites →https://doi.org/10.1007/11560548_14openalex-snapshot
Real-Time Model Checking Is Really Simple
inferredcites →https://doi.org/10.1007/11589976_12openalex-snapshot
Formal Methods Meet Domain Specific Languages
inferredcites →https://doi.org/10.1007/11813040_11openalex-snapshot
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
inferredcites →https://doi.org/10.1007/3-540-40911-4_17openalex-snapshot
Why Doesn’t Anyone Use Formal Methods?
inferredcites →https://doi.org/10.1007/3-540-44518-8_20openalex-snapshot
Report on a Practical Application of ASMs in Software Design
inferredcites →https://doi.org/10.1007/3-540-44518-8_6openalex-snapshot
XASM- An Extensible, Component-Based Abstract State Machines Language
inferredcites →https://doi.org/10.1007/3-540-45614-7_14openalex-snapshot
VAlloy — Virtual Functions Meet a Relational Language
inferredcites →https://doi.org/10.1007/3-540-45949-9openalex-snapshot
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
inferredcites →https://doi.org/10.1007/3-540-48119-2_2openalex-snapshot
Scientific Decisions which Characterize VDM
inferredcites →https://doi.org/10.1007/3-540-48153-2_6openalex-snapshot
Model Checking TLA+ Specifications
inferredcites →https://doi.org/10.1007/3-540-55602-8_217openalex-snapshot
PVS: A prototype verification system
inferredcites →https://doi.org/10.1007/3-540-60609-2_10openalex-snapshot
Formal methods in practice: A comparison of two support systems for proof
inferredcites →https://doi.org/10.1007/978-1-4471-0701-9_1openalex-snapshot
Z: A Formal Specification Notation
inferredcites →https://doi.org/10.1007/978-1-4471-3556-2_1openalex-snapshot
An International Survey of Industrial Applications of Formal Methods
inferredcites →https://doi.org/10.1007/978-1-4471-5260-6openalex-snapshot
Using Event-B for Critical Device Software Systems
inferredcites →https://doi.org/10.1007/978-3-319-05843-6_14openalex-snapshot
Improving the Understandability of Formal Specifications: An Experience Report
inferredcites →https://doi.org/10.1007/978-3-319-07512-9_10openalex-snapshot
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
inferredcites →https://doi.org/10.1007/978-3-319-07512-9_7openalex-snapshot
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
inferredcites →https://doi.org/10.1007/978-3-319-10181-1_20openalex-snapshot
Code Generation for Event-B
inferredcites →https://doi.org/10.1007/978-3-319-13251-8_8openalex-snapshot
Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices
inferredcites →https://doi.org/10.1007/978-3-319-22969-0_10openalex-snapshot
Model-Based Robustness Testing in Event-B Using Mutation
inferredcites →https://doi.org/10.1007/978-3-319-30496-0openalex-snapshot
Hagenberg Business Process Modelling Method
inferredcites →https://doi.org/10.1007/978-3-319-33600-8_13openalex-snapshot
How to Select the Suitable Formal Method for an Industrial Application: A Survey
inferredcites →https://doi.org/10.1007/978-3-319-41591-8_17openalex-snapshot
SMT-Based Automatic Proof of ASM Model Refinement
inferredcites →https://doi.org/10.1007/978-3-319-57288-8_21openalex-snapshot
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
inferredcites →https://doi.org/10.1007/978-3-540-39656-7_10openalex-snapshot
High-Level Specifications: Lessons from Industry
inferredcites →https://doi.org/10.1007/978-3-540-45236-2_11openalex-snapshot
Managerial Issues for the Consideration and Use of Formal Methods
inferredcites →https://doi.org/10.1007/978-3-540-45236-2_5openalex-snapshot
Event Based Sequential Program Development: Application to Constructing a Pointer Program
inferredcites →https://doi.org/10.1007/978-3-540-73105-4_116openalex-snapshot
Formal Validation of Java/Swing User Interfaces with the Event B Method
inferredcites →https://doi.org/10.1007/978-3-540-73210-5_25openalex-snapshot
Validating Z Specifications Using the ProB Animator and Model Checker
inferredcites →https://doi.org/10.1007/978-3-540-73770-4_6openalex-snapshot
Automatic Testing from Formal Specifications
inferredcites →https://doi.org/10.1007/978-3-540-74107-7_8openalex-snapshot
The Specification Language TLA+
inferredcites →https://doi.org/10.1007/978-3-540-87603-8_23openalex-snapshot
Formal Modeling and Analysis of a Flash Filesystem in Alloy
inferredcites →https://doi.org/10.1007/978-3-540-87603-8_34openalex-snapshot
Model Checking Event-B by Encoding into Alloy
inferredcites →https://doi.org/10.1007/978-3-540-87603-8_5openalex-snapshot
Model Based Refinement and the Tools of Tomorrow
inferredcites →https://doi.org/10.1007/978-3-642-03359-9_2openalex-snapshot
VCC: A Practical System for Verifying Concurrent C
inferredcites →https://doi.org/10.1007/978-3-642-03466-4_2openalex-snapshot
The PlusCal Algorithm Language
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/978-3-642-13556-9_6openalex-snapshot
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
inferredcites →https://doi.org/10.1007/978-3-642-14509-4openalex-snapshot
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
inferredcites →https://doi.org/10.1007/978-3-642-16265-7_18openalex-snapshot
Systematic Translation Rules from astd to Event-B
inferredcites →https://doi.org/10.1007/978-3-642-24485-8_12openalex-snapshot
Semantically Configurable Consistency Analysis for Class and Object Diagrams
inferredcites →https://doi.org/10.1007/978-3-642-24559-6_42openalex-snapshot
Term Rewriting in Logics of Partial Functions
inferredcites →https://doi.org/10.1007/978-3-642-30885-7_17openalex-snapshot
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers
inferredcites →https://doi.org/10.1007/978-3-642-30885-7_32openalex-snapshot
Learn and Test for Event-B – A Rodin Plugin
inferredcites →https://doi.org/10.1007/978-3-642-30885-7_33openalex-snapshot
Event-B Code Generation: Type Extension with Theories
inferredcites →https://doi.org/10.1007/978-3-642-33170-1_10openalex-snapshot
Industrial Deployment of Formal Methods: Trends and Challenges
inferredcites →https://doi.org/10.1007/978-3-642-35623-0_7openalex-snapshot
Model-Driven Testing for Web Applications Using Abstract State Machines
inferredcites →https://doi.org/10.1007/978-3-642-41010-9_13openalex-snapshot
Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors
inferredcites →https://doi.org/10.1007/978-3-642-59495-3openalex-snapshot
Java and the Java Virtual Machine
inferredcites →https://doi.org/10.1007/978-3-662-07964-5openalex-snapshot
Interactive Theorem Proving and Program Development
inferredcites →https://doi.org/10.1007/978-3-662-43652-3_30openalex-snapshot
Formal Verification of OS Security Model with Alloy and Event-B
inferredcites →https://doi.org/10.1007/978-94-009-0771-3_18openalex-snapshot
Mathematics as a Management Tool: Proof Rules for Promotion
inferredcites →https://doi.org/10.1007/b138800openalex-snapshot
Validated Designs for Object-oriented Systems
inferredcites →https://doi.org/10.1007/bfb0053357openalex-snapshot
Introducing dynamic constraints in B
inferredcites →https://doi.org/10.1007/bfb0053358openalex-snapshot
Retrenchment: An engineering variation on refinement
inferredcites →https://doi.org/10.1007/bfb0055332openalex-snapshot
On the need for practical formal methods
inferredcites →https://doi.org/10.1007/s00165-003-0006-5openalex-snapshot
A Refinement Strategy for Circus
inferredcites →https://doi.org/10.1007/s00165-007-0058-zopenalex-snapshot
Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method
inferredcites →https://doi.org/10.1007/s00165-007-0059-yopenalex-snapshot
Mechanising Mondex with Z/Eves
inferredcites →https://doi.org/10.1007/s00165-007-0060-5openalex-snapshot
The certification of the Mondex electronic purse to ITSEC Level E6
inferredcites →https://doi.org/10.1007/s00165-012-0260-5openalex-snapshot
Derivation of concurrent programs by stepwise scheduling of Event-B models
inferredcites →https://doi.org/10.1007/s00165-014-0302-2openalex-snapshot
A practical comparison of Alloy and Spin
inferredcites →https://doi.org/10.1007/s00236-015-0249-7openalex-snapshot
Concurrent abstract state machines
inferredcites →https://doi.org/10.1007/s00607-013-0340-2openalex-snapshot
Enforcing spatio-temporal access control in mobile applications
inferredcites →https://doi.org/10.1007/s00766-011-0120-5openalex-snapshot
Utilizing Event-B for domain engineering: a critical analysis
inferredcites →https://doi.org/10.1007/s10009-007-0063-9openalex-snapshot
ProB: an automated analysis toolset for the B method
inferredcites →https://doi.org/10.1007/s10009-009-0130-5openalex-snapshot
Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
inferredcites →https://doi.org/10.1007/s10009-010-0145-yopenalex-snapshot
Rodin: an open toolset for modelling and reasoning in Event-B
inferredcites →https://doi.org/10.1007/s10270-016-0514-4openalex-snapshot
Refinement-based Validation of Event-B Specifications
inferredcites →https://doi.org/10.1007/s11219-015-9288-0openalex-snapshot
Model-driven development of high-assurance active medical devices
inferredcites →https://doi.org/10.1016/0011-684x(86)90240-6openalex-snapshot
Systematic software development using VDM
inferredcites →https://doi.org/10.1016/0164-1212(90)90074-vopenalex-snapshot
TRIO: A logic language for executable specifications of real-time systems
inferredcites →https://doi.org/10.1016/0167-6423(90)90091-qopenalex-snapshot
The Z notation: A reference manual
inferredcites →https://doi.org/10.1016/j.scico.2013.03.008openalex-snapshot
A method and tool for tracing requirements into specifications
inferredcites →https://doi.org/10.1016/j.scico.2014.02.007openalex-snapshot
Test generation for sequential nets of Abstract State Machines with information passing
inferredcites →https://doi.org/10.1016/j.scico.2014.04.012openalex-snapshot
Integrating SMT solvers in Rodin
inferredcites →https://doi.org/10.1016/j.scico.2017.07.003openalex-snapshot
Integrating formal methods into medical software development: The ASM approach
inferredcites →https://doi.org/10.1016/j.tcs.2016.08.013openalex-snapshot
A new thesis concerning synchronised parallel computing – simplified parallel ASM thesis
inferredcites →https://doi.org/10.1016/s0167-6423(01)00024-7openalex-snapshot
Pitfalls of formality in early system design
inferredcites →https://doi.org/10.1016/s0167-6423(01)00026-0openalex-snapshot
Formal methods: the very idea
inferredcites →https://doi.org/10.1023/a:1011269103179openalex-snapshot
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
inferredcites →https://doi.org/10.1049/ip-sen:19970974openalex-snapshot
Formal methods into practice: case studies in the application of the B method
inferredcites →https://doi.org/10.1049/sej.1989.0007openalex-snapshot
Structuring specifications in Z
inferredcites →https://doi.org/10.1109/32.508312openalex-snapshot
A framework for evaluating specification methods for reactive systems-experience report
inferredcites →https://doi.org/10.1109/ase.2011.6100137openalex-snapshot
TestEra: A tool for testing Java programs using alloy specifications
inferredcites →https://doi.org/10.1109/cmpsac.1997.625024openalex-snapshot
Formal Methods For The Re-Engineering of Computing Systems
inferredcites →https://doi.org/10.1109/formalise.2015.13openalex-snapshot
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification
inferredcites →https://doi.org/10.1109/formalise.2015.14openalex-snapshot
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
inferredcites →https://doi.org/10.1109/hase.2015.32openalex-snapshot
Observation-Level-Driven Formal Modeling
inferredcites →https://doi.org/10.1109/icsea.2008.62openalex-snapshot
Model-Driven Language Engineering: The ASMETA Case Study
inferredcites →https://doi.org/10.1109/icsm.2012.6405256openalex-snapshot
Finding errors from reverse-engineered equality models using a constraint solver
inferredcites →https://doi.org/10.1109/icst.2013.46openalex-snapshot
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving
inferredcites →https://doi.org/10.1109/les.2015.2494459openalex-snapshot
Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study
inferredcites →https://doi.org/10.1109/memcod.2015.7340473openalex-snapshot
Formal validation and verification of a medical software critical component
inferredcites →https://doi.org/10.1109/re.2010.37openalex-snapshot
Domain Engineering with Event-B: Some Lessons We Learned
inferredcites →https://doi.org/10.1109/wpdrts.1996.557684openalex-snapshot
Specifying parallel and distributed real-time systems in Z
inferredcites →https://doi.org/10.1145/1147249.1147259openalex-snapshot
Analyzing architectural styles with alloy
inferredcites →https://doi.org/10.1145/1232743.1232745openalex-snapshot
Is abstraction the key to computing?
inferredcites →https://doi.org/10.1145/1324969.1324970openalex-snapshot
RapidIO for radar processing in advanced space systems
inferredcites →https://doi.org/10.1145/1347375.1347389openalex-snapshot
The worst-case execution-time problem—overview of methods and survey of tools
inferredcites →https://doi.org/10.1145/1449814.1449903openalex-snapshot
Automatic code generation and solution estimate for object-oriented embedded software
inferredcites →https://doi.org/10.1145/2069216.2069252openalex-snapshot
Automatic code generation from event-B models
inferredcites →https://doi.org/10.1145/2554850.2554897openalex-snapshot
Translating event-B to JML-specified Java programs
inferredcites →https://doi.org/10.1145/2610375openalex-snapshot
A Continuous ASM Modelling Approach to Pacemaker Sensing
inferredcites →https://doi.org/10.1145/2629457openalex-snapshot
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements
inferredcites →https://doi.org/10.1145/2699417openalex-snapshot
How Amazon web services uses formal methods
inferredcites →https://doi.org/10.25405/ncl.34123050openalex-snapshot
Formal Methods: State of the Art and Future Directions
inferredcites →https://doi.org/10.3217/jucs-007-11-1068openalex-snapshot
Compiling Abstract State Machines to C++
inferredcites →https://doi.org/10.3727/108812898791918262openalex-snapshot
Formal Methods in the Development of Safety-Critical Knowledge-Based Components
inferredcites →https://doi.org/10.3929/ethz-a-005357653openalex-snapshot
Type safety of C# and .Net CLR
inferredcites →https://doi.org/10.4204/eptcs.150.2openalex-snapshot
Formal Safety and Security Assessment of an Avionic Architecture with Alloy
inferredcites →https://doi.org/10.4204/eptcs.187.2openalex-snapshot
Towards Enabling Overture as a Platform for Formal Notation IDEs
inferredcites →https://doi.org/10.4204/eptcs.55.8openalex-snapshot
Formalising the Continuous/Discrete Modeling Step
inferredcites →https://doi.org/10.5120/12020-8017openalex-snapshot
Formal Methods in Requirements Phase of SDLC
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/smr.2383openalex-snapshot
Formal methods by stealth: The INSPEX experience
inferred← citeshttps://doi.org/10.1002/smr.2457openalex-snapshot
Model‐driven engineering of safety and security software systems: A systematic mapping study and future research directions
inferred← citeshttps://doi.org/10.1002/spe.3200openalex-snapshot
An industry survey on approaches, success factors, and barriers for technology transfer in software engineering
inferred← citeshttps://doi.org/10.1002/spe.3307openalex-snapshot
Formal specification and verification of a team formation protocol using TLA+
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_25openalex-snapshot
A Multi-target Code Generator for High-Level B
inferred← citeshttps://doi.org/10.1007/978-3-030-58298-2_8openalex-snapshot
The First Twenty-Five Years of Industrial Use of the B-Method
inferred← citeshttps://doi.org/10.1007/978-3-030-59155-7_30openalex-snapshot
Merging Railway Standard Notations in a Formal DSL-Based Framework
inferred← citeshttps://doi.org/10.1007/978-3-031-05760-1_29openalex-snapshot
The B Method Meets MDE: Review, Progress and Future
inferred← citeshttps://doi.org/10.1007/978-3-031-14343-4_31openalex-snapshot
Application of Validation Obligations to Security Concerns
inferred← citeshttps://doi.org/10.1007/978-3-031-17244-1_19openalex-snapshot
Trace Refinement in B and Event-B
inferred← citeshttps://doi.org/10.1007/978-3-031-33163-3_12openalex-snapshot
Validation by Abstraction and Refinement
inferred← citeshttps://doi.org/10.1007/978-981-99-7584-6_12openalex-snapshot
Validation-Driven Development
inferred← citeshttps://doi.org/10.1007/978-981-99-7584-6_16openalex-snapshot
Early and Systematic Validation of Formal Models
inferred← citeshttps://doi.org/10.1007/s00766-025-00439-4openalex-snapshot
Adding liveness to behavioral programming: theory, implementation, and user study
inferred← citeshttps://doi.org/10.1007/s10009-019-00548-wopenalex-snapshot
Formalising the Hybrid ERTMS Level 3 specification in iUML-B and Event-B
inferred← citeshttps://doi.org/10.1016/j.cosrev.2023.100597openalex-snapshot
Model-based joint analysis of safety and security:Survey and identification of gaps
inferred← citeshttps://doi.org/10.1016/j.jlamp.2024.100943openalex-snapshot
Trace preservation in B and Event-B refinements
inferred← citeshttps://doi.org/10.1080/10447318.2021.2004699openalex-snapshot
Big I Notation to Estimate the Interaction Complexity of Interaction Concepts
inferred← citeshttps://doi.org/10.1109/case49439.2021.9551435openalex-snapshot
MIDES: A Tool for Supervisor Synthesis via Active Learning
inferred← citeshttps://doi.org/10.1109/icse-nier52604.2021.00009openalex-snapshot
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
inferred← citeshttps://doi.org/10.1109/mc.2020.3023158openalex-snapshot
Intelligent Autonomous Systems
inferred← citeshttps://doi.org/10.1145/3417990.3421262openalex-snapshot
Automatically learning formal models
inferred← citeshttps://doi.org/10.1145/3801619.3801658openalex-snapshot
Towards a Modeling Approach for IoT-Based Digital Twin Systems
inferred← citeshttps://doi.org/10.12737/2587-912x-2019-54-59openalex-snapshot
Tasks of the Final Stage of the 2019 Republican Olympiad in Mathematics, Methods and Criteria for Evaluating Their Solution
inferred← citeshttps://doi.org/10.3390/electronics11040643openalex-snapshot
Automatically Learning Formal Models from Autonomous Driving Software
inferred← citeshttps://doi.org/10.3390/software1040017openalex-snapshot
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
inferred← citeshttps://doi.org/10.4271/2026-01-0768openalex-snapshot
Generating Machine-Processable Specifications from Natural Language Using Large Language Models in Automotive Commissioning and Testing
inferred← citeshttps://doi.org/10.48550/arxiv.2004.08471openalex-snapshot
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study
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.