Pierre Wolper

Cited by

	All	Since 2019
Citations	17470	1798
h-index	46	21
i10-index	64	36

800

400

200

600

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202457 63 77 83 127 171 146 220 237 288 401 501 448 523 480 611 631 556 644 623 791 731 797 718 676 620 545 663 548 564 507 489 392 419 349 282 324 320 299 220

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 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

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	2400	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	1239	1995
Reasoning about infinite computations MY Vardi, P Wolper Information and Computation 115 (1), 1-37, 1994	1182	1994
Temporal logic can be more expressive P Wolper Information and control 56 (1-2), 72-99, 1983	1110	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	888	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	815	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	743	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	699	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	629	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	502	1983
Realizable and unrealizable specifications of reactive systems M Abadi, L Lamport, P Wolper Automata, languages and programming, 1-17, 1989	437*	1989
A partial approach to model checking P Godefroid, P Wolper Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE …, 1991	436	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	401	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	305	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