Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

3 Results
authFullName_s : Rasha Faqeh

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Martin Bromberger , Irina Dragoste , Rasha Faqeh , Christof Fetzer , Markus Krötzsch et al.
FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-86205-3_1⟩
Conference papers hal-03531889v1
Image document

Towards Dynamic Dependable Systems through Evidence-Based Continuous Certification

Rasha Faqeh , Christof Fetzer , Holger Herrmanns , Jörg Hoffmann , Michaela Klauck et al.
ISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2021, Rhodes, Greece
Conference papers hal-02965830v1

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

Martin Bromberger , Irina Dragoste , Rasha Faqeh , Christof Fetzer , Larry González et al.
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Apr 2022, Munich (Germany), Germany. pp.480-501, ⟨10.1007/978-3-030-99524-9_27⟩
Conference papers hal-03881921v1