Recherche - ENSTA Bretagne

	1 2 3 4 5 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 129 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-01326154v1 Article dans une revue Kintak Raymond Yu, Stéphane Étienne, Yves-Marie Scolan, Alexander Hay, Emmanuel Fontaine et al. Flow-induced vibrations of in-line cylinder arrangements at low Reynolds numbers Journal of Fluids and Structures, Elsevier, 2016, 60, pp.37-61. ⟨10.1016/j.jfluidstructs.2015.10.005⟩
	hal-01485662v1 Article dans une revue Jamal Arbaoui, Mostapha Tarfaoui, Charbel Bouery, Aboulghit El Malki Alaoui. Comparative study of mechanical properties and damage kinetics of two- and three-dimensional woven composites under high-strain rate dynamic compressive loading International Journal of Damage Mechanics, SAGE Publications, 2016, 25 (6), pp.878-899. ⟨10.1177/1056789516651691⟩
	hal-01864825v1 Communication dans un congrès Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification Conf ITQM’16, Aug 2016, Séoul, South Korea
	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-01298623v1 Article dans une revue Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe. Context-aware approach for formal verification EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
	hal-01373327v1 Article dans une revue Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Sequential and Parallel Algorithms for the State Space Exploration Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩
	hal-01326351v1 Article dans une revue Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
	hal-01765069v1 Autre publication Klara Kövesi, Damien Coadour, Robin Clark, Peter Csizmadia. Engineers’ Competence Building for Innovation 2016
	hal-01298895v1 Communication dans un congrès Lamia Allal, Ghalem Belalem, Philippe Dhaussy. Towards Distributed Solution to the State Explosion Problem INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩
	hal-01298704v1 Communication dans un congrès Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. A High-level Formalism to Elaborate Context for a Context-aware Verification Approach ICIST 2016, Mar 2016, Barcelone, Spain
	hal-01373287v1 Article dans une revue Ciprian Teodorov, Luka Le Roux, Zoé Drey, Philippe Dhaussy. Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2016, ⟨10.1002/stvr.1611⟩
	hal-01326437v1 Article dans une revue Tran Vu La, Ali Khenchaf, Fabrice Comblet, Carole Nahum, Helmi Ghanmi. Exploitation of Electromagnetic Models for Sea Wind Speed Estimation from C-Band Sentinel-1 Images International Journal of Electromagnetics and Applications, 2016, 8 (3), pp.42-55. ⟨10.4236/jemaa.2016.83005⟩
	hal-01714103v1 Chapitre d'ouvrage Steven Kerampran, Michel Arrigoni, Paul Locking. Blast waves propagation and their mitigation Greener and safer energetic and ballistic systems, Military Technical Academy Publishing House, pp.205-252, 2016, 978-973-640-252-4
	hal-01373458v1 Poster Julien Ogor, Benoit Zerr. Towards the automation of sand dune detection in the bathymetry Marine and River Dune Dynamics Conference, Apr 2016, Gwynned, United Kingdom. 2016
	hal-02542690v1 Communication dans un congrès Florian Nicolas, Andreas Arnold, Isabelle Quidu, Benoît Zerr. Rigid Sonar Tracks Registration For MCM Survey Missions Undersea Defence Technology (UDT), Jun 2016, Oslo, Norway
	hal-01811343v1 Communication dans un congrès Morgan Behrel, Kostia Roncin, Damien Grelon, Frédéric Montel, Alain Nême et al. Presentation of an experimental campaign for measuring performances and effects of a 50-square-meter kite set-up on a 13-meter trawler 15e journées de l'hydrodynamique, Nov 2016, Brest, France
	hal-01485664v1 Article dans une revue Jamal Arbaoui, Mostapha Tarfaoui, Aboulghit El Malki Alaoui. Dynamical characterisation and damage mechanisms of E-glass/vinylester woven composites at high strain rates compression Journal of Composite Materials, SAGE Publications, 2016, 50 (24), pp.3313-3323. ⟨10.1177/0021998315619223⟩
	hal-01312568v1 Communication dans un congrès Nathalie Debese, Jean José Jacq, Koen Degrendele, Marc Roche. Ripple filtering and ridge enhancement applied to morphodynamical tracking of sand dunes MARID 2016. Fifth International Conference on Marine and River Dune Dynamics, Apr 2016, Bangor United Kingdom
	hal-01406604v1 Communication dans un congrès Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking PAME 2016, Oct 2016, St Malo, France. pp.7-12
	hal-01765019v1 Communication dans un congrès Klara Kövesi, Péter Csizmadia. Industry perception of new engineering graduates: the gap between requirements and reality 44rd Annual Conference of the European Society for Engineering Education, Sep 2016, Tampere, Finland
	hal-01653481v1 Communication dans un congrès Ali Khenchaf, Carole Nahum, Fabrice Comblet, Tran Vu La. Retrieval of Surface Wind Fields at High Spatial Resolutions from C-band Sentinel-1 Data BDAW'16, Nov 2016, Blagoevgrad, Bulgaria
	hal-01653367v1 Communication dans un congrès Abdelmalek Toumi, Ali Khenchaf. Target Recognition using IFFT and MUSIC ISAR images ATSIP 2016, Mar 2016, Monastir, Tunisia
	hal-01653378v1 Communication dans un congrès Abdelmalek Toumi, Ali Khenchaf, Muntadher A. Shareef. Estimating Of Water Quality Parameters Using Active And Passive Microwave Remote Sensing ATSIP 2016, Mar 2016, Monastir, Tunisia. ⟨10.1109/ATSIP.2016.7523149⟩
	hal-01653402v1 Communication dans un congrès Arnaud Coatanhay, Alexandre Baussard. Identification of the electromagnetic scattering by dynamic sea surfaces with a stochastic differential equation model AES Symposium, Jul 2016, Malaga, Spain
	hal-01653416v1 Communication dans un congrès Abdelmalek Toumi, Frédéric Dambreville. Generic and massively concurrent computation of belief combination rules – a MapReduce approach BDAW'16, Nov 2016, Blagoevgrad, Bulgaria. ⟨10.1145/3010089.3010136⟩
	hal-01653326v1 Communication dans un congrès Papa Ousmane Leye, Ali Khenchaf, Philippe Pouliguen. Gaussian beam summation method vs. Gaussian beam launching in high-frequency RCS of complex radar targets IGARSS 2016, Jul 2016, Beijing, China. ⟨10.1109/IGARSS.2016.7729679⟩
	hal-01653333v1 Communication dans un congrès Tran Vu La, Ali Khenchaf, Fabrice Comblet, Carole Nahum. Comparison of inversion models of wind speed retrieval from C-band Sentinel-1 and X-band TerraSAR-X data IGARSS 2016, Jul 2016, Beijing, China. ⟨10.1109/IGARSS.2016.7729584⟩
	hal-01653335v1 Communication dans un congrès Ali Khenchaf, Carole Nahum, Fabrice Comblet, Tran Vu La. Sensitivity of sea wind direction retrieval from sentienl-1 data with regard to spatial resolution and speckle noise IGARSS 2016, Jul 2016, Beijing, China
	hal-01653344v1 Communication dans un congrès Tran Vu La, Ali Khenchaf, Fabrice Comblet, Carole Nahum. Study of Wind Speed Retrievals From Sentinel-1 Images Using Physical Models EUCAP 2016, Apr 2016, Davos, Switzerland. ⟨10.1109/EuCAP.2016.7481445⟩
	hal-01653348v1 Communication dans un congrès Ali Khenchaf, Papa Ousmane Leye, Philippe Pouliguen. RCS Complex Target, Gaussian Beam Summation Method EUCAP 2016, Apr 2016, Davos, Switzerland. ⟨10.1109/EuCAP.2016.7481730⟩
	1 2 3 4 5 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 129 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

