Capacity planning for dependable services von Faqeh, Rasha, Martin, André, Schiavoni, Valerio, Bhatotia, Pramod, Felber, Pascal, Fetzer, Christof

Volltext

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic von Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, Krötzsch, Markus, Weidenbach, Christoph

Volltext

Formal Foundations for Intel SGX Data Center Attestation Primitives von Sardar, Muhammad Usama, Faqeh, Rasha, Fetzer, Christof

Volltext

Capacity Planning for Dependable Services von Faqeh, Rasha, Martin, André, Schiavoni, Valerio, Bhatotia, Pramod, Felber, Pascal, Fetzer, Christof

Volltext

Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification von Faqeh, Rasha, Fetzer, Christof, Hermanns, Holger, Hoffmann, Jörg, Klauck, Michaela, Köhl, Maximilian A., Steinmetz, Marcel, Weidenbach, Christoph

Volltext

Transactional Encoding for Tolerating Transient Hardware Errors von Wamhoff, Jons-Tobias, Schwalbe, Mario, Faqeh, Rasha, Fetzer, Christof, Felber, Pascal

Volltext

PCRAFT: Capacity Planning for Dependable Stateless Services von Faqeh, Rasha, Martin, Andrè, Schiavoni, Valerio, Bhatotia, Pramod, Felber, Pascal, Fetzer, Christof

Volltext bestellen

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic von Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, Krötzsch, Markus, Weidenbach, Christoph

Volltext bestellen

Synergia: Hardening High-Assurance Security Systems with Confidential and Trusted Computing von Ozga, Wojciech, Faqeh, Rasha, Do Le Quoc, Franz, Gregor, Dragone, Silvio, Fetzer, Christof

Volltext

Vision-Based Obstacle Avoidance of Mobile Robot UsingQuantized Spatial Model von Odeh, Salaheddin, Faqeh, Rasha, Abu Eid, Laila, Shamasneh, Nihal

Volltext

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic von Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, González, Larry, Krötzsch, Markus, Marx, Maximilian, Murali, Harish K, Weidenbach, Christoph

Volltext bestellen

T-Lease: A Trusted Lease Primitive for Distributed Systems von Trach, Bohdan, Faqeh, Rasha, Oleksenko, Oleksii, Ozga, Wojciech, Bhatotia, Pramod, Fetzer, Christof

Volltext bestellen

Vision-Based Obstacle Avoidance of Mobile Robot Using Quantized Spatial Model von Odeh, Salaheddin, Faqeh, Rasha, Eid, Laila Abu, Shamasneh, Nihal

Volltext

PCRAFT: Capacity Planning for Dependable Stateless Services von Faqeh, Rasha, Martin, Andrè, Schiavoni, Valerio, Bhatotia, Pramod, Felber, Pascal, Fetzer, Christof

Volltext

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic von Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, Krötzsch, Markus, Weidenbach, Christoph

Volltext

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic von Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, González, Larry, Krötzsch, Markus, Marx, Maximilian, Murali, Harish K, Weidenbach, Christoph

Volltext

T-Lease: A Trusted Lease Primitive for Distributed Systems von Trach, Bohdan, Faqeh, Rasha, Oleksenko, Oleksii, Ozga, Wojciech, Bhatotia, Pramod, Fetzer, Christof

Volltext