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

Filter your results

7 Results
authFullName_s : Christof Fetzer

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

Perun: Confidential Multi-stakeholder Machine Learning Framework with Hardware Acceleration Support

Wojciech Ozga , Do Le Quoc , Christof Fetzer
35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.189-208, ⟨10.1007/978-3-030-81242-3_11⟩
Conference papers hal-03677030v1

Towards an efficient pauseless Java GC with selective HTM-based access barriers

Maria Carpen-Amarie , Yaroslav Hayduk , Pascal Felber , Christof Fetzer , Gaël Thomas et al.
MANLANG 2017 : 14th international conference on Managed Languages and Runtimes , Sep 2017, Prague, Czech Republic. pp.85 - 91, ⟨10.1145/3132190.3132208⟩
Conference papers hal-01698357v1
Image document

Compliance, Functional Safety and Fault Detection by Formal Methods

Christof Fetzer , Christoph Weidenbach , Patrick Wischnewski
Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2016), 2016, Corfu, Greece. pp.626 - 632, ⟨10.1007/978-3-319-47169-3_48⟩
Conference papers hal-01403190v1
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
Image document

Efficient Fault Tolerance using Intel MPX and TSX

Oleksii Oleksenko , Dmitrii Kuvaiskii , Pramod Bhatotia , Christof Fetzer , Pascal Felber et al.
Fast Abstract in the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2016, Toulouse, France
Conference papers hal-01316525v1

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