Recherche - ENSTA Bretagne

	1 2 3 4 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 102 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	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
	tel-01505280v2 Thèse Seifallah Ben Saad. Conception d'un algorithme de coordination hybride de groupes de robots sous-marins communicants. Application : acquisition optique systématique et détaillée des fonds marins Système multi-agents [cs.MA]. Université de Bretagne occidentale - Brest, 2016. Français. ⟨NNT : 2016BRES0052⟩
	hal-01391389v1 Poster Pierre Bosser. Apprendre le positionnement par GNSS avec le logiciel RTKlib Géomatice 2016, May 2016, Marne-La-Vallée, France. 2016
	hal-01398565v1 Poster Pierre Bosser, Ismail Hmama,, Iiro Kuusisto,, Julien Le Mercier, Christelle Mekemlong Lando. Évaluation d'une solution de positionnement ponctuel précis temps-réel Colloque CNFG2 2016, Nov 2016, Brest, France. 2016
	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-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-01391276v1 Article dans une revue Pierre Bosser, Ismail Hmama,, Iiro Kuusisto,, Julien Le Mercier, Christelle Mekemlong Lando. Évaluation d'une solution de positionnement ponctuel précis temps réel Revue XYZ, Association Française de Topographie, 2016, pp.33-38
	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-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-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-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⟩
	hal-01653350v1 Communication dans un congrès Ali Khenchaf, Carole Nahum, Fabrice Comblet, Tran Vu La. Assessment of Inversion Models for Sea Surface Wind Speed Retrieval from Sentinel-1 Data ATSIP 2016, Mar 2016, Monastir, Tunisia. ⟨10.1109/ATSIP.2016.7523147⟩
	hal-01653362v1 Communication dans un congrès Ali Khenchaf, Carole Nahum, Fabrice Comblet, Tran Vu La. Study of Sensitivity In Wind Direction Retrieval From Sentinel-1 Images ATSIP 2016, Mar 2016, Monastir, Tunisia. ⟨10.1109/ATSIP.2016.7523148⟩
	hal-01405912v1 Communication dans un congrès Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec. Overlay Architectures For FPGA Resource Virtualization GDR SOC SIP, Jun 2016, Nantes, France
	1 2 3 4 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 102 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM

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

tel-01505280v2 Thèse
Seifallah Ben Saad. Conception d'un algorithme de coordination hybride de groupes de robots sous-marins communicants. Application : acquisition optique systématique et détaillée des fonds marins
Système multi-agents [cs.MA]. Université de Bretagne occidentale - Brest, 2016. Français. ⟨NNT : 2016BRES0052⟩

hal-01391389v1 Poster
Pierre Bosser. Apprendre le positionnement par GNSS avec le logiciel RTKlib
Géomatice 2016, May 2016, Marne-La-Vallée, France. 2016

hal-01398565v1 Poster
Pierre Bosser, Ismail Hmama,, Iiro Kuusisto,, Julien Le Mercier, Christelle Mekemlong Lando. Évaluation d'une solution de positionnement ponctuel précis temps-réel
Colloque CNFG2 2016, Nov 2016, Brest, France. 2016

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-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-01391276v1 Article dans une revue
Pierre Bosser, Ismail Hmama,, Iiro Kuusisto,, Julien Le Mercier, Christelle Mekemlong Lando. Évaluation d'une solution de positionnement ponctuel précis temps réel
Revue XYZ, Association Française de Topographie, 2016, pp.33-38

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-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-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-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⟩

hal-01653350v1 Communication dans un congrès
Ali Khenchaf, Carole Nahum, Fabrice Comblet, Tran Vu La. Assessment of Inversion Models for Sea Surface Wind Speed Retrieval from Sentinel-1 Data
ATSIP 2016, Mar 2016, Monastir, Tunisia. ⟨10.1109/ATSIP.2016.7523147⟩

hal-01653362v1 Communication dans un congrès
Ali Khenchaf, Carole Nahum, Fabrice Comblet, Tran Vu La. Study of Sensitivity In Wind Direction Retrieval From Sentinel-1 Images
ATSIP 2016, Mar 2016, Monastir, Tunisia. ⟨10.1109/ATSIP.2016.7523148⟩

hal-01405912v1 Communication dans un congrès
Théotime Bollengier, Mohamad Najem, Jean-Christophe Le Lann, Loïc Lagadec. Overlay Architectures For FPGA Resource Virtualization
GDR SOC SIP, Jun 2016, Nantes, France

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