Pierre Wolper

Cited by

	All	Since 2020
Citations	17582	1549
h-index	46	20
i10-index	64	32

800

400

200

600

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202563 77 86 127 171 146 222 236 287 399 502 448 523 479 611 631 561 644 623 791 733 797 720 676 623 545 658 546 566 506 489 392 420 348 283 328 320 296 288 34

Co-authors

Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Bernard BoigelotProfessor, Université de LiègeVerified email at ulg.ac.be
axel legayUCLouvainVerified email at uclouvain.be
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Jan ChomickiProfessor of Computer Science and Engineering, SUNY at BuffaloVerified email at buffalo.edu
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
Sébastien JodogneUCLouvainVerified email at uclouvain.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 KabanzaDepartment of Computer Science, University of SherbrookeVerified email at usherbrooke.ca
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified 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
Patrice GodefroidLacework

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 1st Symposium in Logic in Computer Science (LICS), 1986	2418	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	1253	1995
Reasoning about infinite computations MY Vardi, P Wolper Information and Computation 115 (1), 1-37, 1994	1197	1994
Temporal logic can be more expressive P Wolper Information and control 56 (1-2), 72-99, 1983	1118	1983
Memory-efficient algorithms for the verification of temporal properties C Courcoubetis, M Vardi, P Wolper, M Yannakakis Formal methods in system design 1, 275-288, 1992	896	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	818	1984
Automata theoretic techniques for modal logics of programs MY Vardi, P Wolper Proceedings of the sixteenth annual acm symposium on theory of computing …, 1984	746	1984
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	705	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	635	1987
Using partial orders for the efficient verification of deadlock freedom and safety properties P Godefroid, P Wolper Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992	552	1992
Reasoning about infinite computation paths P Wolper, MY Vardi, AP Sistla Foundations of Computer Science, 1983., 24th Annual Symposium on, 185-194, 1983	506	1983
Realizable and unrealizable specifications of reactive systems M Abadi, L Lamport, P Wolper Automata, languages and programming, 1-17, 1989	442*	1989
A partial approach to model checking P Godefroid, P Wolper Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE …, 1991	439	1991
Expressing interesting properties of programs in propositional temporal logic P Wolper Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986	412	1986
The tableau method for temporal logic: An overview P Wolper Logique et Analyse, 119-136, 1985	408	1985
Verifying properties of large sets of processes with network invariants P Wolper, V Lovinfosse Automatic Verification Methods for Finite State Systems: International …, 1990	315	1990
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	306	1997
An automata-theoretic approach to branching-time model checking O Bernholtz, MY Vardi, P Wolper Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	272	1994
Symbolic verification with periodic sets B Boigelot, P Wolper Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	231	1994
Verifying systems with infinite but regular state spaces B Boigelot, P Wolper Proc. of CAV’98, LNCS 1427, 1998	230*	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

Follow

Cited by

Co-authors