Generalized Property-Directed Reachability for Hybrid Systems

von Suenaga, Kohei
Veröffentlicht in VMCAI (21. : 2020 : New Orleans, La.) Verification, model checking, and abstract interpretation (2020)

Formalizing Statistical Causality via Modal Logic

von Kawamoto, Yusuke
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Efficient Black-Box Checking via Model Checking with Strengthened Specifications

von Shijubo, Junya
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

Visualizing Color-Wise Saliency of Black-Box Image Classification Models

von Hatakeyama, Yuhki
Veröffentlicht in ACCV (15. : 2020 : Online) Computer vision - ACCV 2020 ; Part 3 (2021)

ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs

von Toman, John
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

The Lattice-Theoretic Essence of Property Directed Reachability Analysis

von Kori, Mayuko
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption

von Banno, Ryotaro
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types

von Nishida, Yuki
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)