Recherche - ENSTA Bretagne

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Merci d'indiquer la raison de votre demande Pour les 395 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-00677183v1 Article dans une revue Vincent Leilde, Joël Champeau, Papa Issa Diallo, H. Uascar Espinoza. 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 Imen Karoui, Isabelle Quidu, Michel Legris. 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 Valerie Garnier, Ivane Pairaud, Amandine Nicolle, Elena Alekseenko, Melika Baklouti et al. 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 Jean-Philippe Schneider, Joël Champeau, Loïc Lagadec, Eric Senn. 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 Stephen Creff, Joë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 Helene Thomas, Olivier Reynet. 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 Ciprian Teodorov, Luka Leroux, Philippe Dhaussy. 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 Philippe Dhaussy. 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 Philippe Dhaussy. Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie
	hal-01171207v1 Communication dans un congrès Alexandre Baussard, Arnaud Coatanhay. Evaluating GNSS Signals for Passive Local Sea State Monitoring Space Reflecto, Nov 2013, Brest, France
	hal-01551453v1 Communication dans un congrès Kahina Bensafia, Ali Mansour, Salah Haddab. Blind Source Subspace Separation and Classification of ECG Signals ATS 2017, Mar 2017, Sousse, Tunisia
	hal-00773558v1 Communication dans un congrès Isabelle Leblond, Carla Scalabrin, Laurent Berger, Louis Géli. 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 Jalal Abdulsayed Srar, Kah-Seng Chung, Ali Mansour. LLMS Adaptive Beamforming Algorithm Implemented with Finite Precision TELFOR 2012, Nov 2012, Belgrade, Serbia
	hal-00777127v1 Communication dans un congrès Isabelle Quidu, Vincent Myers, Øivind Midtgaard, Roy Edgar Hansen. 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 Seifallah Ben Saad, Benoît Zerr, Irvin Probst, Fré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 Lann, Joël Champeau, Papa Issa Diallo, Pierre-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 Sliwka, Fabrice Le Bars, Olivier Reynet, Luc 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éleste, Fré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-01466097v1 Article dans une revue Hugo Seuté, Cyrille Enderli, Jean-François Grandin, Ali Khenchaf, Jean-Christophe Cexus. 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 Jean-Philippe Babau, Philippe Dhaussy, Pierre-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-02515020v1 Chapitre d'ouvrage Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. 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 B. Belkhaoui, Abdelmalek Toumi, A. Khalfallah. Fusion Fourier descriptors from the EM, International Journal of Computer and Information Technology, 2013, 2 (4)
	hal-00925170v1 Article dans une revue Ahmed Nait-Chabane, Benoît Zerr, Gilles Le Chenadec. 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 Loïc Lagadec, Alain 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 Delatour, Joë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 Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian 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-01236736v1 Brevet Mohamad-Raafat Lababidi, Frédéric Le Roy, Ali Mansour. FILTRE RECONFIGURABLE, COMMUTABLE ET DESACTIVABLE France, Patent n° : FR3018969. 2015
	hal-00738735v1 Article dans une revue Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux. Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
	hal-00676423v1 Chapitre d'ouvrage Philippe Dhaussy, Jean-Charles Roger, Fré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
	hal-00989940v1 Article dans une revue Frédéric Le Roy, Mohamad-Raafat Lababidi, Ali Mansour. A Survey of Frameworks & Open Environments Applied To Cognitive Radio Design IJETAE, 2014, 4 (3)
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 395 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

Type de document Réduire

Auteur Réduire

Domaine Réduire

Laboratoire Réduire

Langue Réduire

Type de dépôt Réduire

Année Réduire