Automatic Metamorphic Test Oracles for Action-Policy Testing

von Eisenhut, Jan
Veröffentlicht in International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023) (2023)

A Two-Phase Approach for Conditional Floating-Point Verification

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

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

von Mansur, Muhammad Numair
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)

Compositional Verification of Smart Contracts Through Communication Abstraction

von Wesley, Scott
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

Verifying Solidity Smart Contracts via Communication Abstraction im SmartACE

von Wesley, Scott
Veröffentlicht in VMCAI (23. : 2022 : Philadelphia, Pa.) Verification, Model Checking, and Abstract Interpretation (2022)

SYNTHESIZING TASKS FOR BLOCK-BASED PROGRAMMING

von Ahmed, Umair
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 27 of 27 (2021)

Lab Conditions for Research on Explainable Automated Decisions

von Baier, Christel
Veröffentlicht in TAILOR Workshop (1. : 2020 : Online) Trustworthy AI - integrating learning, optimization and reasoning (2021)

Software verification : 12th international conference, VSTTE 2020, and 13th international workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers

Veröffentlicht 2020

Automated Safety Verification of Programs Invoking Neural Networks

von Christakis, Maria
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)