On the public citation graph
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
0 signed · 192 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/9781118181034openalex-snapshot
Case Study Research in Software Engineering
inferredcites →https://doi.org/10.1002/9781118439241openalex-snapshot
Sample Size Determination and Power
inferredcites →https://doi.org/10.1002/cpe.6702openalex-snapshot
A review on security requirements specification by formal methods
inferredcites →https://doi.org/10.1002/smr.1943openalex-snapshot
A systematic literature review of the use of formal methods in medical software systems
inferredcites →https://doi.org/10.1002/smr.1990openalex-snapshot
Requirements elicitation and refinement in collaborative research projects
inferredcites →https://doi.org/10.1002/spe.2382openalex-snapshot
DataMill: a distributed heterogeneous infrastructure forrobust experimentation
inferredcites →https://doi.org/10.1002/spe.2634openalex-snapshot
Evaluating the suitability of state‐based formal methods for industrial deployment
inferredcites →https://doi.org/10.1006/jvlc.1996.0009openalex-snapshot
Usability Analysis of Visual Programming Environments: A ‘Cognitive Dimensions’ Framework
inferredcites →https://doi.org/10.1006/jvlc.2001.0213openalex-snapshot
An Experiment to Compare the Comprehensibility of Textual and Visual Forms of Algebraic Specifications
inferredcites →https://doi.org/10.1007/11513988_27openalex-snapshot
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications
inferredcites →https://doi.org/10.1007/11538394_36openalex-snapshot
Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective
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/3-540-48119-2_22openalex-snapshot
Météor: A Successful Application of B in a Large Project
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-3-030-15636-7openalex-snapshot
Compendium for Early Career Researchers in Mathematics Education
inferredcites →https://doi.org/10.1007/978-3-030-17502-3_1openalex-snapshot
TOOLympics 2019: An Overview of Competitions in Formal Methods
inferredcites →https://doi.org/10.1007/978-3-030-18744-6_13openalex-snapshot
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B
inferredcites →https://doi.org/10.1007/978-3-030-22348-9_12openalex-snapshot
Reflections on Bernhard Steffen’s Physics of Software Tools
inferredcites →https://doi.org/10.1007/978-3-030-30942-8_46openalex-snapshot
Adopting Formal Methods in an Industrial Setting: The Railways Case
inferredcites →https://doi.org/10.1007/978-3-030-32489-6openalex-snapshot
Contemporary Empirical Methods in Software Engineering
inferredcites →https://doi.org/10.1007/978-3-030-32610-4openalex-snapshot
Action Research in Software Engineering
inferredcites →https://doi.org/10.1007/978-3-030-54994-7_6openalex-snapshot
Addressing Usability in a Formal Development Environment
inferredcites →https://doi.org/10.1007/978-3-030-58298-2_1openalex-snapshot
The 2020 Expert Survey on Formal Methods
inferredcites →https://doi.org/10.1007/978-3-030-71374-4_12openalex-snapshot
Teaching Formal Methods in Academia: A Systematic Literature Review
inferredcites →https://doi.org/10.1007/978-3-030-85315-0_13openalex-snapshot
Assessing Security of Cryptocurrencies with Attack-Defense Trees: Proof of Concept and Future Directions
inferredcites →https://doi.org/10.1007/978-3-030-99619-2_35openalex-snapshot
Security, Power Consumption and Simulations in IoT Device Networks: A Systematic Review
inferredcites →https://doi.org/10.1007/978-3-319-08587-6_28openalex-snapshot
StarExec: A Cross-Community Infrastructure for Logic Solving
inferredcites →https://doi.org/10.1007/978-3-319-10632-8openalex-snapshot
An Introduction to Design Science
inferredcites →https://doi.org/10.1007/978-3-319-11653-2_31openalex-snapshot
Comprehending Feature Models Expressed in CVL
inferredcites →https://doi.org/10.1007/978-3-319-54045-0_15openalex-snapshot
On the Equivalence Between Graphical and Tabular Representations for Security Risk Assessment
inferredcites →https://doi.org/10.1007/978-3-319-74860-3_9openalex-snapshot
New Directions in Attack Tree Research: Catching up with Industrial Needs
inferredcites →https://doi.org/10.1007/978-3-319-96142-2_26openalex-snapshot
Continuous Formal Verification of Amazon s2n
inferredcites →https://doi.org/10.1007/978-3-319-98938-9_2openalex-snapshot
On the Industrial Uptake of Formal Methods in the Railway Domain
inferredcites →https://doi.org/10.1007/978-3-540-71301-2_3openalex-snapshot
Status of Empirical Research in Software Engineering
inferredcites →https://doi.org/10.1007/978-3-540-75183-0_4openalex-snapshot
What Makes Process Models Understandable?
inferredcites →https://doi.org/10.1007/978-3-642-04898-2_161openalex-snapshot
Categorical Data Analysis
inferredcites →https://doi.org/10.1007/978-3-642-19751-2_6openalex-snapshot
Foundations of Attack–Defense Trees
inferredcites →https://doi.org/10.1007/978-3-642-29044-2openalex-snapshot
Experimentation in Software Engineering
inferredcites →https://doi.org/10.1007/978-3-662-43839-8openalex-snapshot
Design Science Methodology for Information Systems and Software Engineering
inferredcites →https://doi.org/10.1007/bf00988593openalex-snapshot
Grounded theory research: Procedures, canons, and evaluative criteria
inferredcites →https://doi.org/10.1007/s00165-010-0172-1openalex-snapshot
Automated property verification for large scale B models with ProB
inferredcites →https://doi.org/10.1007/s00766-016-0251-9openalex-snapshot
On the automatic classification of app reviews
inferredcites →https://doi.org/10.1007/s00766-017-0280-zopenalex-snapshot
Goal-oriented requirements engineering: an extended systematic mapping study
inferredcites →https://doi.org/10.1007/s00766-019-00319-8openalex-snapshot
The impact of requirements on systems development speed: a multiple-case study in automotive
inferredcites →https://doi.org/10.1007/s00766-021-00370-4openalex-snapshot
On the relationship between similar requirements and similar software
inferredcites →https://doi.org/10.1007/s10009-016-0446-xopenalex-snapshot
The physics of software tools: SWOT analysis and vision
inferredcites →https://doi.org/10.1007/s10009-017-0469-yopenalex-snapshot
Reliable benchmarking: requirements and solutions
inferredcites →https://doi.org/10.1007/s10270-023-01124-2openalex-snapshot
A manifesto for applicable formal methods
inferredcites →https://doi.org/10.1007/s10515-006-7999-yopenalex-snapshot
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation
inferredcites →https://doi.org/10.1007/s10664-005-1290-xopenalex-snapshot
Studying Software Engineers: Data Collection Techniques for Software Field Studies
inferredcites →https://doi.org/10.1007/s10664-012-9234-8openalex-snapshot
Comprehensibility of UML-based software product line specifications
inferredcites →https://doi.org/10.1007/s10664-013-9279-3openalex-snapshot
A practical guide to controlled experiments of software engineering tools with human participants
inferredcites →https://doi.org/10.1007/s10664-016-9451-7openalex-snapshot
Naming the pain in requirements engineering
inferredcites →https://doi.org/10.1007/s10664-018-9596-7openalex-snapshot
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain
inferredcites →https://doi.org/10.1007/s10664-019-09769-8openalex-snapshot
Recognizing lines of code violating company-specific coding guidelines using machine learning
inferredcites →https://doi.org/10.1007/s10664-020-09836-5openalex-snapshot
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
inferredcites →https://doi.org/10.1007/s10664-020-09864-1openalex-snapshot
Automated demarcation of requirements in textual specifications: a machine learning-based approach
inferredcites →https://doi.org/10.1007/s10664-020-09895-8openalex-snapshot
A family of experiments on test-driven development
inferredcites →https://doi.org/10.1007/s10664-021-10065-7openalex-snapshot
Analysing app reviews for software engineering: a systematic literature review
inferredcites →https://doi.org/10.1007/s10664-021-10072-8openalex-snapshot
Sampling in software engineering research: a critical review and guidelines
inferredcites →https://doi.org/10.1007/s10799-013-0162-0openalex-snapshot
Exploring the relationship between technology acceptance model and usability test
inferredcites →https://doi.org/10.1007/s10845-021-01753-8openalex-snapshot
A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems
inferredcites →https://doi.org/10.1007/s11096-016-0257-xopenalex-snapshot
How to use the nominal group and Delphi techniques
inferredcites →https://doi.org/10.1007/s11390-018-1864-xopenalex-snapshot
Empirical Research in Software Engineering — A Literature Survey
inferredcites →https://doi.org/10.1007/s41870-017-0048-1openalex-snapshot
A systematic review of software usability studies
inferredcites →https://doi.org/10.1016/b978-0-12-802308-2.00008-4openalex-snapshot
Standardized usability questionnaires
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.csi.2019.103363openalex-snapshot
How are UML class diagrams built in practice? A usability study of two UML tools: Magicdraw and Papyrus
inferredcites →https://doi.org/10.1016/j.ienj.2018.11.003openalex-snapshot
Emergency department registered nurses’ disaster medicine competencies. An exploratory study utilizing a modified Delphi technique
inferredcites →https://doi.org/10.1016/j.ienj.2020.100867openalex-snapshot
Use of the Delphi method to generate guidance in emergency nursing practice: A systematic review
inferredcites →https://doi.org/10.1016/j.ijhcs.2005.06.002openalex-snapshot
Current practice in measuring usability: Challenges to usability studies and research
inferredcites →https://doi.org/10.1016/j.im.2013.05.005openalex-snapshot
Understanding the most critical skills for managing IT projects: A Delphi study of IT project managers
inferredcites →https://doi.org/10.1016/j.infsof.2004.04.003openalex-snapshot
Experimental comparison of the comprehensibility of a Z specification and its implementation in Java
inferredcites →https://doi.org/10.1016/j.infsof.2008.09.009openalex-snapshot
Systematic literature reviews in software engineering – A systematic literature review
inferredcites →https://doi.org/10.1016/j.infsof.2010.12.010openalex-snapshot
Identifying relevant studies in software engineering
inferredcites →https://doi.org/10.1016/j.infsof.2014.06.011openalex-snapshot
A systematic review on the relationship between user involvement and system success
inferredcites →https://doi.org/10.1016/j.infsof.2014.11.005openalex-snapshot
An empirical research agenda for understanding formal methods productivity
inferredcites →https://doi.org/10.1016/j.infsof.2015.03.007openalex-snapshot
Guidelines for conducting systematic mapping studies in software engineering: An update
inferredcites →https://doi.org/10.1016/j.infsof.2017.01.001openalex-snapshot
Software test maturity assessment and test process improvement: A multivocal literature review
inferredcites →https://doi.org/10.1016/j.infsof.2018.09.006openalex-snapshot
Guidelines for including grey literature and conducting multivocal literature reviews in software engineering
inferredcites →https://doi.org/10.1016/j.infsof.2018.10.006openalex-snapshot
Identifying, categorizing and mitigating threats to validity in software engineering secondary studies
inferredcites →https://doi.org/10.1016/j.infsof.2019.06.010openalex-snapshot
DevOps in practice: A multiple case study of five companies
inferredcites →https://doi.org/10.1016/j.infsof.2019.08.003openalex-snapshot
Assessing the effectiveness of goal-oriented modeling languages: A family of experiments
inferredcites →https://doi.org/10.1016/j.infsof.2019.106240openalex-snapshot
An empirically evaluated checklist for surveys in software engineering
inferredcites →https://doi.org/10.1016/j.infsof.2020.106337openalex-snapshot
Comparing manual and automated feature location in conceptual models: A Controlled experiment
inferredcites →https://doi.org/10.1016/j.infsof.2020.106366openalex-snapshot
Guidelines for the search strategy to update systematic literature reviews in software engineering
inferredcites →https://doi.org/10.1016/j.infsof.2020.106433openalex-snapshot
A Method to Estimate Software Strategic Indicators in Software Development: An Industrial Application
inferredcites →https://doi.org/10.1016/j.infsof.2021.106514openalex-snapshot
Case Study Research in Software Engineering—It is a Case, and it is a Study, but is it a Case Study?
inferredcites →https://doi.org/10.1016/j.ins.2011.04.005openalex-snapshot
Evaluating requirements modeling methods based on user perceptions: A family of experiments
inferredcites →https://doi.org/10.1016/j.is.2014.11.007openalex-snapshot
Efficient formalization of railway interlocking data in RailML
inferredcites →https://doi.org/10.1016/j.jss.2006.07.009openalex-snapshot
Lessons from applying the systematic literature review process within the software engineering domain
inferredcites →https://doi.org/10.1016/j.jss.2007.08.020openalex-snapshot
A survey study of critical success factors in agile software projects
inferredcites →https://doi.org/10.1016/j.jss.2013.03.084openalex-snapshot
Relevance, benefits, and problems of software modelling and model driven techniques—A survey in the Italian industry
inferredcites →https://doi.org/10.1016/j.jss.2014.12.010openalex-snapshot
Soft competency requirements in requirements engineering, software design, implementation, and testing
inferredcites →https://doi.org/10.1016/j.jss.2016.09.027openalex-snapshot
Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation
inferredcites →https://doi.org/10.1016/j.jss.2020.110699openalex-snapshot
Evaluating and strategizing the onboarding of software developers in large-scale globally distributed projects
inferredcites →https://doi.org/10.1016/j.jss.2020.110708openalex-snapshot
Function-as-a-Service performance evaluation: A multivocal literature review
inferredcites →https://doi.org/10.1016/j.jss.2020.110825openalex-snapshot
A comprehensive study of automatic program repair on the QuixBugs benchmark
inferredcites →https://doi.org/10.1016/j.scico.2014.11.013openalex-snapshot
Six strategies for generalizing software engineering theories
inferredcites →https://doi.org/10.1016/s0164-1212(98)00003-xopenalex-snapshot
Measuring the comprehensibility of Z specifications
inferredcites →https://doi.org/10.1016/s0950-5849(00)00166-xopenalex-snapshot
Practitioners' views on the use of formal methods: an industrial survey by structured interview
inferredcites →https://doi.org/10.1016/s1474-6670(17)36335-8openalex-snapshot
Experiences with the Application of Discrete Formal Methods to the Development of Engine Control Software
inferredcites →https://doi.org/10.1037/h0046016openalex-snapshot
Convergent and discriminant validation by the multitrait-multimethod matrix.
inferredcites →https://doi.org/10.1049/cce:19970304openalex-snapshot
DESMET: a methodology for evaluating software engineering methods and tools
inferredcites →https://doi.org/10.1080/03098260600927575openalex-snapshot
A Practical Guide to Focus-Group Research
inferredcites →https://doi.org/10.1080/10447311003781409openalex-snapshot
State of the Art on the Cognitive Walkthrough Method, Its Variants and Evolutions
inferredcites →https://doi.org/10.1080/14780887.2020.1780357openalex-snapshot
The pursuit of quality in grounded theory
inferredcites →https://doi.org/10.1109/2.566148openalex-snapshot
Investigating the influence of formal methods
inferredcites →https://doi.org/10.1109/32.345825openalex-snapshot
Formal methods reality check: industrial usage
inferredcites →https://doi.org/10.1109/32.991322openalex-snapshot
Formal methods application: an empirical tale of software development
inferredcites →https://doi.org/10.1109/access.2019.2909093openalex-snapshot
Information Flow in Software Testing – An Interview Study With Embedded Software Engineering Practitioners
inferredcites →https://doi.org/10.1109/access.2020.3048047openalex-snapshot
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review
inferredcites →https://doi.org/10.1109/acsd.2014.12openalex-snapshot
BenchKit, a Tool for Massive Concurrent Benchmarking
inferredcites →https://doi.org/10.1109/ase.2002.1115016openalex-snapshot
Towards usable and relevant model checking techniques for the analysis of dependable interactive systems
inferredcites →https://doi.org/10.1109/aswec.2001.948496openalex-snapshot
Assessing usability from formal user-interface designs
inferredcites →https://doi.org/10.1109/empire.2014.6890113openalex-snapshot
An experiment on comparing textual vs. visual industrial methods for security risk assessment
inferredcites →https://doi.org/10.1109/esem.2011.36openalex-snapshot
Recommended Steps for Thematic Synthesis in Software Engineering
inferredcites →https://doi.org/10.1109/esem.2013.29openalex-snapshot
An Experimental Comparison of Two Risk-Based Security Methods
inferredcites →https://doi.org/10.1109/icse-companion52605.2021.00139openalex-snapshot
Decoding Grounded Theory for Software Engineering
inferredcites →https://doi.org/10.1109/icse-seip52600.2021.00015openalex-snapshot
An Interview Study of how Developers use Execution Logs in Embedded Software Engineering
inferredcites →https://doi.org/10.1109/isese.2005.1541834openalex-snapshot
An empirical investigation of the comprehensibility of requirements specifications
inferredcites →https://doi.org/10.1109/rcis.2013.6577679openalex-snapshot
Handling requirements dependencies in agile projects: A focus group with agile software development practitioners
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.1205183openalex-snapshot
Comments on "Formal methods application: an empirical tale of software development"
inferredcites →https://doi.org/10.1109/tse.2003.1205184openalex-snapshot
Formal methods application: an empirical tale of software development
inferredcites →https://doi.org/10.1109/tse.2011.122openalex-snapshot
Empirical Principles and an Industrial Case Study in Retrieving Equivalent Requirements via Natural Language Processing Techniques
inferredcites →https://doi.org/10.1109/tse.2012.27openalex-snapshot
Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from a Family of Five Experiments
inferredcites →https://doi.org/10.1109/tse.2015.2494588openalex-snapshot
Effect of Domain Knowledge on Elicitation Effectiveness: An Internally Replicated Controlled Experiment
inferredcites →https://doi.org/10.1109/tse.2016.2519887openalex-snapshot
The Role of Ethnographic Studies in Empirical Software Engineering
inferredcites →https://doi.org/10.1109/tse.2017.2724538openalex-snapshot
A Comparative Study to Benchmark Cross-Project Defect Prediction Approaches
inferredcites →https://doi.org/10.1109/tse.2018.2871058openalex-snapshot
The Adoption of JavaScript Linters in Practice: A Case Study on ESLint
inferredcites →https://doi.org/10.1109/tse.2019.2909033openalex-snapshot
Requirements Framing Affects Design Creativity
inferredcites →https://doi.org/10.1109/tse.2019.2935720openalex-snapshot
A Procedure and Guidelines for Analyzing Groups of Software Engineering Replications
inferredcites →https://doi.org/10.1109/tse.2019.2935974openalex-snapshot
Bayesian Data Analysis in Empirical Software Engineering Research
inferredcites →https://doi.org/10.1109/tse.2020.3025317openalex-snapshot
Real World Scrum A Grounded Theory of Variations in Practice
inferredcites →https://doi.org/10.1109/tse.2021.3124677openalex-snapshot
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design
inferredcites →https://doi.org/10.1109/tsmca.2010.2087017openalex-snapshot
A Study Into the Factors That Influence the Understandability of Business Process Models
inferredcites →https://doi.org/10.1111/j.1365-2648.2006.03716.xopenalex-snapshot
Consulting the oracle: ten lessons from using the Delphi technique in nursing research
inferredcites →https://doi.org/10.1111/j.1440-172x.2012.02017.xopenalex-snapshot
Nominal group technique: An effective method for obtaining group consensus
inferredcites →https://doi.org/10.1145/1039539.1039541openalex-snapshot
Usability engineering methods for software developers
inferredcites →https://doi.org/10.1145/1353673.1353680openalex-snapshot
Comprehensibility of UML-based formal model
inferredcites →https://doi.org/10.1145/1735223.1735255openalex-snapshot
Number of people required for usability evaluation
inferredcites →https://doi.org/10.1145/2347583.2347592openalex-snapshot
A survey of formal methods in self-adaptive systems
inferredcites →https://doi.org/10.1145/2464526.2464530openalex-snapshot
Artifact evaluation for software conferences
inferredcites →https://doi.org/10.1145/2480362.2480567openalex-snapshot
A systematic review on mining techniques for crosscutting concerns
inferredcites →https://doi.org/10.1145/2601248.2601268openalex-snapshot
Guidelines for snowballing in systematic literature studies and a replication in software engineering
inferredcites →https://doi.org/10.1145/2884781.2884833openalex-snapshot
Grounded theory in software engineering research
inferredcites →https://doi.org/10.1145/2915970.2916008openalex-snapshot
The need for multivocal literature reviews in software engineering
inferredcites →https://doi.org/10.1145/3210459.3210461openalex-snapshot
Construct Validity in Software Engineering Research and Software Metrics
inferredcites →https://doi.org/10.1145/3241743openalex-snapshot
The ABC of Software Engineering Research
inferredcites →https://doi.org/10.1145/3328778.3366811openalex-snapshot
Non-cognitive Abilities of Exceptional Software Engineers
inferredcites →https://doi.org/10.1145/3338906.3338976openalex-snapshot
Ethnographic research in software engineering: a critical review and checklist
inferredcites →https://doi.org/10.1145/3468264.3468620openalex-snapshot
Benchmarking automated GUI testing for Android against real-world bugs
inferredcites →https://doi.org/10.1145/3469888openalex-snapshot
Psychometrics in Behavioral Software Engineering: A Methodological Introduction with Guidelines
inferredcites →https://doi.org/10.1145/3487043openalex-snapshot
Software Engineering for AI-Based Systems: A Survey
inferredcites →https://doi.org/10.1145/3520480openalex-snapshot
Formal Methods in Railways: A Systematic Mapping Study
inferredcites →https://doi.org/10.1145/581344.581347openalex-snapshot
Investigating the readability of state-based formal requirements specification languages
inferredcites →https://doi.org/10.1145/800045.801609openalex-snapshot
An empirical methodology for writing user-friendly natural language computer applications
inferredcites →https://doi.org/10.1145/97243.97281openalex-snapshot
Heuristic evaluation of user interfaces
inferredcites →https://doi.org/10.1177/002188637100700404openalex-snapshot
A Group Process Model for Problem Identification and Program Planning
inferredcites →https://doi.org/10.1191/1478088706qp063oaopenalex-snapshot
Using thematic analysis in psychology
inferredcites →https://doi.org/10.1287/mnsc.9.3.458openalex-snapshot
An Experimental Application of the DELPHI Method to the Use of Experts
inferredcites →https://doi.org/10.14236/ewic/ease2007.0openalex-snapshot
11th International Conference on Evaluation and Assessment in Software Engineering (EASE) - Index
inferredcites →https://doi.org/10.14236/ewic/ease2008.0openalex-snapshot
12th International Conference on Evaluation and Assessment in Software Engineering (EASE) - Index
inferredcites →https://doi.org/10.14279/tuj.eceasst.77.1108openalex-snapshot
Advances in Usability of Formal Methods for Code Verification with Frama-C
inferredcites →https://doi.org/10.1609/aimag.v33i1.2395openalex-snapshot
The International SAT Solver Competitions
inferredcites →https://doi.org/10.1609/aimag.v37i2.2620openalex-snapshot
The CADE ATP System Competition — CASC
inferredcites →https://doi.org/10.2139/ssrn.3205040openalex-snapshot
Validity and Reliability of the Research Instrument; How to Test the Validation of a Questionnaire/Survey in a Research
inferredcites →https://doi.org/10.2307/249008openalex-snapshot
Perceived Usefulness, Perceived Ease of Use, and User Acceptance of Information Technology
inferredcites →https://doi.org/10.4103/2249-4863.161306openalex-snapshot
Validity, reliability, and generalizability in qualitative research
inferredcites →https://doi.org/10.4230/lipics.esem.2026.10openalex-snapshot
Assessing the Construct Validity of Object-Oriented, Class-Level Code Quality Metrics
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.70069openalex-snapshot
Reality Check on Formal Methods in Industry: A Study of Verum Dezyne
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-032-26752-8_15openalex-snapshot
Evaluating the Practical Impact of Parallelism in Asmeta
inferred← citeshttps://doi.org/10.1007/s10009-022-00687-7openalex-snapshot
Formal methods and tools for industrial critical systems
inferred← citeshttps://doi.org/10.1007/s10270-023-01124-2openalex-snapshot
A manifesto for applicable formal methods
inferred← citeshttps://doi.org/10.1007/s10270-025-01281-6openalex-snapshot
Model checking of spacecraft operational designs: a scalability analysis
inferred← citeshttps://doi.org/10.1016/j.infsof.2025.107697openalex-snapshot
Formal requirements engineering and large language models: A two-way roadmap
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112324openalex-snapshot
Analysing Self-Adaptive Systems as Software Product Lines
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103226openalex-snapshot
An empirical evaluation of a formal approach versus ad hoc implementations in robot behavior planning
inferred← citeshttps://doi.org/10.1109/models58315.2023.00011openalex-snapshot
Applicability of Model Checking for Verifying Spacecraft Operational Designs
inferred← citeshttps://doi.org/10.70162/mijarcse/2025/v11/i2/v11i202openalex-snapshot
Safe-By-Design Clinical LLMs: Formal Risk Models and Silent-Trial Protocols for Workflow Integration
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.