Pierre Wolper

Cited by

	All	Since 2019
Citations	17370	1711
h-index	46	21
i10-index	64	31

800

400

200

600

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202457 63 77 83 127 171 146 218 239 288 398 500 448 523 483 612 630 558 644 621 795 727 798 717 674 619 545 663 553 558 505 487 390 419 347 280 324 319 303 134

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
131 On the relation of programs and computations to models of temporal logic P Wolper Time and Logic: A Computational Approach, 131-178, 0
13th Intern. Symposium on Protocol Specification, Testing and Verification, Liège, Belgium A Danthine, G Leduc, P Wolper North-Holland, 1993		1993
2018 CAV award KG Larsen, N Shankar, P Wolper, S Jha Formal Methods in System Design 57, 116-117, 2021		2021
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
A Framework to Handle Linear Temporal Properties in (\omega-) Regular Model Checking A Bouajjani, A Legay, P Wolper arXiv preprint arXiv:0901.4080, 2009	2	2009
A metric based theory of test selection and coverage J Alilovic-Curgus, ST Vuong Proceedings of the IFIP TC6/WG6. 1 Thirteenth International Symposium on …, 1993	30	1993
A n E ective D ecision Procedure forLinear A rithm etic with Integerand R ealVariables? B BOIGELOT, SE JODOGNE, PW OLPER arXiv preprint cs/0303019, 0
A partial approach to model checking P Godefroid, P Wolper Logic in Computer Science, 1991. LICS'91., Proceedings of Sixth Annual IEEE …, 1991	434	1991
A Partial Approach to Model Checking P GoDERoo, P WoLPER		1994
A temporal logic for reasoning about partially ordered computations SS Pinter, P Wolper Proceedings of the third annual ACM symposium on Principles of distributed …, 1984	110	1984
A Temporal Logic for Reasoning about Partially Ordered Computations (extended abstract) Shlomit S. Pinter t The Technion P Wolper Proceedings of the Third Annual ACM Symposium on Principles of Distributed …, 1984		1984
A tutorial on partial-order methods for the verification of concurrent systems P Wolper Computer Aided Verification'93 Tutorial, 1993	12	1993
A Validation Environment for LOTOS A Danthine, G Leduc, P Wolper Protocol Specification, Testing and Verification, Xiii: Proceedings of the …, 1993		1993
A verification-based approach to memory fence insertion in PSO memory systems A Linden, P Wolper International Conference on Tools and Algorithms for the Construction and …, 2013	41	2013
A verification-based approach to memory fence insertion in relaxed memory systems A Linden, P Wolper International SPIN Workshop on Model Checking of Software, 144-160, 2011	43	2011
Adding liveness properties to coupled finite-state machines S Aggarwal, C Courcoubetis, P Wolper ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (2), 303-339, 1990	70	1990
Algorithms for Synthesizing Reactive Systems: A Perspective P Wolper Lecture Notes in Computer Science, 308-308, 1999	1	1999
An algorithmic approach for checking closure properties of temporal logic specifications and ω-regular languages D Peled, T Wilke, P Wolper Theoretical Computer Science 195 (2), 183-203, 1998	59	1998
An algorithmic approach for checking closure properties of ω-regular languages D Peled, T Wilke, P Wolper CONCUR'96: Concurrency Theory: 7th International Conference Pisa, Italy …, 1996	32	1996
An automata-based symbolic approach for verifying programs on relaxed memory models A Linden, P Wolper International SPIN Workshop on Model Checking of Software, 212-226, 2010	43	2010

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