Accéder directement au contenu Accéder directement à la navigation


...
hal-02428581v1  Communication dans un congrès
Andrey SadovykhTewfik ZiadiAlessandra BagnatoThorsten BergerJan-Philipp Steghöfer et al.  REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges
International Conference on Objects, Components, Models and Patterns (TOOLS 2019), Oct 2019, Innopolis, Russia
hal-00635969v1  Chapitre d'ouvrage
Jean-Philippe BabauPhilippe DhaussyPierre-Yves Pillain. Model integration for formal qualification of timing-aware software data acquisition components
Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
...
hal-01580604v2  Article dans une revue
Clément DorfferMatthieu PuigtGilles DelmaireGilles Roussel. Informed Nonnegative Matrix Factorization Methods for Mobile Sensor Network Calibration
IEEE transactions on Signal and Information Processing over Networks, IEEE, 2018, 4 (4), pp.667-682. ⟨10.1109/TSIPN.2018.2811962⟩
...
hal-01707168v1  Communication dans un congrès
Ahmad Hani El FawalAli MansourMohamad NajemFrédéric Le RoyDenis Le Jeune. LTE-M adaptive eNodeB for emergency scenarios
ICTC: Information and Communication Technology Convergence, Oct 2017, Jeju Island, South Korea. ⟨10.1109/ICTC.2017.8191035⟩
hal-02931876v1  Communication dans un congrès
Frédéric JouaultValentin BesnardThéo Le CalvarCiprian TeodorovMatthias Brun et al.  Designing, Animating, and Verifying Partial UML Models
23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada
hal-01936730v1  Article dans une revue
Amel BenabbouSafia Nait BahloulPhilippe Dhaussy. Precise use cases in a context-aware model-checking approach
International Journal of Critical Computer-Based Systems, Inderscience, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩
hal-00670414v1  Communication dans un congrès
M. LudwigNicolas FarcetJean-Philippe BabauJoël Champeau. Integrating Design and Runtime Variability Support into a System ADL
7th European Conference Modelling Foundations and Applications ECMFA 2011, Jun 2011, Birmingham, United Kingdom. pp.270-281, ⟨10.1007/978-3-642-21470-7_19⟩
hal-00670420v1  Communication dans un congrès
Marie LudwigNicolas FarcetJean-Philippe BabauJoël Champeau. Organizational Configurations in Executable Enterprise Architecture Models
poster session of Complex Systems Design and Management 2011, Dec 2011, Paris, France
hal-00796606v1  Communication dans un congrès
René GarelloAntoine GhalebStéphanie EvenBertrand ChapronNicolas Pinel et al.  Radar sea surface modeling and simulation
OCEANS 2011, Sep 2011, Kona, Hawaï, United States. pp.2011
...
inria-00468650v1  Chapitre d'ouvrage
Denis AulagnierAli KoudriStéphane LecomtePhilippe SoulardJoël Champeau et al.  SoC/SoPC development using MDD and MARTE profile
Babau, Jean-Philippe and Blay-Fornarino, Mireille and Champeau, Joël and Gèrard, Sèbastien and Robert, Sylvain and Sabetta, Antonino. Model Driven Engineering for Distributed Real-time Embedded Systems, ISTE, 2009
hal-01306902v1  Direction d'ouvrage, Proceedings, Dossier
Benoit ZerrLuc JaulinVincent CreuzeNathalie DebeseIsabelle Quidu et al.  Quantitative Monitoring of the Underwater Environment
Springer International Publishing. France. 6, 2016, 978-3-319-32107-3. ⟨10.1007/978-3-319-32107-3⟩
lirmm-01699602v1  Direction d'ouvrage, Proceedings, Dossier
Luc JaulinAndrea CaitiMarc CarrerasVincent CreuzeFrédéric Plumet et al.  Marine Robotics and Applications
Springer International Publishing. France. 10, Springer International Publishing, pp.178, 2018, Ocean Engineering & Oceanography, 978-3-319-70724-2. ⟨10.1007/978-3-319-70724-2⟩
...
hal-02956402v1  Communication dans un congrès
Simon RohouAbderahmane BedouheneGilles ChabertAlexandre GoldsztejnLuc Jaulin et al.  Towards a Generic Interval Solver for Differential-Algebraic CSP
International Conference on Principles and Practice of Constraint Programming (CP), Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩
hal-02304988v1  Article dans une revue
Nizar BouhlelAli Dziri. Kullback–Leibler Divergence Between Multivariate Generalized Gaussian Distributions
IEEE Signal Processing Letters, Institute of Electrical and Electronics Engineers, 2019, 26 (7), pp.1021-1025. ⟨10.1109/LSP.2019.2915000⟩
...
hal-01087442v1  Communication dans un congrès
Julien DeantoniPapa Issa DialloCiprian TeodorovJoël ChampeauBenoit Combemale. Towards a Meta-Language for the Concurrency Concern in DSLs
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
hal-01153568v1  Communication dans un congrès
Chagun Basha Basheer AhmedSébastien PillementLoïc LagadecArnaud Tisserand. Fast Prototyping of a New Reconfigurable Architecture : Toward Tailored Space FPGA
Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jun 2015, Villeneuve d'Ascq, France. pp.10