Search Results - Grimaud, Gilles

Refine Results
  1. 1
    Formal proof of dynamic memory isolation based on MMU

    Formal proof of dynamic memory isolation based on MMU by Jomaa, Narjes, Nowak, David, Grimaud, Gilles, Hym, Samuel

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Digital Investigation of IoT Devices in the Criminal Scene

    Digital Investigation of IoT Devices in the Criminal Scene by Bouchaud, François, Grimaud, Gilles, Vantroys, Thomas, Buret, Pierrick

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Code to Qed, the Project Manager's Guide to Proof Engineering

    Code to Qed, the Project Manager's Guide to Proof Engineering by Dejon, Nicolas, Gaber, Chrystel, Grimaud, Gilles, Jomaa, Narjes

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Proving partial-correctness and invariance properties of transition-system models

    Proving partial-correctness and invariance properties of transition-system models by Rusu, Vlad, Grimaud, Gilles, Hauspie, Michaël

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    A Formal Correctness Proof for an EDF Scheduler Implementation

    A Formal Correctness Proof for an EDF Scheduler Implementation by Vanhems, Florian, Rusu, Vlad, Nowak, David, Grimaud, Gilles

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Efficient Web Requests Scheduling Considering Resources Sharing

    Efficient Web Requests Scheduling Considering Resources Sharing by Duquennoy, Simon, Grimaud, Gilles

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Scale matters: a Comparative Study of Datasets for DDoS Attack Detection in CSP Infrastructure

    Scale matters: a Comparative Study of Datasets for DDoS Attack Detection in CSP Infrastructure by Boin, Clement, Groleat, Tristan, Guillaume, Xavier, Grimaud, Gilles, Hauspie, Michael

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Efficient off-board deployment and customization of virtual machine-based embedded systems

    Efficient off-board deployment and customization of virtual machine-based embedded systems by Courbot, Alexandre, Grimaud, Gilles, Vandewalle, Jean-Jacques

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems

    ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems by Lourme, Olivier, Grimaud, Gilles, Hauspie, Michael

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    One Year of DDoS Attacks Against a Cloud Provider: an Overview

    One Year of DDoS Attacks Against a Cloud Provider: an Overview by Boin, Clément, Guillaume, Xavier, Grimaud, Gilles, Groléat, Tristan, Hauspie, Michaël

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Consistency and scalability in event notification for embedded Web applications

    Consistency and scalability in event notification for embedded Web applications by Duquennoy, Simon, Grimaud, Gilles, Vandewalle, Jean-Jacques

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    From MMU to MPU: adaptation of the Pip kernel to constrained devices

    From MMU to MPU: adaptation of the Pip kernel to constrained devices by Dejon, Nicolas, Gaber, Chrystel, Grimaud, Gilles

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    On the use of metatypes for safe embedded operating system extension

    On the use of metatypes for safe embedded operating system extension by Grimaud, Gilles, Hodique, Yann, Simplot-Ryl, Isabelle

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    The Web of Things: Interconnecting Devices with High Usability and Performance

    The Web of Things: Interconnecting Devices with High Usability and Performance by Duquennoy, S., Grimaud, G., Vandewalle, J.-J.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Toward Energy Profiling of Connected Embedded Systems

    Toward Energy Profiling of Connected Embedded Systems by Cherifi, Nadir, Grimaud, Gilles, Boe, Alexandre, Vantroys, Thomas

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Large-Scale Coordinated attacks: Impact on the Cloud Security

    Large-Scale Coordinated attacks: Impact on the Cloud Security by Riquet, D., Grimaud, G., Hauspie, M.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Impact of Pages Sizes to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale

    Impact of Pages Sizes to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale by Cogniaux, Geoffroy, Grimaud, Gilles

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    System and networking for smart objects

    System and networking for smart objects by SIMPLOT-RYL, David, VANDEWALLE, Jean-Jacques, GRIMAUD, Gilles

    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Secure extensible type system for efficient embedded operating system by using metatypes

    Secure extensible type system for efficient embedded operating system by using metatypes by Grimaud, G., Hodique, Y., Simplot-Ryl, I.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Survey on adaptation techniques of energy consumption within a smartphone

    Survey on adaptation techniques of energy consumption within a smartphone by Hamzaoui, Khalil Ibrahim, Azizi, Mostafa, Grimaud, Gilles, Berrajaa, Mohammed, Betari, Abdelkader

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: