Rajeev Alur
5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Reactive Modules
Rajeev Alur and others (1999) · Formal Methods in System Design · Springer Science+Business Media
Timed Automata
Rajeev Alur (1999) · Lecture notes in computer science · Springer Science+Business Media
Automatic symbolic verification of embedded systems
Rajeev Alur and others (1996) · IEEE Transactions on Software Engineering · IEEE Computer Society
The benefits of relaxing punctuality
Rajeev Alur and others (1996) · ACM Symposium on Principles of Distributed Computing (PODC)
Logics and models of real time: A survey
Rajeev Alur and others (1992) · Lecture notes in computer science · Springer Science+Business Media