Alain Finkel - Concepedia

Author

Alain Finkel

Also Known As

A. Finkel, ALAIN FINKEL, Alain FInkel, Alain Finkel, Alan Finkel, Ann Finkel, Benvenuti, Alberto, Comon, Hubert, Finkel, Alain, LSV-CNRS & ENS Cachan, 61,av du Pdt Wilson F-94235 Cachan Cedex, France

106

Publications

2.8K

Citations

H-Index

Concepts

All Affiliations

École Normale Supérieure Paris-Saclay 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

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	20	1.1K
2	Computer Science	14	16	768
3	Language Studies	3	3	64
4	Computer Engineering	2	2	36
5	Communication	1	1	129

Alain Finkel

Publications

1.3K

Citations

H-Index

Page 1

	Year	Citations
On the verification of broadcast protocols Javier Esparza, Alain Finkel, Richard Mayr EngineeringBroadcast ProtocolSurvivable SystemInformation SecurityVerification	2003	246
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
A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract) Alain Finkel, Bernard Willems, Pierre Wolper Electronic Notes in Theoretical Computer Science EngineeringReachability ProblemVerificationPushdown AutomatonComputer-aided Verification	1997	148
Unreliable Channels Are Easier to Verify Than Perfect Channels Gérard Cécé, Alain Finkel, S. Purushothaman Iyer Information and Computation ReliabilityReliability EngineeringUnreliable ChannelsEngineeringVerification	1996	129
New technique for evaluating long range internal back stresses W. Blum, Alain Finkel Acta Metallurgica KinesiologyEngineeringStrength PropertyStressstrain AnalysisStructural Health Monitoring	1982	78
FAST: acceleration from theory to practice Sébastien Bardin, Alain Finkel, Jérôme Leroux, International Journal on Software Tools for Technology Transfer Computational ScienceEngineeringSpecial RelativityRobot LearningKinematics	2008	78
Verification of programs with half-duplex communication Gérard Cécé, Alain Finkel Information and Computation Program CheckingEngineeringProgram AnalysisVerificationFormal Methods	2005	72
Forward analysis for WSTS, Part I: Completions Alain Finkel, Jean Goubault-Larrecq ArXiv.org Mathematical ProgrammingForward AnalysisUpward ClosureComputational Complexity TheoryEngineering	2009	48
Well-abstracted transition systems: application to FIFO automata Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre Information and Computation Logical AutomatonFifo AutomataEngineeringAutomated ReasoningFormal Methods	2003	40
An introduction to FIFO nets— monogeneous nets: A subclass of FIFO nets Gérard Memmi, Alain Finkel Theoretical Computer Science Petri NetNetwork FlowsEngineeringData ScienceAutomated Reasoning	1985	36

Page 1