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

inria-00468656v1  Article dans une revue
Ali KoudriJoël ChampeauDenis AulagnierDidier Vojtisek. Processus MOPCOM pour SoC/SoPC
Génie logiciel, Génie industriel multimédia, 2009
inria-00477563v1  Communication dans un congrès
Martin MonperrusJoël ChampeauBrigitte Hoeltzener. Counts count
Proceedings of the MoDELS'07 Workshops, 2007, Nashville, United States
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-00470523v1  Communication dans un congrès
Philippe DhaussyPierre-Yves PillainStephen CreffAmine RajiYves Le Traon et al.  Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
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-00865993v1  Communication dans un congrès
Anthony FicheArnaud MartinJean-Christophe CexusAli Khenchaf. Estimation d'un mélange de distributions alpha-stables à partir de l'algorithme EM
Rencontre francophone sur la Logique Floue et ses Applications (LFA), Oct 2010, Lannion, France. 8 p
hal-01739477v1  Communication dans un congrès
Cedric HerzetAngélique Drémeau. Joint Screening Tests for LASSO
ICASSP 2018 - IEEE International Conference on Acoustic, Speech and Signal Processing, Apr 2018, Calgary, Canada. pp.4084-4088, ⟨10.1109/ICASSP.2018.8462530⟩
hal-01937501v1  Communication dans un congrès
Clément DorfferAngélique DrémeauCédric Herzet. Efficient atom selection strategy for iterative sparse approximations
iTWIST 2018 - International Traveling Workshop on Interactions between low-complexity data models and Sensing Techniques, Nov 2018, Marseille, France. pp.1-3
hal-02059649v1  Communication dans un congrès
Clément DorfferCédric HerzetAngélique Drémeau. Region-based relaxations to accelerate greedy approaches
27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, La Corogne, Spain
hal-01194742v1  Communication dans un congrès
Jordan NininGilles Chabert. Global Optimization based on Contractor Programming
XII GLOBAL OPTIMIZATION WORKSHOP, Sep 2014, Malaga, Spain. pp.77-80
hal-00635555v1  Communication dans un congrès
Amine RajiPhilippe DhaussyBenoît Baudry. Formal Extension of Use Cases for Context-Aware Verification
MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand
hal-01394059v1  Article dans une revue
Cédric HerzetAngélique DrémeauPatrick Héas. Model Reduction from Partial Observations
International Journal for Numerical Methods in Engineering, Wiley, 2018, 113 (3), pp.479-511. ⟨10.1002/nme.5623⟩
hal-01122023v1  Communication dans un congrès
Luc JaulinJordan NininGilles ChabertStéphane Le MenecMohamed Saad Ibn Seddik et al.  Computing capture tubes
SCAN 2014, Université de Wurzburg, Sep 2014, Wurzburg, Germany
hal-01702246v1  Communication dans un congrès
Angélique DrémeauCédric Herzet. DOA estimation in structured phase-noisy environments
42nd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2017), Mar 2017, La Nouvelle Orléans, LA, United States. pp.3176-3180, ⟨10.1109/ICASSP.2017.7952742⟩
hal-01475251v1  Communication dans un congrès
Théotime BollengierLoïc LagadecMohamad NajemJean-Christophe Le LannPierre Guilloux. Soft timing closure for soft programmable logic cores: The ARGen approach
ARC 2017 - 13th International Symposium on Applied Reconfigurable Computing, Delft University of Technology Apr 2017, Delft, Netherlands
hal-01653732v1  Communication dans un congrès
Angélique DrémeauAntoine Deleforge. Phase Retrieval with a Multivariate Von Mises Prior: From a Bayesian Formulation to a Lifting Solution
ICASSP 2017 - 42nd IEEE International Conference on Acoustics, Speech and Signal Processing, Mar 2017, New Orleans, United States. pp.1-5, ⟨10.1109/ICASSP.2017.7953027⟩
hal-02303198v1  Article dans une revue
Cedric HerzetClément DorfferAngélique Drémeau. Gather and Conquer: Region-Based Strategies to Accelerate Safe Screening Tests
IEEE Transactions on Signal Processing, Institute of Electrical and Electronics Engineers, 2019, 67 (12), pp.3300-3315. ⟨10.1109/TSP.2019.2914885⟩
hal-03070390v1  Communication dans un congrès
Milan Courcoux-CaroCharles VanwynsbergheCédric HerzetAlexandre Baussard. Sequential Sensor Placement using Bayesian Compressed Sensing for Source Localization
EUSIPCO 2020 - 28th European Signal Processing Conference, Jan 2021, Amsterdam, Netherlands. pp.241-245, ⟨10.23919/Eusipco47968.2020.9287709⟩
inria-00555044v1  Communication dans un congrès
Benoit BaudryPierre BazexJean-Charles DalbinPhilippe DhaussyHubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
inria-00456483v1  Communication dans un congrès
Martin MonperrusJean-Marc JézéquelJoël ChampeauBrigitte Hoeltzener. A Model-driven Measurement Approach
ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Sep 2008, Toulouse, France, France. pp.505-519, ⟨10.1007/978-3-540-87875-9_36⟩
inria-00456481v1  Communication dans un congrès
Martin MonperrusFabre JaozafyGabriel MarchalotJoël ChampeauBrigitte Hoeltzener et al.  Model-driven Simulation of a Maritime Surveillance System
4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), Jun 2008, Berlin, Germany, Germany. pp.361-368, ⟨10.1007/978-3-540-69100-6_25⟩
inria-00456482v1  Communication dans un congrès
Martin MonperrusJean-Marc JézéquelJoël ChampeauBrigitte Hoeltzener. Model-driven Engineering Metrics for Real Time Systems
4th European Congress ERTS Embedded Real-Time Software, 2008, Toulouse, France, France
hal-00354356v1  Communication dans un congrès
Ali KoudriDenis AulagnierDidier VojtisekPhilippe SoulardChristophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p