Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

Engineering, Systems Engineering, Complex Systems +10

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9

Enforceable security policies

Fred B. Schneider · ACM Transactions on Information and System Security · 2000 · 1.3K citations · Full text

Computing, Computer Science, Cybersecurity +14

Proving the Correctness of Multiprocess Programs

Leslie Lamport · IEEE Transactions on Software Engineering · 1977 · 1.1K citations

Computing, Computer Science, Computer Systems +17

Aspect-Oriented Programming is Quantification and Obliviousness

Robert E. Filman, Daniel P. Friedman · 2000 · 539 citations

Computing, Computer Science, Programming Languages +11