E-LIB Suche - Ergebnisse für: Faqeh, Rasha

1

Capacity planning for dependable services:

Faqeh, Rasha ; Martin, André ; Schiavoni, Valerio...
Theoretical Computer Science. 976 (2023) - p. 114126 , 2023

Link: https://doi.org/10.1016/..

2

CHORS : hardening high-assurance security systems with t..:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,

Ozga, Wojciech ; Faqeh, Rasha ; Quoc, Do Le... - p. 1626-1635 , 2022

Link: https://dl.acm.org/doi/1..

3

Capacity Planning for Dependable Services:

, In: Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems,

Faqeh, Rasha ; Martin, André ; Schiavoni, Valerio... - p. 222-238 , 2022

Link: https://doi.org/10.1007/..

4

A Sorted Datalog Hammer for Supervisor Verification Conditi..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bromberger, Martin ; Dragoste, Irina ; Faqeh, Rasha... - p. 480-501 , 2022

Link: https://doi.org/10.1007/..

5

A Datalog Hammer for Supervisor Verification Conditions Mod..:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,

Bromberger, Martin ; Dragoste, Irina ; Faqeh, Rasha... - p. 3-24 , 2021

Link: https://doi.org/10.1007/..

6

Formal Foundations for Intel SGX Data Center Attestation Pr..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Sardar, Muhammad Usama ; Faqeh, Rasha ; Fetzer, Christof - p. 268-283 , 2020

Link: https://doi.org/10.1007/..

7

T-Lease : a trusted lease primitive for distributed syst..:

, In: Proceedings of the 11th ACM Symposium on Cloud Computing,

Trach, Bohdan ; Faqeh, Rasha ; Oleksenko, Oleksii... - p. 387-400 , 2020

Link: https://dl.acm.org/doi/1..

8

Towards Dynamic Dependable Systems Through Evidence-Based C..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,

Faqeh, Rasha ; Fetzer, Christof ; Hermanns, Holger... - p. 416-439 , 2020

Link: https://doi.org/10.1007/..

9

HAFT : hardware-assisted fault tolerance:

, In: Proceedings of the Eleventh European Conference on Computer Systems,

Kuvaiskii, Dmitrii ; Faqeh, Rasha ; Bhatotia, Pramod.. - p. 1-17 , 2016

Link: https://dl.acm.org/doi/1..

10

Synergia: Hardening High-Assurance Security Systems with Co..:

Ozga, Wojciech ; Faqeh, Rasha ; Quoc, Do Le...
http://arxiv.org/abs/2205.06091. , 2022

Link: http://arxiv.org/abs/220..

11

A Sorted Datalog Hammer for Supervisor Verification Conditi..:

Bromberger, Martin ; Dragoste, Irina ; Faqeh, Rasha...
http://arxiv.org/abs/2201.09769. , 2022

Link: http://arxiv.org/abs/220..

12

PCRAFT: Capacity Planning for Dependable Stateless Services:

Faqeh, Rasha ; Martin, Andrè ; Schiavoni, Valerio...
http://arxiv.org/abs/2206.07368. , 2022

Link: http://arxiv.org/abs/220..

13

A Datalog Hammer for Supervisor Verification Conditions Mod..:

Bromberger, Martin ; Dragoste, Irina ; Faqeh, Rasha...
http://arxiv.org/abs/2107.03189. , 2021

Link: http://arxiv.org/abs/210..

14

T-Lease: A Trusted Lease Primitive for Distributed Systems:

Trach, Bohdan ; Faqeh, Rasha ; Oleksenko, Oleksii...
http://arxiv.org/abs/2101.06485. , 2021

Link: http://arxiv.org/abs/210..

15

Towards Dynamic Dependable Systems through Evidence-Based C..:

Faqeh, Rasha ; Fetzer, Christof ; Herrmanns, Holger...
hal-02965830. , 2021

Link: https://hal.archives-ouv..