Design and Implementation of Self-Protecting systems: A Formal Approach

The vision of autonomic computing

Jeffrey O. Kephart, David M. Chess · Computer · 2003 · 6.3K citations

Autonomous Network, Engineering, Software Engineering +17

Guarded commands, nondeterminacy and formal derivation of programs

Edsger W. Dijkstra · Communications of the ACM · 1975 · 1.9K citations · Full text

Programming Language Theory, Formal Specification, Engineering +15

A logic for reasoning about time and reliability

Hans Hansson, Bengt Jönsson · Formal Aspects of Computing · 1994 · 1.3K citations · Full text

TaintDroid

William Enck, Peter Gilbert, Seungyeop Han et al. · ACM Transactions on Computer Systems · 2014 · 1.2K citations · Full text

Private Data, Software Security, Analysis System +15

Rainbow: architecture-based self-adaptation with reusable infrastructure

David Garlan, Shang-Wen Cheng, Aixin Huang et al. · Computer · 2004 · 978 citations

Reusable Infrastructure, Adaptive Systems, Architecture-based Self-adaptation +14