On the public citation graph
An empirical research agenda for understanding formal methods productivity
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-40891-6_19openalex-snapshot
Formal Methods Diffusion: Past Lessons and Future Prospects
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-84800-044-5openalex-snapshot
Guide to Advanced Empirical Software Engineering
inferredcites →https://doi.org/10.1007/978-1-84800-044-5_11openalex-snapshot
Selecting Empirical Methods for Software Engineering Research
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-69149-5_4openalex-snapshot
Methods and Tools for Formal Software Engineering
inferredcites →https://doi.org/10.1007/978-3-540-71067-7_16openalex-snapshot
Secure Microkernels, State Monads and Scalable Refinement
inferredcites →https://doi.org/10.1007/978-3-540-88194-0openalex-snapshot
Formal Methods and Software Engineering
inferredcites →https://doi.org/10.1007/978-3-642-11811-1_14openalex-snapshot
Supporting Reuse in Event B Development: Modularisation Approach
inferredcites →https://doi.org/10.1007/978-3-642-37395-4openalex-snapshot
Perspectives on the Future of Software Engineering
inferredcites →https://doi.org/10.1007/978-3-642-37395-4_3openalex-snapshot
Towards Agile Verification
inferredcites →https://doi.org/10.1007/s12046-009-0002-4openalex-snapshot
Operating system verification—An overview
inferredcites →https://doi.org/10.1016/0164-1212(90)90043-lopenalex-snapshot
Software measurement: A conceptual framework
inferredcites →https://doi.org/10.1016/b978-0-8155-1362-9.50005-6openalex-snapshot
An International Survey of Industrial Applications of Formal Methods
inferredcites →https://doi.org/10.1016/j.jss.2014.03.082openalex-snapshot
On the use of software design models in software development practice: An empirical investigation
inferredcites →https://doi.org/10.1016/s0920-5489(99)92176-1openalex-snapshot
Proceedings of the 1997 4th International Software Metrics Symposium
inferredcites →https://doi.org/10.1093/oxfordhb/9780199757183.001.0001openalex-snapshot
The Oxford Handbook of Cognitive Engineering
inferredcites →https://doi.org/10.1093/oxfordhb/9780199757183.013.0030openalex-snapshot
Modeling and Formal Analysis of Human-Machine Interaction
inferredcites →https://doi.org/10.1109/32.879807openalex-snapshot
Is proof more cost-effective than testing?
inferredcites →https://doi.org/10.1109/32.991322openalex-snapshot
Formal methods application: an empirical tale of software development
inferredcites →https://doi.org/10.1109/52.493020openalex-snapshot
Applying formal specification in industry
inferredcites →https://doi.org/10.1109/52.57891openalex-snapshot
Integrating formal methods into the development process
inferredcites →https://doi.org/10.1109/apsec.2011.48openalex-snapshot
Stepwise Validation of Formal Specifications
inferredcites →https://doi.org/10.1109/cmpsac.1997.624973openalex-snapshot
The use of industrial-strength formal methods
inferredcites →https://doi.org/10.1109/mc.2006.35openalex-snapshot
Ten Commandments of Formal Methods ...Ten Years Later
inferredcites →https://doi.org/10.1109/metric.1998.731248openalex-snapshot
Applying software metrics to formal specifications: a cognitive approach
inferredcites →https://doi.org/10.1109/tse.2002.1027796openalex-snapshot
Preliminary guidelines for empirical research in software engineering
inferredcites →https://doi.org/10.1109/tse.2003.1166588openalex-snapshot
A model for estimating the size of a formal communication protocol specification and its implementation
inferredcites →https://doi.org/10.1115/detc201546403openalex-snapshot
41st Design Automation Conference
inferredcites →https://doi.org/10.1145/143062openalex-snapshot
0897915046/International Conference on Software Engineering
inferredcites →https://doi.org/10.1145/196244.196392openalex-snapshot
Fitting formal methods into the design cycle
inferredcites →https://doi.org/10.1145/2560537openalex-snapshot
Comprehensive formal verification of an OS microkernel
inferredcites →https://doi.org/10.1145/379605.379681openalex-snapshot
Economics of software verification
inferredcites →https://doi.org/10.1147/sj.374.0484openalex-snapshot
An approach to improving existing measurement frameworks
inferredcites →https://doi.org/10.14236/ewic/ease2008.8openalex-snapshot
Systematic Mapping Studies in Software Engineering
inferredcites →https://doi.org/10.2307/25148742openalex-snapshot
The Nature of Theory in Information Systems1
inferredcites →https://doi.org/10.25405/ncl.34123050openalex-snapshot
Formal Methods: State of the Art and Future Directions
inferredcites →https://doi.org/10.4204/eptcs.86.5openalex-snapshot
Predictive Software Measures based on Z Specifications - A Case Study
inferredcites →https://doi.org/10.5555/2486788.2486978openalex-snapshot
Formal specifications better than function points for code sizing
inferredcites →https://doi.org/10.5555/257572.257578openalex-snapshot
Observations on industrial practice using formal methods
inferredcites →https://doi.org/10.5555/2664360.2664363openalex-snapshot
Simulation modeling of a large-scale formal verification process
inferredcites →https://doi.org/10.5860/choice.32-0639openalex-snapshot
Encyclopedia of software engineering
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/ett.3788openalex-snapshot
A systematic literature review on formal verification of software‐defined networks
inferred← citeshttps://doi.org/10.1007/978-3-032-10762-6_2openalex-snapshot
Empirical Formal Methods in Railways: Experiences and Roadmap
inferred← citeshttps://doi.org/10.1007/978-3-662-49665-7_19openalex-snapshot
Towards Formal Proof Metrics
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/s10664-020-09844-5openalex-snapshot
Towards an evidence-based theoretical framework on factors influencing the software development productivity
inferred← citeshttps://doi.org/10.1016/j.csi.2017.11.007openalex-snapshot
Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review
inferred← citeshttps://doi.org/10.1016/j.eswa.2016.05.027openalex-snapshot
A hybrid intelligent fuzzy predictive model with simulation for supplier evaluation and selection
inferred← citeshttps://doi.org/10.1016/j.jss.2016.07.006openalex-snapshot
An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: Formal verification, simulation, and statistical testing
inferred← citeshttps://doi.org/10.1093/cybsec/tyad012openalex-snapshot
Realizing credible remote agricultural auditing with trusted video technology
inferred← citeshttps://doi.org/10.1109/access.2026.3725181openalex-snapshot
TDNET: A Dual-Channel Injection Attack Detection Framework for Web Application Firewalls
inferred← citeshttps://doi.org/10.1109/icse.2015.85openalex-snapshot
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification
inferred← citeshttps://doi.org/10.1109/sp40001.2021.00008openalex-snapshot
SoK: Computer-Aided Cryptography
inferred← citeshttps://doi.org/10.1145/3357231openalex-snapshot
New Opportunities for Integrated Formal Methods
inferred← citeshttps://doi.org/10.1145/3664807openalex-snapshot
Code to Qed, the Project Manager's Guide to Proof Engineering
inferred← citeshttps://doi.org/10.1561/2500000045openalex-snapshot
QED at Large: A Survey of Engineering of Formally Verified Software
inferred← citeshttps://doi.org/10.22395/rium.v19n37a6openalex-snapshot
Proceso y evolución de los métodos formales en la ingeniería de requisitos
inferred← citeshttps://doi.org/10.3390/software1040017openalex-snapshot
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
inferred← citeshttps://doi.org/10.4067/s0718-33052020000300411openalex-snapshot
Process and progress of requirement formalization in Software Engineering
inferred← citeshttps://doi.org/10.5555/2818754.2818842openalex-snapshot
Empirical study towards a leading indicator for cost of formal software verification
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.