hal-01326154v1 Article dans une revue
Kintak Raymond Yu, Stéphane Étienne, Yves-Marie Scolan, Alexander Hay, Emmanuel Fontaine et al. Flow-induced vibrations of in-line cylinder arrangements at low Reynolds numbers
Journal of Fluids and Structures, Elsevier, 2016, 60, pp.37-61. ⟨10.1016/j.jfluidstructs.2015.10.005⟩

hal-01485662v1 Article dans une revue
Jamal Arbaoui, Mostapha Tarfaoui, Charbel Bouery, Aboulghit El Malki Alaoui. Comparative study of mechanical properties and damage kinetics of two- and three-dimensional woven composites under high-strain rate dynamic compressive loading
International Journal of Damage Mechanics, SAGE Publications, 2016, 25 (6), pp.878-899. ⟨10.1177/1056789516651691⟩

hal-01864825v1 Communication dans un congrès
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. An Automated Transformation Approach for Requirement Specification
Conf ITQM’16, Aug 2016, Séoul, South Korea

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-01298623v1 Article dans une revue
Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe. Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩

hal-01373327v1 Article dans une revue
Lamia Allal, Ghalem Belalem, Philippe Dhaussy, Ciprian Teodorov. Sequential and Parallel Algorithms for the State Space Exploration
Cybernetics and Information Technologies, 2016, 16 (1), ⟨10.1515/cait-2016-0001⟩

