Accéder directement au contenu
Accéder directement à la navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Revues
Documentation
Sciencesconf.org
Support
Connexion
Connexion
Connexion avec ORCID
se connecter avec Fédération
Créer un compte
Mot de passe oublié ?
Login oublié ?
Accueil
Dépôt
Consultation
Consultation par type de publication
Par laboratoire
Par auteur
Recherche
Recherche
Les Filtres
Filtres
Structure/laboratoire : Nom ×
Langue ×
Type de document ×
Tous ×
51 résultats
enregistrer la recherche
Type de document
Réduire
Communication dans un congrès
(51)
Article dans une revue
(20)
Chapitre d'ouvrage
(4)
Auteur
Réduire
Gael Abgrall
(3)
Chagun Basha Basheer Ahmed
(1)
Lamia Allal
(1)
Mahmoud Almasri
(4)
Lucian Anton
(1)
Michel Arrigoni
(1)
Ammar Assoum
(2)
A. Assoum
(2)
Denis Aulagnier
(1)
Safia Nait Bahloul
(1)
Djamila Baroudi
(1)
Alexandre Baussard
(1)
G. Bayrakci
(1)
Ghalem Belalem
(1)
Amel Benabbou
(1)
Théotime Bollengier
(3)
Frédéric Boniol
(1)
E Bonnafous
(1)
Julien Bonnel
(1)
Noury Bouraqadi
(1)
Gilles Burel
(5)
Juan-Carlos Castelli
(1)
Joël Champeau
(6)
Houssem Chemingui
(1)
Vincent Choqueuse
(3)
Arnaud Coatanhay
(3)
Ludovic Collin
(3)
Fabrice Comblet
(1)
Stephen Creff
(2)
Jean-Philippe Delahaye
(3)
Philippe Dhaussy
(9)
Papa Issa Diallo
(1)
Jean-Philippe Diguet
(3)
John Dubberley
(1)
Obeid Fadi
(1)
S. Fargeot
(1)
Ines Gam
(1)
René Garello
(2)
L. Geli
(1)
Régis Guillerey
(1)
Gogniat Guy
(3)
Roy Hansen
(1)
H. Harb
(1)
Hassan Harb
(1)
* Mohammed El Hassouni
(1)
S Heim
(1)
Marwa Ibrahim
(2)
Denis Le Jeune
(4)
Jean-Marc Jézéquel
(2)
Ayoub Karine
(1)
Ali Khenchaf
(4)
Loïc Lagadec
(8)
Loic Lagadec
(1)
Pierre-Laurent Lagalaye
(1)
Jean-Christophe Le Lann
(7)
I. Leblond
(1)
Vincent Leilde
(2)
S Leman
(1)
Lise Leroux
(1)
Luka Leroux
(2)
Jean-Philippe Malkasse
(2)
Ali Mansour
(6)
Arnaud Martin
(1)
Pierre Massaloux
(1)
Frederic Maussang
(2)
Raul Mazo
(1)
Geneviève Mazé-Merceur
(1)
Arnaud Monégier
(1)
Christophe Moy
(5)
Mohamad Najem
(3)
Abbass Nasser
(1)
A. Nasser
(1)
Johnny Oberg
(1)
Christophe Osswald
(6)
Christian Percebois
(1)
Dhaussy Philippe
(1)
Gérard-Pascal Piau
(1)
Alain Plantec
(1)
Isabelle Quidu
(3)
André Quinquis
(1)
Vincent Ribaud
(3)
Francesco Robino
(1)
Jean-Charles Roger
(1)
Frederic Le Roy
(3)
Nait Bahloul Safia
(1)
Naheed Sajjad
(1)
Ingo Sander
(1)
C. Scalabrin
(1)
Jean-Philippe Schneider
(2)
Eric Senn
(2)
Philippe Soulard
(1)
J.-B. Tary
(1)
Sarab Tay
(2)
Ciprian Teodorov
(4)
Felix Totir
(1)
Abdelmalek Toumi
(1)
Laurent Vaitilingom
(1)
Jorgiano Vidal
(1)
Pierre Vilbé
(2)
Koffi Clément Yao
(3)
Domaine
Réduire
Informatique [cs]
(40)
Sciences de l'ingénieur [physics]
(21)
Physique [physics]
(4)
Mathématiques [math]
(1)
Sciences de l'environnement
(1)
Planète et Univers [physics]
(1)
Laboratoire
Réduire
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
(51)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(33)
Pôle STIC [Brest]
(30)
Extraction et Exploitation de l'Information en Environnements Incertains
(9)
Institut d'Électronique et des Technologies du numéRique
(8)
Institut de Recherche en Informatique et Systèmes Aléatoires
(5)
Inria Rennes – Bretagne Atlantique
(4)
Développement des Technologies Nouvelles
(3)
Institut d'Electronique et de Télécommunications de Rennes
(2)
Laboratoire d'Electronique et Systèmes de Télécommunications
(2)
Thales Underwater Systems
(2)
Airbus Defence and Space
(1)
Airbus Group Innovations [Suresnes]
(1)
Centre d'études scientifiques et techniques d'Aquitaine
(1)
Centre de Recherche en Acquisition et Traitement de l'Image pour la Santé
(1)
Centre de Recherche en Informatique de Paris 1
(1)
Communication & Systèmes [Toulouse]
(1)
DGA|CELAR
(1)
Defence R&D Canada Atlantic
(1)
Décision et Information pour les Systèmes de Production
(1)
Grenoble Images Parole Signal Automatique
(1)
Groupe d'études sous-marines de l'Atlantique
(1)
INRIA Rennes
(1)
Institut FRESNEL
(1)
Institut de Recherche Dupuy de Lôme
(1)
Institut de recherche en informatique de Toulouse
(1)
Institut des Sciences de la Terre
(1)
Laboratoire d'Electronique des Systèmes TEmps Réel
(1)
Laboratoire de Recherche Informatique et Télécommunications
(1)
Laboratoire de recherche en Génie Logiciel, Applications distribuées, Systèmes décisionnels et Imagerie intelligente [Manouba]
(1)
Laboratoire de sondages électromagnétiques de l'environnement terrestre
(1)
Laboratoire extraction et exploitation de l'information en environnements incertains (EA 3876)
(1)
MTA's electronic&computer research center
(1)
NRL Stennis Space Center
(1)
Nexio
(1)
ONERA - The French Aerospace Lab [Palaiseau]
(1)
ONERA - The French Aerospace Lab [Toulouse]
(1)
SODIUS
(1)
SUPELEC-Campus Rennes
(1)
School of Information and Communication Technology
(1)
Systèmes et Applications des Technologies de l'Information et de l'Energie
(1)
Thales Aerospace Division [Brest]
(1)
Thales Air Systems
(1)
Thomson Silicon Component
(1)
Unité de Recherche Informatique et Automatique
(1)
Université de Mostaganem
(1)
Langue
Réduire
anglais
(51)
français
(3)
Type de dépôt
Réduire
Notice
(36)
Document
(15)
Année
Réduire
2021
(1)
2019
(5)
2018
(1)
2017
(3)
2016
(10)
2015
(7)
2012
(9)
2011
(1)
2010
(5)
2008
(5)
2007
(1)
2006
(1)
2000
(2)
Rechercher
Aide
Recherche avancée…
Recherche simple…
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Titres
Sous-titre
Titre de l'ouvrage
Titre du volume (Série)
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
À paraître (true ou false)
Auteur (multicritères)
Auteur : Nom complet
Auteur : Nom de famille
Auteur : Prénom
Auteur : Complément de nom, deuxième prénom
Auteur : Organisme payeur
Auteur : IdHal (chaîne de caractères)
Auteur : Fonction
Auteur : idHal numérique
Auteur : Identifiant
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Revues (multicritères)
Revue : Éditeur
Revue : Titre abrégé
Revue : Titre
Revue : Identifiant interne
Revue : Date de début de publication
Revue : ISSN électronique
Revue : ISSN
Revue : Éditeur
Revue : Couleur dans SHERPA/RoMEO
Revue : État dans le référentiel
Colloque (multicritères)
Colloque : Titre
Colloque : Organisateur
Colloque : date de début (Année)
Colloque : date de fin (Année)
Conférence invitée (oui/non)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme du programme
Projet ANR : Code décision (référence)
Projet ANR : Nom
Projet ANR : Identifiant interne
Projet ANR : État dans le référentiel
Projets européens (multicritères)
Projet européen : Acronyme
Projet européen : Identifiant de l'appel à projet
Projet européen : Référence
Projet européen : Nom
Projet européen : Date de fin
Projet européen : Financement
Projet européen : Date de début
Projet européen : État dans le référentiel
Projet européen : Identifiant interne
Structure (multicritères)
Structure : Acronyme
Structure : Nom
Structure : Code
Structure : Pays
Structure : Type
Structure : État dans le référentiel
Structure : Identifiant HAL de la structure
Structure/équipe de recherche : Pays
Structure/regroupement d'équipes : Pays
Structure/laboratoire : Pays
Structure/regroupement de laboratoires : Pays
Structure/institution : Pays
Structure/regroupement d'institutions : Pays
Date de production : année
Date de mise en ligne : année
Date de publication : année
Date d'écriture : année
Date de modification du dépôt : année
Date de dépôt : année
Date de publication électronique : année
Collection HAL (multicritères)
Collection HAL : catégorie
Collection HAL : Code
Collection HAL : Nom
Collection HAL : Identifiant interne
Identifiant interne du contributeur/déposant
Nom complet du contributeur/déposant
Domaines
Domaine primaire
Domaine racine
Sous-domaine niveau 1
Sous-domaine niveau 2
Sous-domaine niveau 3
Statut du document
Version du document
Type de dépôt
Type de document
ISBN
Numéro - référence
Identifiant DOI
Classification
Audience
Vulgarisation
Comité de lecture - texte (oui ou non)
Actes de colloque
Référence interne
Financement
Collaborations
Ajouter
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
1
2
Suivant
Dernière
Tri
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
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
×
Merci d'indiquer la raison de votre demande
Outils
Pour les 51 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Export avancé...
Syndication
RSS
ATOM
hal-01192720
v1
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-01203701
v1
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-02434617
v1
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-02433746
v1
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-01156518
v1
Communication dans un congrès
Jean-Philippe Schneider
,
Joël Champeau
,
Ciprian Teodorov
,
Eric Senn
,
Loic Lagadec
et al.
A Role Language to Interpret Multi-Formalism System of Systems Models
Syscon 2015
, IEEE, Apr 2015, Vancouver, Canada
hal-01156537
v1
Communication dans un congrès
Papa Issa Diallo
,
Seyed-Hosein Attarzadeh-Niaki
,
Francesco Robino
,
Ingo Sander
,
Joël Champeau
et al.
A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation
SIES 2015
, University of Siegen, Jun 2015, Siegen, Germany
hal-01298895
v1
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-01298704
v1
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-00687505
v1
Communication dans un congrès
Alexandre Baussard
,
Samuel Grosdidier
.
Target detection based on morphological component analysis of HFSWR images for maritime surveillance
PIERS 2012
, Mar 2012, Kuala Lumpur, Malaysia. pp.87
hal-00690923
v1
Communication dans un congrès
Hanh Nhi Tran
,
Christian Percebois
.
Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT)
, Apr 2012, Montreal, Canada
hal-00485825
v1
Communication dans un congrès
Emanuel Radoi
,
Felix Totir
,
André Quinquis
,
Lucian Anton
.
Superresolution Imagery Based SVM Classification of Radar Targets
EUSAR 2006
, May 2006, Dresde, Germany. pp.1-4
hal-00626512
v1
Communication dans un congrès
Sarab Tay
,
Frederic Maussang
,
Arnaud Coatanhay
,
René Garello
.
Kalman filtering of GPS signals for target tracking application
Passive 2010 conference
, Jun 2010, Brest, France
hal-02418325
v1
Communication dans un congrès
Mahmoud Almasri
,
Ali Mansour
,
Christophe Moy
,
A. Assoum
,
Christophe Osswald
et al.
All-Powerful Learning Algorithm for the Priority Access in Cognitive Network
27th European Signal Processing Conference (EUSIPCO)
, Sep 2019, A Coruna, Spain. pp.1-5,
⟨10.23919/EUSIPCO.2019.8903016⟩
hal-01203649
v1
Communication dans un congrès
Khaoula Es-Salhi
,
Siham Rim Boudaoud
,
Ciprian Teodorov
,
Zoé Drey
,
Vincent Ribaud
.
KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15
, Sep 2015, Edimburgh, United Kingdom. pp.151-165
hal-01559688
v1
Communication dans un congrès
Vincent Leilde
,
Vincent Ribaud
,
Ciprian Teodorov
,
Philippe Dhaussy
.
A Diagnosis Framework for Critical Systems Verification
15th International Conference on Software Engineering and Formal Methods, SEFM 2017
, Sep 2017, Trente, Italy. Short Papers 1-6
hal-01406604
v1
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-00676640
v1
Communication dans un congrès
Philippe Dhaussy
,
Jean-Charles Roger
,
Luka Leroux
,
Frédéric Boniol
.
Context Aware Model Exploration with OBP tool to Improve Model-Checking
ERTS 2012
, Feb 2012, Toulouse, France
hal-00704089
v1
Communication dans un congrès
G. Bayrakci
,
C. Scalabrin
,
I. Leblond
,
L. Geli
,
J.-B. Tary
.
Monitoring of gas emission in the Marmara Sea by the combined study of the Acoustic Bubble Detector and Ocean Bottom Seismometers
EGU 2012
, Apr 2012, Vienne, Austria
hal-00703785
v1
Communication dans un congrès
Jean-Christophe Le Lann
,
Philippe Dhaussy
,
Pierre-Laurent Lagalaye
.
Modélisation algorithmique et synthèse d'architectures assistées par model-checking
CAL 2012-
, May 2012, Montpellier, France
hal-00703831
v1
Communication dans un congrès
Naheed Sajjad
,
Ali Khenchaf
,
Arnaud Coatanhay
.
Depolarization of Electromagnetic Waves from Bare Soil Surfaces
SCEE'10
, Oct 2010, Toulouse, France. pp.107,
⟨10.1007/978-3-642-22453-9_12⟩
hal-00687507
v1
Communication dans un congrès
Ali Khenchaf
,
Laurent Vaitilingom
.
MONOSTATIC AND BISTATIC ELECTROMAGNETIC SIGNATURE OF SEA AND GROUND CLUTTER IN HF BAND ESTIMATED BY USING SPM, TSM AND SSA MODELS
PIERS 2012
, Mar 2012, Kuala Lumpur, Malaysia. pp.81
hal-01405912
v1
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
hal-00645827
v1
Communication dans un congrès
Øivind Midtgaard
,
Roy Hansen
,
Torstein Sæbø
,
Vincent Myers
,
John Dubberley
et al.
Change Detection Using Synthetic Aperture Sonar: Preliminary Results from the Larvik Trial
OCEANS 2011 MTS/IEEE conference
, Sep 2011, Kona, United States
hal-01405860
v1
Communication dans un congrès
Théotime Bollengier
,
Mohamad Najem
,
Jean-Christophe Le Lann
,
Loïc Lagadec
.
ZeFF : Une plateforme pour l’intégration d’architectures overlay dans le Cloud
COMPAS 2016
, Jul 2016, Lorient, France
hal-01405890
v1
Communication dans un congrès
Théotime Bollengier
,
Mohamad Najem
,
Jean-Christophe Le Lann
,
Loïc Lagadec
.
Overlay Architectures for Heterogeneous FPGA Cluster Management.
DASIP 2016
, Oct 2016, Rennes, France
hal-01406141
v1
Communication dans un congrès
Ayoub Karine
,
Abdelmalek Toumi
,
* Mohammed El Hassouni
,
Ali Khenchaf
.
Modélisation et réalisation d’un système de reconnaissance de cibles radar
Journée URAC 2016
, Nov 2015, Rabat, Morocco
hal-01289454
v1
Communication dans un congrès
S Heim
,
Xavier Dumas
,
E Bonnafous
,
Philippe Dhaussy
,
C Teodorov
et al.
Model Checking of SCADE Designed Systems
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
, Jan 2016, TOULOUSE, France
hal-00504817
v1
Communication dans un congrès
Isabelle Quidu
,
Jean-Philippe Malkasse
,
Gilles Burel
,
Pierre Vilbé
.
Mine Classification based on raw sonar data: an approach combining Fourier Descriptors, Statistical Models and Genetic Algorithms
IEEE OCEANS'2000
, Sep 2000, Providence, Rhode Island, United States
hal-01326340
v1
Communication dans un congrès
Obeid Fadi
,
Dhaussy Philippe
.
Validation formelle d’implantation de patrons de sécurité : Application aux SCADA
AFADL 2016
, Jun 2016, Besançon, France
hal-01326333
v1
Communication dans un congrès
Djamila Baroudi
,
Philippe Dhaussy
,
Nait Bahloul Safia
.
Formalisation d’une Approche Compositionnelle de Patrons de Propriétés
AFADL 2016
, i, Jun 2016, Besançon, France
1
2
Suivant
Dernière
Tri
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
Nombre
30 résultats par page
50 résultats par page
100 résultats par page
Outils
Pour les 51 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Export avancé...
Syndication
RSS
ATOM
Libellé
Enregistrer
Annuler
Des champs obligatoires n'ont pas été remplis.