Accéder directement au contenu
Documentation
FR
Français (FR)
Anglais (EN)
Se connecter
Collection
LABSOC
Recherche
Loading...
Recherche avancée
Information de documents
Titres
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)
Ajouter
Auteur
Auteur (multicritères)
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)
Auteur : Identifiant de l'organisme payeur
Auteur : Identifiant de la structure
Directeur de thèse
Éditeur
Éditeur scientifique
Éditeur de la série
Ajouter
Structure
Structure (multicritères)
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
Ajouter
Autres
Champ de recherche par défaut (multicritères)
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
Ajouter
Lancer la recherche
Recherche experte (SolR)
Recherche experte (SolR)
Lancer la recherche
Vers la recherche avancée
Déposer
Equipe System on Chip - LabSoc
Accueil
Présentation de LabSoc
Consulter
Par discipline
Par auteur
Les derniers dépôts
Consulter/Rechercher toutes les publications
Portail HAL Télécom Paris
×
×
×
Loading...
×
Dernières publications
Daniela Genius, Ludovic Apvrille. Cycle-Accurate Virtual Prototyping with Multiplicity.
MODELSWARD 2024 : 12th International Conference on Model-Based Software and Systems Engineering
, INSTICC, Feb 2024, Rome, Italy. pp.187-194,
⟨10.5220/0012386100003645⟩
.
⟨hal-04483274⟩
Ludovic Apvrille, Bastien Sultan. System Architects Are not Alone Anymore: Automatic System Modeling with AI.
MODELSWARD 2024 : 12th International Conference on Model-Based Software and Systems Engineering
, INSTICC, Feb 2024, Rome, Italy. pp.27-38,
⟨10.5220/0012320100003645⟩
.
⟨hal-04483279⟩
Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine. Refinements for Open Automata.
SEFM 2023 - Software Engineering and Formal Methods
, Nov 2023, Eindhoven, Netherlands. pp.11-29,
⟨10.1007/978-3-031-47115-5_2⟩
.
⟨hal-04271300⟩
Dominik Eisl, Fabian Herzog, Jean-Luc Dugelay, Ludovic Apvrille, Gerhard Rigoll. Introducing A Framework for Single-Human Tracking Using Event-Based Cameras.
2023 IEEE International Conference on Image Processing (ICIP)
, Oct 2023, Kuala Lumpur, Malaysia. pp.3269-3273,
⟨10.1109/ICIP49359.2023.10222777⟩
.
⟨hal-04255949⟩
Ludovic Henrio, Eric Madelaine, Rabéa Ameur-Boulifa, Quentin Corradi. Refinements for Open Automata (Extended Version). RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023.
⟨hal-04193421⟩
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon, Sophie Coudert. W-Sec: a Model-Based Formal Method for Assessing the Impacts of Security Countermeasures.
Model-Driven Engineering and Software Development
, 1708, Springer Nature Switzerland, pp.203-229, 2023, Communications in Computer and Information Science, 978-3-031-38821-7.
⟨10.1007/978-3-031-38821-7_10⟩
.
⟨hal-04177250⟩
Jawher Jerray, Rabea Ameur-Boulifa, Ludovic Apvrille. Integration of Heterogeneous Components for Co-Simulation.
18th International Conference on Software Technologies (ICSOFT 2023)
, Jul 2023, Rome, Italy. pp.637-644,
⟨10.5220/0012134800003538⟩
.
⟨hal-04176025⟩
Philippe A Martin, Tullio Tanzi. General Knowledge Representation and Sharing, with Illustrations in Risk/Emergency Management.
Sustainability
, 2023, Special Issue "Disaster Risk Reduction: In Support of the Sendai Framework and Improved Societal Well-being", 15 (14),
⟨10.3390/su151410803⟩
.
⟨hal-04220699⟩
Daniela Genius, Ludovic Apvrille. Hierarchical Design of Cyber-Physical Systems.
11th International Conference on Model-Based Software and Systems Engineering - MODELSWARD
, INSTICC, Feb 2023, Lisbon (virtual ), Portugal. pp.117-124,
⟨10.5220/0011654400003402⟩
.
⟨hal-04001693⟩
Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert. Mutation of Formally Verified SysML Models.
11th internationl conference on Model-Based Software and Systems Engineering (Modelsward'2023)
, Feb 2023, Lisbonne, Portugal.
⟨hal-04002298⟩
Mots clés
Immersion
Software components
System-level design
Ingénierie des modèles
Automata
Design Space Exploration
Android
Cryptography
Cognitive Radio
Multi-View Design
Baseband Processing
Models
HW/SW partitioning
Malware
Integration
Safety
Formal methods
Verification
Virtual Prototyping
Propagation
SysML-Sec
URSI
UML/SysML
Hardware/software co-design
Exploration d'architecture
Reliable systems
Requirements analysis
TTool
Model checking
Risk management
Formal Methods
Image processing
Open Platforms for Multistandard Support
UML
Model driven engineering
Embedded systems
Risk assessment
Execution Trace Analysis
Hardware/software partitioning
Virtual prototyping
Requirements
Analysis
Field programmable gate arrays
Design space exploration
Dependency Graph
DIPLODOCUS
Iterative decoding
LDPC codes
Software Defined Radio
CPS
Formal Verification
Classification
Model-based engineering
Analog/Mixed Signal Design
Risque
Interactive
Code generation
SysML
Heterogeneous models
HW Accelerators
Design
Behavior
UAV
Model Checking
Disaster management
Architecture
SDR
Autonomy
Drone
Simulation
Modeling
MBSE
Robustness
GPR
SRC
Remote sensing
Scheduling
Model-checking
Attacks
Model-driven engineering
3D perception
Model Driven Engineering
Autonomous navigation
FPGA
Application specific integrated circuits
ProVerif
Performance
MDE
Timing analysis
Embedded Systems
Differential power analysis DPA
Computer architecture
Security
Signal processing
Drones
Communications
Formal verification
Hardware Architecture
Costs
System-on-Chip
Publications avec texte intégral
100
Références bibliographiques
195
Open access
38 %
Collaborations