On the public citation graph
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis
0 signed · 82 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-3-540-68123-6_1openalex-snapshot
From Goals to High-Variability Software Design
inferredcites →https://doi.org/10.1007/978-3-540-79488-2_14openalex-snapshot
Tool-Supported Development with Tropos: The Conference Management System Case Study
inferredcites →https://doi.org/10.1007/978-3-642-01862-6openalex-snapshot
Enterprise, Business-Process and Information Systems Modeling
inferredcites →https://doi.org/10.1007/978-3-642-01862-6_26openalex-snapshot
Goal-Directed Modeling of Self-adaptive Software Architecture
inferredcites →https://doi.org/10.1007/978-3-642-04125-9openalex-snapshot
Fuzzy Clustering for Categorical Spaces An Application to Semantic Knowledge Bases
inferredcites →https://doi.org/10.1007/978-3-642-14295-6_56openalex-snapshot
PARAM: A Model Checker for Parametric Markov Models
inferredcites →https://doi.org/10.1007/978-3-642-20398-5_12openalex-snapshot
Synthesis for PCTL in Parametric Markov Decision Processes
inferredcites →https://doi.org/10.1007/978-3-642-23082-0openalex-snapshot
Foundations of security analysis and design VI: FOSAD tutorial lectures
inferredcites →https://doi.org/10.1007/978-3-642-23082-0_6openalex-snapshot
A Method for Security Governance, Risk, and Compliance (GRC): A Goal-Process Approach
inferredcites →https://doi.org/10.1007/978-3-642-40511-2_19openalex-snapshot
A Framework for Combining Problem Frames and Goal Models to Support Context Analysis during Requirements Engineering
inferredcites →https://doi.org/10.1007/b13244openalex-snapshot
Conceptual modeling - ER 2003 : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003 : proceedings
inferredcites →https://doi.org/10.1007/bf01211866openalex-snapshot
A logic for reasoning about time and reliability
inferredcites →https://doi.org/10.1007/s00766-004-0191-7openalex-snapshot
Specifying and analyzing early requirements in Tropos
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-013-0168-5openalex-snapshot
Assessing requirements-related risks through probabilistic goals and obstacles
inferredcites →https://doi.org/10.1007/s10009-010-0146-xopenalex-snapshot
Probabilistic reachability for parametric Markov models
inferredcites →https://doi.org/10.1007/s10270-012-0255-yopenalex-snapshot
Requirements-driven deployment
inferredcites →https://doi.org/10.1007/s10515-007-0013-5openalex-snapshot
Computer-aided Support for Secure Tropos
inferredcites →https://doi.org/10.1007/s10515-008-0027-7openalex-snapshot
Deriving event-based transition systems from goal-oriented requirements models
inferredcites →https://doi.org/10.1016/0167-6423(93)90021-gopenalex-snapshot
Goal-directed requirements acquisition
inferredcites →https://doi.org/10.1016/j.datak.2012.12.005openalex-snapshot
Trust-based specification of sociotechnical systems
inferredcites →https://doi.org/10.1016/j.infsof.2010.10.003openalex-snapshot
An effective sequential statistical test for probabilistic monitoring
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.jss.2011.07.037openalex-snapshot
Dependability analysis in the Ambient Assisted Living Domain: An exploratory case study
inferredcites →https://doi.org/10.1023/b:agnt.0000018806.20944.efopenalex-snapshot
Tropos: An Agent-Oriented Software Development Methodology
inferredcites →https://doi.org/10.1109/32.738341openalex-snapshot
Inferring declarative requirements specifications from operational scenarios
inferredcites →https://doi.org/10.1109/hase.2015.34openalex-snapshot
Modeling and Verification for Probabilistic Properties in Software Product Lines
inferredcites →https://doi.org/10.1109/icse.1993openalex-snapshot
Proceedings of 1993 15th International Conference on Software Engineering
inferredcites →https://doi.org/10.1109/icws.2010.60openalex-snapshot
Adaptive Goals for Self-Adaptive Service Compositions
inferredcites →https://doi.org/10.1109/icws18300.2011openalex-snapshot
2011 IEEE International Conference on Web Services
inferredcites →https://doi.org/10.1109/isre.1993.324839openalex-snapshot
Modeling organizations for information systems requirements engineering
inferredcites →https://doi.org/10.1109/isre.2001.948567openalex-snapshot
Goal-oriented requirements engineering: a guided tour
inferredcites →https://doi.org/10.1109/rcis.2013.6577674openalex-snapshot
Runtime goal models: Keynote
inferredcites →https://doi.org/10.1109/rcis30097.2013openalex-snapshot
IEEE 7th International Conference on Research Challenges in Information Science (RCIS)
inferredcites →https://doi.org/10.1109/re.2010.25openalex-snapshot
Fuzzy Goals for Requirements-Driven Adaptation
inferredcites →https://doi.org/10.1109/re16773.2010openalex-snapshot
2010 18th IEEE International Requirements Engineering Conference
inferredcites →https://doi.org/10.1109/tdsc.2004.2openalex-snapshot
Basic concepts and taxonomy of dependable and secure computing
inferredcites →https://doi.org/10.1142/s0218194007003240openalex-snapshot
SECURE TROPOS: A SECURITY-ORIENTED EXTENSION OF THE TROPOS METHODOLOGY
inferredcites →https://doi.org/10.1145/1029894.1029905openalex-snapshot
Reasoning about partial goal satisfaction for requirements and design engineering
inferredcites →https://doi.org/10.1145/1368088.1368094openalex-snapshot
Specification patterns for probabilistic quality properties
inferredcites →https://doi.org/10.1145/1985793.1985840openalex-snapshot
Run-time efficient probabilistic model checking
inferredcites →https://doi.org/10.1145/1988008.1988018openalex-snapshot
Awareness requirements for adaptive systems
inferredcites →https://doi.org/10.1145/2593929openalex-snapshot
Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
inferredcites →https://doi.org/10.1145/2593929.2593947openalex-snapshot
Modelling and analysing contextual failures for dependability requirements
inferredcites →https://doi.org/10.1145/2884781.2884814openalex-snapshot
Reliability of Run-Time Quality-of-Service evaluation using parametric model checking
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.3233/978-1-61499-028-4-126openalex-snapshot
Advances in Probabilistic Model Checking
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/smr.2257openalex-snapshot
Updating the goal model with user reviews for the evolution of an app
inferred← citeshttps://doi.org/10.1007/978-3-031-11051-1_212openalex-snapshot
Knowledge Base Applied Usage Operating on the Basis of Network Structure
inferred← citeshttps://doi.org/10.1007/978-3-031-48642-5_14openalex-snapshot
Analysing Requirements Specification Languages for Self-adaptive AAL Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-77243-1_23openalex-snapshot
A Persona-Based Modelling for Contextual Requirements
inferred← citeshttps://doi.org/10.1007/s10270-019-00770-9openalex-snapshot
Using empirical studies to mitigate symbol overload in iStar extensions
inferred← citeshttps://doi.org/10.1007/s10515-022-00369-3openalex-snapshot
ARAS: adaptation requirements for adaptive systems
inferred← citeshttps://doi.org/10.1007/s12599-021-00696-xopenalex-snapshot
Software Requirements Selection with Incomplete Linguistic Preference Relations
inferred← citeshttps://doi.org/10.1007/s41870-022-01112-7openalex-snapshot
UML and NFR-framework based method for the analysis of the requirements of an information system
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.04.003openalex-snapshot
GoalD: A Goal-Driven deployment framework for dynamic and heterogeneous computing environments
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.04.011openalex-snapshot
Enhancing context specifications for dependable adaptive systems: A data mining approach
inferred← citeshttps://doi.org/10.1016/j.jss.2017.11.023openalex-snapshot
A Systematic Literature Review of iStar extensions
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110647openalex-snapshot
A federated society of bots for smart contract testing
inferred← citeshttps://doi.org/10.1016/j.robot.2023.104386openalex-snapshot
Mission specification and decomposition for multi-robot systems
inferred← citeshttps://doi.org/10.1049/iet-sen.2018.5192openalex-snapshot
Combining goal model with reviews for supporting the evolution of apps
inferred← citeshttps://doi.org/10.1109/aero66936.2026.11520157openalex-snapshot
An Engineering Life-Cycle Assurance Process for Autonomous Space Systems
inferred← citeshttps://doi.org/10.1109/formalise58978.2023.00008openalex-snapshot
Goal Controller Synthesis for Self-Adaptive Systems
inferred← citeshttps://doi.org/10.1109/modre.2018.00017openalex-snapshot
Interacting Decision-Making Agents and their Impacts on Assurances: Taxonomy and Challenges
inferred← citeshttps://doi.org/10.1109/rew53955.2021.00026openalex-snapshot
Towards Technology Acceptance: a Bayesian Network of soft requirements, the case of the NHS COVID-19 Test and Trace App
inferred← citeshttps://doi.org/10.1109/seams.2019.00011openalex-snapshot
Efficient Analysis of Large Adaptation Spaces in Self-Adaptive Systems using Machine Learning
inferred← citeshttps://doi.org/10.1109/seams.2019.00020openalex-snapshot
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
inferred← citeshttps://doi.org/10.1109/tr.2023.3289920openalex-snapshot
Dependability Analysis of a System Using State-Space Modeling Techniques: A Systematic Review
inferred← citeshttps://doi.org/10.1109/tse.2023.3313645openalex-snapshot
Fast Parametric Model Checking With Applications to Software Performability Analysis
inferred← citeshttps://doi.org/10.1109/tse.2025.3530820openalex-snapshot
Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach
inferred← citeshttps://doi.org/10.1145/3229345.3229402openalex-snapshot
Goal-Oriented Model Conversion to Automated Planning Problem Using Hierarchical Task Networks
inferred← citeshttps://doi.org/10.1145/3337800openalex-snapshot
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals
inferred← citeshttps://doi.org/10.1145/3617946.3617951openalex-snapshot
Towards a Research Agenda for Understanding and Managing Uncertainty in Self-Adaptive Systems
inferred← citeshttps://doi.org/10.12928/telkomnika.v16i0.7032openalex-snapshot
Self-adaptive Software Modeling Based on Contextual Requirements
inferred← citeshttps://doi.org/10.22541/au.169790763.30054013/v1openalex-snapshot
ToffA-DSPL: An approach of Trade-off Analysis for designing Dynamic Software Product Lines
inferred← citeshttps://doi.org/10.29207/resti.v7i3.4924openalex-snapshot
Automatic Requirements Engineering: Activities, Methods, Tools, and Domains – A Systematic Literature Review
inferred← citeshttps://doi.org/10.32890/jict2020.19.2.4openalex-snapshot
SELF-ADAPTIVE MODEL BASED ON GOAL-ORIENTED REQUIREMENTS ENGINEERING FOR HANDLING SERVICE VARIABILITY
inferred← citeshttps://doi.org/10.7250/9789934229633openalex-snapshot
Methods for Supporting Information System Integration in the Post-merger Context
inferred← citeshttps://doi.org/10.7250/csimq.2023-34.02openalex-snapshot
Supporting Information System Integration Decisions in the Post-Merger Context
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.