On the public citation graph

Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals

https://doi.org/10.1145/3337800
0 signed · 121 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.1002/0470033312openalex-snapshot
Uncertain Judgements: Eliciting Experts' Probabilities
inferredcites →https://doi.org/10.1007/11513988_36openalex-snapshot
Efficient Monitoring of ω-Languages
inferredcites →https://doi.org/10.1007/3-540-45177-3openalex-snapshot
Architecting Dependable Systems
inferredcites →https://doi.org/10.1007/978-0-387-89828-5_2openalex-snapshot
Software Architecture-Based Self-Adaptation
inferredcites →https://doi.org/10.1007/978-1-4615-0429-0_12openalex-snapshot
Condensing Uncertainty via Incremental Treatment Learning
inferredcites →https://doi.org/10.1007/978-1-4842-7077-6_3openalex-snapshot
Introduction to Algorithms
inferredcites →https://doi.org/10.1007/978-3-319-05843-6_5openalex-snapshot
A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems
inferredcites →https://doi.org/10.1007/978-3-319-25264-3_4openalex-snapshot
Pragmatic Requirements for Adaptive Systems: A Goal-Driven Modeling and Analysis Approach
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_5openalex-snapshot
Rule-Based Runtime Verification
inferredcites →https://doi.org/10.1007/978-3-540-77395-5_14openalex-snapshot
Statistical Runtime Checking of Probabilistic Properties
inferredcites →https://doi.org/10.1007/978-3-642-01862-6_27openalex-snapshot
A Goal Modeling Framework for Self-contextualizable Software
inferredcites →https://doi.org/10.1007/978-3-642-02161-9openalex-snapshot
Software Engineering for Self-Adaptive Systems
inferredcites →https://doi.org/10.1007/978-3-642-02161-9_1openalex-snapshot
Software Engineering for Self-Adaptive Systems: A Research Roadmap
inferredcites →https://doi.org/10.1007/978-3-642-04425-0_36openalex-snapshot
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty
inferredcites →https://doi.org/10.1007/978-3-642-14192-8_2openalex-snapshot
Understanding the Scope of Uncertainty in Dynamically Adaptive Systems
inferredcites →https://doi.org/10.1007/978-3-642-21640-4_5openalex-snapshot
Requirements Engineering for Self-Adaptive Systems: Core Ontology and Problem Statement
inferredcites →https://doi.org/10.1007/978-3-642-21759-3_27openalex-snapshot
Requirements Evolution: From Assumptions to Reality
inferredcites →https://doi.org/10.1007/978-3-642-28714-5_25openalex-snapshot
Requirements Monitoring for Adaptive Service-Based Applications
inferredcites →https://doi.org/10.1007/978-3-642-29860-8_27openalex-snapshot
MONPOLY: Monitoring Usage-Control Policies
inferredcites →https://doi.org/10.1007/978-3-642-31424-7_26openalex-snapshot
Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking
inferredcites →https://doi.org/10.1007/978-3-642-35813-5openalex-snapshot
Software Engineering for Self-Adaptive Systems II
inferredcites →https://doi.org/10.1007/978-3-642-35813-5_1openalex-snapshot
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
inferredcites →https://doi.org/10.1007/978-3-642-35813-5_8openalex-snapshot
Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines
inferredcites →https://doi.org/10.1007/978-3-642-35813-5_9openalex-snapshot
Uncertainty in Self-Adaptive Software Systems
inferredcites →https://doi.org/10.1007/s00450-012-0232-2openalex-snapshot
Requirements-driven software evolution
inferredcites →https://doi.org/10.1007/s00766-002-0160-yopenalex-snapshot
Quantitative risk-based requirements reasoning
inferredcites →https://doi.org/10.1007/s00766-005-0016-3openalex-snapshot
A requirements monitoring framework for enterprise systems
inferredcites →https://doi.org/10.1007/s00766-006-0039-4openalex-snapshot
Using obstacle analysis to identify contingency requirements on an unpiloted aerial vehicle
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/s00766-015-0229-zopenalex-snapshot
Automating trade-off analysis of security requirements
inferredcites →https://doi.org/10.1007/s00766-015-0236-0openalex-snapshot
Engineering requirements for adaptive systems
inferredcites →https://doi.org/10.1007/s10009-003-0117-6openalex-snapshot
Efficient monitoring of safety properties
inferredcites →https://doi.org/10.1007/s10479-005-5724-zopenalex-snapshot
A Tutorial on the Cross-Entropy Method
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.1007/s10515-008-0042-8openalex-snapshot
Monitoring and diagnosing software requirements
inferredcites →https://doi.org/10.1007/s10586-010-0122-yopenalex-snapshot
Plato: a genetic algorithm approach to run-time reconfiguration in autonomic computing systems
inferredcites →https://doi.org/10.1016/j.datak.2017.03.003openalex-snapshot
Planning runtime software adaptation through pragmatic goal model
inferredcites →https://doi.org/10.1016/j.entcs.2004.01.029openalex-snapshot
Monitoring Algorithms for Metric Temporal Logic Specifications
inferredcites →https://doi.org/10.1016/j.infsof.2016.09.005openalex-snapshot
GODA: A goal-oriented requirements engineering framework for runtime dependability analysis
inferredcites →https://doi.org/10.1016/j.jss.2012.07.062openalex-snapshot
Analysing monitoring and switching problems for adaptive systems
inferredcites →https://doi.org/10.1029/2007wr006248openalex-snapshot
Cross Entropy multiobjective optimization for water distribution systems design
inferredcites →https://doi.org/10.1080/00401706.1987.10488256openalex-snapshot
Mathematical Statistics With Applications
inferredcites →https://doi.org/10.1109/2.910904openalex-snapshot
Weaving together requirements and architectures
inferredcites →https://doi.org/10.1109/32.730542openalex-snapshot
Managing conflicts in goal-driven requirements engineering
inferredcites →https://doi.org/10.1109/32.879820openalex-snapshot
Handling obstacles in goal-oriented requirements engineering
inferredcites →https://doi.org/10.1109/ase.2011.6100064openalex-snapshot
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements
inferredcites →https://doi.org/10.1109/ase.2011.6100125openalex-snapshot
Towards requirements aware systems: Run-time resolution of design-time assumptions
inferredcites →https://doi.org/10.1109/ecbs.2008.22openalex-snapshot
Goal-Based Modeling of Dynamically Adaptive System Requirements
inferredcites →https://doi.org/10.1109/fose.2007.19openalex-snapshot
Self-Managed Systems: an Architectural Challenge
inferredcites →https://doi.org/10.1109/hicss.2005.306openalex-snapshot
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring
inferredcites →https://doi.org/10.1109/icre.2003.1232738openalex-snapshot
Monitoring Web service requirements
inferredcites →https://doi.org/10.1109/icse.2009.5070513openalex-snapshot
Model evolution by run-time parameter adaptation
inferredcites →https://doi.org/10.1109/isre.1995.512555openalex-snapshot
Requirements monitoring in dynamic environments
inferredcites →https://doi.org/10.1109/mc.2003.1160055openalex-snapshot
The vision of autonomic computing
inferredcites →https://doi.org/10.1109/mc.2004.175openalex-snapshot
Rainbow: architecture-based self-adaptation with reusable infrastructure
inferredcites →https://doi.org/10.1109/re.2009.34openalex-snapshot
Reasoning on Non-Functional Requirements for Integrated Services
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.23openalex-snapshot
Requirements Engineering for Adaptive Service Based Applications
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.2014.6912246openalex-snapshot
Integrating exception handling in goal models
inferredcites →https://doi.org/10.1109/re.2015.7320413openalex-snapshot
Handling knowledge uncertainty in risk-based requirements engineering
inferredcites →https://doi.org/10.1109/re.2015.7320429openalex-snapshot
QuantUn: Quantification of uncertainty for the reassessment of requirements
inferredcites →https://doi.org/10.1109/reruntime.2010.5628552openalex-snapshot
Towards a continuous requirements engineering framework for self-adaptive systems
inferredcites →https://doi.org/10.1109/reruntime.2011.6046242openalex-snapshot
From awareness requirements to adaptive systems: A control-theoretic approach
inferredcites →https://doi.org/10.1109/reruntime.2011.6046243openalex-snapshot
Reasoning about adaptive requirements for self-adaptive systems at runtime
inferredcites →https://doi.org/10.1109/rtcsa.2005.84openalex-snapshot
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties
inferredcites →https://doi.org/10.1109/seams.2009.5069081openalex-snapshot
Engineering adaptive requirements
inferredcites →https://doi.org/10.1109/seams.2017.5openalex-snapshot
Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals
inferredcites →https://doi.org/10.1109/seams.2017.7openalex-snapshot
Decision-Making with Cross-Entropy for Self-Adaptation
inferredcites →https://doi.org/10.1109/tse.2015.2421318openalex-snapshot
Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time
inferredcites →https://doi.org/10.1109/wowmom.2006.49openalex-snapshot
GridStix: Supporting Flood Prediction using Embedded Hardware and Next Generation Grid Middleware
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.1368207openalex-snapshot
Genie
inferredcites →https://doi.org/10.1145/1370018.1370021openalex-snapshot
Towards goal-oriented development of self-adaptive systems
inferredcites →https://doi.org/10.1145/1808984.1808997openalex-snapshot
Live goals for adaptive service compositions
inferredcites →https://doi.org/10.1145/1809049.1809080openalex-snapshot
Automatically generating adaptive logic to balance non-functional tradeoffs during reconfiguration
inferredcites →https://doi.org/10.1145/1810295.1810329openalex-snapshot
Requirements reflection
inferredcites →https://doi.org/10.1145/1958746.1958823openalex-snapshot
Using observation ageing to improve markovian model learning in QoS engineering
inferredcites →https://doi.org/10.1145/1988008.1988018openalex-snapshot
Awareness requirements for adaptive systems
inferredcites →https://doi.org/10.1145/2000799.2000800openalex-snapshot
Runtime Verification for LTL and TLTL
inferredcites →https://doi.org/10.1145/2568088.2568094openalex-snapshot
Adaptive model learning for continual verification of non-functional properties
inferredcites →https://doi.org/10.1145/2568088.2568095openalex-snapshot
Uncertainties in the modeling of self-adaptive systems
inferredcites →https://doi.org/10.1145/2568225.2568239openalex-snapshot
Uncertainty, risk, and information value in software requirements and architecture
inferredcites →https://doi.org/10.1145/2568225.2568272openalex-snapshot
Automated design of self-adaptive software with control-theoretical formal guarantees
inferredcites →https://doi.org/10.1145/2568225.2568310openalex-snapshot
Self-adaptation through incremental generative model transformations at runtime
inferredcites →https://doi.org/10.1145/2591062.2591118openalex-snapshot
A world full of surprises: bayesian theory of surprise to quantify degrees of uncertainty
inferredcites →https://doi.org/10.1145/2593929.2593947openalex-snapshot
Modelling and analysing contextual failures for dependability requirements
inferredcites →https://doi.org/10.1145/2629376openalex-snapshot
The Requirements Problem for Adaptive Systems
inferredcites →https://doi.org/10.1145/2786805.2786833openalex-snapshot
Automated multi-objective control for self-adaptive software design
inferredcites →https://doi.org/10.1145/2884781.2884838openalex-snapshot
Risk-driven revision of requirements models
inferredcites →https://doi.org/10.1145/2897053.2897056openalex-snapshot
Assured and correct dynamic update of controllers
inferredcites →https://doi.org/10.1145/302405.302672openalex-snapshot
Patterns in property specifications for finite-state verification
inferredcites →https://doi.org/10.1145/3105748openalex-snapshot
Engineering Self-Adaptive Software Systems
inferredcites →https://doi.org/10.14279/tuj.eceasst.9.105openalex-snapshot
Extended OCL for Goal Monitoring
inferredcites →https://doi.org/10.2307/2532372openalex-snapshot
Mathematical Statistics with Applications.
inferredcites →https://doi.org/10.4135/9781412956260.n589openalex-snapshot
Nuclear Regulatory Commission
inferredcites →https://doi.org/10.48550/arxiv.1503.07132openalex-snapshot
Pragmatic Requirements for Adaptive Systems: a Goal-Driven Modelling and Analysis Approach
inferredcites →https://doi.org/10.5555/2050655.2050707openalex-snapshot
Automatic derivation of utility functions for monitoring software requirements
inferredcites →https://doi.org/10.5555/2662572.2662574openalex-snapshot
Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty
inferredcites →https://doi.org/10.5555/2663546.2663553openalex-snapshot
Requirements and architectural approaches to adaptive software systems: a comparative study
inferredcites →https://doi.org/10.5555/2818754.2818781openalex-snapshot
Lightweight adaptive filtering for efficient learning and updating of probabilistic models
inferredcites →https://doi.org/10.5555/2944225.2944368openalex-snapshot
Efficient monitoring of safety properties
inferredcites →https://doi.org/10.5555/857205.858297openalex-snapshot
Reconciling system requirements and runtime behavior

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-030-70006-5_4openalex-snapshot
Data-Driven Requirements Engineering: A Guided Tour
inferred← citeshttps://doi.org/10.1007/978-3-031-17995-2_28openalex-snapshot
Modeling Rates of Change and Aggregations in Runtime Goal Models
inferred← citeshttps://doi.org/10.1007/s10270-021-00943-5openalex-snapshot
CaRE: a refinement calculus for requirements engineering based on argumentation theory
inferred← citeshttps://doi.org/10.1016/j.datak.2023.102205openalex-snapshot
Modelling temporal goals in runtime goal models
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111611openalex-snapshot
Run-time failure detection via non-intrusive event analysis in a large-scale cloud computing platform
inferred← citeshttps://doi.org/10.1109/iccps54341.2022.00007openalex-snapshot
Confidence Composition for Monitors of Verification Assumptions
inferred← citeshttps://doi.org/10.1109/re54965.2022.00043openalex-snapshot
Done is better than perfect: Iterative Adaptation via Multi-grained Requirement Relaxation
inferred← citeshttps://doi.org/10.1109/seams59076.2023.00012openalex-snapshot
Adapting Specifications for Reactive Controllers
inferred← citeshttps://doi.org/10.1109/seams59076.2023.00024openalex-snapshot
Runtime Verification of Self-Adaptive Systems with Changing Requirements
inferred← citeshttps://doi.org/10.1109/techdebt66644.2025.00012openalex-snapshot
Requirements Technical Debt Through the Lens of Environment Assumptions
inferred← citeshttps://doi.org/10.1109/tse.2025.3534318openalex-snapshot
Obstacle Analysis in Requirements Engineering: Retrospective and Emerging Challenges
inferred← citeshttps://doi.org/10.1145/3377811.3380927openalex-snapshot
Adapting requirements models to varying environments
inferred← citeshttps://doi.org/10.1145/3774748.3787668openalex-snapshot
Trustworthy Resolution of Requirement Conflicts at Runtime
inferred← citeshttps://doi.org/10.18517/ijaseit.12.6.15875openalex-snapshot
Keep All Objectives Satisfied (KAOS) to Event-B Models Transformation
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.2197/ipsjjip.31.186openalex-snapshot
Efficient Difference Analysis of Guaranteeable Requirements for Fault-tolerant Self-adaptation
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.