Rasha Faqeh

According to our database, Rasha Faqeh authored at least 12 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Modeling and Analysis of Dependable Systems.

Rasha Faqeh

PhD thesis, 2025

2022

PCRAFT: Capacity Planning for Dependable Stateless Services.

Rasha Faqeh, André Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer

CoRR, 2022

Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing.

Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer

CoRR, 2022

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Capacity Planning for Dependable Services.

Rasha Faqeh, André Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2022

CHORS: hardening high-assurance security systems with trusted computing.

Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.

Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021

2020

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.

Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Formal Foundations for Intel SGX Data Center Attestation Primitives.

Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer

Proceedings of the Formal Methods and Software Engineering, 2020

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

Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer

Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

2016

HAFT: hardware-assisted fault tolerance.

Dmitrii Kuvaiskii, Rasha Faqeh, Pramod Bhatotia, Pascal Felber, Christof Fetzer

Proceedings of the Eleventh European Conference on Computer Systems, 2016

2013

Transactional Encoding for Tolerating Transient Hardware Errors.

Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013