On the public citation graph

Assisting requirement formalization by means of natural language translation

https://doi.org/10.1007/bf01384048
0 signed · 93 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-52148-8_5openalex-snapshot
Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
inferredcites →https://doi.org/10.1007/3-540-53479-2_17openalex-snapshot
Action versus state based logics for transition systems
inferredcites →https://doi.org/10.1007/3-540-55179-4_6openalex-snapshot
A linear-time model-checking algorithm for the alternation-free modal mu-calculus
inferredcites →https://doi.org/10.1007/bfb0013024openalex-snapshot
The anchored version of the temporal framework
inferredcites →https://doi.org/10.1016/0010-0285(72)90002-3openalex-snapshot
Understanding natural language
inferredcites →https://doi.org/10.1016/0169-7552(93)90047-8openalex-snapshot
An action-based framework for veryfying logical and behavioural properties of concurrent systems
inferredcites →https://doi.org/10.1016/0304-3975(82)90125-6openalex-snapshot
Results on the propositional μ-calculus
inferredcites →https://doi.org/10.1090/dimacs/003/29openalex-snapshot
Auto/Autograph
inferredcites →https://doi.org/10.1109/32.99198openalex-snapshot
Automatic derivation of formal software specifications from informal descriptions
inferredcites →https://doi.org/10.1109/isre.1993.324853openalex-snapshot
A translation method from natural language specifications into formal specifications using contextual dependencies
inferredcites →https://doi.org/10.1145/2455.2460openalex-snapshot
Algebraic laws for nondeterminism and concurrency
inferredcites →https://doi.org/10.1145/4904.4999openalex-snapshot
“Sometimes” and “not never” revisited
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.7551/mitpress/12761.003.0007openalex-snapshot
Natural Language Understanding

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/spe.430openalex-snapshot
Lightweight validation of natural language requirements
inferred← citeshttps://doi.org/10.1007/3-540-36103-0_42openalex-snapshot
M2Z: A Tool for Translating a Natural Language Software Specification into Z
inferred← citeshttps://doi.org/10.1007/3-540-60385-9_15openalex-snapshot
Verifying hardware components with JACK
inferred← citeshttps://doi.org/10.1007/3-540-61474-5_83openalex-snapshot
Automatic translation of natural language system specifications into temporal logic
inferred← citeshttps://doi.org/10.1007/978-3-030-03044-5_16openalex-snapshot
Formal Modelling of Environment Restrictions from Natural-Language Requirements
inferred← citeshttps://doi.org/10.1007/978-3-030-30985-5_15openalex-snapshot
Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards
inferred← citeshttps://doi.org/10.1007/978-3-031-04673-5_2openalex-snapshot
Mining Precise Test Oracle Modelled by FSM
inferred← citeshttps://doi.org/10.1007/978-3-032-05005-2_26openalex-snapshot
Towards a More Natural Approach to Property Specification in the IVY Workbench
inferred← citeshttps://doi.org/10.1007/978-3-032-12063-2_6openalex-snapshot
Talk to Me! Toward Speech-Based UML Modeling
inferred← citeshttps://doi.org/10.1007/978-3-032-12484-5_7openalex-snapshot
Formal Methods Meet AI Guidance for Correct Software Development
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-68499-4_17openalex-snapshot
Are Standards an Ambiguity-Free Reference for Product Validation?
inferred← citeshttps://doi.org/10.1007/978-3-540-25970-1_12openalex-snapshot
SMART: System Model Acquisition from Requirements Text
inferred← citeshttps://doi.org/10.1007/978-3-642-03240-0_15openalex-snapshot
From Informal Requirements to Property-Driven Formal Validation
inferred← citeshttps://doi.org/10.1007/bfb0037412openalex-snapshot
A deductive database support to the specification of concurrent systems
inferred← citeshttps://doi.org/10.1007/s00766-003-0174-0openalex-snapshot
Applications of linguistic techniques for use case analysis
inferred← citeshttps://doi.org/10.1007/s10009-013-0298-6openalex-snapshot
From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
inferred← citeshttps://doi.org/10.1007/s10270-024-01228-3openalex-snapshot
Completion of SysML state machines from Given–When–Then requirements
inferred← citeshttps://doi.org/10.1007/s10515-006-5468-2openalex-snapshot
On the Systematic Analysis of Natural Language Requirements with CIRCE
inferred← citeshttps://doi.org/10.1016/j.aei.2011.02.001openalex-snapshot
A computational framework for authoring and searching product design specifications
inferred← citeshttps://doi.org/10.1016/j.compind.2013.02.007openalex-snapshot
An algorithm for transforming design text ROM diagram into FBS model
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.ifacol.2017.08.1238openalex-snapshot
Using plant model features to generate reduced test cases for programmable controllers
inferred← citeshttps://doi.org/10.1016/j.ifacol.2021.08.047openalex-snapshot
An FMEA-based Methodology for the Development of Control Software Reliable to Hardware Failures
inferred← citeshttps://doi.org/10.1016/j.jss.2026.112941openalex-snapshot
Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation
inferred← citeshttps://doi.org/10.1016/j.procs.2025.08.222openalex-snapshot
Enhancing Security of DomainKeys Identified Mail (DKIM) Protocol with a Systems Engineering (SE) Approach
inferred← citeshttps://doi.org/10.1016/s0164-1212(97)00057-5openalex-snapshot
An industrial application for the JACK environment
inferred← citeshttps://doi.org/10.1023/a:1018950324254openalex-snapshot
Tools for producing formal specifications: a view of current architectures and future directions
inferred← citeshttps://doi.org/10.1023/a:1021149027971openalex-snapshot
A Two-Variable Fragment of English
inferred← citeshttps://doi.org/10.1088/1742-6596/1756/1/012002openalex-snapshot
Requirement Consistency and Integrity Verification Method based on Natural Language Processing
inferred← citeshttps://doi.org/10.1109/apsec.2001.991469openalex-snapshot
Using default reasoning to discover inconsistencies in natural language requirements
inferred← citeshttps://doi.org/10.1109/ase.1997.632822openalex-snapshot
Processing natural language requirements
inferred← citeshttps://doi.org/10.1109/ase.2009.49openalex-snapshot
Supporting Requirements Validation: The EuRailCheck Tool
inferred← citeshttps://doi.org/10.1109/cise.2009.5363401openalex-snapshot
B Method Based Framework for Correct Software Development
inferred← citeshttps://doi.org/10.1109/fdl.2019.8876925openalex-snapshot
Chatbot-based assertion generation from natural language specifications
inferred← citeshttps://doi.org/10.1109/hldvt.2017.8167461openalex-snapshot
Designing cyber-physical systems from natural language descriptions
inferred← citeshttps://doi.org/10.1109/icci54321.2022.9756083openalex-snapshot
Gamification Tool Design for Reducing Requirements Ambiguity during Elicitation
inferred← citeshttps://doi.org/10.1109/icosc.2015.7050777openalex-snapshot
Generating formal hardware verification properties from Natural Language documentation
inferred← citeshttps://doi.org/10.1109/icse.2005.1553580openalex-snapshot
Real-time specification patterns
inferred← citeshttps://doi.org/10.1109/indin41052.2019.8972130openalex-snapshot
Formalization of natural language requirements into temporal logics: a survey
inferred← citeshttps://doi.org/10.1109/itc44778.2020.9325264openalex-snapshot
Automated Assertion Generation from Natural Language Specifications
inferred← citeshttps://doi.org/10.1109/kse59128.2023.10299468openalex-snapshot
Machine Learning Pseudo-Natural Language for Temporal Logic Requirements of Embedded Systems
inferred← citeshttps://doi.org/10.1109/qrs62785.2024.00029openalex-snapshot
Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models
inferred← citeshttps://doi.org/10.1109/qsic.2007.4385497openalex-snapshot
Automatic Quality Assessment of SRS Text by Means of a Decision-Tree-Based Text Classifier
inferred← citeshttps://doi.org/10.1109/rcis.2018.8406683openalex-snapshot
Towards automatic translation of social network policies into controlled natural language
inferred← citeshttps://doi.org/10.1109/re.2005.29openalex-snapshot
Facilitating the construction of specification pattern-based properties
inferred← citeshttps://doi.org/10.1109/re.2016.25openalex-snapshot
Ambiguity Cues in Requirements Elicitation Interviews
inferred← citeshttps://doi.org/10.1109/rttas.2004.1317254openalex-snapshot
Automated functional test case synthesis from THALES industrial requirements
inferred← citeshttps://doi.org/10.1109/syscon64521.2025.11014840openalex-snapshot
Structured Requirements for DomainKey Identified Mail (DKIM) Standard Verification
inferred← citeshttps://doi.org/10.1109/tase.2018.00017openalex-snapshot
Formalization and Verification of AUTOSAR OS Standard's Memory Protection
inferred← citeshttps://doi.org/10.1109/wi-iat.2013.183openalex-snapshot
Algebraic Model and Implementation of Translation between Logic and Natural Language
inferred← citeshttps://doi.org/10.1115/detc2009-86514openalex-snapshot
Automatic Generation of UML Diagrams From Product Requirements Described by Natural Language
inferred← citeshttps://doi.org/10.1145/1072997.1072999openalex-snapshot
Reasoning about inconsistencies in natural language requirements
inferred← citeshttps://doi.org/10.1145/1295074.1295082openalex-snapshot
Toward a text classification system for the quality assessment of software requirements written in natural language
inferred← citeshttps://doi.org/10.1145/1810295.1810312openalex-snapshot
Formalization and validation of a subset of the European Train Control System
inferred← citeshttps://doi.org/10.1145/2350716.2350721openalex-snapshot
Faithfully formalizing OSEK/VDX operating system specification
inferred← citeshttps://doi.org/10.1145/2377656.2377659openalex-snapshot
Validation of requirements for hybrid systems
inferred← citeshttps://doi.org/10.1145/2591062.2591183openalex-snapshot
A systematic approach to transforming system requirements into model checking specifications
inferred← citeshttps://doi.org/10.1145/2966986.2980093openalex-snapshot
Multilevel design understanding
inferred← citeshttps://doi.org/10.1145/3510003.3510171openalex-snapshot
DeepSTL
inferred← citeshttps://doi.org/10.1155/2022/3183411openalex-snapshot
Reducing Requirements Ambiguity via Gamification: Comparison with Traditional Techniques
inferred← citeshttps://doi.org/10.17877/de290r-16066openalex-snapshot
Vitruv: Specifying Temporal Aspects of Multimedia Presentations - A Transformational Approach based on Intervals
inferred← citeshttps://doi.org/10.23919/date.2019.8714857openalex-snapshot
Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis
inferred← citeshttps://doi.org/10.3115/1034678.1034747openalex-snapshot
A semantically-derived subset of English for hardware verification
inferred← citeshttps://doi.org/10.3166/objet.11.1-2.145-158openalex-snapshot
Une méthode de formalisation progressive des exigences basée sur un modèle simulable
inferred← citeshttps://doi.org/10.3390/app122010499openalex-snapshot
Systematic Machine Translation of Social Network Data Privacy Policies
inferred← citeshttps://doi.org/10.3844/ajassp.2008.378.384openalex-snapshot
SNL2Z: Tool for Translating an Informal Structured Software Specification into Formal Specification
inferred← citeshttps://doi.org/10.4018/978-1-5225-3923-0.ch033openalex-snapshot
Natural Language Processing
inferred← citeshttps://doi.org/10.4018/978-1-60566-758-4openalex-snapshot
Artificial Intelligence Applications for Improved Software Engineering Development: New Prospects
inferred← citeshttps://doi.org/10.4018/978-1-60566-758-4.ch014openalex-snapshot
Artificial Intelligence in Software Engineering
inferred← citeshttps://doi.org/10.4018/978-1-60960-509-4.ch002openalex-snapshot
Natural Language Processing Techniques in Requirements Engineering
inferred← citeshttps://doi.org/10.4018/978-1-60960-818-7.ch504openalex-snapshot
Artificial Intelligence in Software Engineering
inferred← citeshttps://doi.org/10.4018/978-1-61350-456-7.ch3.3openalex-snapshot
Natural Language Processing Techniques in Requirements Engineering
inferred← citeshttps://doi.org/10.4018/978-1-61350-456-7.ch303openalex-snapshot
Natural Language Processing Techniques in Requirements Engineering
inferred← citeshttps://doi.org/10.4018/ijssoe.2014010105openalex-snapshot
Natural Language Processing
inferred← citeshttps://doi.org/10.4067/s0718-33052020000300411openalex-snapshot
Process and progress of requirement formalization in Software Engineering
inferred← citeshttps://doi.org/10.4204/eptcs.20.7openalex-snapshot
Formalization and Validation of Safety-Critical Requirements
inferred← citeshttps://doi.org/10.5121/csit.2015.50200openalex-snapshot
Computer Science & Information Technology ( CS & IT )
inferred← citeshttps://doi.org/10.5121/csit.2015.50211openalex-snapshot
A New Hybrid Metric for Verifying Parallel Corpora of Arabic English
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.