Alain Finkel

Cited by

	All	Since 2018
Citations	6640	1275
h-index	33	18
i10-index	78	33

400

200

100

300

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202352 41 41 57 139 119 137 140 246 288 353 328 263 284 359 297 400 320 307 270 353 340 270 237 260 244 205 58

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jerome LerouxCNRS researcher, LaBRI, FranceVerified email at labri.fr
Antoine PetitEns de CachanVerified email at ens-cachan.fr
Béatrice Bérardprofesseur d'informatique, Université Pierre et Marie CurieVerified email at lip6.fr
Michel BidoitLSV, CNRS & ENS Cachan, FranceVerified email at lsv.ens-cachan.fr
Sébastien BardinCEA LISTVerified email at cea.fr
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Michael BlondinAssistant 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
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
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
Isabelle Tellieruniversité Paris 3 Sorbonne Nouvelle - LatticeVerified email at univ-paris3.fr
Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityVerified email at philosophy.su.se
Govert van DrimmelenUniversity of JohannesburgVerified email at icon.co.za
Claudine PicaronnyMaître de conférences, ENS CachanVerified email at lsv.ens-cachan.fr

Alain Finkel

LSV ENS Paris Saclay

Verified email at lsv.fr - Homepage

model checking foundations of algorithmic verification model checking theoretical computer science cognitive analysis


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	1168	2013
Well-structured transition systems everywhere! A Finkel, P Schnoebelen Theoretical Computer Science 256 (1-2), 63-92, 2001	899	2001
Reset nets between decidability and undecidability C Dufourd, A Finkel, P Schnoebelen Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 2006	361	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	347	1999
On the verification of broadcast protocols J Esparza, A Finkel, R Mayr Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	347	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	297	1997
The minimal coverability graph for Petri nets A Finkel International Conference on Application and Theory of Petri Nets, 210-243, 1991	254	1991
How to compose Presburger-accelerations: Applications to broadcast protocols A Finkel, J Leroux FSTTCS 2, 145-156, 2002	210	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 CAV 3, 118-121, 2003	156	2003
FAST: Fast acceleration of symbolic transition systems S Bardin, A Finkel, J Leroux, L Petrucci CAV 3, 118-121, 2003	156	2003
Reduction and covering of infinite reachability trees A Finkel Information and Computation 89 (2), 144-179, 1990	139	1990
Verification of programs with half-duplex communication G Cécé, A Finkel Information and Computation 202 (2), 166-190, 2005	108	2005
Flat acceleration in symbolic model checking S Bardin, A Finkel, J Leroux, P Schnoebelen ATVA 5, 474-488, 2005	106	2005
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 I: Completions A Finkel, J Goubault-Larrecq arXiv preprint arXiv:0902.1587, 2009	99	2009
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	99	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	92	2008
Forward analysis for WSTS, part II: Complete WSTS A Finkel, J Goubault-Larrecq International Colloquium on Automata, Languages, and Programming, 188-199, 2009	91	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	73	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