Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

A Theory of Timed Automata

Alur, R. and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994) 183-235. We propose timed (j&e) automata to model the behavior of real-time systems over time. Our… Expand

The Algorithmic Analysis of Hybrid Systems

- R. Alur, C. Courcoubetis, +6 authors S. Yovine
- Mathematics, Computer Science
- Theor. Comput. Sci.
- 6 February 1995

We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid… Expand

Alternating-time temporal logic

- R. Alur, T. Henzinger, O. Kupferman
- Computer Science
- Proceedings 38th Annual Symposium on Foundations…
- 19 October 1997

Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by system moves; branching-time temporal logic allows… Expand

Model-Checking in Dense Real-time

- R. Alur, C. Courcoubetis, D. Dill
- Computer Science
- Inf. Comput.
- 1 May 1993

Model-checking is a method of verifying concurrent systems in which a state-transition graph model of the system behavior is compared with a temporal logic formula. This paper extends model-checking… Expand

Visibly pushdown languages

- R. Alur, P. Madhusudan
- Computer Science
- STOC '04
- 13 June 2004

We propose the class of visibly pushdown languages as embeddings of context-free languages that is rich enough to model program analysis questions and yet is tractable and robust like the class of… Expand

Automata For Modeling Real-Time Systems

To model the behavior of finite-state asynchronous real-time systems we propose the notion of timed Buchi automata (TBA). TBAs are Buchi automata coupled with a mechanism to express constant bounds… Expand

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

- R. Alur, C. Courcoubetis, T. Henzinger, Pei-Hsin Ho
- Computer Science
- Hybrid Systems
- 1992

We introduce the framework of hybrid automata as a model and specification language for hybrid systems. Hybrid automata can be viewed as a generalization of timed automata, in which the behavior of… Expand

The Benefits of Relaxing Punctuality

- R. Alur, T. Feder, T. Henzinger
- Computer Science
- PODC
- 1 July 1991

The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satistiability of timing constraints that are capable of expressing punctuality in this model,… Expand

Adding nesting structure to words

- R. Alur, P. Madhusudan
- Computer Science
- JACM
- 1 May 2009

We propose the model of nested words for representation of data with both a linear ordering and a hierarchically nested matching of items. Examples of data with such dual linear-hierarchical… Expand