Recherche et sélection de publications
Interface en ou

Nombre de consultations : 538455

Résultat de la recherche

Nombre de référence(s) trouvée(s) : 162

Page 1 sur 17

Harmonizing Safety, Security and Performance Requirements in Embedded Systems
[details] [modif]
  • Auteur(s) : Ludovic Apvrille et Letitia W. Li
  • Conférence : Design Automation and Test in Europe conference (DATE
  • Lieu: Firenze, Italy
  • Date : Mars 2019
  • Réf. :
  • Mots-clés: SysML, safety, secrity, requirements
  • Réf. HAL :
  • URL
  • Clé de citation: LA-DATE-2019
  • Catégorie : Article de colloque avec actes
  • Domaine(s) : Informatique/Modélisation et simulation, Informatique/Cryptographie et sécurité, Informatique/Génie logiciel, Informatique/Ingénierie assistée par ordinateur, Informatique/Langage de programmation, Informatique/Logique en informatique, Informatique/Réseaux et télécommunications, Informatique/Systèmes embarqués
  • Langue: Anglais
  • Audience: internationale
  • État: à paraître
  • Département: COMELEC
  • Groupe: EASI, LabSoC
A Tool for High-Level Modeling of Analog/Mixed Signal Embedded Systems
[details] [modif]
  • Auteur(s) : Daniela Genius, Rodrigo Cortés Porto, Ludovic Apvrille et François Pêcheux
  • Conférence : 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS)
  • Lieu: Prague, Czech Republic
  • Date : Février 2019
  • Réf. :
  • Mots-clés: Modeling, simulation, prototyping, analog, digital, SysML, UML
  • Réf. HAL :
  • Clé de citation: DG-MOD-2019
  • Catégorie : Article de colloque avec actes
  • Domaine(s) : Informatique/Ingénierie assistée par ordinateur, Informatique/Génie logiciel, Informatique/Langage de programmation, Informatique/Logique en informatique, Informatique/Modélisation et simulation, Informatique/Réseaux et télécommunications, Informatique/Systèmes embarqués
  • Langue: Anglais
  • Audience: internationale
  • État: publié
  • Département: COMELEC
  • Groupe: EASI, LabSoC
Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-Software Systems
[details] [modif]
  • Auteur(s) : Andrea Enrici, Ludovic Apvrille et Renaud Pacalet
  • Conférence : 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS)
  • Lieu: Prague, Czech Republic
  • Date : Février 2019
  • Réf. :
  • Mots-clés: Compilation, model-based engineering, UML, SysML
  • Réf. HAL :
  • Clé de citation: AE-MOD-19
  • Catégorie : Article de colloque avec actes
  • Domaine(s) : Informatique/Informatique et langage, Informatique/Génie logiciel, Informatique/Ingénierie assistée par ordinateur, Informatique/Langage de programmation, Informatique/Logique en informatique, Informatique/Modélisation et simulation, Informatique/Réseaux et télécommunications
  • Langue: Anglais
  • Audience: internationale
  • État: publié
  • Département: COMELEC
  • Groupe: EASI, LabSoC
Meta-models Combination for Reusing Verification Techniques
[details] [modif]
  • Auteur(s) : Hui Zhao, Ludovic Apvrille et Frédéric Mallet
  • Conférence : 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARDS)
  • Lieu: Prague, Czech Republic
  • Date : Février 2019
  • Réf. :
  • Mots-clés: Meta-model, model, simulation, verification, model-based engineering, UML, SysML, model transformation, CPS
  • Réf. HAL :
  • Clé de citation: HZ-MOD-19
  • Catégorie : Article de colloque avec actes
  • Domaine(s) :
  • Langue: Anglais
  • Audience: internationale
  • État: publié
  • Département: COMELEC
  • Groupe: EASI, LabSoC
