:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Wu, Ying-Chi
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.20197129
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

EE5122 PA2 Part 2: CPAchecker Algorithm Comparison on SV-COMP ReachSafety
by: Wu, YD
Published: (2026)

NTUEE FM PA2 Part2 — CPAchecker ReachSafety reproduction artifact
by: Sun, Shuo-Heng
Published: (2026)

Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP
by: Moloney, Charles, et al.
Published: (2026)

Container Image for SV-COMP 2022 (OCI Format)
by: Beyer, Dirk
Published: (2026)

YAML Verification Witnesses from SV-COMP 2024
by: Saan, Simmo
Published: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
by: Baier, Daniel, et al.
Published: (2024)

Reproduction Package for Evaluation of Bachleors Thesis 'Integrate Solver Indepenedent Quantifier Elimination using UltimateEliminator in JavaSMT with Subsequent Evaluation in CPAchecker'
by: Gurevich, Anastasia
Published: (2025)

IntFedSV: A Novel Participants’ Contribution Evaluation Mechanism for Federated Learning
by: Tianxu Cui, et al.
Published: (2025)

CHC-COMP 2023: Competition Report
by: De Angelis, Emanuele, et al.
Published: (2024)

hj6-sanger/GEL_SV: GEL-SV code
by: hj6-sanger
Published: (2025)

Safety2Drive: Safety-Critical Scenario Benchmark for the Evaluation of Autonomous Driving
by: Li, Jingzheng, et al.
Published: (2025)

bv_decide SMT-COMP 2025 Submission
by: Böving, Henrik, et al.
Published: (2025)

ARCH-COMP25 Category Report: Stochastic Models
by: Abate, Alessandro, et al.
Published: (2025)

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
by: Brix, Christopher, et al.
Published: (2024)

Beyond Voltage: Independent Validation of the SV3 + SV4 Criterion for LVH Detection
by: Fernando De la Garza Salazar
Published: (2025)

LABSHIELD: A Multimodal Benchmark for Safety-Critical Reasoning and Planning in Scientific Laboratories
by: Sun, Qianpu, et al.
Published: (2026)

Safety, feasibility, and tolerability of psilocybin in older adults with amnestic MCI: Preliminary data from a SV2a PET imaging study
by: Danielle Bukovsky, et al.
Published: (2025)

Surface meteorological observations during intercomparison campaign COMP015 in 1987
by: Imfeld, Noemi, et al.
Published: (2026)

FBD-SV-2024: Flying Bird Object Detection Dataset in Surveillance Video
by: Sun, Zi-Wei, et al.
Published: (2024)

Skyrme SV density-functional analysis of the $2νββ$ decay in $^{76}$Ge
by: Miśkiewicz, Jan, et al.
Published: (2026)

ReachAgent: Enhancing Mobile Agent via Page Reaching and Operation
by: Wu, Qinzhuo, et al.
Published: (2025)

SV6 Selects volume six

Geochemistry of sediment core SV09
by: Lorenschat, Julia
Published: (2013)

Video-SafetyBench: A Benchmark for Safety Evaluation of Video LVLMs
by: Liu, Xuannan, et al.
Published: (2025)

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
by: Kaulen, Konstantin, et al.
Published: (2025)

Benchmark^2: Systematic Evaluation of LLM Benchmarks
by: Qian, Qi, et al.
Published: (2026)

Text-dependent Speaker Verification (TdSV) Challenge 2024: Challenge Evaluation Plan
by: Hossein, Zeinali, et al.
Published: (2024)

[COMP25] The Automated Negotiating Agents Competition (ANAC) 2025 Challenges and Results
by: Aydoğan, Reyhan, et al.
Published: (2026)

Reseña de "Globalización y salud mental" de TALARN, A. (COMP.)
by: Vicente Pelechano
Published: (2008)

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
by: Brix, Christopher, et al.
Published: (2023)

Historical upper-air measurements during intercomparison campaign COMP003 in 1954
by: Imfeld, Noemi, et al.
Published: (2020)

Historical upper-air measurements during intercomparison campaign COMP016 in 1989
by: Imfeld, Noemi, et al.
Published: (2020)

Historical upper-air measurements during intercomparison campaign COMP002 in 1950
by: Imfeld, Noemi, et al.
Published: (2020)

Historical upper-air measurements during intercomparison campaign COMP001 in 1935
by: Imfeld, Noemi, et al.
Published: (2020)

Historical upper-air measurements during intercomparison campaign COMP018 in 1993
by: Imfeld, Noemi, et al.
Published: (2020)

Historical upper-air measurements during intercomparison campaign COMP007 in 1978
by: Imfeld, Noemi, et al.
Published: (2020)

Historical upper-air measurements during intercomparison campaign COMP011 in 1984
by: Imfeld, Noemi, et al.
Published: (2020)

Historical upper-air measurements during intercomparison campaign COMP013 in 1984
by: Imfeld, Noemi, et al.
Published: (2020)

Historical upper-air measurements during intercomparison campaign COMP004 in 1956
by: Imfeld, Noemi, et al.
Published: (2020)

Asymmetric and trial-dependent modeling: the contribution of LIA to SdSV Challenge Task 2
by: Bousquet, Pierre-Michel, et al.
Published: (2024)