Scalable offline monitoring of temporal specifications

MapReduce

Sanjay Ghemawat · Communications of the ACM · 2008 · 18.5K citations · Full text

Computing, Computer Science, Computer Systems +17

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Specifying real-time properties with metric temporal logic

Ron Koymans · Real-Time Systems · 1990 · 1.2K citations

Computing, Computer Systems, Formal Methods +12

The UCON_ABCusage control model

Jae-Hong Park, Ravi Sandhu · ACM Transactions on Information and System Security · 2004 · 943 citations

Computing, Computer Science, Computer Systems +12

S4: Distributed Stream Computing Platform

Leonardo Neumeyer, Bruce Robbins, Anish Nair et al. · 2010 · 905 citations

Computing, Computer Science, Computer Systems +16