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

hal-00771748v1  Communication dans un congrès
Stephen CreffJoël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
hal-01203464v1  Communication dans un congrès
QPES - Questions de Pédagogie dans l'Enseignement Supérieur, Ensta Bretagne, Telecom Bretagne, UBO, Jun 2015, Brest, France. pp.236-242
hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
hal-01171207v1  Communication dans un congrès
Alexandre BaussardArnaud Coatanhay. Evaluating GNSS Signals for Passive Local Sea State Monitoring
Space Reflecto, Nov 2013, Brest, France
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-01203491v1  Communication dans un congrès
Seifallah Ben SaadBenoît ZerrIrvin ProbstFrédéric Dambreville. Hybrid Coordination Strategy of a Group of Cooperating Autonomous Underwater Vehicles
IFAC Workshop on Multivehicle Systems MVS 2015, IFAC - International Federation of Automatic Control, May 2015, Genova, Italy. pp.47-52
hal-00771758v1  Communication dans un congrès
Jean-Christophe Le LannJoël ChampeauPapa Issa DialloPierre-Laurent Lagalaye. From system-level models to heterogeneous embedded systems
RITF 2012 - Recherche et Innovation pour les Transports du Futur, Nov 2012, Paris, France. pp.XX
hal-00583049v1  Communication dans un congrès
Jan SliwkaFabrice Le BarsOlivier ReynetLuc Jaulin. Using interval methods in the context of robust localization of underwater robots
NAFIPS'11, Mar 2011, El Paso, Texas, United States
hal-01158161v1  Chapitre d'ouvrage
Francis CélesteFrédéric Dambreville. Optimal Path Planning for Information based Localization
Advanced Computational Methods for Knowledge Engineering, 282, Springer, pp.377-388, 2014, Advanced Computational Methods for Knowledge Engineering, 978-3-319-06568-7. ⟨10.1007/978-3-319-06569-4_28⟩
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-00926818v1  Article dans une revue
B. BelkhaouiAbdelmalek ToumiA. Khalfallah. Fusion Fourier descriptors from the EM,
International Journal of Computer and Information Technology, 2013, 2 (4)
hal-01089392v1  Direction d'ouvrage, Proceedings, Dossier
Loïc LagadecAlain Plantec. Preface to the special issue on advances in Smalltalk based systems
France. 96 (1), pp.1-3, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2014.07.004⟩
hal-00862485v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
hal-01373317v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
hal-00676423v1  Chapitre d'ouvrage
Philippe DhaussyJean-Charles RogerFrédéric Boniol. Context Aware Model-Checking for Embedded Software
Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012