On the public citation graph
A survey on the formalisation of system requirements and their validation
0 signed · 80 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-1-4615-0465-8_2openalex-snapshot
Ambiguity in Requirements Specification
inferredcites →https://doi.org/10.1007/978-3-319-08867-9_22openalex-snapshot
The nuXmv Symbolic Model Checker
inferredcites →https://doi.org/10.1007/978-3-319-21690-4_36openalex-snapshot
Formal Design and Safety Analysis of AIR6110 Wheel Brake System
inferredcites →https://doi.org/10.1007/978-3-319-24249-1openalex-snapshot
Computer Safety, Reliability, and Security
inferredcites →https://doi.org/10.1007/978-3-319-41528-4_6openalex-snapshot
Structural Synthesis for GXW Specifications
inferredcites →https://doi.org/10.1007/978-3-319-41591-8openalex-snapshot
Software Engineering and Formal Methods
inferredcites →https://doi.org/10.1007/978-3-319-41754-7_4openalex-snapshot
How to Complete Customer Requirements
inferredcites →https://doi.org/10.1007/978-3-319-45477-1_8openalex-snapshot
Catalogue of System and Software Properties
inferredcites →https://doi.org/10.1007/978-3-319-46547-0_29openalex-snapshot
Ontology-Based Design of Space Systems
inferredcites →https://doi.org/10.1007/978-3-319-57288-8_31openalex-snapshot
Just Formal Enough? Automated Analysis of EARS Requirements
inferredcites →https://doi.org/10.1007/978-3-319-57666-4_16openalex-snapshot
Architecture-Based Design: A Satellite On-Board Software Case Study
inferredcites →https://doi.org/10.1007/978-3-319-59569-6openalex-snapshot
Natural Language Processing and Information Systems
inferredcites →https://doi.org/10.1007/978-3-319-63194-3openalex-snapshot
Software Engineering in Health Care
inferredcites →https://doi.org/10.1007/978-3-319-63194-3_7openalex-snapshot
From Requirements to Code: Model Based Development of a Medical Cyber Physical System
inferredcites →https://doi.org/10.1007/978-3-319-66197-1_21openalex-snapshot
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic
inferredcites →https://doi.org/10.1007/978-3-319-68034-7openalex-snapshot
Formal Aspects of Component Software
inferredcites →https://doi.org/10.1007/978-3-319-68034-7_6openalex-snapshot
On Weighted Configuration Logics
inferredcites →https://doi.org/10.1007/978-3-540-89778-1openalex-snapshot
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs
inferredcites →https://doi.org/10.1007/978-3-540-89778-1_1openalex-snapshot
Ambiguity in Natural Language Requirements Documents
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_37openalex-snapshot
RATSY – A New Requirements Analysis Tool with Synthesis
inferredcites →https://doi.org/10.1007/978-3-642-20398-5_32openalex-snapshot
D-Finder 2: Towards Efficient Correctness of Incremental Design
inferredcites →https://doi.org/10.1007/978-3-642-21064-8openalex-snapshot
The Semanic Web: Research and Applications
inferredcites →https://doi.org/10.1007/978-3-642-21064-8_15openalex-snapshot
Ontology-Driven Guidance for Requirements Elicitation
inferredcites →https://doi.org/10.1007/978-3-642-22110-1openalex-snapshot
Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings
inferredcites →https://doi.org/10.1007/978-3-642-24431-5openalex-snapshot
Formal Methods for Industrial Critical Systems
inferredcites →https://doi.org/10.1007/978-3-642-32469-7_1openalex-snapshot
Real-Time Specification Patterns and Tools
inferredcites →https://doi.org/10.1007/978-3-7091-1387-5openalex-snapshot
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
inferredcites →https://doi.org/10.1007/bf01995674openalex-snapshot
Specifying real-time properties with metric temporal logic
inferredcites →https://doi.org/10.1007/bfb0025774openalex-snapshot
Design and synthesis of synchronization skeletons using branching time temporal logic
inferredcites →https://doi.org/10.1007/s00165-015-0349-8openalex-snapshot
A general framework for architecture composability
inferredcites →https://doi.org/10.1007/s10009-014-0313-6openalex-snapshot
Statistical model checking QoS properties of systems with SBIP
inferredcites →https://doi.org/10.1016/j.jss.2008.06.041openalex-snapshot
Expressing and organizing real-time specification patterns via temporal logics
inferredcites →https://doi.org/10.1016/j.jss.2018.07.053openalex-snapshot
Early validation of system requirements and design through correctness-by-construction
inferredcites →https://doi.org/10.1016/j.ress.2014.07.003openalex-snapshot
Spacecraft early design validation using formal methods
inferredcites →https://doi.org/10.1017/s096012951200028xopenalex-snapshot
Rigorous implementation of real-time systems – from theory to application
inferredcites →https://doi.org/10.1109/aero.2012.6187335openalex-snapshot
An ontology for State Analysis: Formalizing the mapping to SysML
inferredcites →https://doi.org/10.1109/ase.2013.6693137openalex-snapshot
OCRA: A tool for checking the refinement of temporal contracts
inferredcites →https://doi.org/10.1109/date.2011.5763167openalex-snapshot
Using contract-based component specifications for virtual integration testing and architecture design
inferredcites →https://doi.org/10.1109/icse.2005.1553580openalex-snapshot
Real-time specification patterns
inferredcites →https://doi.org/10.1109/ms.2011.27openalex-snapshot
Rigorous Component-Based System Design Using the BIP Framework
inferredcites →https://doi.org/10.1109/ms.2012.173openalex-snapshot
Your "What" Is My "How": Iteration and Hierarchy in System Design
inferredcites →https://doi.org/10.1109/qsic.2005.46openalex-snapshot
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach
inferredcites →https://doi.org/10.1109/re.2009.9openalex-snapshot
Easy Approach to Requirements Syntax (EARS)
inferredcites →https://doi.org/10.1109/re.2010.39openalex-snapshot
Big Ears (The Return of "Easy Approach to Requirements Engineering")
inferredcites →https://doi.org/10.1109/seaa.2010.60openalex-snapshot
Ontology-Based Model Driven Engineering for Safety Verification
inferredcites →https://doi.org/10.1109/sies.2015.7185035openalex-snapshot
ReSA: An ontology-based requirement specification language tailored to automotive systems
inferredcites →https://doi.org/10.1145/1368088.1368094openalex-snapshot
Specification patterns for probabilistic quality properties
inferredcites →https://doi.org/10.1145/237432.237434openalex-snapshot
Four dark corners of requirements engineering
inferredcites →https://doi.org/10.1145/2527269.2527272openalex-snapshot
Compositional verification of a medical device system
inferredcites →https://doi.org/10.1145/2658982.2527272openalex-snapshot
Compositional verification of a medical device system
inferredcites →https://doi.org/10.1145/302405.302672openalex-snapshot
Patterns in property specifications for finite-state verification
inferredcites →https://doi.org/10.1177/1063293x9600400307openalex-snapshot
A Requirement Ontology for Engineering Design
inferredcites →https://doi.org/10.2307/416619openalex-snapshot
Linguistic semantics : An introduction. By John Lyons. Cambridge: Cambridge University Press, 1995. Pp. xvii, 376.
inferredcites →https://doi.org/10.2514/6.2012-2533openalex-snapshot
A Model-based Approach to Engineering Behavior of Complex Aerospace Systems
inferredcites →https://doi.org/10.3233/978-1-58603-900-4-405openalex-snapshot
Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour
inferredcites →https://doi.org/10.5381/jot.2005.4.1.c3openalex-snapshot
Are Your Requirements Complete?
inferredcites →https://doi.org/10.5555/2755753.2757200openalex-snapshot
Formal consistency checking over specifications in natural languages
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.6702openalex-snapshot
A review on security requirements specification by formal methods
inferred← citeshttps://doi.org/10.1002/iis2.13072openalex-snapshot
Verification and Validation Test Framework Using a Model‐Based Systems Engineering Approach
inferred← citeshttps://doi.org/10.1007/978-3-031-17629-6_63openalex-snapshot
Visualization Concept for Representing Capability Matchmaking Results in a Virtual Environment
inferred← citeshttps://doi.org/10.1007/978-3-032-20440-0_13openalex-snapshot
Rail Requirements Tracking and Architectural Verification
inferred← citeshttps://doi.org/10.1007/s00766-024-00427-0openalex-snapshot
Benchmarking requirement template systems: comparing appropriateness, usability, and expressiveness
inferred← citeshttps://doi.org/10.1007/s10010-025-00806-1openalex-snapshot
Enhancing model-based development with formalized requirements: integrating temporal logic and SysML v2 for comprehensive state and transition modeling
inferred← citeshttps://doi.org/10.1007/s10515-023-00403-yopenalex-snapshot
Α tool for requirements engineering using ontologies and boilerplates
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.1016/j.datak.2024.102323openalex-snapshot
Semantic requirements construction using ontologies and boilerplates
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112231openalex-snapshot
Model-based safety analysis of requirement specifications
inferred← citeshttps://doi.org/10.1016/j.sciaf.2026.e03275openalex-snapshot
Enhancing Security Requirements Engineering for IoT Smart Homes: A BERT-based Approach to Automate completeness checking
inferred← citeshttps://doi.org/10.1038/s41598-025-22193-xopenalex-snapshot
Symmetric bug prediction in software requirement by machine learning algorithms
inferred← citeshttps://doi.org/10.1108/ijphm-03-2025-0029openalex-snapshot
Regulatory compliance and procurement practices: insights from pharmaceutical companies in Kumasi
inferred← citeshttps://doi.org/10.1109/access.2021.3117989openalex-snapshot
Challenges of Software Requirements Quality Assurance and Validation: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/isse65546.2025.11369988openalex-snapshot
Generating SysML V2 Models from Natural Language Requirements Using Large Language Models
inferred← citeshttps://doi.org/10.1109/isse65546.2025.11370105openalex-snapshot
Aided Requirement Specification for Formal Requirement Validation
inferred← citeshttps://doi.org/10.1145/3437120.3437278openalex-snapshot
Towards a Requirements Engineering Framework based on Semantics
inferred← citeshttps://doi.org/10.14569/ijacsa.2022.0131132openalex-snapshot
Issues in Requirements Specification in Malaysia’s Public Sector: An Evidence from a Semi-Structured Survey and a Static Analysis
inferred← citeshttps://doi.org/10.3390/a14100298openalex-snapshot
SENSE: A Flow-Down Semantics-Based Requirements Engineering Framework
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.