On the public citation graph
Run-time requirements verification for reconfigurable systems
0 signed · 63 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/9781119994374openalex-snapshot
Fuzzy Logic with Engineering Applications
inferredcites →https://doi.org/10.1002/int.20433openalex-snapshot
Evaluating goal models within the goal-oriented requirement language
inferredcites →https://doi.org/10.1007/978-3-319-07881-6_42openalex-snapshot
Task Specification and Reasoning in Dynamically Altered Contexts
inferredcites →https://doi.org/10.1007/978-3-540-87877-3_14openalex-snapshot
Location-Based Software Modeling and Analysis: Tropos-Based Approach
inferredcites →https://doi.org/10.1007/978-3-642-02463-4_20openalex-snapshot
Reasoning About Alternative Requirements Options
inferredcites →https://doi.org/10.1007/978-3-642-04694-0_4openalex-snapshot
Runtime Verification of Safety-Progress Properties
inferredcites →https://doi.org/10.1007/978-3-642-24606-7_5openalex-snapshot
Establishing Regulatory Compliance for Software Requirements
inferredcites →https://doi.org/10.1007/978-3-642-24690-6_15openalex-snapshot
Runtime Verification of Component-Based Systems
inferredcites →https://doi.org/10.1007/978-3-642-35861-6_11openalex-snapshot
LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time
inferredcites →https://doi.org/10.1007/978-3-642-37422-7_16openalex-snapshot
Supporting Decision-Making for Self-Adaptive Systems: From Goal Models to Dynamic Decision Networks
inferredcites →https://doi.org/10.1007/978-3-642-38709-8_35openalex-snapshot
A Goal Driven Framework for Software Project Data Analytics
inferredcites →https://doi.org/10.1007/s00450-012-0232-2openalex-snapshot
Requirements-driven software evolution
inferredcites →https://doi.org/10.1007/s00766-010-0110-zopenalex-snapshot
A goal-based framework for contextual requirements modeling and analysis
inferredcites →https://doi.org/10.1007/s00766-011-0132-1openalex-snapshot
Adaptive socio-technical systems: a requirements-based approach
inferredcites →https://doi.org/10.1007/s00766-011-0143-yopenalex-snapshot
Comparison and evaluation of goal-oriented satisfaction analysis techniques
inferredcites →https://doi.org/10.1007/s00766-013-0168-5openalex-snapshot
Assessing requirements-related risks through probabilistic goals and obstacles
inferredcites →https://doi.org/10.1007/s10207-006-0005-7openalex-snapshot
Requirements engineering for trust management: model, methodology, and reasoning
inferredcites →https://doi.org/10.1007/s10270-012-0290-8openalex-snapshot
Strategic business modeling: representation and reasoning
inferredcites →https://doi.org/10.1016/j.infsof.2011.10.007openalex-snapshot
Comparing alternatives for analyzing requirements trade-offs – In the absence of numerical data
inferredcites →https://doi.org/10.1016/j.infsof.2012.06.013openalex-snapshot
Reasoning with contextual requirements: Detecting inconsistency and conflicts
inferredcites →https://doi.org/10.1016/j.jlap.2008.08.004openalex-snapshot
A brief account of runtime verification
inferredcites →https://doi.org/10.1080/00401706.1995.10484330openalex-snapshot
Discussion: Probability Theory and Fuzzy Logic Are Complementary Rather Than Competitive
inferredcites →https://doi.org/10.1093/logcom/exn079openalex-snapshot
Interaction-based Runtime Verification for Systems of Systems Integration
inferredcites →https://doi.org/10.1109/91.388168openalex-snapshot
Simultaneous design of membership functions and rule sets for fuzzy controllers using genetic algorithms
inferredcites →https://doi.org/10.1109/ccnc.2009.4784780openalex-snapshot
Features Selection for Intrusion Detection Systems Based on Support Vector Machines
inferredcites →https://doi.org/10.1109/compsac.2012.33openalex-snapshot
Domain Independent Event Analysis for Log Data Reduction
inferredcites →https://doi.org/10.1109/rcis.2013.6577674openalex-snapshot
Runtime goal models: Keynote
inferredcites →https://doi.org/10.1109/re.2004.25openalex-snapshot
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice
inferredcites →https://doi.org/10.1109/re.2005.3openalex-snapshot
Proceedings. 13th IEEE International Conference on Requirements Engineering
inferredcites →https://doi.org/10.1109/re.2005.43openalex-snapshot
Modeling security requirements through ownership, permission and delegation
inferredcites →https://doi.org/10.1109/re.2008.18openalex-snapshot
Supporting Requirements Change Management in Goal Oriented Analysis
inferredcites →https://doi.org/10.1109/re.2010.21openalex-snapshot
Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems
inferredcites →https://doi.org/10.1109/re.2010.25openalex-snapshot
Fuzzy Goals for Requirements-Driven Adaptation
inferredcites →https://doi.org/10.1109/re.2011.6051653openalex-snapshot
Simulating and optimising design decisions in quantitative goal models
inferredcites →https://doi.org/10.1109/re.2012.6345808openalex-snapshot
On eliciting contribution measures in goal models
inferredcites →https://doi.org/10.1109/services.2013.75openalex-snapshot
Towards a Goal Driven Task Personalization Specification Framework
inferredcites →https://doi.org/10.1142/s0218488509005759openalex-snapshot
DEFINITION AND ADAPTATION OF WEIGHTED FUZZY LOGIC PROGRAMS
inferredcites →https://doi.org/10.1145/1370018.1370021openalex-snapshot
Towards goal-oriented development of self-adaptive systems
inferredcites →https://doi.org/10.1145/1988008.1988018openalex-snapshot
Awareness requirements for adaptive systems
inferredcites →https://doi.org/10.1145/2024436.2024438openalex-snapshot
When the requirements for adaptation and high integrity meet
inferredcites →https://doi.org/10.1145/2330667.2330686openalex-snapshot
Self-adaptive software needs quantitative verification at runtime
inferredcites →https://doi.org/10.1145/237432.237434openalex-snapshot
Four dark corners of requirements engineering
inferredcites →https://doi.org/10.1145/2629432openalex-snapshot
Impediments to Regulatory Compliance of Requirements in Contractual Systems Engineering Projects
inferredcites →https://doi.org/10.1145/291469.293165openalex-snapshot
From object-oriented to goal-oriented requirements analysis
inferredcites →https://doi.org/10.2307/1269908openalex-snapshot
Discussion: Probability Theory and Fuzzy Logic Are Complementary Rather Than Competitive
inferredcites →https://doi.org/10.3233/978-1-60750-711-6openalex-snapshot
Software and Systems Safety − Specification and Verification
inferredcites →https://doi.org/10.3233/978-1-60750-711-6-88openalex-snapshot
Engineering Evolving and Self-Adaptive Systems: An Overview
inferredcites →https://doi.org/10.5555/1838206.1838271openalex-snapshot
Reasoning about agents and protocols via goals and commitments
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.70020openalex-snapshot
Requirements Engineering Model (REM): An Assessment Model for Software Vendor Organizations
inferred← citeshttps://doi.org/10.1007/978-3-030-01042-3_9openalex-snapshot
An Arithmetic Semantics for GRL Goal Models with Function Generation
inferred← citeshttps://doi.org/10.1007/s10270-016-0562-9openalex-snapshot
Efficient parallel reasoning on fuzzy goal models for run time requirements verification
inferred← citeshttps://doi.org/10.1016/j.infsof.2026.108047openalex-snapshot
A first and fast symbolic approach for data-aware business process compliance checking
inferred← citeshttps://doi.org/10.1109/ictiia61827.2024.10761487openalex-snapshot
GoEliTool Usability Level Evaluation
inferred← citeshttps://doi.org/10.1109/macs.2018.8628422openalex-snapshot
Improving Requirement Engineering Process for Web Application Development
inferred← citeshttps://doi.org/10.1109/modre51215.2020.00008openalex-snapshot
An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models
inferred← citeshttps://doi.org/10.1109/re.2019.00034openalex-snapshot
Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1109/tse.2019.2925616openalex-snapshot
Stability in Software Engineering: Survey of the State-of-the-Art and Research Directions
inferred← citeshttps://doi.org/10.12794/metadc1404542openalex-snapshot
Improving Software Quality through Syntax and Semantics Verification of Requirements Models
inferred← citeshttps://doi.org/10.20944/preprints202104.0648.v1openalex-snapshot
Concepts and Models of Environment in Self-Adaptive Systems: A Systematic Literature Review
inferred← citeshttps://doi.org/10.23956/ijarcsse/v6i9/01917openalex-snapshot
Requirements Engineering Techniques: A Systematic Literature Review
inferred← citeshttps://doi.org/10.3390/modelling4020009openalex-snapshot
Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models
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.