Concepedia

Alain Finkel

AF

25

Publications

1.3K

Citations

17

H-Index

1982

Active since

Affiliations

École Normale Supérieure Paris-Saclay(Current)

Centre National de la Recherche Scientifique

Laboratoire Spécification et Vérification

Institut national de recherche en sciences et technologies du numérique

Université de Bordeaux

Alain Finkel is an author at École Normale Supérieure Paris-Saclay specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningVerificationSystems EngineeringComputational ComplexitySoftware AnalysisMathematical Programming

Publications per year

1982–2020

25

Publications

25

On the verification of broadcast protocols

Javier Esparza, Alain Finkel, Richard Mayr · 2003 · 246 citations

Engineering, Broadcast Protocol, Survivable System +17

A direct symbolic approach to model checking pushdown systems

Alain Finkel, Bernard Willems, Pierre Wolper · Open Repository and Bibliography (University of Liège) · 1997 · 178 citations

A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)

Alain Finkel, Bernard Willems, Pierre Wolper · Electronic Notes in Theoretical Computer Science · 1997 · 148 citations · Full text

Engineering, Reachability Problem, Verification +19

Unreliable Channels Are Easier to Verify Than Perfect Channels

Gérard Cécé, Alain Finkel, S. Purushothaman Iyer · Information and Computation · 1996 · 129 citations

Reliability, Reliability Engineering, Unreliable Channels +7

New technique for evaluating long range internal back stresses

W. Blum, Alain Finkel · Acta Metallurgica · 1982 · 78 citations

Kinesiology, Engineering, Strength Property +6

Rows per page

1–5 of 25