Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Documentation
Episciences.org
Sciencesconf.org
Support
Connexion
Connexion
Créer un compte
Mot de passe oublié ?
Login oublié ?
fr
en
Accueil
Déposer
Consulter
par date de publication/rédaction
par domaine
par type de publication
par collection
arXiv
Consultation les derniers dépôts
Recherche
Services
HalTools : créer sa page web
Haltools : export RAWEB
Bib2Hal : import par lot à partir d'un fichier BibTeX
Consulter les structures de recherche connues de HAL
Documentation
Aide en ligne de HAL V3
Dernières évolutions de HAL V3
Documentation API HAL
Ajouter des vignettes
Aide en ligne Haltools
Aide en ligne de Bib2hal
OpenAccess@Inria
Supports
Recherche
Filtres
Sous-domaine niveau 1 ×
Mots-clés ×
Tous ×
50 résultats
enregistrer la recherche
Type de document
Communication dans un congrès
(16)
Thèse
(16)
Rapport
(13)
Article dans une revue
(4)
Chapitre d'ouvrage
(1)
Auteur
Françoise Simonot-Lion
(21)
Ye-Qiong Song
(10)
Nicolas Navet
(9)
Jörn Migge
(8)
Jean-Pierre Elloy
(5)
Ulrich Freund
(5)
Yvon Trinquet
(5)
Jochen Küster
(4)
Mark-Oliver Reiser
(4)
Orazio Gurrieri
(4)
Thomas Wierczoch
(4)
Henrik Lonn
(3)
Matthias Weber
(3)
Matthieu Courrier
(3)
Paolo Castelpietra
(3)
B. Rouchouse
(2)
François Simonot
(2)
Henrik Lönn
(2)
Mondher Attia
(2)
A. Bouali
(1)
Adel Ziani
(1)
Ahlem Triki
(1)
Andrés Romero Mier y Teran
(1)
Anshul Kumar
(1)
Ayoub Nouri
(1)
Bassem Ouni
(1)
Bruno Godard
(1)
Carlos Hernan Prada Rojas
(1)
Charly Bechara
(1)
Cédric Wilwert
(1)
Deltort
(1)
Diego Alberto Mercado-Ravell
(1)
Dominique Cansell
(1)
Dominique Méry
(1)
Evangelos Bempelis
(1)
Fatma Krichen
(1)
Franck Gasnier
(1)
Gaurav Singhal
(1)
Ilias Garnier
(1)
J.L. Boucheron
(1)
Jacques Jaray
(1)
Julien Moras
(1)
Kun Jiang
(1)
Nicolas Berthier
(1)
O. Cayrol
(1)
P. Lemaire
(1)
P. Palmieri
(1)
Patricia Lopez Cueva
(1)
Rajarshi Ray
(1)
Raul Brito
(1)
Ricardo Santos Marques
(1)
Samuel Boutin
(1)
Sébastien Wolf
(1)
T. Gautier
(1)
Thomas Clément
(1)
Venkat Rao
(1)
Vincent Debruyne
(1)
Bruno Gaujal
(1)
Discipline
Informatique [cs]
(50)
Sciences de l'ingénieur [physics]
(3)
Structure
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(34)
INRIA Lorraine
(33)
Institut de Recherche en Communications et en Cybernétique de Nantes
(4)
PSA Peugeot - Citroën
(4)
VERIMAG
(4)
Heuristique et Diagnostic des Systèmes Complexes [Compiègne]
(3)
Institut de recherche en informatique de Toulouse
(2)
Laboratoire d'Informatique de Grenoble
(2)
Laboratoire d'Intégration des Systèmes et des Technologies
(2)
Inria Grenoble - Rhône-Alpes
(1)
Laboratoire d'Electronique, Antennes et Télécommunications
(1)
Laboratoire de Recherche en Informatique
(1)
Collection
CNRS
(47)
INRIA
(36)
INPL
(34)
LORIA
(34)
LORIA2
(34)
UNIV-LORRAINE
(34)
INRIA-LORRAINE
(33)
INRIA-NANCY-GRAND-EST
(33)
STAR
(15)
LARA
(13)
UGA
(6)
UNIV-GRENOBLE1
(6)
EC-NANTES
(4)
IMAG
(4)
INSTITUT-TELECOM
(4)
IRCCYN
(4)
IRCCYN-STR
(4)
UNAM
(4)
UNIV-NANTES
(4)
ASER
(3)
HEUDIASYC
(3)
UNIV-COMPIEGNE
(3)
CEA
(2)
DRT
(2)
LIG
(2)
LIG_SRCPR
(2)
SMS
(2)
TESTANNE
(2)
UNIV-PMF_GRENOBLE
(2)
UNIV-TLSE2
(2)
UNIV-TLSE3
(2)
CENTRALESUPELEC
(1)
INRIA-RHA
(1)
INRIA_TEST
(1)
LABO-LORIA-SET
(1)
LIG_TDCGE
(1)
LIG_TDCGE_HADAS
(1)
UCA-TEST
(1)
UMR8623
(1)
UNICE
(1)
UNIV-PSUD
(1)
Langue
anglais
(28)
français
(22)
Mot-clé
Systèmes embarqués
(40)
Embedded systems
(23)
Type de dépôt
Notice
(30)
Document
(20)
Année
2016
(1)
2015
(4)
2013
(6)
2012
(3)
2011
(2)
2006
(1)
2005
(2)
2004
(5)
2003
(8)
2002
(4)
2001
(5)
2000
(3)
1999
(1)
1998
(5)
Rechercher
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
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
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)
Projets ANR (multicritères)
Projet ANR : Acronyme
Projet ANR : Acronyme de l'appel à projet
Projet ANR : Nom de l'appel à projet
Projet ANR : 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
Date de publication : année
Date de mise en ligne : 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
Enregistrement réussi
Mes recherches enregistrées / mes alertes
Une erreur est survenue lors de l'enregistrement
1
2
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 50 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
inria-00100234
v1
Rapport
Ricardo Santos Marques
,
Nicolas Navet
,
Françoise Simonot-Lion
.
Network bandwidth optimization in automotive middlewares
[Intern report] A04-R-475 || santos_marques04a, 2004, 27 p
inria-00100250
v1
Communication dans un congrès
Ulrich Freund
,
Orazio Gurrieri
,
Jochen Küster
,
Henrik Lonn
,
Jörn Migge
et al.
An Architecture Description Language for Developing Automotive ECU-Software
Incose 2004 Symposium
, 2004, Toulouse/France, 17 p, 2004
inria-00100137
v1
Communication dans un congrès
Nicolas Navet
,
Bruno Gaujal
.
Optimizing the configuration of X-by-Wire networks using word combinatorics
EPFL Network Calculus Group Seminar
, 2004, Lausanne/Suisse, 2004
inria-00100138
v1
Communication dans un congrès
Nicolas Navet
.
Middlewares embarqués dans les véhicules
GDR "Spécification Temporelle et Stochastique et Systèmes Temps Réel'' - STRQDS'04
, 2004, Paris/France, 23 p, 2004
inria-00108055
v1
Chapitre d'ouvrage
Ye-Qiong Song
,
Françoise Simonot-Lion
,
Nicolas Navet
.
De l'évaluation de performances du système de communication à la validation de l'architecture opérationnelle - cas du système embarqué dans l'automobile
LISI-ENSMA.
Ecole d'été Temps Réel 1999
, Hermes, 15 p, 1999, 2-9514541-1-2
inria-00099956
v1
Communication dans un congrès
Venkat Rao
,
Gaurav Singhal
,
Anshul Kumar
,
Nicolas Navet
.
Stochastic Battery Model for Embedded Systems
18th International Conference on VLSI Design 2005
, 2005, Calcutta/Inde, 2005
inria-00099774
v1
Rapport
Ulrich Freund
,
Orazio Gurrieri
,
Jochen Küster
,
Henrik Lonn
,
Jörn Migge
et al.
An Architecture Description Language for developing Automotive ECU-Software
[Intern report] A03-R-337 || freund03a, 2003
inria-00099642
v1
Rapport
Paolo Castelpietra
,
Ulrich Freund
,
Jochen Küster
,
Henrik Lönn
,
Jörn Migge
et al.
Definition of language for automotive embedded electronic architecture description (ADL V0.4)
[Contract] A03-R-334 || castelpietra03a, 2003, 113 p
inria-00099630
v1
Rapport
Orazio Gurrieri
,
Ulrich Freund
,
Jochen Küster
,
Henrik Lönn
,
Jörn Migge
et al.
Definition of language for automotive embedded electronic architecture description (ADL V0.5)
[Contract] A03-R-305 || gurrieri03a, 2003, 130 p
inria-00099651
v1
Communication dans un congrès
Françoise Simonot-Lion
.
Architectures Embarquées dans l'automobile : comment assurer leur sûreté ?
10èmes rencontres INRIA Industrie « Applications de l'informatique et de l'automatique aux transports » 2003
, 2003, Rocquencourt/France, 19 p, 2003
inria-00099653
v1
Communication dans un congrès
Françoise Simonot-Lion
.
AIL_Transport, un langage pour la description d'architectures électroniques embarquées dans l'automobile
Conférence Ingénierie Automobile 2003
, 2003, Massy-Palaiseau/France, 35 p, 2003
inria-00099680
v1
Rapport
Raul Brito
.
Real-Time Scheduling of Tasks with Energy Constraints
[Intership report] A03-R-400 || brito03a, 2003, 51 p
inria-00099080
v1
Article dans une revue
Nicolas Navet
,
Ye-Qiong Song
,
François Simonot
.
Worst-Case Deadline Failure Probability in Real-Time Applications Distributed over CAN (Controller Area Network)
Journal of Systems Architecture - The EUROMICRO Journal
, Elsevier, 2000, 46 (7), pp.607-617
inria-00099168
v1
Communication dans un congrès
Françoise Simonot-Lion
,
Ye-Qiong Song
.
In-vehicle embedded computer control systems
Seminary of Franco-Chinese project PRA SI99-04
, 2000, Wuhan/China, 39 p, 2000
tel-00921209
v1
Thèse
Fatma Krichen
.
Architectures logicielles à composants reconfigurables pour les systèmes temps réel répartis embarqués (TR²E)
Autre [cs.OH]. Université Toulouse le Mirail - Toulouse II, 2013. Français.
<NNT : 2013TOU20073>
tel-00929836
v1
Thèse
Adel Ziani
.
Modeling of Secure Dependable (S&D) applications based on patterns for Resource-Constrained Embedded Systems (RCES)
Other [cs.OH]. Université Toulouse le Mirail - Toulouse II, 2013. English.
<NNT : 2013TOU20074>
inria-00100698
v1
Rapport
Françoise Simonot-Lion
,
Matthieu Courrier
,
Paolo Castelpietra
,
Ye-Qiong Song
.
Projet CAROSSE
[Interne] A01-R-279 || simonot-lion01b, 2001, 37 p
inria-00100599
v1
Rapport
Jörn Migge
,
Françoise Simonot-Lion
.
AIL toolkit
[Contrat] A01-R-325 || migge01a, 2001
inria-00100867
v1
Communication dans un congrès
Françoise Simonot-Lion
,
Jean-Pierre Elloy
.
An Architecture Description Language for In-Vehicle Embedded System Development
E.F.Camacho, L.Basañez, J.-A. de la Puente.
15th Triennial World Congress of the International Federation of Automatic Control Barcelona 2002 - B'02
, 2002, Barcelona, Spain, Elsevier Science, 8 p, 2002
inria-00100865
v1
Article dans une revue
Françoise Simonot-Lion
,
Jean-Pierre Elloy
,
Yvon Trinquet
.
AIL_Transport : Un langage de description d'architecture électronique embarquée dans l'automobile
Veille Technologique
, ASPROM, 2002, pp.34-36
inria-00100970
v1
Rapport
Jörn Migge
,
Françoise Simonot-Lion
,
Jean-Pierre Elloy
,
Yvon Trinquet
.
AIL_Transport, User Manual V3
[Contract] A02-R-422 || migge02a, 2002
inria-00100601
v1
Rapport
Françoise Simonot-Lion
,
Mondher Attia
,
A. Bouali
,
J.L. Boucheron
,
O. Cayrol
et al.
AIL V2 - Reference Manual
[Contrat] A01-R-322 || simonot-lion01c, 2001
inria-00100600
v1
Rapport
Jean-Pierre Elloy
,
Jörn Migge
,
B. Rouchouse
,
Françoise Simonot-Lion
,
Yvon Trinquet
.
AIL V2 - User Manual
[Contrat] A01-R-330 || elloy01c, 2001
tel-00621143
v1
Thèse
Carlos Hernan Prada Rojas
.
Une approche à base de composants logiciels pour l'observation de systèmes embarqués
Autre [cs.OH]. Université Grenoble Alpes, 2011. Français.
<NNT : 2011GRENM029>
inria-00110740
v1
Rapport
Orazio Gurrieri
,
Ulrich Freund
,
Bruno Godard
,
Henrik Lonn
,
Vincent Debruyne
et al.
Definition of language for automotive embedded electronic architecture
[Contract] A04-R-078 || gurrieri04a, 2004, pp.202
inria-00098454
v1
Communication dans un congrès
Nicolas Navet
,
Ye-Qiong Song
,
François Simonot
.
Performances et Tolérance aux Fautes des Applications Temps Réel Distribuées autour du réseau CAN
Real-Time Systems - RTS'98
, 1998, Paris/France, Teknea, pp.197-216, 1998
inria-00098504
v1
Communication dans un congrès
Matthieu Courrier
,
Françoise Simonot-Lion
,
Ye-Qiong Song
.
Microscopic Modeling of Support System for In-Vehicle Embedded Systems
International IFIP Workshop on Distributed & Parallel Embedded Systems
, 1998, Paderborn/Germany, 10 p, 1998
inria-00098455
v1
Communication dans un congrès
Nicolas Navet
,
Ye-Qiong Song
.
Design of Reliable Real-Time Applications Distributed over CAN (Controller Area Network)
INCOM98, IFAC 9th Symposium on Information Control in Manufacturing
, 1998, Nancy/Metz/France, 6 p, 1998
inria-00099343
v1
Rapport
Dominique Cansell
,
Jacques Jaray
,
Dominique Méry
.
Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B.
[Contrat] A00-R-047 || cansell00a, 2000, 34 p
inria-00098544
v1
Rapport
Matthieu Courrier
,
Sébastien Wolf
,
Françoise Simonot-Lion
,
Ye-Qiong Song
.
Modélisation de composants matériels et exécutifs en vue de la validation d'architecture opérationelle par évaluation de performances. Rapport intermédiaire du contrat PSA 033
[Contrat] 98-R-056 || courrier98a, 1998, 32 p
1
2
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 50 documents
Exporter
XML-TEI
BibTeX
EndNote
CSV
PDF
Export avancé...
Syndication
RSS
ATOM
Enregistrer
Annuler
Libellé
Des champs obligatoires n'ont pas été remplis.