Eric Madelaine

Statistics

Publications

Citations

230

H-Index

Active since

1989

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

Centre Inria d'Université Côte d'Azur

Eric Madelaine is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, engineering, and systems engineering.

ORCID

Top concepts

Computer ScienceEngineeringSystems EngineeringFormal MethodsFormal VerificationAutomated ReasoningDistributed SystemsVerificationSoftware DesignSystem Software

Publications per year

1989–2017

Publications

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

AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks

Eric Madelaine, Didier Vergamini · Formal Techniques for (Networked and) Distributed Systems · 1989 · 44 citations

Verification Tool, Logical Automaton, Engineering +12

Scheduling Live Migration of Virtual Machines

Vincent Kherbache, Eric Madelaine, Fabien Hermenier · IEEE Transactions on Cloud Computing · 2017 · 33 citations

Migration Parallelism, Cluster Computing, Engineering +18

Model-checking Distributed Components: The Vercors Platform

Tomás Barros, Antonio Cansado, Eric Madelaine et al. · Electronic Notes in Theoretical Computer Science · 2007 · 23 citations · Full text

Software Maintenance, Engineering, Distributed Components +23

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

1–5 of 8