受强制性开放获取政策约束的文章 - Thibault Dardinier了解详情
可在其他位置公开访问的文章：8 篇
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
强制性开放获取政策： Swiss National Science Foundation, US Department of Defense
Hyper hoare logic:(dis-) proving program hyperproperties
T Dardinier, P Müller
Proceedings of the ACM on Programming Languages 8 (PLDI), 1485-1509, 2024
强制性开放获取政策： Swiss National Science Foundation
Sound automation of magic wands
T Dardinier, G Parthasarathy, N Weeks, P Müller, AJ Summers
International Conference on Computer Aided Verification, 130-151, 2022
强制性开放获取政策： Swiss National Science Foundation
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
强制性开放获取政策： Swiss National Science Foundation
VeriMon: a formally verified monitoring tool
D Basin, T Dardinier, N Hauser, L Heimes, JJ Huerta y Munive, ...
International Colloquium on Theoretical Aspects of Computing, 1-6, 2022
强制性开放获取政策： Swiss National Science Foundation, US Department of Defense
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
M Eilers, T Dardinier, P Müller
Proceedings of the ACM on Programming Languages 7 (PLDI), 1682-1707, 2023
强制性开放获取政策： Swiss National Science Foundation
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
强制性开放获取政策： Swiss National Science Foundation
Towards trustworthy automated program verifiers: Formally validating translations into an intermediate verification language
G Parthasarathy, T Dardinier, B Bonneau, P Müller, AJ Summers
Proceedings of the ACM on Programming Languages 8 (PLDI), 1510-1534, 2024
强制性开放获取政策： Swiss National Science Foundation
出版信息和资助信息由计算机程序自动确定