Filter your results
- 7
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 4
- 4
- 4
- 1
- 1
- 1
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 4
- 3
- 1
- 3
- 1
- 2
|
|
sorted by
|
|
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticFroCos 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
|
||
|
Perun: Confidential Multi-stakeholder Machine Learning Framework with Hardware Acceleration Support35th 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 barriersMANLANG 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
|
|||
|
Compliance, Functional Safety and Fault Detection by Formal MethodsLeveraging 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
|
||
|
Towards Dynamic Dependable Systems through Evidence-Based Continuous CertificationISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2021, Rhodes, Greece
Conference papers
hal-02965830v1
|
||
|
Efficient Fault Tolerance using Intel MPX and TSXFast 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 ArithmeticTools 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
|