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

hal-01551453v1  Communication dans un congrès
Kahina BensafiaAli MansourSalah Haddab. Blind Source Subspace Separation and Classification of ECG Signals
ATS 2017, Mar 2017, Sousse, Tunisia
hal-00840663v1  Communication dans un congrès
Mohamed Abbas TurkiGilles DucBenoit Clement. Multi-Objective Controller Design for a Space Launcher
European Control Conference, Jul 2007, Kos, Greece
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-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-01072079v1  Article dans une revue
M. Sanchez-SorianoYves QuéréVincent Le SauxC. QuendoS. Cadiou. Average power handling capability of microstrip passive circuits considering metal housing and environment conditions
IEEE Transactions on Components, Packaging and Manufacturing Technology, Institute of Electrical and Electronics Engineers, 2014, 4, pp.1624-1633. ⟨10.1109/TCPMT.2014.2345100⟩
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-01090058v1  Article dans une revue
Nicolas DelanoueLuc JaulinBertrand Cottenceau. An algorithm for computing a neighborhood includedin the attraction domain of an asymptotically stable point
Communications in Nonlinear Science and Numerical Simulation, Elsevier, 2015, 21 (1-3), pp.181-189. ⟨10.1016/j.cnsns.2014.08.034⟩
hal-01289454v1  Communication dans un congrès
S HeimXavier DumasE BonnafousPhilippe DhaussyC Teodorov et al.  Model Checking of SCADE Designed Systems
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
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-00773497v1  Communication dans un congrès
Stephen CreffJoël ChampeauArnaud MonégierJean-Marc Jézéquel. Relationships Formalization for Model-Based Product Lines
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
hal-00738772v1  Communication dans un congrès
Stephen CreffJoël ChampeauJean-Marc Jézéquel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
hal-01575355v1  Chapitre d'ouvrage
Martin MonperrusJean-Marc JézéquelJoël ChampeauBrigitte Hoeltzener. Measuring Models
Model-Driven Software Development: Integrating Quality Assurance, pp.147-169, 2008, 978-1-60566-006-6. ⟨10.4018/978-1-60566-006-6.ch007⟩
hal-00746053v1  Communication dans un congrès
Mehdi LhommeauLuc JaulinLaurent Hardouin. A non-linear set-membership approach for the control of Discrete Event Systems
Workshop on Discrete Event Systems - WODES, Oct 2012, Mexico
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-01171487v1  Ouvrage (y compris édition critique et traduction)
Nacim RamdaniLuc Jaulin. Interval Methods and Applications
Mathematics in Computer Science, 8 (3-4), 2015
hal-01472914v1  Communication dans un congrès
Weiqing ZhangVincent LeildeBirger Moller-PedersenChristophe GuychardJoël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