Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
FORMS: a formal reference model for self-adaptation
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
Comparison of approaches for developing self-adaptive systems
DARE: A Distributed Adaptation and Failure Recovery Framework for Software Systems
Modeling and validating self-adaptive service-oriented applications
A specifier's introduction to formal methods
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems
software engineering for self - adaptive systems ii .
Software Engineering for Self-Adaptive Systems : A Research Roadmap
Control Strategies for Self-Adaptive Software Systems
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
Modeling Dimensions of Self-Adaptive Software Systems
Self-adaptive systems: A survey of current approaches, research challenges and applications
Self-organising software architectures for distributed systems
Uncertainty in Self-Adaptive Software Systems
Model-Based Simulation at Runtime for Self-Adaptive Systems
A Design Space for Self-Adaptive Systems
A systematic survey on the design of self-adaptive software systems using control engineering approaches
Self-stabilizing systems in spite of distributed control
Reasoning about Human Participation in Self-Adaptive Systems
Different Contexts Lead to Different Word Embeddings
Analysis of Facial Skin Thickness: Defining the Relative Thickness Index
A pomegranate (Punica granatum L.) WD40-repeat gene is a functional homologue of Arabidopsis TTG1 and is involved in the regulation of anthocyanin biosynthesis during pomegranate fruit development
Engineering self-adaptive systems through feedback loops
Self-Configuration of Antenna Tilt and Power for Plug & Play Deployed Cellular Networks