Personal information

Activities

Employment (1)

ETH Zurich: Zurich, CH

Employment
Source: Self-asserted source
Thibault Dardinier

Works (10)

Hypra: A Deductive Program Verifier for Hyper Hoare Logic

Proceedings of the ACM on Programming Languages
2024-10-08 | Journal article
Contributors: Thibault Dardinier; Anqi Li; Peter Müller
Source: check_circle
Crossref

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties

Proceedings of the ACM on Programming Languages
2024-06-20 | Journal article
Contributors: Thibault Dardinier; Peter Müller
Source: check_circle
Crossref

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language

Proceedings of the ACM on Programming Languages
2024-06-20 | Journal article
Contributors: Gaurav Parthasarathy; Thibault Dardinier; Benjamin Bonneau; Peter Müller; Alexander J. Summers
Source: check_circle
Crossref

CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity

Proceedings of the ACM on Programming Languages
2023-06-06 | Journal article
Contributors: Marco Eilers; Thibault Dardinier; Peter Müller
Source: check_circle
Crossref

Verification-Preserving Inlining in Automatic Separation Logic Verifiers

Proceedings of the ACM on Programming Languages
2023-04-06 | Journal article
Contributors: Thibault Dardinier; Gaurav Parthasarathy; Peter Müller
Source: check_circle
Crossref

Sound Automation of Magic Wands

2022 | Book chapter
Contributors: Thibault Dardinier; Gaurav Parthasarathy; Noé Weeks; Peter Müller; Alexander J. Summers
Source: check_circle
Crossref

VeriMon: A Formally Verified Monitoring Tool

2022 | Book chapter
Contributors: David Basin; Thibault Dardinier; Nico Hauser; Lukas Heimes; Jonathan Julián Huerta y Munive; Nicolas Kaletsch; Srđan Krstić; Emanuele Marsicano; Martin Raszyk; Joshua Schneider et al.
Source: check_circle
Crossref

Fractional resources in unbounded separation logic

Proceedings of the ACM on Programming Languages
2022-10-31 | Journal article
Contributors: Thibault Dardinier; Peter Müller; Alexander J. Summers
Source: check_circle
Crossref

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | Book
EID:

2-s2.0-85088260576

Part of ISSN: 16113349 03029743
Contributors: Basin, D.; Dardinier, T.; Heimes, L.; Krstić, S.; Raszyk, M.; Schneider, J.; Traytel, D.
Source: Self-asserted source
Thibault Dardinier via Scopus - Elsevier

A new analysis method for evolutionary optimization of dynamic and noisy objective functions

Proceedings of the Genetic and Evolutionary Computation Conference
2018-07-02 | Other
Contributors: Raphaël Dang-Nhu; Thibault Dardinier; Benjamin Doerr; Gautier Izacard; Dorian Nogneng
Source: Self-asserted source
Thibault Dardinier via Crossref Metadata Search