Pierre Wolper

Cited by

	All	Since 2016
Citations	15889	1908
h-index	46	21
i10-index	62	36

800

400

200

600

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202164 59 70 101 143 150 145 206 218 259 408 492 421 472 465 575 579 546 628 611 730 713 798 726 651 604 549 651 558 556 512 487 389 408 333 283 8

Co-authors

Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Bernard BoigelotProfessor, Université de LiègeVerified email at ulg.ac.be
Patrice GodefroidMicrosoft ResearchVerified email at microsoft.com
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
axel legayUCLouvainVerified email at uclouvain.be
Costas CourcoubetisProfessor of Singapore University of Technology and DesignVerified email at sutd.edu.sg
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Mihalis YannakakisPercy K. and Vida L. W. Hudson Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Jan ChomickiProfessor of Computer Science and Engineering, SUNY at BuffaloVerified email at buffalo.edu
Sébastien JodogneUniversity of LiègeVerified email at uliege.be
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Alexander LindenUniversité de LiègeVerified email at montefiore.ulg.ac.be
Froduald KabanzaProfessor of Computer Science, Université de SherbrookeVerified email at usherbrooke.ca
Ahmed BouajjaniProfessor Computer Science, University of ParisVerified email at irif.fr
Thomas WilkeProfessor of Computer Science, Dept. of Computer Science, Kiel UniversityVerified email at ti.informatik.uni-kiel.de
Shlomit PinterVerified email at cs.haifa.ac.il
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de

Pierre Wolper

Professor of Computer Science, Université de Liège, Belgium

Verified email at ulg.ac.be - Homepage

Automata theory logic formal methods model checking data bases


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An automata-theoretic approach to automatic program verification MY Vardi, P Wolper Proceedings of the First Symposium on Logic in Computer Science, 322-331, 1986	2149	1986
Simple on-the-fly automatic verification of linear temporal logic R Gerth, D Peled, MY Vardi, P Wolper International Conference on Protocol Specification, Testing and Verification …, 1995	1091	1995
Reasoning about infinite computations MY Vardi, P Wolper Information and Computation 115 (1), 1-37, 1994	1052	1994
Temporal logic can be more expressive P Wolper Information and control 56 (1-2), 72-99, 1983	986	1983
Memory-efficient algorithms for the verification of temporal properties C Courcoubetis, M Vardi, P Wolper, M Yannakakis Formal methods in system design 1 (2-3), 275-288, 1992	813	1992
Synthesis of communicating processes from temporal logic specifications Z Manna, P Wolper ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (1), 68-93, 1984	764	1984
Automata-theoretic techniques for modal logics of programs MY Vardi, P Wolper Journal of Computer and System Sciences 32 (2), 183-221, 1986	677	1986
An automata-theoretic approach to branching-time model checking O Kupferman, MY Vardi, P Wolper Journal of the ACM (JACM) 47 (2), 312-360, 2000	652	2000
The complementation problem for Büchi automata with applications to temporal logic AP Sistla, MY Vardi, P Wolper Theoretical Computer Science 49 (2-3), 217-237, 1987	568	1987
Using partial orders for the efficient verification of deadlock freedom and safety properties P Godefroid, P Wolper International Conference on Computer Aided Verification, 332-342, 1991	501	1991
Reasoning about infinite computation paths P Wolper, MY Vardi, AP Sistla Foundations of Computer Science, 1983., 24th Annual Symposium on, 185-194, 1983	466	1983
A partial approach to model checking P Godefroid, P Wolper Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE …, 1991	399	1991
Realizable and unrealizable specifications of reactive systems M Abadi, L Lamport, P Wolper Automata, languages and programming, 1-17, 1989	390*	1989
Expressing interesting properties of programs in propositional temporal logic P Wolper Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986	381	1986
The tableau method for temporal logic: An overview P Wolper Logique et Analyse, 119-136, 1985	357	1985
Verifying properties of large sets of processes with network invariants P Wolper, V Lovinfosse International Conference on Computer Aided Verification, 68-80, 1989	300	1989
A direct symbolic approach to model checking pushdown systems A Finkel, B Willems, P Wolper Electronic Notes in Theoretical Computer Science 9, 27-37, 1997	269	1997
An automata-theoretic approach to branching-time model checking O Bernholtz, MY Vardi, P Wolper International Conference on Computer Aided Verification, 142-155, 1994	269	1994
Module checking O Kupferman, MY Vardi, P Wolper Information and Computation 164 (2), 322-344, 2001	256*	2001
Verifying systems with infinite but regular state spaces B Boigelot, P Wolper Proc. of CAV’98, LNCS 1427, 1998	217*	1998

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

Upload PDF

Follow this author

Cited by

Co-authors