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 397 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-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-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-00840663v1 Communication dans un congrès Mohamed Abbas Turki, Gilles Duc, Benoit Clement. Multi-Objective Controller Design for a Space Launcher European Control Conference, Jul 2007, Kos, Greece
	hal-00940091v1 Communication dans un congrès Mohamad-Raafat Lababidi, Dominique Lo Hine Tong, Ali Louzir, Jean-Luc Robert, J.Y. Le Naour et al. Tunable low-pass active filter using active capacitor for multimode standards IEEE 18th conference on electronices, circuits and systems (ICECS), Dec 2011, Beirut, Lebanon. pp.619-622
	hal-02434617v1 Communication dans un congrès Marwa Ibrahim, Hassan Harb, Abbass Nasser, Ali Mansour, Christophe Osswald. On-in: An on-node and in-node based mechanism for big data collection in large-scale sensor networks 27th European Signal Processing Conference, EUSIPCO 2019, Sep 2019, Coruna, Spain. ⟨10.23919/EUSIPCO.2019.8902628⟩
	hal-00944548v1 Communication dans un congrès Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec. A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators ISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX
	hal-02433746v1 Communication dans un congrès Marwa Ibrahim, H. Harb, A. Nasser, Ali Mansour, Christophe Osswald. Adaptive Strategy and Decision Making Model for Sensing-Based Network Applications 19th International Symposium on Communications and Information Technologies, ISCIT 2019, 2019, Ho Chi Minh, Vietnam. pp.96-101, ⟨10.1109/ISCIT.2019.8905211⟩
	hal-00998533v1 Article dans une revue Loïc Lagadec, Ciprian Teodorov, Jean-Christophe Le Lann, Damien Picard, Erwan Fabiani. Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like Debugging Science of Computer Programming, Elsevier, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩
	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-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-01069935v1 Article dans une revue Kevin Bruget, Benoit Clement, Olivier Reynet, Bernt Weber. The disabled set sail CAN Newsletter, 2014, pp.8-13
	hal-00935845v1 Brevet Julien Lintignat, B. Jarry, Bruno Barelaud, François Baron, Mohamad-Raafat Lababidi et al. reseau de filtrage en technologie silicium SI-HR N° de brevet: WO2010/092308 (A1. 2010
	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 397 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