Operational semantics of a domain specific language for real time musician–computer interaction

Maintaining knowledge about temporal intervals

James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text

Computing, History, Information Retrieval +4

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

The worst-case execution-time problem—overview of methods and survey of tools

Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl et al. · ACM Transactions on Embedded Computing Systems · 2008 · 1.8K citations

Engineering, Computer Engineering, Computer Science +17

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

The synchronous data flow programming language LUSTRE

Nicolas Halbwachs, P. Caspi, Pascal Raymond et al. · Proceedings of the IEEE · 1991 · 1.5K citations · Full text

Computing, Computer Science, Computer Systems +15