hal-01326351v1 Article dans une revue
Nadia Menad, Philippe Dhaussy, Zoé Drey, Rachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031

hal-01765069v1 Autre publication
Klara Kövesi, Damien Coadour, Robin Clark, Peter Csizmadia. Engineers’ Competence Building for Innovation
2016

hal-01298895v1 Communication dans un congrès
Lamia Allal, Ghalem Belalem, Philippe Dhaussy. Towards Distributed Solution to the State Explosion Problem
INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩

hal-01298704v1 Communication dans un congrès
Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. A High-level Formalism to Elaborate Context for a Context-aware Verification Approach
ICIST 2016, Mar 2016, Barcelone, Spain

hal-01373287v1 Article dans une revue
Ciprian Teodorov, Luka Le Roux, Zoé Drey, Philippe Dhaussy. Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2016, ⟨10.1002/stvr.1611⟩

hal-01326437v1 Article dans une revue
Tran Vu La, Ali Khenchaf, Fabrice Comblet, Carole Nahum, Helmi Ghanmi. Exploitation of Electromagnetic Models for Sea Wind Speed Estimation from C-Band Sentinel-1 Images
International Journal of Electromagnetics and Applications, 2016, 8 (3), pp.42-55. ⟨10.4236/jemaa.2016.83005⟩

hal-01714103v1 Chapitre d'ouvrage
Steven Kerampran, Michel Arrigoni, Paul Locking. Blast waves propagation and their mitigation
Greener and safer energetic and ballistic systems, Military Technical Academy Publishing House, pp.205-252, 2016, 978-973-640-252-4

hal-01373458v1 Poster
Julien Ogor, Benoit Zerr. Towards the automation of sand dune detection in the bathymetry
Marine and River Dune Dynamics Conference, Apr 2016, Gwynned, United Kingdom. 2016

hal-02542690v1 Communication dans un congrès
Florian Nicolas, Andreas Arnold, Isabelle Quidu, Benoît Zerr. Rigid Sonar Tracks Registration For MCM Survey Missions
Undersea Defence Technology (UDT), Jun 2016, Oslo, Norway

hal-01811343v1 Communication dans un congrès
Morgan Behrel, Kostia Roncin, Damien Grelon, Frédéric Montel, Alain Nême et al. Presentation of an experimental campaign for measuring performances and effects of a 50-square-meter kite set-up on a 13-meter trawler
15e journées de l'hydrodynamique, Nov 2016, Brest, France

hal-01485664v1 Article dans une revue
Jamal Arbaoui, Mostapha Tarfaoui, Aboulghit El Malki Alaoui. Dynamical characterisation and damage mechanisms of E-glass/vinylester woven composites at high strain rates compression
Journal of Composite Materials, SAGE Publications, 2016, 50 (24), pp.3313-3323. ⟨10.1177/0021998315619223⟩

