Sfoglia per Autore
En-50128 certification-oriented design of a safety-critical hard real-Time kernel
2019-01-01 Donnarumma, C.; Fara, P.; Serra, G.; Di Leonardi, S.; Marinoni, M.
An Architecture for Declarative Real-Time Scheduling on Linux
2020-01-01 Serra, Gabriele; Ara, Gabriele; Fara, Pietro; Cucinotta, Tommaso
Scheduling Replica Voting in Fixed-Priority Real-Time Systems
2021-01-01 Fara, Pietro; Serra, Gabriele; Biondi, Alessandro; Donnarumma, Ciro
ReTiF: A declarative real-time scheduling framework for POSIX systems
2021-01-01 Serra, G.; Ara, G.; Fara, P.; Cucinotta, T.
Em-RIPE: Runtime Intrusion Prevention Evaluator for ARM Microcontroller Systems
2022-01-01 Roascio, Gianluca; Serra, Gabriele; Eftekhari Moghadam, Vahid
PAC-PL: Enabling Control-Flow Integrity with Pointer Authentication in FPGA SoC Platforms
2022-01-01 Serra, G.; Fara, P.; Cicero, G.; Restuccia, F.; Biondi, A.
Maximizing the Security Level of Real-Time Software While Preserving Temporal Constraints
2023-01-01 Leonardi, Sandro Di; Aromolo, Federico; Fara, Pietro; Serra, Gabriele; Casini, Daniel; Biondi, Alessandro; Buttazzo, Giorgio
Bounded transmission latency in real-time edge computing: a scheduling analysis
2023-01-01 Fara, Pietro; Serra, Gabriele; Aromolo, Federico
Enhancing the Availability of Web Services in the IoT-to-Edge-to-Cloud Compute Continuum: A WordPress Case Study
2023-01-01 Serra, Gabriele; Fara, Pietro; Casini, Daniel
Memory Integrity Techniques for Memory-Unsafe Languages: A Survey
2024-01-01 Moghadam, Vahid Eftekhari; Serra, Gabriele; Aromolo, Federico; Buttazzo, Giorgio; Prinetto, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| En-50128 certification-oriented design of a safety-critical hard real-Time kernel | 1-gen-2019 | Donnarumma, C.; Fara, P.; Serra, G.; Di Leonardi, S.; Marinoni, M. | |
| An Architecture for Declarative Real-Time Scheduling on Linux | 1-gen-2020 | Serra, Gabriele; Ara, Gabriele; Fara, Pietro; Cucinotta, Tommaso | |
| Scheduling Replica Voting in Fixed-Priority Real-Time Systems | 1-gen-2021 | Fara, Pietro; Serra, Gabriele; Biondi, Alessandro; Donnarumma, Ciro | |
| ReTiF: A declarative real-time scheduling framework for POSIX systems | 1-gen-2021 | Serra, G.; Ara, G.; Fara, P.; Cucinotta, T. | |
| Em-RIPE: Runtime Intrusion Prevention Evaluator for ARM Microcontroller Systems | 1-gen-2022 | Roascio, Gianluca; Serra, Gabriele; Eftekhari Moghadam, Vahid | |
| PAC-PL: Enabling Control-Flow Integrity with Pointer Authentication in FPGA SoC Platforms | 1-gen-2022 | Serra, G.; Fara, P.; Cicero, G.; Restuccia, F.; Biondi, A. | |
| Maximizing the Security Level of Real-Time Software While Preserving Temporal Constraints | 1-gen-2023 | Leonardi, Sandro Di; Aromolo, Federico; Fara, Pietro; Serra, Gabriele; Casini, Daniel; Biondi, Alessandro; Buttazzo, Giorgio | |
| Bounded transmission latency in real-time edge computing: a scheduling analysis | 1-gen-2023 | Fara, Pietro; Serra, Gabriele; Aromolo, Federico | |
| Enhancing the Availability of Web Services in the IoT-to-Edge-to-Cloud Compute Continuum: A WordPress Case Study | 1-gen-2023 | Serra, Gabriele; Fara, Pietro; Casini, Daniel | |
| Memory Integrity Techniques for Memory-Unsafe Languages: A Survey | 1-gen-2024 | Moghadam, Vahid Eftekhari; Serra, Gabriele; Aromolo, Federico; Buttazzo, Giorgio; Prinetto, Paolo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile