| A formally verified, optimized monitor for metric first-order dynamic logic D Basin, T Dardinier, L Heimes, S Krstić, M Raszyk, J Schneider, D Traytel Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 32 | 2020 |
| A new analysis method for evolutionary optimization of dynamic and noisy objective functions R Dang-Nhu, T Dardinier, B Doerr, G Izacard, D Nogneng Proceedings of the Genetic and Evolutionary Computation Conference, 1467-1474, 2018 | 29 | 2018 |
| Sound automation of magic wands T Dardinier, G Parthasarathy, N Weeks, P Müller, AJ Summers Computer Aided Verification: 34th International Conference, CAV 2022, Haifa …, 2022 | 9* | 2022 |
| Fractional resources in unbounded separation logic T Dardinier, P Müller, AJ Summers Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1066-1092, 2022 | 6 | 2022 |
| Hyper hoare logic:(dis-) proving program hyperproperties (extended version) T Dardinier, P Müller arXiv preprint arXiv:2301.10037, 2023 | 4 | 2023 |
| VeriMon: A Formally Verified Monitoring Tool D Basin, T Dardinier, N Hauser, L Heimes, JJ Huerta y Munive, ... Theoretical Aspects of Computing–ICTAC 2022: 19th International Colloquium …, 2022 | 2 | 2022 |
| Verification-Preserving Inlining in Automatic Separation Logic Verifiers T Dardinier, G Parthasarathy, P Müller Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 789-818, 2023 | 1* | 2023 |
| CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity M Eilers, T Dardinier, P Müller arXiv preprint arXiv:2211.08459, 2022 | 1 | 2022 |
| Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations T Dardinier, L Heimes, M Raszyk, J Schneider, D Traytel | 1 | 2022 |
| Unbounded Separation Logic T Dardinier Archive of Formal Proofs, September, issn, 2022 | 1 | 2022 |
| Beyond the Frame Rule: Static Inlining in Separation Logic T Dardinier ETH Zurich, 2020 | 1 | 2020 |
| Formalization of Hyper Hoare Logic: A Logic to (Dis-) Prove Program Hyperproperties T Dardinier | | 2023 |
| A Restricted Definition of the Magic Wand to Soundly Combine Fractions of a Wand T Dardinier | | 2022 |
| Formalization of a Framework for the Sound Automation of Magic Wands T Dardinier | | 2022 |
| Formalization of Multiway-Join Algorithms T Dardinier | | 2022 |
