Access content directly
Documentation
EN
French (FR)
English (EN)
Sign in
Collection
LABSOC
Search
Loading...
Advanced Search
Information de documents
Titles
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Add
Author
Author (multi-criteria)
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
hal_authId_i
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Add
Structure
Structure (multi-criteria)
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Add
Autres
Default search field (multi-criteria)
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Lancer la recherche
recherche experte (SolR)
Recherche experte (SolR)
Run the search
Vers la recherche avancée
Upload
System on Chip Team - LabSoc
LabSoc Homepage
Overview
Browse
Browse/Search all publications
Browse by domain
Browse by author
Browse latest submissions
Homepage HAL Télécom Paris
×
×
×
Loading...
×
Latest publications
Assioua Yasmine, Rabéa Ameur-Boulifa, Patricia Guitton-Ouhamou, Renaud Pacalet. Automatic Support for Requirements Validation.
11th Embedded Real-Time Systems Congress (ERTS'2022)
, Jun 2022, Toulouse, France.
⟨hal-03689243⟩
Tullio Tanzi, Ludovic Apvrille. 3D Simulation for Disaster Management: toward a new approach.
3rd URSI Atlantic Radio Science Meeting
, May 2022, Maspalomas, Spain.
⟨hal-03689438⟩
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Compositional Equivalences Based on Open pNets.
Journal of Logical and Algebraic Methods in Programming
, In press.
⟨hal-03894031⟩
Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino. SysML Models Verification Relying on Dependency Graphs.
10th International Conference on Model-Driven Engineering and Software Development
, 2022, Vienna, Austria.
⟨10.5220/0010792900003119⟩
.
⟨hal-03575960⟩
Bastien Sultan, Ludovic Apvrille, Philippe Jaillon. Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec.
10th International Conference on Model-Driven Engineering and Software Development
, 2022, Vienna, Austria.
⟨10.5220/0010832300003119⟩
.
⟨hal-03575972⟩
Maysam Zoor. Latency verification in execution traces of HW/SW partitioning model. Embedded Systems. Institut Polytechnique de Paris, 2021. English.
⟨NNT : 2021IPPAT037⟩
.
⟨tel-03576841⟩
Amna Gharbi. Constraint programming for design space exploration of dataflow applications on multi-bus architectures. Hardware Architecture [cs.AR]. Institut Polytechnique de Paris, 2021. English.
⟨NNT : 2021IPPAT018⟩
.
⟨tel-03515492⟩
Pierre de Saqui-Sannes, Ludovic Apvrille, Rob Vingerhoeds. Checking SysML Models Against Safety and Security Properties.
Journal of Aerospace Information Systems
, 2021, pp.1 - 13.
⟨10.2514/1.i010950⟩
.
⟨hal-03423073⟩
Maysam Zoor, Ludovic Apvrille, Renaud Pacalet. Execution Trace Analysis for a Precise Understanding of Latency Violations.
International Conference on Model Driven Engineering Languages and Systems
, Oct 2021, Fukuoka (virtual), Japan.
⟨hal-03349254⟩
Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur Boulifa. Detection of Security Vulnerabilities induced by Integer errors.
ICSOFT 2021
, Jul 2021, Online Streaming, France.
⟨hal-03860231⟩
Benjamin Dauphin. Liveness analysis techniques and run-time environment for memory management of dataflow applications. Embedded Systems. Institut Polytechnique de Paris, 2021. English.
⟨NNT : 2021IPPAT004⟩
.
⟨tel-03682675⟩
Alessandro Tempia Calvino, Ludovic Apvrille. Direct Model-checking of SysML Models.
9th International Conference on Model-Driven Engineering and Software Development
, Feb 2021, Online Streaming, Austria. pp.216-223,
⟨10.5220/0010256302160223⟩
.
⟨hal-03349263⟩
Daniela Genius, Ludovic Apvrille. Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping.
9th International Conference on Model-Driven Engineering and Software Development
, Feb 2021, Online Streaming, Austria. pp.224-231,
⟨10.5220/0010257202240231⟩
.
⟨hal-03349284⟩
Matteo Bertolino. Efficient scheduling of applications onto cloud FPGAs. Modeling and Simulation. Institut Polytechnique de Paris, 2021. English.
⟨NNT : 2021IPPAT001⟩
.
⟨tel-03276708⟩
Rabea Ameur-Boulifa, Ludovic Henrio, Eric Madelaine. Compositional equivalences based on open pNets. 2021.
⟨hal-03103607⟩