Pierre Wolper

Cited by

	All	Since 2016
Citations	15903	1980
h-index	46	21
i10-index	62	37

800

400

200

600

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202157 53 72 94 139 136 132 205 207 279 397 474 415 478 469 562 575 541 618 613 733 728 785 727 661 619 552 659 555 551 518 493 396 404 335 275 77

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
axel legayUCLouvainVerified email at uclouvain.be
Costas CourcoubetisProfessor of Singapore University of Technology and DesignVerified email at sutd.edu.sg
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
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	2138	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	1114	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	992	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), 275-288, 1992	810	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	747	1984
Automata-theoretic techniques for modal logics of programs MY Vardi, P Wolper Journal of Computer and System Sciences 32 (2), 183-221, 1986	674	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	658	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	566	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	502	1991
Reasoning about infinite computation paths P Wolper, MY Vardi, AP Sistla Foundations of Computer Science, 1983., 24th Annual Symposium on, 185-194, 1983	468	1983
A partial approach to model checking P Godefroid, P Wolper Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE …, 1991	397	1991
Realizable and unrealizable specifications of reactive systems M Abadi, L Lamport, P Wolper Automata, languages and programming, 1-17, 1989	389*	1989
Expressing interesting properties of programs in propositional temporal logic P Wolper Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of …, 1986	385	1986
The tableau method for temporal logic: An overview P Wolper Logique et Analyse, 119-136, 1985	358	1985
Verifying properties of large sets of processes with network invariants P Wolper, V Lovinfosse International Conference on Computer Aided Verification, 68-80, 1989	298	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	271	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	263	1994
Module checking O Kupferman, MY Vardi, P Wolper Information and Computation 164 (2), 322-344, 2001	262*	2001
Symbolic verification with periodic sets B Boigelot, P Wolper International Conference on Computer Aided Verification, 55-67, 1994	217	1994

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