hal-01312568v1 Communication dans un congrès
Nathalie Debese, Jean José Jacq, Koen Degrendele, Marc Roche. Ripple filtering and ridge enhancement applied to morphodynamical tracking of sand dunes
MARID 2016. Fifth International Conference on Marine and River Dune Dynamics, Apr 2016, Bangor United Kingdom

hal-01406604v1 Communication dans un congrès
Vincent Leilde, Vincent Ribaud, Philippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12

hal-01765019v1 Communication dans un congrès
Klara Kövesi, Péter Csizmadia. Industry perception of new engineering graduates: the gap between requirements and reality
44rd Annual Conference of the European Society for Engineering Education, Sep 2016, Tampere, Finland

hal-01653481v1 Communication dans un congrès
Ali Khenchaf, Carole Nahum, Fabrice Comblet, Tran Vu La. Retrieval of Surface Wind Fields at High Spatial Resolutions from C-band Sentinel-1 Data
BDAW'16, Nov 2016, Blagoevgrad, Bulgaria

hal-01653367v1 Communication dans un congrès
Abdelmalek Toumi, Ali Khenchaf. Target Recognition using IFFT and MUSIC ISAR images
ATSIP 2016, Mar 2016, Monastir, Tunisia

hal-01653378v1 Communication dans un congrès
Abdelmalek Toumi, Ali Khenchaf, Muntadher A. Shareef. Estimating Of Water Quality Parameters Using Active And Passive Microwave Remote Sensing
ATSIP 2016, Mar 2016, Monastir, Tunisia. ⟨10.1109/ATSIP.2016.7523149⟩

hal-01653402v1 Communication dans un congrès
Arnaud Coatanhay, Alexandre Baussard. Identification of the electromagnetic scattering by dynamic sea surfaces with a stochastic differential equation model
AES Symposium, Jul 2016, Malaga, Spain

hal-01653416v1 Communication dans un congrès
Abdelmalek Toumi, Frédéric Dambreville. Generic and massively concurrent computation of belief combination rules – a MapReduce approach
BDAW'16, Nov 2016, Blagoevgrad, Bulgaria. ⟨10.1145/3010089.3010136⟩

hal-01653326v1 Communication dans un congrès
Papa Ousmane Leye, Ali Khenchaf, Philippe Pouliguen. Gaussian beam summation method vs. Gaussian beam launching in high-frequency RCS of complex radar targets
IGARSS 2016, Jul 2016, Beijing, China. ⟨10.1109/IGARSS.2016.7729679⟩

hal-01653333v1 Communication dans un congrès
Tran Vu La, Ali Khenchaf, Fabrice Comblet, Carole Nahum. Comparison of inversion models of wind speed retrieval from C-band Sentinel-1 and X-band TerraSAR-X data
IGARSS 2016, Jul 2016, Beijing, China. ⟨10.1109/IGARSS.2016.7729584⟩

hal-01653335v1 Communication dans un congrès
Ali Khenchaf, Carole Nahum, Fabrice Comblet, Tran Vu La. Sensitivity of sea wind direction retrieval from sentienl-1 data with regard to spatial resolution and speckle noise
IGARSS 2016, Jul 2016, Beijing, China

hal-01653344v1 Communication dans un congrès
Tran Vu La, Ali Khenchaf, Fabrice Comblet, Carole Nahum. Study of Wind Speed Retrievals From Sentinel-1 Images Using Physical Models
EUCAP 2016, Apr 2016, Davos, Switzerland. ⟨10.1109/EuCAP.2016.7481445⟩

hal-01653348v1 Communication dans un congrès
Ali Khenchaf, Papa Ousmane Leye, Philippe Pouliguen. RCS Complex Target, Gaussian Beam Summation Method
EUCAP 2016, Apr 2016, Davos, Switzerland. ⟨10.1109/EuCAP.2016.7481730⟩

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