Accéder directement au contenu
Accéder directement à la navigation
Toggle navigation
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
Consultation par année
Consultation par département ENSTA Bretagne
Les auteurs de l'ENSTA Bretagne
Thèses
Recherche
Recherche
Les Filtres
Filtres
Sous-domaine niveau 1 ×
Tous ×
69 résultats
enregistrer la recherche
Type de document
Réduire
Communication dans un congrès
(49)
Article dans une revue
(12)
Chapitre d'ouvrage
(6)
Thèse
(2)
Auteur
Réduire
Philippe Dhaussy
(26)
Joël Champeau
(18)
Ciprian Teodorov
(13)
Frédéric Boniol
(6)
Papa Issa Diallo
(6)
Vincent Leilde
(6)
Jean-Christophe Le Lann
(5)
Jean-Philippe Schneider
(5)
Loïc Lagadec
(5)
Luka Leroux
(5)
Stephen Creff
(5)
Vincent Ribaud
(5)
Amine Raji
(4)
Jean-Charles Roger
(4)
Jérôme Delatour
(4)
Luc Jaulin
(4)
Andreas Rauh
(3)
Charbel Geryes Aoun
(3)
Ghalem Belalem
(3)
Iyas Alloush
(3)
Jalil Boukhobza
(3)
Jean-Marc Jézéquel
(3)
Jordan Ninin
(3)
Lamia Allal
(3)
Oussama Kassem Zein
(3)
Yvon Kermarrec
(3)
Zoé Drey
(3)
Alexandre Chapoutot
(2)
Ali Khenchaf
(2)
Amel Benabbou
(2)
Arnaud Monégier
(2)
Dominique Kerjean
(2)
Dominique Monnet
(2)
Eric Senn
(2)
Jean-Christophe Cexus
(2)
Julia Kersten
(2)
Julien Alexandre Dit Sandretto
(2)
Louis-Marie Nicolas
(2)
Luis Thomas
(2)
Luka Le Roux
(2)
Nader Khammassi
(2)
Pierre-Yves Pillain
(2)
Safia Nait Bahloul
(2)
Xavier Dumas
(2)
Yassine Hadjadj-Aoul
(2)
Alexandre Skrzyniarz
(1)
Andreas Rauh
(1)
Anthony Fiche
(1)
Arnaud Martin
(1)
Auguste Bourgois
(1)
Benoît Baudry
(1)
Dhaussy Philippe
(1)
Ekaterina Auer
(1)
Emmanuel Gaudin
(1)
Eric Bonnafous
(1)
Francesco Robino
(1)
Fréderic Le Roy
(1)
Frédéric Jouault
(1)
Frédéric Jouault
(1)
Harald Aschemann
(1)
Ingo Sander
(1)
Jannik Laval
(1)
Jean-Philippe Babau
(1)
Jean-Philippe Delahaye
(1)
Jean-Philippe Diguet
(1)
Joel Champeau
(1)
Johnny Oberg
(1)
Khaoula Es-Salhi
(1)
Lahatra Rakotondrainibe
(1)
Laurent Dufrechou
(1)
Laurène Mazeau
(1)
Loic Lagadec
(1)
Luc Fabresse
(1)
Matthias Brun
(1)
Mihal Brumbulli
(1)
Nadia Menad
(1)
Noury Bouraqadi
(1)
Seyed-Hosein Attarzadeh-Niaki
(1)
Siegfried Rouvrais
(1)
Siham Rim Boudaoud
(1)
Simon Rohou
(1)
Theurer Wolfgang
(1)
Théotime Bollengier
(1)
Valentin Besnard
(1)
Xuan Sang Le
(1)
Yves Auffret
(1)
Domaine
Réduire
Informatique [cs]
(69)
Sciences de l'Homme et Société
(10)
Mathématiques [math]
(7)
Sciences de l'ingénieur [physics]
(7)
Statistiques [stat]
(1)
Laboratoire
Réduire
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
(39)
Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
(28)
Département STIC [Brest]
(21)
Laboratoire d'Informatique des Systèmes Complexes
(10)
Institut de Recherche en Informatique et Systèmes Aléatoires
(7)
Inria Rennes – Bretagne Atlantique
(6)
ONERA - The French Aerospace Lab [Toulouse]
(6)
Développement des Technologies Nouvelles
(4)
ESEO-Tech
(4)
Institut de Recherche en Communications et en Cybernétique de Nantes
(3)
Department für Informatik [Oldenburg]
(2)
Thales Air Systems
(2)
Centre for Digital Systems
(1)
Chemical Engineering Department (Oran , Algeria)
(1)
Décision et Information pour les Systèmes de Production
(1)
Institut d'Électronique et des Technologies du numéRique
(1)
Laboratoire de recherche en droit - EA7480
(1)
School of Information and Communication Technology
(1)
Thales Airborne Systems
(1)
Langue
Réduire
anglais
(65)
français
(4)
Type de dépôt
Réduire
Notice
(49)
Document
(19)
Annexe
(1)
Année
Réduire
2022
(5)
2021
(3)
2020
(1)
2019
(1)
2018
(3)
2016
(7)
2015
(8)
2014
(8)
2013
(9)
2012
(8)
2011
(11)
2010
(4)
2006
(1)
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 : ORCID (Chaîne de caractères)
Auteur : Fonction
Auteur : personID (entier)
Auteur : FormID-PersonID
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
3
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 69 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Export avancé...
Syndication
RSS
ATOM
hal-00913335
v1
Communication dans un congrès
Jean-Philippe Schneider
,
Zoé Drey
,
Jean-Christophe Le Lann
.
Early exploring design alternatives of smart sensor software with Model of Computation implemented with actors
ESUG 2013 - 21th International Smalltalk Conference
, Sep 2013, Annecy, France
hal-01156518
v1
Communication dans un congrès
Jean-Philippe Schneider
,
Joël Champeau
,
Ciprian Teodorov
,
Eric Senn
,
Loic Lagadec
.
A Role Language to Interpret Multi-Formalism System of Systems Models
Syscon 2015
, IEEE, Apr 2015, Vancouver, Canada
hal-00914377
v1
Communication dans un congrès
Stephen Creff
,
Joël Champeau
.
PLiMoS, a DSML to Reify Semantics Relationships: An Application to Model-Based Product Lines
MODELS 2013
, Sep 2013, Miami, United States
hal-00738735
v1
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-00635904
v1
Communication dans un congrès
Amine Raji
,
Philippe Dhaussy
.
User context models : a framework to ease software formal verifications
ICEIS'10 - International Conference on Enterprise Information Systems
, Jun 2010, Madeire, Portugal
hal-03494430
v1
Communication dans un congrès
Andreas Rauh
,
Auguste Bourgois
,
Luc Jaulin
,
Julia Kersten
.
Ellipsoidal Enclosure Techniques for a Verified Simulation of Initial Value Problems for Ordinary Differential Equations
2021 International Conference on Control, Automation and Diagnosis (ICCAD)
, Nov 2021, Grenoble, France. pp.1-6,
⟨10.1109/ICCAD52417.2021.9638755⟩
hal-03619435
v1
Article dans une revue
Andreas Rauh
,
Simon Rohou
,
Luc Jaulin
.
An Ellipsoidal Predictor-Corrector State Estimation Scheme for Linear Continuous-Time Systems With Bounded Parameters and Bounded Measurement Errors
Frontiers in Control Engineering
, Frontiers Media, 2022,
⟨10.3389/fcteg.2022.785795⟩
hal-02565053
v1
Chapitre d'ouvrage
Laurène Mazeau
,
Jordan Ninin
.
Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal Concepts
Marie-Eve Arbour; Lara Khoury.
Concilier la sécurité des produits et la responsabilité civile à l'ère du risque et de l'incertitude
,
Éditions Yvon Blais
, 2019, 9782897305543
hal-01156533
v1
Communication dans un congrès
Papa Issa Diallo
,
Joël Champeau
,
Vincent Leilde
.
An approach for describing concurrency and communication of heterogeneous systems
BM-FA'11
, Jun 2011, Birmingham, United Kingdom
hal-01006697
v1
Communication dans un congrès
Philippe Dhaussy
,
Ciprian Teodorov
.
Context-aware Veri cation of a Landing Gear System
ABZ 2014
, Jun 2014, Toulouse, France. pp.52-65
hal-00636875
v1
Communication dans un congrès
Amine Raji
,
Philippe Dhaussy
.
Use Cases Modeling for Scalable Model-Checking
APSEC'11
, Dec 2011, Minh City, Vietnam
hal-01006128
v1
Communication dans un congrès
Loïc Lagadec
,
Jean-Christophe Le Lann
,
Théotime Bollengier
.
A Prototyping Platform for Virtual Reconfigurable Units
RECOSOC 2014
, May 2014, Montpellier, France
hal-00738772
v1
Communication dans un congrès
Stephen Creff
,
Joël Champeau
,
Jean-Marc Jézéquel
.
Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012
, Sep 2012, El Salvador. pp.107-114
hal-00635594
v1
Communication dans un congrès
Papa Issa Diallo
,
Joël Champeau
,
Vincent Leilde
.
Model Based Engineering for the support of Models of Computation: The Cometa Approach
International Workshop on Multi-Paradigm Modeling - MPM 2011
, Oct 2011, Wellington, New Zealand. pp.ISSN 1863-2122
hal-03463358
v1
Article dans une revue
Valentin Besnard
,
Ciprian Teodorov
,
Frédéric Jouault
,
Matthias Brun
,
Philippe Dhaussy
.
Unified verification and monitoring of executable UML specifications. A transformation-free approach
Software and Systems Modeling
, Springer Verlag, 2021,
⟨10.1007/s10270-021-00923-9⟩
hal-01371498
v1
Communication dans un congrès
Dominique Monnet
,
Luc Jaulin
,
Jordan Ninin
,
Alexandre Chapoutot
,
Julien Alexandre Dit Sandretto
.
Inner and Outer Computation of the Viability Kernel based on Interval Analysis
International Symposium on Set Membership - Applications, Reliability and Theory
, Sep 2015, Manchester, United Kingdom
hal-01118931
v1
Communication dans un congrès
Charbel Geryes Aoun
,
Iyas Alloush
,
Yvon Kermarrec
,
Oussama Kassem Zein
,
Joël Champeau
.
Domain Specific Modeling Language for Object Localization in Marine Observatories
SENSORCOMM 2014
, IARIA, Nov 2014, Lisbonne, Portugal
hal-00771748
v1
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-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-01206527
v1
Communication dans un congrès
Philippe Dhaussy
.
Formal Validation with Model-Checking Techniques
ICNTC'2012
, Dec 2012, Chlef, Algérie
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-00628532
v1
Communication dans un congrès
Jean-Philippe Schneider
,
Joël Champeau
,
Dominique Kerjean
.
Domain-specific modelling applied to inteegration of smart sensors into an information system
ICEIS 2011
, Jun 2011, Lille, France. pp.XX
tel-02515931
v1
Thèse
Ciprian Teodorov
.
Model-Driven Physical-Design for Future Nanoscale Architectures
Emerging Technologies [cs.ET]. Université de Bretagne Occidentale (UBO), Brest, 2011. English
hal-03223740
v1
Article dans une revue
Julia Kersten
,
Andreas Rauh
,
Harald Aschemann
.
Analyzing Uncertain Dynamical Systems after State-Space Transformations into Cooperative Form: Verification of Control and Fault Diagnosis
Axioms
, MDPI, 2021, 10 (2), pp.88.
⟨10.3390/axioms10020088⟩
hal-03593500
v1
Article dans une revue
Andreas Rauh
,
Ekaterina Auer
.
Interval Extension of Neural Network Models for the Electrochemical Behavior of High-Temperature Fuel Cells
Frontiers in Control Engineering
, Frontiers Media, 2022, 3,
⟨10.3389/fcteg.2022.785123⟩
hal-00704312
v1
Communication dans un congrès
Stephen Creff
,
Joël Champeau
,
Arnaud Monégier
,
Jean-Marc Jézéquel
.
Une organisation des Lignes de Produits Logiciels autour d'un motif architectural
CAL 2012
, May 2012, Montpellier, France
hal-00635763
v1
Communication dans un congrès
Amine Raji
,
Philippe Dhaussy
.
Modèles orientés utilisateurs pour la vérification formelle en contexte industriel
IDM'11
, Jun 2011, Lille, France
hal-00728364
v1
Communication dans un congrès
Nader Khammassi
,
Jean-Christophe Le Lann
,
Jean-Philippe Diguet
,
Alexandre Skrzyniarz
.
MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization Medthodology
HPCC 2012
, Jun 2012, Liverpool, United Kingdom
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-01119571
v1
Communication dans un congrès
Vincent Ribaud
,
Ciprian Teodorov
,
Zoé Drey
,
Luka Leroux
,
Philippe Dhaussy
.
Techniques and Challenges for Trace Processing from a Model-Checking Perspective
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014
, University of Bridgeport, Dec 2014, Bridgeport, United States
1
2
3
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 69 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
HTML
Export avancé...
Syndication
RSS
ATOM
Libellé
Enregistrer
Annuler
Des champs obligatoires n'ont pas été remplis.