On the public citation graph
ActivFORMS: A Formally Founded Model-based Approach to Engineer Self-adaptive Systems
0 signed · 98 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/9781119574910openalex-snapshot
An Introduction to Self‐adaptive Systems
inferredcites →https://doi.org/10.1007/978-1-4612-0865-5_26openalex-snapshot
Probability Inequalities for sums of Bounded Random Variables
inferredcites →https://doi.org/10.1007/978-3-030-00262-6_11openalex-snapshot
Software Engineering of Self-adaptive Systems
inferredcites →https://doi.org/10.1007/978-3-319-24644-4_2openalex-snapshot
Automated Integration of Service-Oriented Software Systems
inferredcites →https://doi.org/10.1007/978-3-319-47166-2_17openalex-snapshot
A Model Interpreter for Timed Automata
inferredcites →https://doi.org/10.1007/978-3-540-24622-0_8openalex-snapshot
Approximate Probabilistic Model Checking
inferredcites →https://doi.org/10.1007/978-3-642-22110-1_47openalex-snapshot
PRISM 4.0: Verification of Probabilistic Real-Time Systems
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_3openalex-snapshot
Software Engineering Processes for Self-Adaptive Systems
inferredcites →https://doi.org/10.1007/978-3-662-49665-7_16openalex-snapshot
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1016/b978-0-12-802855-1.00003-4openalex-snapshot
A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems With Multiple Quality Requirements
inferredcites →https://doi.org/10.1016/j.jss.2015.09.021openalex-snapshot
Incorporating architecture-based self-adaptation into an adaptive industrial software system
inferredcites →https://doi.org/10.1016/j.jss.2019.02.055openalex-snapshot
Synthesizing tradeoff spaces with quantitative guarantees for families of software systems
inferredcites →https://doi.org/10.1016/j.jss.2021.111010openalex-snapshot
A sustainable-development approach for self-adaptive cyber–physical system’s life cycle: A systematic mapping study
inferredcites →https://doi.org/10.1109/32.60317openalex-snapshot
The evolving philosophers problem: dynamic change management
inferredcites →https://doi.org/10.1109/acsos49614.2020.00047openalex-snapshot
Understanding Uncertainty in Self-adaptive Systems
inferredcites →https://doi.org/10.1109/atsip.2017.8075570openalex-snapshot
A study of LoRa low power and wide area network technology
inferredcites →https://doi.org/10.1109/fose.2007.17openalex-snapshot
Research Directions in Requirements Engineering
inferredcites →https://doi.org/10.1109/fose.2007.19openalex-snapshot
Self-Managed Systems: an Architectural Challenge
inferredcites →https://doi.org/10.1109/icac.2016.67openalex-snapshot
Model-Based Simulation at Runtime for Self-Adaptive Systems
inferredcites →https://doi.org/10.1109/icsa47634.2020.00010openalex-snapshot
Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems
inferredcites →https://doi.org/10.1109/icse.1998.671114openalex-snapshot
Architecture-based runtime software evolution
inferredcites →https://doi.org/10.1109/icse.2017.51openalex-snapshot
ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains
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/mcom.2014.6979984openalex-snapshot
6TiSCH: deterministic IP-enabled industrial internet (of things)
inferredcites →https://doi.org/10.1109/re.2009.36openalex-snapshot
RELAX: Incorporating Uncertainty into the Specification of 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/seams.2012.6224395openalex-snapshot
Claims and supporting evidence for self-adaptive systems: A literature study
inferredcites →https://doi.org/10.1109/seams.2017.21openalex-snapshot
DeltaIoT: A Self-Adaptive Internet of Things Exemplar
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/tdsc.2015.2429128openalex-snapshot
Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems
inferredcites →https://doi.org/10.1109/tse.2010.92openalex-snapshot
Dynamic QoS Management and Optimization in Service-Based Systems
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/tse.2015.2508444openalex-snapshot
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters
inferredcites →https://doi.org/10.1109/tse.2017.2704579openalex-snapshot
Control-Theoretical Software Adaptation: A Systematic Literature Review
inferredcites →https://doi.org/10.1109/tse.2017.2738640openalex-snapshot
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
inferredcites →https://doi.org/10.1145/1186778.1186782openalex-snapshot
A survey of autonomic communications
inferredcites →https://doi.org/10.1145/2025113.2025147openalex-snapshot
Taming uncertainty in self-adaptive software
inferredcites →https://doi.org/10.1145/2347583.2347592openalex-snapshot
A survey of formal methods in self-adaptive systems
inferredcites →https://doi.org/10.1145/2555612openalex-snapshot
Model-Driven Engineering of Self-Adaptive Software with EUREMA
inferredcites →https://doi.org/10.1145/2568088.2568095openalex-snapshot
Uncertainties in the modeling of self-adaptive systems
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/2593929.2593944openalex-snapshot
ActivFORMS: active formal models for self-adaptation
inferredcites →https://doi.org/10.1145/2724719openalex-snapshot
MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems
inferredcites →https://doi.org/10.1145/2774222openalex-snapshot
Analyzing Latency-Aware Self-Adaptation Using Stochastic Games and Simulations
inferredcites →https://doi.org/10.1145/2786805.2786853openalex-snapshot
Proactive self-adaptation under uncertainty: a probabilistic model checking approach
inferredcites →https://doi.org/10.1145/2804337.2804338openalex-snapshot
SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar
inferredcites →https://doi.org/10.1145/2897053.2897056openalex-snapshot
Assured and correct dynamic update of controllers
inferredcites →https://doi.org/10.1145/3158668openalex-snapshot
A Survey of Statistical Model Checking
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-031-36889-9_18openalex-snapshot
A Maude Formalization of Object Nets
inferred← citeshttps://doi.org/10.1007/978-3-031-37963-5_25openalex-snapshot
Encoding Nets-Within-Nets in Maude
inferred← citeshttps://doi.org/10.1007/978-3-031-90900-9_8openalex-snapshot
Formal Architectural Patterns for Adaptive Robotic Software
inferred← citeshttps://doi.org/10.1007/s11227-022-05021-1openalex-snapshot
Awareness requirement and performance management for adaptive systems: a survey
inferred← citeshttps://doi.org/10.1007/s44163-026-01083-9openalex-snapshot
Comparison of AutoML frameworks for effective analysis in MAPE-K self adaptive systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2025.108002openalex-snapshot
Compositional security analysis of dynamic component-based systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2026.108135openalex-snapshot
Self-adaptation in microservice systems: Literature review informed classification taxonomy
inferred← citeshttps://doi.org/10.1016/j.infsof.2026.108292openalex-snapshot
Formalizing sustainable decision-making under uncertainty in AI-driven Self-Adaptive Systems using SMT
inferred← citeshttps://doi.org/10.1016/j.jss.2022.111341openalex-snapshot
Reducing large adaptation spaces in self-adaptive systems using classical machine learning
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112657openalex-snapshot
Proactive self-adaptation and assurance of explainable Human–Machine Teaming
inferred← citeshttps://doi.org/10.1109/acsos-c63493.2024.00037openalex-snapshot
Meta-Adaptation Goals: Leveraging Feedback Loop Requirements for Effective Self-Adaptation
inferred← citeshttps://doi.org/10.1109/acsos-c66519.2025.00052openalex-snapshot
Preventing Consent Violations Due to Self-Adaptation at Runtime in Self-Adaptive Systems that Process Personal Data
inferred← citeshttps://doi.org/10.1109/acsos55765.2022.00018openalex-snapshot
On Evaluating Self-Adaptive and Self-Healing Systems using Chaos Engineering
inferred← citeshttps://doi.org/10.1109/compsac61105.2024.00347openalex-snapshot
Self-Adaptive System Implementation Framework Considering Execution Time Uncertainty
inferred← citeshttps://doi.org/10.1109/icsa-c65153.2025.00053openalex-snapshot
Dynamic Architectures Leveraging AI Agents and Human-in-the-Loop for Data Center Management
inferred← citeshttps://doi.org/10.1109/icsme58944.2024.00088openalex-snapshot
Optimizing Self-Adaptation in Service-Based Systems: Leveraging Ensemble Prediction with DNN-ILSTM Models
inferred← citeshttps://doi.org/10.1109/ictaacs60400.2023.10449559openalex-snapshot
Deep Learning for Self-Adaptive System Analyzer Improvement
inferred← citeshttps://doi.org/10.1109/seams59076.2023.00016openalex-snapshot
Dynamic Runtime Integration of New Models in Digital Twins
inferred← citeshttps://doi.org/10.1109/seams59076.2023.00024openalex-snapshot
Runtime Verification of Self-Adaptive Systems with Changing Requirements
inferred← citeshttps://doi.org/10.1142/s0218126624502347openalex-snapshot
A Proactive Self-Adaptation Approach Based on Ensemble Prediction for Service-Based Systems
inferred← citeshttps://doi.org/10.1145/3524844.3528077openalex-snapshot
Preliminary results of a survey on the use of self-adaptation in industry
inferred← citeshttps://doi.org/10.1145/3530192openalex-snapshot
Deep Learning for Effective and Efficient Reduction of Large Adaptation Spaces in Self-adaptive Systems
inferred← citeshttps://doi.org/10.1145/3589227openalex-snapshot
Self-Adaptation in Industry: A Survey
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.1145/3628034.3628043openalex-snapshot
Joint Learning: A Pattern for Reliable and Efficient Decision-Making in Self-Adaptive Internet of Things
inferred← citeshttps://doi.org/10.1145/3636428openalex-snapshot
Dealing with Drift of Adaptation Spaces in Learning-based Self-Adaptive Systems Using Lifelong Self-Adaptation
inferred← citeshttps://doi.org/10.1145/3643915.3644095openalex-snapshot
Formal Synthesis of Uncertainty Reduction Controllers
inferred← citeshttps://doi.org/10.1145/3686803openalex-snapshot
Generative AI for Self-Adaptive Systems: State of the Art and Research Roadmap
inferred← citeshttps://doi.org/10.1145/3691345openalex-snapshot
Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement
inferred← citeshttps://doi.org/10.1145/3705612openalex-snapshot
An Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems
inferred← citeshttps://doi.org/10.1145/3746234openalex-snapshot
Parley+ : Uncertainty Reduction in Self-Adaptive Systems
inferred← citeshttps://doi.org/10.1145/3763242openalex-snapshot
Reflection, Quick Reference Guide and Future Outlook to Autonomous and Adaptive Systems
inferred← citeshttps://doi.org/10.1145/3779424openalex-snapshot
RS-DRL: Managing Uncertainty in Self-Adaptive Systems Based on a Novel Continuous Deep Reinforcement Learning Method
inferred← citeshttps://doi.org/10.1145/3828754openalex-snapshot
Software Engineering for Self-Adaptive Robotics: A Research Agenda
inferred← citeshttps://doi.org/10.14489/vkit.2023.10.pp.003-011openalex-snapshot
THE MODEL OF THE FUNCTIONAL EVOLVING FOR MULTIFUNCTIONAL AUTOMATION SYSTEMS
inferred← citeshttps://doi.org/10.3233/jid-220003openalex-snapshot
The vision of self-evolving computing systems
inferred← citeshttps://doi.org/10.3233/jifs-232397openalex-snapshot
Runtime verification of self-adaptive multi-agent system using probabilistic timed automata
inferred← citeshttps://doi.org/10.3390/electronics12244987openalex-snapshot
An Approach to the State Explosion Problem: SOPC Case Study
inferred← citeshttps://doi.org/10.3390/s25092789openalex-snapshot
Adaptive Augmented Reality User Interfaces for Real-Time Defect Visualization and On-the-Fly Reconfiguration for Zero-Defect Manufacturing
inferred← citeshttps://doi.org/10.3390/s25113484openalex-snapshot
A Systematic Review on the Applications of Uppaal
inferred← citeshttps://doi.org/10.70675/91d8cb03z7677z4d0dz8fd4zbf7f08f040f9openalex-snapshot
Enabling autonomous IoT systems : A middleware-based hybrid AI approach to self-adaptation
inferred← citeshttps://doi.org/10.70675/ff8907ebzb70cz4fbdzad39z2513988c524copenalex-snapshot
Self-adaptable operational semantics
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.