Alain Finkel

Cited by

	All	Since 2020
Citations	7171	1287
h-index	34	19
i10-index	87	40

380

190

285

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202557 42 54 58 130 118 136 147 259 293 354 339 267 282 355 293 374 313 311 268 347 318 266 249 265 222 209 261 312 13

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	1243	2013
Well-structured transition systems everywhere! A Finkel, P Schnoebelen Theoretical Computer Science 256 (1-2), 63-92, 2001	951	2001
Reset nets between decidability and undecidability C Dufourd, A Finkel, P Schnoebelen Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 2006	374	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	366	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	306	1997
The minimal coverability graph for Petri nets A Finkel International Conference on Application and Theory of Petri Nets, 210-243, 1991	280	1991
How to compose Presburger-accelerations: Applications to broadcast protocols A Finkel, J Leroux FSTTCS 2, 145-156, 2002	217	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	178	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	145	1990
Verification of programs with half-duplex communication G Cécé, A Finkel Information and Computation 202 (2), 166-190, 2005	117	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	107	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
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	81	2015
A well-structured framework for analysing Petri net extensions A Finkel, P McKenzie, C Picaronny Information and Computation 195 (1-2), 1-29, 2004	81	2004

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