Test Sequence Generation From Formally Verified SysML Models
[details] [modif]
  • Auteur(s) : Pierre De Saqui-Sannes et Ludovic Apvrille
  • Conférence : 1st Workshop on Avionics Systems and Software Engineering (AvioSE'2019)
  • Lieu: Stuttgartn Germany
  • Date : Février 2019
  • Réf. :
  • Mots-clés:
  • Réf. HAL :
  • URL
  • Clé de citation: PDSS-AVIO-19
  • Catégorie : Article de colloque avec actes
  • Domaine(s) : Informatique/Informatique et langage, Informatique/Génie logiciel, Informatique/Ingénierie assistée par ordinateur, Informatique/Langage de programmation, Informatique/Logique en informatique, Informatique/Modélisation et simulation, Informatique/Réseaux et télécommunications
  • Langue: Anglais
  • Audience: non spécifiée
  • État: publié
  • Département: COMELEC
  • Groupe: LabSoC
Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal Multicores
[details] [modif]
  • Auteur(s) : Rodrigo Cortés Porto, Daniela Genius et Ludovic Apvrille
  • Conférence : 11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools
  • Lieu: Valencia, Spain
  • Date : Janvier 2019
  • Réf. :
  • Mots-clés:
  • Réf. HAL :
  • Clé de citation: RCP-RAP-19
  • Catégorie : Article de colloque avec actes
  • Domaine(s) :
  • Langue: Anglais
  • Audience: internationale
  • État: publié
  • Département: COMELEC
  • Groupe: EASI, LabSoC
Security and Safety Interplay of Intelligent Software Systems -
[details] [modif]
  • Auteur(s) : Rabéa Ameur-Boulifa, Florian Lugou et Ludovic Apvrille
  • Maison d'édition:
  • Lieu:
  • Date : 2019
  • Réf. : chap. SysML Model Transformation for Safety and Security Analysis, pp. 35--49
  • Mots-clés:
  • Réf. HAL : hal-02269655
  • Clé de citation: ameurboulifa:hal-02269655
  • Catégorie : Partie d'un livre (chapitres, sections, quelques pages...)
  • Domaine(s) : Informatique
  • Langue: Anglais
  • Audience: internationale
  • État: publié
  • Département: COMELEC
  • Groupe: LabSoC
Communications in Computer and Information Science, Model-Driven Engineering and Software Development
[details] [modif]
  • Auteur(s) : Andrea Enrici, Julien Lallet, Renaud Pacalet, Ludovic Apvrille, Karol Desnos et Imran Latif
  • Maison d'édition: Springer
  • Lieu:
  • Date : 2019
  • Réf. : chap. "Model-Based Programming for Multi-Processor Platforms with TTool/DIPLODOCUS and OMC, pp. 56_81
  • Mots-clés: Model-Based Engineering, MPSoC Programming, UML/SysML
  • Réf. HAL :
  • URL
  • Clé de citation: AE-CCIS-19
  • Catégorie : Partie d'un livre (chapitres, sections, quelques pages...)
  • Domaine(s) : Informatique/Informatique et langage, Informatique/Génie logiciel, Informatique/Ingénierie assistée par ordinateur, Informatique/Langage de programmation, Informatique/Logique en informatique, Informatique/Modélisation et simulation, Informatique/Réseaux et télécommunications, Informatique/Théorie et langage formel
  • Langue: Anglais
  • Audience: internationale
  • État: publié
  • Département: COMELEC
  • Groupe: EASI, LabSoC
ANALYSE D’UN PROBLÈME POSÉ PAR INTEL SGX : LA COMMUNICATION SÉCURISÉE ENTRE UNE ENCLAVE ET UN PÉRIPHÉRIQUE
[details] [modif]
  • Auteur(s) : Florain Lugou et Ludovic Apvrille
  • Revue: MISC Multi-System & Internet Cookbook
  • Date : Novembre 2018
  • Réf. : n° 101, pp. 74--82
  • Mots-clés:
  • Réf. HAL :
  • Clé de citation: FL-MISC-18
  • Catégorie : Article dans une revue sans comité de lecture (magazine...)
  • Domaine(s) : Informatique/Informatique et langage, Informatique/Génie logiciel, Informatique/Ingénierie assistée par ordinateur, Informatique/Langage de programmation, Informatique/Logique en informatique, Informatique/Modélisation et simulation, Informatique/Réseaux et télécommunications, Informatique/Systèmes embarqués
  • Langue: Français
  • Audience: nationale
  • État: publié
  • Département: COMELEC
  • Groupe: EASI, LabSoC
La programmation orientée modèles au service des télécommunications mobiles
[details] [modif]
  • Auteur(s) : Andrea Enrici, Ludovic Apvrille, Renaud Pacalet et Laurent Roullet
  • Revue: Programmez!
  • Date : Novembre 2018
  • Réf. : pp. 36-44
  • Mots-clés:
  • Réf. HAL :
  • Clé de citation: AE-PROG-18
  • Catégorie : Article dans une revue sans comité de lecture (magazine...)
  • Domaine(s) : Informatique/Informatique et langage, Informatique/Génie logiciel, Informatique/Ingénierie assistée par ordinateur, Informatique/Langage de programmation, Informatique/Logique en informatique, Informatique/Modélisation et simulation, Informatique/Réseaux et télécommunications, Informatique/Systèmes embarqués
  • Langue: Français
  • Audience: nationale
  • État: publié
  • Département: COMELEC
  • Groupe: EASI, LabSoC
1

Retour au formulaire



Responsable du service
Dominique Asselineau dominique.asselineau@telecom-paristech.fr
Copyright © 1998-2017, Télécom ParisTech/Dominique Asselineau