Joël Champeau

Statistics

Publications

Citations

289

H-Index

Active since

1994

Affiliations

École nationale supérieure de techniques avancées Bretagne(Current)

Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance

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

Université de Rennes

Université de Bretagne Occidentale

Joël Champeau is an author at École nationale supérieure de techniques avancées Bretagne specializing in engineering, systems engineering, and software engineering.

ORCID

Top concepts

EngineeringSystems EngineeringSoftware EngineeringSoftware DesignSoftware AnalysisSystem SoftwareComputer ScienceComputer ArchitectureModeling And SimulationFormal Methods

Publications per year

1994–2015

Publications

Robotic ocean vehicles for marine science applications: the European ASIMOV project

A. Pascoal, Paulo Oliveira, Carlos Silvestre et al. · 2002 · 141 citations

Engineering, Underwater System, Field Robotics +21

Model driven engineering for distributed real-time embedded systems

Sébastien Gérard, Jean‐Philippe Babau, Joël Champeau · HAL (Le Centre pour la Communication Scientifique Directe) · 2005 · 35 citations

Engineering, Computer Architecture, Software Engineering +22

AADL Execution Semantics Transformation for Formal Verification

Thomas Abdoul, Joël Champeau, Philippe Dhaussy et al. · 2008 · 27 citations

Engineering, Verification, Aadl Model Transformation +20

Towards a Meta-Language for the Concurrency Concern in DSLs

Julien Deantoni, Issa Papa Diallo, Ciprian Teodorov et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 18 citations

Engineering, Computer Architecture, Software Engineering +17

Model-driven generative development of measurement software

Martin Monperrus, Jean‐Marc Jezéquél, Benoît Baudry et al. · Software & Systems Modeling · 2010 · 18 citations · Full text

Engineering, Model Analysis, Generative Development +10

1–5 of 9