Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne

Accéder directement au contenu

Documentation

Portail HAL ENSTA Bretagne
Recherche
Loading...
Recherche avancée
Information de documents
Titres
Sous-titre
Titre de l'ouvrage
Titre du volume (Série)
Champ de recherche par défaut (multicritères) + texte intégral des PDF
Résumé
Texte intégral indexé des documents PDF
Mots-clés
Type de document
Sous-type de document
Tous les identifiants du document
Identifiant HAL du dépôt
Langue du document (texte)
Pays (Texte)
Ville
À paraître (true ou false)

Auteur
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 : personID (entier)
hal_authId_i
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série

Structure
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

Autres
Champ de recherche par défaut (multicritères)
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
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
Recherche experte (SolR)
Déposer

Accueil
Consulter
Thèses et HDR de l'ENSTA Bretagne
Pour vous aider

Loading...

Filtrer vos résultats

Notice
4
Document
1

Communication dans un congrès
3
Article dans une revue
2

Informatique [cs]
5
Mathématiques [math]
1

2015
1
2014
2
2012
2

anglais
5

Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
5
Département STIC [Brest]
3
ONERA - The French Aerospace Lab [Toulouse]
2
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
1

Luka Leroux
5
Philippe Dhaussy
5
Ciprian Teodorov
2
Frédéric Boniol
2
Jean-Charles Roger
2
Jérôme Delatour
1
Vincent Ribaud
1
Zoé Drey
1

5 Résultats

authFullName_s : Luka Leroux

	Pour les 5 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par 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

		Improving Model Checking with Context Modelling Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger , Luka Leroux Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩ Article dans une revue hal-00738735v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More
		Techniques and Challenges for Trace Processing from a Model-Checking Perspective Vincent Ribaud , Ciprian Teodorov , Zoé Drey , Luka Leroux , Philippe Dhaussy et al. International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States Communication dans un congrès hal-01119571v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More
		Context-Aware Verification of a Cruise-Control System Ciprian Teodorov , Luka Leroux , Philippe Dhaussy MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ Communication dans un congrès hal-01203701v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More
		Context Aware Model Exploration with OBP tool to Improve Model-Checking Philippe Dhaussy , Jean-Charles Roger , Luka Leroux , Frédéric Boniol ERTS 2012, Feb 2012, Toulouse, France Communication dans un congrès hal-00676640v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More
		Modélisation UML d'un régulateur de vitesse automobile Luka Leroux , Jérôme Delatour , Philippe Dhaussy Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109 Article dans une revue hal-01006647v1	Envoyer sur ORCID Exporter BibTeX TEI Dublin Core DC Terms EndNote Export avancé Partager Gmail Facebook Twitter LinkedIn More

Page :

Contact

Ressources

Documentation
FAQ
API
OAI-PMH
AuréHAL

Informations

Données personnelles
Mentions légales
Accessibilité
Conformité RGAA

Questions juridiques

Je publie, quels sont mes droits ?
Loi pour une République numérique
Stratégie de non-cession des droits
SHERPA/RoMEO

Portails

Portails institutionnels
HAL
HAL SHS
HAL Thèses
MédiHAL

CCSD

CCSD
Episciences
Sciencesconf