Rasha Faqeh

16 papers A 1C 3Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — —
Modeling and Analysis of Dependable Systems.
Rasha Faqeh
2023 J jnl
Capacity planning for dependable services.
Theor. Comput. Sci.
Rasha Faqeh, André Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2022 — conf
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
TACAS (1)
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
2022 J jnl
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
CoRR
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali, Christoph Weidenbach
2022 Misc conf
CHORS: hardening high-assurance security systems with trusted computing.
SAC
Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer
2022 C conf
Capacity Planning for Dependable Services.
SSS
Rasha Faqeh, André Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2022 J jnl
PCRAFT: Capacity Planning for Dependable Stateless Services.
CoRR
Rasha Faqeh, André Martin, Valerio Schiavoni, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2022 J jnl
Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing.
CoRR
Wojciech Ozga, Rasha Faqeh, Do Le Quoc, Franz Gregor, Silvio Dragone, Christof Fetzer
2021 — conf
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
FroCoS
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
2021 J jnl
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.
CoRR
Martin Bromberger, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Markus Krötzsch, Christoph Weidenbach
2021 J jnl
T-Lease: A Trusted Lease Primitive for Distributed Systems.
CoRR
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
2020 C conf
Formal Foundations for Intel SGX Data Center Attestation Primitives.
ICFEM
Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer
2020 — conf
T-Lease: a trusted lease primitive for distributed systems.
SoCC
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
2020 — conf
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification.
ISoLA (2)
Rasha Faqeh, Christof Fetzer, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Maximilian A. Köhl, Marcel Steinmetz, Christoph Weidenbach
2016 A conf
HAFT: hardware-assisted fault tolerance.
EuroSys
Dmitrii Kuvaiskii, Rasha Faqeh, Pramod Bhatotia, Pascal Felber, Christof Fetzer
2013 C conf
Transactional Encoding for Tolerating Transient Hardware Errors.
SSS
Jons-Tobias Wamhoff, Mario Schwalbe, Rasha Faqeh, Christof Fetzer, Pascal Felber