Rajeev Alur

Cited by

	All	Since 2019
Citations	52402	9971
h-index	92	44
i10-index	237	136

2300

1150

575

1725

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024129 200 376 462 650 674 816 1083 1100 1228 1350 1630 1721 2110 2004 2197 2185 2173 2148 2125 2044 2267 2115 2274 2122 2230 2148 2045 1897 1820 1873 1860 474

Public access

View all

40 articles

3 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
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
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
Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
Salvatore La TorreUniversità degli Studi di SalernoVerified email at unisa.it
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
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Verified email at univista-isg.com
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Armando Solar-LezamaMITVerified email at csail.mit.edu
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com

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	10026	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	2847	1995
Model-checking for real-time systems R Alur, C Courcoubetis, D Dill [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990	2688*	1990
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM (JACM) 49 (5), 672-713, 2002	2269*	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	1883	1991
Automata for modeling real-time systems R Alur, D Dill Automata, Languages and Programming: 17th International Colloquium Warwick …, 1990	1647	1990
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1102	2000
Reactive modules R Alur, TA Henzinger Formal methods in system design 15, 7-48, 1999	1003	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM (JACM) 41 (1), 181-203, 1994	994	1994
Adding nesting structure to words R Alur, P Madhusudan Journal of the ACM (JACM) 56 (3), 1-43, 2009	985*	2009
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM (JACM) 43 (1), 116-146, 1996	951	1996
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	948	1996
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	933	2013
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	912	1992
Timed automata R Alur Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999	906	1999
Real-time logics: complexity and expressiveness R Alur, TA Henzinger Information and Computation 104 (1), 35-77, 1993	822	1993
Principles of cyber-physical systems R Alur MIT press, 2015	604	2015
MOCHA: Modularity in model checking R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998	556	1998
Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993	546	1993
Inference of message sequence charts R Alur, K Etessami, M Yannakakis Proceedings of the 22nd international conference on Software engineering …, 2000	460	2000

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