Rajeev Alur

Cited by

	All	Since 2017
Citations	48937	10865
h-index	91	48
i10-index	234	146

2400

1200

600

1800

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022133 188 354 471 575 697 804 1007 1118 1168 1296 1605 1738 2054 2055 2205 2224 2217 2175 2178 2053 2288 2153 2316 2138 2215 2121 2001 1913 1811 796

Public access

View all

38 articles

1 article

available

not available

Based on funding mandates

Co-authors

Thomas HenzingerISTAustriaVerified email at ist.ac.at
David DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
George J. PappasProfessor or Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Kousha EtessamiUniversity of EdinburghVerified email at inf.ed.ac.uk
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
Franjo IvančićGoogle, Inc.Verified email at google.com
Vijay KumarProfessor of Mechanical Engineering and Applied Mechanics, University of PennsylvaniaVerified email at seas.upenn.edu
Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Verified email at univista-isg.com
Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Oleg SokolskyUniversity of PennsylvaniaVerified email at cis.upenn.edu

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania

Verified email at cis.upenn.edu - Homepage

Formal methods Cyber-physical systems Programming languages Automata theory Logic in computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A theory of timed automata R Alur, DL Dill Theoretical computer science 126 (2), 183-235, 1994	9544	1994
The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical computer science 138 (1), 3-34, 1995	2612	1995
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid systems, 209-229, 1992	1803	1992
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002	1740	2002
Automata for modeling real-time systems R Alur, D Dill International colloquium on automata, languages, and programming, 322-335, 1990	1581	1990
Model-checking for real-time systems R Alur, C Courcoubetis, D Dill [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990	1385	1990
Model-checking in dense real-time R Alur, C Courcoubetis, D Dill Information and computation 104 (1), 2-34, 1993	1334	1993
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1041	2000
A really temporal logic R Alur, TA Henzinger Journal of the ACM (JACM) 41 (1), 181-203, 1994	944	1994
Reactive modules R Alur, TA Henzinger Formal methods in system design 15 (1), 7-48, 1999	940	1999
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	932	1996
Logics and models of real time: A survey R Alur, TA Henzinger Workshop/School/Symposium of the REX Project (Research and Education in …, 1991	885	1991
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM (JACM) 43 (1), 116-146, 1996	878	1996
Timed automata R Alur International Conference on Computer Aided Verification, 8-22, 1999	753	1999
Syntax-guided synthesis R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ... 2013 Formal Methods in Computer-Aided Design, 1-8, 2013	708	2013
Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	672	2004
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman International Symposium on Compositionality, 23-60, 1997	575	1997
MOCHA: Modularity in model checking R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran International Conference on Computer Aided Verification, 521-525, 1998	537	1998
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	507	1993
Real-time logics: complexity and expressiveness R Alur, TA Henzinger Information and Computation 104 (1), 35-77, 1993	468	1993

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors