Rajeev Alur

Cited by

	All	Since 2020
Citations	54852	9641
h-index	97	45
i10-index	249	134

2400

1200

600

1800

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025193 382 453 637 682 822 1094 1096 1222 1388 1646 1791 2130 2047 2246 2229 2227 2184 2181 2076 2314 2162 2304 2149 2242 2173 2082 1921 1872 1896 1922 1894 133

Public access

View all

49 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Thomas HenzingerIST AustriaVerified email at ist.ac.at
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
George PappasUPS Foundation Professor, 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
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
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
Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
Franjo IvančićGoogle, Inc.Verified email at google.com
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
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
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Armando Solar-LezamaMITVerified email at csail.mit.edu
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Verified email at univista-isg.com
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
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

Rajeev Alur

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

Verified email at seas.upenn.edu - Homepage

Formal methods Trustworthy AI Cyber-physical systems Programming languages 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	10307	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	2884	1995
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002	1993	2002
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho International Hybrid Systems Workshop, 209-229, 1991	1913	1991
Automata for modeling real-time systems R Alur, D Dill Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	1661	1990
Model-checking for real-time systems R Alur, C Courcoubetis, D Dill Fifth Annual IEEE Symposium on Logic in Computer Science, 414-425, 1990	1447	1990
Model checking in dense real time R Alur, C Courcoubetis, D Dill Information and Computation 104 (1), 2-32, 1993	1410	1993
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1121	2000
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	1047	2013
Reactive modules R Alur, TA Henzinger Formal methods in system design 15, 7-48, 1999	1019	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM (JACM) 41 (1), 181-203, 1994	1015	1994
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM (JACM) 43 (1), 116-146, 1996	1004	1996
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	954	1996
Logics and models of real time: A survey R Alur, TA Henzinger Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992	921	1992
Timed automata R Alur Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	912	1999
Real-time logics: complexity and expressiveness R Alur, TA Henzinger Information and Computation 104 (1), 35-77, 1993	850	1993
Visibly pushdown languages R Alur, P Madhusudan Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004	745	2004
Principles of Cyber-Physical Systems R Alur The MIT Press, 2015	674	2015
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman International Symposium on Compositionality, 23-60, 1997	609	1997
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	578	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

Cited by

Co-authors