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