|
||
---|---|---|
hal-00677183v1
Article dans une revue
L'IDM, un levier pour l'intégration d'outils : l'approche iFEST Génie logiciel, C & S, 2011, pp.10-15 |
||
hal-01203532v1
Article dans une revue
Automatic Sea-Surface Obstacle Detection and Tracking in Forward-Looking Sonar Image Sequences IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2015, Geoscience and Remote Sensing, IEEE Transactions on, 53 (8), pp.4461-4469. ⟨10.1109/TGRS.2015.2405672⟩ |
||
hal-01090060v1
Article dans une revue
MENOR: A HIGH-RESOLUTION (1.2 KM) MODELING OF THE NORTH-WESTERN MEDITERRANEAN SEA ROUTINELY RUN BY THEPREVIMER OPERATIONAL FORECAST SYSTEM Mercator Ocean Quarterly Newsletter, Mercator Ocean, 2014, 49 |
||
hal-01192720v1
Communication dans un congrès
Role Framework to Support Collaborative Virtual Prototyping of System of Systems WETICE 2015, IEEE, Jun 2015, Larnaca, Cyprus |
||
hal-00771748v1
Communication dans un congrès
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
TRANSFORMATIONS DES PROJETS TECHNIQUES LONGS QPES - Questions de Pédagogie dans l'Enseignement Supérieur, Ensta Bretagne, Telecom Bretagne, UBO, Jun 2015, Brest, France. pp.236-242 |
||
hal-01203701v1
Communication dans un congrès
Context-Aware Verification of a Cruise-Control System MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ |
||
hal-01206522v1
Communication dans un congrès
Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués JDIM’14, Jun 2014, Mostaganem, Algeria |
||
hal-01206527v1
Communication dans un congrès
Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie |
||
hal-01171207v1
Communication dans un congrès
Evaluating GNSS Signals for Passive Local Sea State Monitoring Space Reflecto, Nov 2013, Brest, France |
||
hal-01551453v1
Communication dans un congrès
Blind Source Subspace Separation and Classification of ECG Signals ATS 2017, Mar 2017, Sousse, Tunisia |
||
hal-00773558v1
Communication dans un congrès
Estimation of methane bubbles volumetric flows from acoustic data of water column ICoURS'12, Oct 2012, Brest, France |
||
hal-00773658v1
Communication dans un congrès
LLMS Adaptive Beamforming Algorithm Implemented with Finite Precision TELFOR 2012, Nov 2012, Belgrade, Serbia |
||
hal-00777127v1
Communication dans un congrès
Subpixel image registration for coherent change detection between two high resolution sonar passes ICoURS'12, Oct 2012, Brest, France |
||
hal-01203491v1
Communication dans un congrès
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
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
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
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-01466097v1
Article dans une revue
Influence of Synchronization Impairments on an Experimental TDOA/FDOA Localization System Journal of Electrical Engineering, 2017, 5, pp.1-9. ⟨10.17265/2328-2223/2017.01.001⟩ ![]() |
||
hal-00635969v1
Chapitre d'ouvrage
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-02515020v1
Chapitre d'ouvrage
Using Parallel and Distributed Reachability in Model Checking Ambient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩ |
||
hal-00926818v1
Article dans une revue
Fusion Fourier descriptors from the EM, International Journal of Computer and Information Technology, 2013, 2 (4) |
||
hal-00925170v1
Article dans une revue
Segmentation des images sonar latéral assurant l'invariance en rasance Traitement du Signal, Lavoisier, 2013, 30 (3-4-5/2013), pp.119-148. ⟨10.3166/TS.30.119-148⟩ |
||
hal-01089392v1
Direction d'ouvrage, Proceedings, Dossier
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
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
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-01236736v1
Brevet
FILTRE RECONFIGURABLE, COMMUTABLE ET DESACTIVABLE France, Patent n° : FR3018969. 2015 |
||
hal-00738735v1
Article dans une revue
Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩ ![]() |
||
hal-00676423v1
Chapitre d'ouvrage
Context Aware Model-Checking for Embedded Software Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012 |
||
hal-00989940v1
Article dans une revue
A Survey of Frameworks & Open Environments Applied To Cognitive Radio Design IJETAE, 2014, 4 (3) |
||
|