Ludovic Henrio

Publications

405

Citations

H-Index

2004

Active since

Affiliations

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

Centre National de la Recherche Scientifique

Université Côte d'Azur

Télécom Paris

Pontificia Universidad Católica de Chile

Ludovic Henrio is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, engineering, and formal verification.

ORCID

Top concepts

Computer ScienceEngineeringFormal MethodsFormal VerificationSystem SoftwareSystems EngineeringDistributed SystemsSoftware DesignCluster ComputingAutomated Reasoning

Publications per year

2004–2023

Publications

Asynchronous and deterministic objects

Denis Caromel, Ludovic Henrio, Bernard Serpette · 2004 · 92 citations

Engineering, Software Engineering, Concurrent System +19

Behavioural models for distributed Fractal components

Tomás Barros, Rabéa Ameur-Boulifa, Antonio Cansado et al. · Annals of Telecommunications · 2009 · 61 citations

Cellular Automaton, Computer Science, Distributed Fractal Components +2

Asynchronous sequential processes

Denis Caromel, Ludovic Henrio, Bernard Serpette · Information and Computation · 2008 · 31 citations

Engineering, Concurrency Theory, Sequential Algorithm +4

Collective Interfaces for Distributed Components

Françoise Baudé, Denis Caromel, Ludovic Henrio et al. · 2007 · 24 citations

Cluster Computing, Engineering, Distributed Components +16

Verification of Distributed Hierarchical Components

Tomás Barros, Ludovic Henrio, Eric Madelaine · Electronic Notes in Theoretical Computer Science · 2006 · 23 citations · Full text

Cluster Computing, Engineering, Verification +18

Rows per page

1–5 of 17