نتائج البحث - "Emmanuel Baccelli"

المساهمون: inTeRnet BEyond the usual (TRiBE ), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Tim, Events and Architectures (TEA), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Analyse sémantique et compilation pour la sécurité des environnements d'exécution (EPICURE)

المصدر: Middleware 2022-23rd ACM/IFIP International Conference Middleware
Middleware 2022-23rd ACM/IFIP International Conference Middleware, Nov 2022, quebec, Canada. pp.1-12, ⟨10.1145/3528535.3565242⟩
Middleware 2022-23rd ACM/IFIP International Conference Middleware, Nov 2022, Quebec, Canada. pp.1-12, ⟨10.1145/3528535.3565242⟩

مصطلحات موضوعية: Middleware, FOS: Computer and information sciences, IoT, Low-Power, Computer Science - Operating Systems, Microcontroller, Function-as-a-Service, Virtual Machine, Operating Systems (cs.OS), Security, [INFO]Computer Science [cs], IoT Low-Power Microcontroller Middleware Container Virtual Machine Function-as-a-Service Security, Container

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efc760bd7f1a2b693a0aaaec9863fa0c
http://arxiv.org/abs/2210.03432

5

End-to-end Mechanized Proof of an eBPF Virtual Machine for Micro-controllers

المؤلفون: Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli

المساهمون: Tim, Events and Architectures (TEA), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Analyse sémantique et compilation pour la sécurité des environnements d'exécution (EPICURE), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), inTeRnet BEyond the usual (TRiBE ), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Tim, Events and Architectures [TEA], Analyse sémantique et compilation pour la sécurité des environnements d'exécution [EPICURE], Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL], inTeRnet BEyond the usual [TRiBE ]

المصدر: CAV 2022-34th International Conference on Computer Aided Verification
CAV 2022-34th International Conference on Computer Aided Verification, Aug 2022, Haifa, Israel. pp.1-23
HAL

مصطلحات موضوعية: mechanized proof virtual machines fault isolation, mechanized proof, virtual machines, [INFO]Computer Science [cs], fault isolation

وصف الملف: application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5e94c904fed1f63126a9447143264025
https://inria.hal.science/hal-03888082/file/cav22.pdf

6

Quantum-Resistant Software Update Security on Low-Power Networked Embedded Devices

المؤلفون: Gustavo Banegas, Koen Zandberg, Emmanuel Baccelli, Adrian Herrmann, Benjamin Smith

المساهمون: Geometry, arithmetic, algorithms, codes and encryption (GRACE), Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), inTeRnet BEyond the usual (TRiBE ), Inria Saclay - Ile de France, Department of Mathematics and Computer Science, Freie Universität Berlin, Giuseppe Ateniese, Daniele Venturi

المصدر: Applied Cryptography and Network Security ISBN: 9783031092336
LNCS-Lecture Notes in Computer Science
ACNS 2022-International Conference on Applied Cryptography and Network Security
ACNS 2022-International Conference on Applied Cryptography and Network Security, Jun 2022, Rome, Italy. pp.872-891, ⟨10.1007/978-3-031-09234-3_43⟩

مصطلحات موضوعية: [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO]Computer Science [cs]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc957fea9795597d6594b5472f20b9e1
https://doi.org/10.1007/978-3-031-09234-3_43

7

An Open Experimental Platform for Ranging, Proximity and Contact Event Tracking using Ultra-Wide-Band and Bluetooth Low-Energy

المؤلفون: Nathalie Mitton, Roudy Dagher, Emmanuel Baccelli, Alexandre Abadie, Francois-Xavier Molina

المساهمون: Self-organizing Future Ubiquitous Network (FUN), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), inTeRnet BEyond the usual (TRiBE ), Inria Saclay - Ile de France, Modelling brain structure, function and variability based on high-field MRI data (PARIETAL), Service NEUROSPIN (NEUROSPIN), Université Paris-Saclay-Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Direction de Recherche Fondamentale (CEA) (DRF (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Inria Saclay - Ile de France, Service Expérimentation et Développement (SED [Saclay]), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Service NEUROSPIN (NEUROSPIN), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)

المصدر: CNERT 2021-IEEE INFOCOM Workshop on Computer and Networking Experimental Research using Testbeds
CNERT 2021-IEEE INFOCOM Workshop on Computer and Networking Experimental Research using Testbeds, May 2021, Virtual, France
INFOCOM Workshops
HAL

مصطلحات موضوعية: Flexibility (engineering), business.industry, Computer science, Ultra-wideband, Ranging, Context (language use), law.invention, Bluetooth, Microcontroller, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Software, law, business, Energy (signal processing), Computer hardware

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::483fdc818adf8615bb7ffad3f6044345
https://inria.hal.science/hal-03140370/document

8

An Interactive Garment for Orchestra Conducting: IoT-enabled Textile & Machine Learning to Direct Musical Performance

المؤلفون: Emmanuel Baccelli, Giorgia Petri, Claas Krause, Alexandra Börner, Berit Greinke, Paul Biessmann, Kaspar Schleiser, Felix Biessmann, Pauline Vierne, Christopher Verworner

المساهمون: Department of Structural Design and Technology [Berlin], Berlin University of the Arts (UDK), Freie Universität Berlin, inTeRnet BEyond the usual (TRiBE ), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Verworner - Krause - Kammerorchester (VKKO), Beuth Hochschule für Technik Berlin, Beuth Hochschule für Technik

المصدر: TEI 2021-15th ACM International Conference on Tangible, Embedded and Embodied Interaction
TEI 2021-15th ACM International Conference on Tangible, Embedded and Embodied Interaction, Feb 2021, Virtual, France. ⟨10.1145/3430524.3442451⟩
TEI

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f71755df7458894e2de872bae40edcc
https://inria.hal.science/hal-03138581

9

RIOT: An Open Source Operating System for Low-End Embedded Devices in the IoT

المؤلفون: Martine Lenders, Thomas C. Schmidt, Emmanuel Baccelli, Hauke Petersen, Cenk Gündoğan, Matthias Wählisch, Kaspar Schleiser, Peter Kietzmann, Oliver Hahm

المصدر: IEEE Internet of Things Journal. 5:4428-4440

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5e6478d40e0b9b3ea3b70ac3fa37b540
https://doi.org/10.1109/jiot.2018.2815038

10

RIOT and OpenWSN 6TiSCH: Happy Together

المؤلفون: Timothy Claeys, Emmanuel Baccelli, Thomas Watteyne, Francois-Xavier Molina, Malisa Vucinic

المساهمون: Wireless Networking for Evolving & Adaptive Applications (EVA), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), inTeRnet BEyond the usual (TRiBE ), Inria Saclay - Ile de France, This work is partly funded by the European Commission through H2020 SPARTA

المصدر: PEMWN
PEMWN 2020-9th IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks
PEMWN 2020-9th IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, Dec 2020, Berlin / Virtual, Germany
HAL

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::40ad9a0ffe5ce3d834f9a46062f9616d
https://doi.org/10.23919/pemwn50727.2020.9293070

تنقيح النتائج