Pierre Wolper

Cited by

	All	Since 2018
Citations	16953	1802
h-index	46	21
i10-index	65	35

920

460

230

690

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202360 56 83 75 127 143 130 214 222 257 364 479 427 495 450 564 650 567 643 613 917 727 783 711 668 633 545 672 567 575 525 497 397 410 347 268 317 311 149

Co-authors

Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Bernard BoigelotProfessor, Université de LiègeVerified email at ulg.ac.be
Patrice GodefroidLaceworkVerified email at lacework.net
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 KabanzaProfessor of Computer Science, Université de 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

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	2314	1986
Simple on-the-fly automatic verification of linear temporal logic R Gerth, D Peled, MY Vardi, P Wolper Protocol Specification, Testing and Verification XV: Proceedings of the …, 1996	1204	1996
Reasoning about infinite computations MY Vardi, P Wolper Information and Computation 115 (1), 1-37, 1994	1140	1994
Temporal logic can be more expressive P Wolper Information and control 56 (1-2), 72-99, 1983	1072	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	869	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	794	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	717	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	686	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	617	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	538	1992
Reasoning about infinite computation paths P Wolper, MY Vardi, AP Sistla Foundations of Computer Science, 1983., 24th Annual Symposium on, 185-194, 1983	489	1983
A partial approach to model checking P Godefroid, P Wolper Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE …, 1991	427	1991
Expressing interesting properties of programs in propositional temporal logic P Wolper Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986	423	1986
Realizable and unrealizable specifications of reactive systems M Abadi, L Lamport, P Wolper Automata, languages and programming, 1-17, 1989	418*	1989
The tableau method for temporal logic: An overview P Wolper Logique et Analyse, 119-136, 1985	381	1985
Verifying properties of large sets of processes with network invariants P Wolper, V Lovinfosse Automatic Verification Methods for Finite State Systems: International …, 1990	318	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	299	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	270	1994
Symbolic verification with periodic sets B Boigelot, P Wolper Computer Aided Verification: 6th International Conference, CAV'94 Stanford …, 1994	228	1994
Reliable hashing without collision detection P Wolper, D Leroy Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993	225	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