Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Automated design of self-adaptive software with control-theoretical formal guarantees
A control theory foundation for self-managing computing systems
Engineering self-adaptive systems through feedback loops
Model-Driven Engineering of Self-Adaptive Software with EUREMA
Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software
Self-adaptation Challenges for Cloud-based Applications : A Control Theoretic Perspective
Facilitating Model-Based Control Through Software-Hardware Co-Design
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
A design methodology for reliable software systems
Beyond the rainbow: self-adaptive failure avoidance in configurable systems
An Analysis of Language-Level Support for Self-Adaptive Software
Perpetual Assurances for Self-Adaptive Systems
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
Automatic Testing with Formal Methods
Formal Methods for Software Architectures
Coordinated Actors for Reliable Self-adaptive Systems
A Survey of Automated Techniques for Formal Software Verification
Adaptive automation, trust, and self-confidence in fault management of time-critical tasks
Self-adaptive systems: A survey of current approaches, research challenges and applications
Reasoning about Human Participation in Self-Adaptive Systems
Fuzzy adaptive control for a class of nonlinear systems with unknown control gain
A control theoretic analysis of RED
600 V Reverse Conducting (RC-)IGBT for Drives Applications in Ultra-Thin Wafer Technology
Refining Graphical Password Strength Meters for Android Phones
The efficacy of rebamipide add-on therapy in arthritic patients with COX-2 selective inhibitor-related gastrointestinal events: a prospective, randomized, open-label blinded-endpoint pilot study by the GLORIA study group.
Energy scavenging for mobile and wireless electronics