- Recherche et sélection de publications
|
Nombre de consultations : 538455 Résultat de la rechercheNombre 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
|
Retour au formulaire
|