Alain Finkel

Cited by

	All	Since 2019
Citations	7103	1473
h-index	34	20
i10-index	87	43

380

190

285

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202458 42 54 58 130 118 135 147 259 291 356 339 267 282 355 293 375 313 309 268 348 313 267 250 262 225 205 269 257

Public access

View all

21 articles

1 article

available

not available

Based on funding mandates

Co-authors

Antoine PetitEns de CachanVerified email at ens-cachan.fr
Béatrice Bérardprofesseur émérite d'informatique, Sorbonne UniversitéVerified email at lip6.fr
Michel BidoitLSV, CNRS & ENS Cachan, FranceVerified email at lsv.ens-cachan.fr
Jerome LerouxCNRS researcher, LaBRI, FranceVerified email at labri.fr
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Sébastien BardinCEA, List, Université Paris-SaclayVerified email at cea.fr
Michael BlondinAssociate professor, Université de SherbrookeVerified email at usherbrooke.ca
Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr
S. Purushothaman IyerARO (Network Science) and NCSU (Compuer Science)Verified email at ncsu.edu
Jean Goubault-LarrecqVerified email at lsv.fr
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumVerified email at ulg.ac.be
Michaël CadilhacDePaul UniversityVerified email at cadilhac.name
Etienne LozesUniversité Côte d'AzurVerified email at univ-cotedazur.fr
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Rachid GherbiUnivesity of Paris-SaclayVerified email at u-psud.fr
Isabelle Tellieruniversité Paris 3 Sorbonne Nouvelle - LatticeVerified email at univ-paris3.fr
Claudine PicaronnyMaître de conférences, ENS CachanVerified email at lsv.ens-cachan.fr
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se

Alain Finkel

LMF ENS Paris Saclay

Verified email at ens-paris-saclay.fr - Homepage

model checking foundations of algorithmic verification model checking theoretical computer


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Systems and software verification: model-checking techniques and tools B Bérard, M Bidoit, A Finkel, F Laroussinie, A Petit, L Petrucci, ... Springer Science & Business Media, 2013	1241	2013
Well-structured transition systems everywhere! A Finkel, P Schnoebelen Theoretical Computer Science 256 (1-2), 63-92, 2001	944	2001
Reset nets between decidability and undecidability C Dufourd, A Finkel, P Schnoebelen Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 2006	373	2006
On the verification of broadcast protocols J Esparza, A Finkel, R Mayr Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	362	1999
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
The minimal coverability graph for Petri nets A Finkel International Conference on Application and Theory of Petri Nets, 210-243, 1991	278	1991
How to compose Presburger-accelerations: Applications to broadcast protocols A Finkel, J Leroux FSTTCS 2, 145-156, 2002	216	2002
Unreliable channels are easier to verify than perfect channels G Cécé, A Finkel, SP Iyer Information and Computation 124 (1), 20-31, 1996	177	1996
Fast: Fast acceleration of symbolic transition systems S Bardin, A Finkel, J Leroux, L Petrucci Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003	170	2003
Reduction and covering of infinite reachability trees A Finkel Information and Computation 89 (2), 144-179, 1990	142	1990
Verification of programs with half-duplex communication G Cécé, A Finkel Information and Computation 202 (2), 166-190, 2005	114	2005
Flat acceleration in symbolic model checking S Bardin, A Finkel, J Leroux, P Schnoebelen Automated Technology for Verification and Analysis: Third International …, 2005	112	2005
A generalization of the procedure of Karp and Miller to well structured transition systems A Finkel Automata, Languages and Programming: 14th International Colloquium Karlsruhe …, 1987	108	1987
FAST: acceleration from theory to practice S Bardin, A Finkel, J Leroux, L Petrucci International Journal on Software Tools for Technology Transfer (STTT) 10 (5 …, 2008	103	2008
Forward analysis for WSTS, part I: Completions A Finkel, J Goubault-Larrecq arXiv preprint arXiv:0902.1587, 2009	101	2009
Decidability of the termination problem for completely specified protocols A Finkel Distributed Computing 7 (3), 129-135, 1994	101	1994
Forward Analysis for WSTS, Part II: Complete WSTS A Finkel, J Goubault-Larrecq Logical Methods in Computer Science 8, 2012	95	2012
Forward analysis for WSTS, part II: Complete WSTS A Finkel, J Goubault-Larrecq International Colloquium on Automata, Languages, and Programming, 188-199, 2009	95	2009
A well-structured framework for analysing Petri net extensions A Finkel, P McKenzie, C Picaronny Information and Computation 195 (1-2), 1-29, 2004	80	2004
Reachability in two-dimensional vector addition systems with states is PSPACE-complete M Blondin, A Finkel, S Göller, C Haase, P McKenzie 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 32-43, 2015	76	2015

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