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

Filter your results

2 Results
authFullName_s : Irina Dragoste

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

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