On the public citation graph
RINGA: Design and verification of finite state machine for self-adaptive software at runtime
0 signed · 72 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-45657-0_29openalex-snapshot
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
inferredcites →https://doi.org/10.1007/3-540-48683-6_44openalex-snapshot
NuSMV: A New Symbolic Model Verifier
inferredcites →https://doi.org/10.1007/978-3-319-00395-5openalex-snapshot
Proceedings of the European Conference on Complex Systems 2012
inferredcites →https://doi.org/10.1007/978-3-319-00395-5_124openalex-snapshot
Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach
inferredcites →https://doi.org/10.1007/978-3-540-95888-8_2openalex-snapshot
Autonomic Computing Now You See It, Now You Don’t
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-36249-1openalex-snapshot
Assurances for Self-Adaptive Systems
inferredcites →https://doi.org/10.1007/978-3-642-36249-1_2openalex-snapshot
Probabilistic Verification at Runtime for Self-Adaptive Systems
inferredcites →https://doi.org/10.1016/0096-0551(80)90011-9openalex-snapshot
Introduction to automata theory, languages, and computation
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1016/j.infsof.2015.10.001openalex-snapshot
ACon: A learning-based approach to deal with uncertainty in contextual requirements at runtime
inferredcites →https://doi.org/10.1016/j.jlap.2008.08.004openalex-snapshot
A brief account of runtime verification
inferredcites →https://doi.org/10.1109/ase.2009.66openalex-snapshot
Self-Repair through Reconfiguration: A Requirements Engineering Approach
inferredcites →https://doi.org/10.1109/ecbs.2012.30openalex-snapshot
Model Checking Goal-Oriented Requirements for Self-Adaptive Systems
inferredcites →https://doi.org/10.1109/icac.2004.1301377openalex-snapshot
Rainbow: architecture-based self-adaptation with reusable infrastructure
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/seams37196.2015openalex-snapshot
2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing 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.1145/1858996openalex-snapshot
Proceedings of the IEEE/ACM international conference on Automated software engineering
inferredcites →https://doi.org/10.1145/1882291.1882305openalex-snapshot
Synthesis of live behaviour models
inferredcites →https://doi.org/10.1145/1985793openalex-snapshot
Proceedings of the 33rd International Conference on Software Engineering
inferredcites →https://doi.org/10.1145/1985793.1985823openalex-snapshot
Synthesis of live behaviour models for fallible domains
inferredcites →https://doi.org/10.1145/1985793.1985840openalex-snapshot
Run-time efficient probabilistic model checking
inferredcites →https://doi.org/10.1145/1988008openalex-snapshot
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
inferredcites →https://doi.org/10.1145/2330667.2330686openalex-snapshot
Self-adaptive software needs quantitative verification at runtime
inferredcites →https://doi.org/10.1145/2465449openalex-snapshot
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
inferredcites →https://doi.org/10.1145/2465449.2465456openalex-snapshot
An incremental verification framework for component-based software 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.2593937openalex-snapshot
Towards run-time adaptation of test cases for self-adaptive systems in the face of uncertainty
inferredcites →https://doi.org/10.1145/2642937openalex-snapshot
Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering
inferredcites →https://doi.org/10.1145/2642937.2642999openalex-snapshot
Verifying self-adaptive applications suffering uncertainty
inferredcites →https://doi.org/10.1145/288195openalex-snapshot
Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
inferredcites →https://doi.org/10.1145/2897053openalex-snapshot
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
inferredcites →https://doi.org/10.5555/2663546.2663563openalex-snapshot
Engineering adaptation with Zanshin: an experience report
inferredcites →https://doi.org/10.5555/2666795.2666805openalex-snapshot
Evaluation of resilience in self-adaptive systems using probabilistic model-checking
inferredcites →https://doi.org/10.5555/2821357.2821372openalex-snapshot
Hogna: a platform for self-adaptive applications in cloud environments
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/spe.3013openalex-snapshot
Design of frameworks for self‐adaptive service‐oriented applications: A systematic analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-88098-9_4openalex-snapshot
Human, Hardware, and Software Interactions in Risk Assessment
inferred← citeshttps://doi.org/10.1007/978-3-031-07969-6_37openalex-snapshot
Toward a Self-adaptive Supply Chains: L-SCOR Implementation Proposal, and Case Studies Methodology Proposal
inferred← citeshttps://doi.org/10.1007/978-3-031-60609-0_3openalex-snapshot
Verification and Validation of Adaptive Instructional Systems: A Text Mining Review
inferred← citeshttps://doi.org/10.1007/s12652-019-01367-2openalex-snapshot
A Nash equilibrium based decision-making method for internet of things
inferred← citeshttps://doi.org/10.1016/j.future.2019.12.026openalex-snapshot
HAFLoop: An architecture for supporting Highly Adaptive Feedback Loops in self-adaptive systems
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.106220openalex-snapshot
Energy efficient adaptation engines for android applications
inferred← citeshttps://doi.org/10.1016/j.jss.2022.111387openalex-snapshot
Testing anticipatory systems: A systematic mapping study on the state of the art
inferred← citeshttps://doi.org/10.1109/access.2022.3229003openalex-snapshot
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
inferred← citeshttps://doi.org/10.1109/atoms60779.2024.10921602openalex-snapshot
Strategic Website Evaluation through Finite State Machine Analysis Employing MATLAB
inferred← citeshttps://doi.org/10.1109/ici2st51859.2021.00026openalex-snapshot
Models@runtime and Internet of Things: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1109/icsme.2019.00061openalex-snapshot
A Validation Method of Self-Adaptive Strategy Based on POMDP
inferred← citeshttps://doi.org/10.1109/icws49710.2020.00071openalex-snapshot
Lead Time-Aware Proactive Adaptation for Service-Oriented Systems
inferred← citeshttps://doi.org/10.1109/jiot.2019.2891545openalex-snapshot
A User-Oriented Language for Specifying Interconnections Between Heterogeneous Objects in the Internet of Things
inferred← citeshttps://doi.org/10.1109/jiot.2020.2996663openalex-snapshot
A Cache-Based Model Abstraction and Runtime Verification for the Internet-of-Things Applications
inferred← citeshttps://doi.org/10.1109/jiot.2022.3150598openalex-snapshot
Self-Adaptive Framework With Master–Slave Architecture for Internet of Things
inferred← citeshttps://doi.org/10.1109/jiot.2023.3285359openalex-snapshot
Toward Autonomic Internet of Things: Recent Advances, Evaluation Criteria, and Future Research Directions
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/tse.2021.3069192openalex-snapshot
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control
inferred← citeshttps://doi.org/10.1109/wowmom54355.2022.00031openalex-snapshot
Context Aware Adaptive ML Inference in Mobile-Cloud Applications
inferred← citeshttps://doi.org/10.1145/3230833.3230857openalex-snapshot
Distributed and Cooperative firewall/controller in cloud environments
inferred← citeshttps://doi.org/10.1145/3241403.3241424openalex-snapshot
Self-adaptive IoT architectures
inferred← citeshttps://doi.org/10.1145/3372938.3372953openalex-snapshot
A 4-level reference for self-adaptive processes based on SCOR and integrating Q-Learning
inferred← citeshttps://doi.org/10.1145/3477314.3507191openalex-snapshot
Deep learning based self-adaptive framework for environmental interoperability in internet of things
inferred← citeshttps://doi.org/10.1145/3605098.3635948openalex-snapshot
LINK: Self-Adaptive System with Human-Machine Teaming-based Loop for Interoperability in IoT Environments
inferred← citeshttps://doi.org/10.13140/rg.2.2.31186.17603openalex-snapshot
IoT-based Emergency Evacuation Systems
inferred← citeshttps://doi.org/10.30682/tema0802gopenalex-snapshot
SLICE - Solar Lightweight Intelligent Component for Envelopes: application for the ICARO pavilion
inferred← citeshttps://doi.org/10.3390/s19132996openalex-snapshot
Self-Adaptive Framework Based on MAPE Loop for Internet of Things
inferred← citeshttps://doi.org/10.3926/phd-zavalaopenalex-snapshot
Towards adaptative monitoring for self-adaptative systems
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.