On the public citation graph
Really Rethinking 'Formal Methods'
0 signed · 82 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/978-94-011-1793-7_4openalex-snapshot
Assigning Meanings to Programs
inferredcites →https://doi.org/10.1090/psapm/019/0235771openalex-snapshot
Assigning meanings to programs
inferredcites →https://doi.org/10.1109/tse.1976.233815openalex-snapshot
Observations of Fallibility in Applications of Modern Programming Methodologies
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.5555/800091.802934openalex-snapshot
An experiment in software engineering: The Architecture Research Facility as a case study
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781118136607.ch9openalex-snapshot
Future Visions on Real‐Time Systems
inferred← citeshttps://doi.org/10.1007/978-1-4614-7864-5_4openalex-snapshot
Models for SoCs and Specifications
inferred← citeshttps://doi.org/10.1007/978-3-030-32441-4_15openalex-snapshot
You Already Used Formal Methods but Did Not Know It
inferred← citeshttps://doi.org/10.1007/978-3-030-71374-4_4openalex-snapshot
Fun with Formal Methods for Better Education
inferred← citeshttps://doi.org/10.1007/978-3-030-91550-6_6openalex-snapshot
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)
inferred← citeshttps://doi.org/10.1007/978-3-319-23506-6_6openalex-snapshot
Evaluation Trees for Proposition Algebra
inferred← citeshttps://doi.org/10.1007/978-3-319-25423-4_7openalex-snapshot
Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction
inferred← citeshttps://doi.org/10.1007/978-3-319-57708-1_4openalex-snapshot
Automated Safety Analysis on Scenario-Based Requirements for Train Control System
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_43openalex-snapshot
A Pattern System to Support Refining Informal Ideas into Formal Expressions
inferred← citeshttps://doi.org/10.1007/978-3-642-24372-1_1openalex-snapshot
Statistical Model Checking for Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24559-6_13openalex-snapshot
Integrating Prototyping into the SOFL Three-Step Modeling Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-27269-1_20openalex-snapshot
Towards Linear Algebras of Components
inferred← citeshttps://doi.org/10.1007/978-3-642-33296-8_4openalex-snapshot
An Approach Using the B Method to Formal Verification of PLC Programs in an Industrial Setting
inferred← citeshttps://doi.org/10.1007/s00287-015-0942-5openalex-snapshot
Ein Modell für natursprachliche Anforderungsdokumente
inferred← citeshttps://doi.org/10.1007/s10270-023-01124-2openalex-snapshot
A manifesto for applicable formal methods
inferred← citeshttps://doi.org/10.1007/s10515-013-0120-4openalex-snapshot
mbeddr: instantiating a language workbench in the embedded software domain
inferred← citeshttps://doi.org/10.1007/s10664-020-09803-0openalex-snapshot
Practical relevance of software engineering research: synthesizing the community’s voice
inferred← citeshttps://doi.org/10.1007/s10664-020-09836-5openalex-snapshot
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
inferred← citeshttps://doi.org/10.1007/s11042-023-17218-4openalex-snapshot
Security requirements specification by formal methods: a research metadata analysis
inferred← citeshttps://doi.org/10.1007/s11704-012-2904-2openalex-snapshot
The use of mathematics in software quality assurance
inferred← citeshttps://doi.org/10.1016/j.infsof.2023.107282openalex-snapshot
Verifying contracts among software components: An ontology-based approach
inferred← citeshttps://doi.org/10.1016/j.jss.2021.110948openalex-snapshot
A formal specification animation method for operation validation
inferred← citeshttps://doi.org/10.1016/j.micpro.2015.12.006openalex-snapshot
Design and verification of Cyber-Physical Systems using TrueTime, evolutionary optimization and UPPAAL
inferred← citeshttps://doi.org/10.1016/j.scico.2012.07.012openalex-snapshot
Typing linear algebra: A biproduct-oriented approach
inferred← citeshttps://doi.org/10.1049/iet-its.2018.5231openalex-snapshot
Safety monitor for train‐centric CBTC system
inferred← citeshttps://doi.org/10.1080/11663081.2018.1448637openalex-snapshot
An independent axiomatisation for free short-circuit logic
inferred← citeshttps://doi.org/10.1109/apsec.2015.15openalex-snapshot
Automatic Selection of System Functional Scenarios for Formal Specification Animation
inferred← citeshttps://doi.org/10.1109/cseet49119.2020.9206234openalex-snapshot
On Complementing an Undergraduate Software Engineering Course with Formal Methods
inferred← citeshttps://doi.org/10.1109/dsn.2012.6263953openalex-snapshot
Lightweight cooperative logging for fault replication in concurrent programs
inferred← citeshttps://doi.org/10.1109/formalise.2013.6612270openalex-snapshot
Though this be madness, yet there is method in it? (Keynote)
inferred← citeshttps://doi.org/10.1109/icatcct.2017.8389153openalex-snapshot
Teaching formal methods at undergraduate/graduate level: The three perspectives
inferred← citeshttps://doi.org/10.1109/icis.2013.6607887openalex-snapshot
An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements
inferred← citeshttps://doi.org/10.1109/icstw50294.2020.00078openalex-snapshot
Can Learning Formal Specification Be Fun? —Experience and Perspective
inferred← citeshttps://doi.org/10.1109/ihmsc.2013.113openalex-snapshot
A Scene-Driven Modeling Reconfigurable Hardware-in-Loop Simulation Environment for the Verification of an Autonomous CPS
inferred← citeshttps://doi.org/10.1109/jsyst.2015.2496293openalex-snapshot
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/mc.2011.268openalex-snapshot
Software Engineering - Missing in Action: A Personal Perspective
inferred← citeshttps://doi.org/10.1109/mc.2011.305openalex-snapshot
Can Practitioners Neglect Theory and Theoreticians Neglect Practice?
inferred← citeshttps://doi.org/10.1109/mc.2011.353openalex-snapshot
Software Development for Infrastructure
inferred← citeshttps://doi.org/10.1109/mixdes.2015.7208473openalex-snapshot
Formal methods — Support or scientific decoration in software development?
inferred← citeshttps://doi.org/10.1109/models.2017.6openalex-snapshot
Tool Support for Live Formal Verification
inferred← citeshttps://doi.org/10.1109/qrs-c55045.2021.00068openalex-snapshot
Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis
inferred← citeshttps://doi.org/10.1109/snpd.2013.56openalex-snapshot
Guided Requirements Clarification for Automatic Formalization
inferred← citeshttps://doi.org/10.1109/topi.2013.6597189openalex-snapshot
Towards accessible integration and deployment of formal tools and techniques
inferred← citeshttps://doi.org/10.1109/tr.2015.2456853openalex-snapshot
Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems
inferred← citeshttps://doi.org/10.1109/tse.2012.15openalex-snapshot
Alloy Meets the Algebra of Programming: A Case Study
inferred← citeshttps://doi.org/10.1109/tse.2020.2999884openalex-snapshot
Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing
inferred← citeshttps://doi.org/10.1109/vl/hcc60511.2024.00028openalex-snapshot
SpecTacles: Supporting Control Flow Comprehension of Software Developers in TLA+
inferred← citeshttps://doi.org/10.1109/wse.2013.6642410openalex-snapshot
Natural language requirement specification for web service testing
inferred← citeshttps://doi.org/10.1145/1858996.1859060openalex-snapshot
Integrating model verification and self-adaptation
inferred← citeshttps://doi.org/10.1145/2413296.2413300openalex-snapshot
Point-and-shoot security design
inferred← citeshttps://doi.org/10.1145/2494603.2480320openalex-snapshot
Applying theorem discovery to automatically find and check usability heuristics
inferred← citeshttps://doi.org/10.1145/2897667.2897668openalex-snapshot
Validating formal specifications using testing-based specification animation
inferred← citeshttps://doi.org/10.1145/3357231openalex-snapshot
New Opportunities for Integrated Formal Methods
inferred← citeshttps://doi.org/10.1145/3670795openalex-snapshot
Does Every Computer Scientist Need to Know Formal Methods?
inferred← citeshttps://doi.org/10.1155/2013/457837openalex-snapshot
Formal Development of System of Systems
inferred← citeshttps://doi.org/10.1177/0954409713495015openalex-snapshot
A novel framework for supporting the design of moving block train control system schemes
inferred← citeshttps://doi.org/10.13052/rp-99788793237155openalex-snapshot
Strengthening Collaboration, Integration and Modelling in System of Systems Engineering
inferred← citeshttps://doi.org/10.15002/00012841openalex-snapshot
A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability
inferred← citeshttps://doi.org/10.2139/ssrn.5955479openalex-snapshot
Edge Cases: The boundary between social and technical approaches to safety assurance
inferred← citeshttps://doi.org/10.24963/ijcai.2020/773openalex-snapshot
Lossless Semantic Round-Tripping in PENG ASP
inferred← citeshttps://doi.org/10.31144/si.2307-6410.2013.n1.p1-34openalex-snapshot
DOMAIN-SPECIFIC TRANSITION SYSTEMS: OBJECT MODEL AND LANGUAGE
inferred← citeshttps://doi.org/10.31144/si.2307-6410.2015.n6.p1-18openalex-snapshot
ON LOGICAL AND ALGEBRAIC FOUNDATIONS OF FORMAL SEMANTICS CLASSIFICATION
inferred← citeshttps://doi.org/10.31644/imasd.2.2013.a02openalex-snapshot
Usando Simulación en los Sistemas Astronáuticos y Aeroespaciales
inferred← citeshttps://doi.org/10.32689/maup.it.2023.5.7openalex-snapshot
АЛГЕБРАЇЧНЕ ПРОЄКТУВАННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
inferred← citeshttps://doi.org/10.3390/asi5060127openalex-snapshot
Problematizing the Adoption of Formal Methods in the 4IR–5IR Transition
inferred← citeshttps://doi.org/10.4067/s0718-33052020000300411openalex-snapshot
Process and progress of requirement formalization in Software Engineering
inferred← citeshttps://doi.org/10.48550/arxiv.1312.4818openalex-snapshot
Typing linear algebra: A biproduct-oriented approach
inferred← citeshttps://doi.org/10.5040/9781472547231.ch-012openalex-snapshot
‘Though this be madness, yet there is method in it’
inferred← citeshttps://doi.org/10.5220/0007655502260233openalex-snapshot
Analytic Pattern and Tool for Analysis of a Gap of Changes in Enterprise Architectures
inferred← citeshttps://doi.org/10.58190/icat.2023.35openalex-snapshot
Formal Methods for an Agile Scrum Software Development Methodology
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.