On the public citation graph
Model Checking Goal-Oriented Requirements for Self-Adaptive Systems
0 signed · 57 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/3-540-48157-5_29openalex-snapshot
Towards a Better Understanding of Context and Context-Awareness
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-642-01862-6_26openalex-snapshot
Goal-Directed Modeling of Self-adaptive Software Architecture
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-02161-9_2openalex-snapshot
Modeling Dimensions of Self-Adaptive Software Systems
inferredcites →https://doi.org/10.1007/978-3-642-02161-9_3openalex-snapshot
Engineering Self-Adaptive Systems through Feedback Loops
inferredcites →https://doi.org/10.1007/978-3-642-21381-6_19openalex-snapshot
A User-Centric Approach for Efficient Daily Mobility Planning in E-Vehicle Infrastructure Networks
inferredcites →https://doi.org/10.1007/s00766-004-0191-7openalex-snapshot
Specifying and analyzing early requirements in 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.1007/s11280-011-0112-xopenalex-snapshot
Context-driven personalized service discovery in pervasive environments
inferredcites →https://doi.org/10.1109/ecbs.2008.22openalex-snapshot
Goal-Based Modeling of Dynamically Adaptive System Requirements
inferredcites →https://doi.org/10.1109/isre.1997.566873openalex-snapshot
Towards modelling and reasoning support for early-phase requirements engineering
inferredcites →https://doi.org/10.1109/mc.2003.1160055openalex-snapshot
The vision of autonomic computing
inferredcites →https://doi.org/10.1109/rev.2007.10openalex-snapshot
Visualizing the Analysis of Dynamically Adaptive Systems Using i* and DSLs
inferredcites →https://doi.org/10.1109/saso.2008.67openalex-snapshot
Modelling Self-Adaptivity: A Goal-Oriented Approach
inferredcites →https://doi.org/10.1109/sasow.2011.24openalex-snapshot
On Self-Adaptation, Self-Expression, and Self-Awareness in Autonomic Service Component Ensembles
inferredcites →https://doi.org/10.1145/2078316.2078318openalex-snapshot
Context-aware services engineering
inferredcites →https://doi.org/10.1145/940071.940106openalex-snapshot
Fluent model checking for event-based systems
inferredcites →https://doi.org/10.1145/940103.940106openalex-snapshot
Fluent model checking for event-based systems
inferredcites →https://doi.org/10.12694/scpe.v3i4.209openalex-snapshot
Concurrency State Models and Java Programs
inferredcites →https://doi.org/10.25405/ncl.34123050openalex-snapshot
Formal Methods: State of the Art and Future Directions
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-03424-5_6openalex-snapshot
Engineering Collectives of Self-driving Vehicles: The SOTA Approach
inferred← citeshttps://doi.org/10.1007/978-3-032-22752-2_31openalex-snapshot
Driving by Disproof: A Practical Model Checking Approach to Fleet Coordination
inferred← citeshttps://doi.org/10.1007/978-3-319-08915-7_4openalex-snapshot
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-16310-9_7openalex-snapshot
Reasoning and Learning for Awareness and Adaptation
inferred← citeshttps://doi.org/10.1007/978-3-319-16310-9_9openalex-snapshot
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-35887-6_1openalex-snapshot
ASCENS: Engineering Autonomic Service-Component Ensembles
inferred← citeshttps://doi.org/10.1007/s10009-020-00554-3openalex-snapshot
The SOTA approach to engineering collective adaptive systems
inferred← citeshttps://doi.org/10.1007/s10514-018-9703-zopenalex-snapshot
AMPLE: an anytime planning and execution framework for dynamic and uncertain problems in robotics
inferred← citeshttps://doi.org/10.1007/s10515-022-00369-3openalex-snapshot
ARAS: adaptation requirements for adaptive systems
inferred← citeshttps://doi.org/10.1007/s11227-022-04828-2openalex-snapshot
MAPE-K patterns for self-adaptation in cyber-physical systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2017.09.008openalex-snapshot
RINGA: Design and verification of finite state machine for self-adaptive software at runtime
inferred← citeshttps://doi.org/10.1016/j.jss.2016.03.010openalex-snapshot
Self-adaptive architecture evolution with model checking: A software cybernetics approach
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102620openalex-snapshot
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking
inferred← citeshttps://doi.org/10.1109/access.2018.2849821openalex-snapshot
Formal Specification and Verification of Self-Adaptive Concurrent Systems
inferred← citeshttps://doi.org/10.1109/cts.2013.6567229openalex-snapshot
Collaboration in swarm robotics: A visual communication approach
inferred← citeshttps://doi.org/10.1109/sasow.2012.28openalex-snapshot
Multi-Staged Quality Assurance for Self-Adaptive Systems
inferred← citeshttps://doi.org/10.1109/sasow.2013.23openalex-snapshot
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase
inferred← citeshttps://doi.org/10.1109/seams.2015.10openalex-snapshot
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation
inferred← citeshttps://doi.org/10.1109/tencon.2018.8650165openalex-snapshot
Self-Adaptive Framework with Game Theoretic Decision Making for Internet of Things
inferred← citeshttps://doi.org/10.1109/wetice.2012.22openalex-snapshot
Coordination and Task Division in Robot Ensembles: Perimeter Sweep Case Study
inferred← citeshttps://doi.org/10.1109/wetice.2012.48openalex-snapshot
SOTA: Towards a General Model for Self-Adaptive Systems
inferred← citeshttps://doi.org/10.1145/2491845.2491862openalex-snapshot
Engineering autonomous systems
inferred← citeshttps://doi.org/10.1145/3018896.3018939openalex-snapshot
A systematic classification of requirements engineering approaches for adaptive systems
inferred← citeshttps://doi.org/10.1145/3019598openalex-snapshot
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control
inferred← citeshttps://doi.org/10.1186/s40294-020-0069-7openalex-snapshot
Formal approach to model complex adaptive computing systems
inferred← citeshttps://doi.org/10.12694/scpe.v15i4.1051openalex-snapshot
Introduction to the Special Issue on Enabling Technologies for Collaborations
inferred← citeshttps://doi.org/10.12694/scpe.v15i4.1052openalex-snapshot
Engineering and implementing software architectural patterns based on feedback loops
inferred← citeshttps://doi.org/10.12928/telkomnika.v16i0.7032openalex-snapshot
Self-adaptive Software Modeling Based on Contextual Requirements
inferred← citeshttps://doi.org/10.3390/s19132996openalex-snapshot
Self-Adaptive Framework Based on MAPE Loop for Internet of Things
inferred← citeshttps://doi.org/10.37622/ijaer/10.7.2015.16563-16574openalex-snapshot
An Approach For Prioritising Soft and Hard Goals In Self Adaptive Software Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1704.00420openalex-snapshot
A Thematic Study of Requirements Modeling and Analysis for Self-Adaptive Systems
inferred← citeshttps://doi.org/10.5555/2821357.2821362openalex-snapshot
Modeling and analyzing MAPE-K feedback loops for 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.