:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Ni, Yicheng, Wang, Yuting
Natura:	Recurso digital
Lingua:
Pubblicazione:	Zenodo 2026
Accesso online:	https://doi.org/10.5281/zenodo.19876027
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Compositional Verification in Concurrent Separation Logic with Permissions Regions
di: Le, Quang Loc
Pubblicazione: (2025)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
di: Nemati, Hamed, et al.
Pubblicazione: (2025)

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
di: Wu, Jinhua, et al.
Pubblicazione: (2025)

Robust Verification of Concurrent Stochastic Games
di: He, Angel Y., et al.
Pubblicazione: (2026)

Verification of Correlated Equilibria in Concurrent Reachability Games
di: Rajasekaran, Senthil, et al.
Pubblicazione: (2026)

A Note on Runtime Verification of Concurrent Systems
di: Leucker, Martin
Pubblicazione: (2025)

History-Independent Concurrent Objects
di: Attiya, Hagit, et al.
Pubblicazione: (2024)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
di: Nagar, Kartik, et al.
Pubblicazione: (2020)

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
di: Bortin, Maksym
Pubblicazione: (2020)

A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
di: Wang, Chao, et al.
Pubblicazione: (2026)

Concurrent Training and Layer Pruning of Deep Neural Networks
di: Guenter, Valentin Frank Ingmar, et al.
Pubblicazione: (2024)

Concurrent Composition for Differentially Private Continual Mechanisms
di: Henzinger, Monika, et al.
Pubblicazione: (2024)

GeoRemover: Removing Objects and Their Causal Visual Artifacts
di: Zhu, Zixin, et al.
Pubblicazione: (2025)

Evidence Absence Is Not Evidence Insufficiency: Diagnosing NEI Construction Artifacts in Fact Verification
di: Qiu, Jingxi, et al.
Pubblicazione: (2026)

Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
di: Godbole, Adwait, et al.
Pubblicazione: (2025)

CQIL: Inference Latency Optimization with Concurrent Computation of Quasi-Independent Layers
di: Zou, Longwei, et al.
Pubblicazione: (2024)

Distributionally Robust Safety Verification for Markov Decision Processes
di: Mazumdar, Abhijit, et al.
Pubblicazione: (2024)

Scenario-Based Proofs for Concurrent Objects [Extended Version]
di: Enea, Constantin, et al.
Pubblicazione: (2023)

Artifact for Paper "Agora: Trust Less and Open More in Verification for Confidential Computing" in OOPSLA 2025
di: Chen, Hongbo, et al.
Pubblicazione: (2025)

AMECOS: A Modular Event-based Framework for Concurrent Object Specification
di: Albouy, Timothé, et al.
Pubblicazione: (2024)

Artifact of GenBaB: Neural Network Verification with Branch-and-Bound for General Nonlinearities
di: Shi, Zhouxing, et al.
Pubblicazione: (2025)

On The Concurrence of Layer-wise Preconditioning Methods and Provable Feature Learning
di: Zhang, Thomas T., et al.
Pubblicazione: (2025)

Denotation-based Compositional Compiler Verification
di: Cheng, Zhang, et al.
Pubblicazione: (2024)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)

Computation and Concurrency
di: Wang, Yong
Pubblicazione: (2024)

A Comprehensive Review of 3D Object Detection in Autonomous Driving: Technological Advances and Future Directions
di: Wang, Yu, et al.
Pubblicazione: (2024)

Statistical and Algorithmic Foundations of Reinforcement Learning
di: Chi, Yuejie, et al.
Pubblicazione: (2025)

Foundational Verification of Smart Contracts through Verified Compilation
di: Sjöberg, Vilhelm, et al.
Pubblicazione: (2024)

ObjectAlign: Neuro-Symbolic Object Consistency Verification and Correction
di: Munir, Mustafa, et al.
Pubblicazione: (2025)

ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE
di: Ma, Tong, et al.
Pubblicazione: (2025)

Hollow Metal‐Organic Framework‐Derived Layered NiS 2 /MXene Composites for High‐Performance Supercapacitors
di: Zhaobin Chen, et al.
Pubblicazione: (2025)

ArtifactLens: Hundreds of Labels Are Enough for Artifact Detection with VLMs
di: Burgess, James, et al.
Pubblicazione: (2026)

A Foundation Model for General Moving Object Segmentation in Medical Images
di: Yan, Zhongnuo, et al.
Pubblicazione: (2023)

Concurrent Composition for Interactive Differential Privacy with Adaptive Privacy-Loss Parameters
di: Haney, Samuel, et al.
Pubblicazione: (2023)

Leveraging Image Editing Foundation Models for Data-Efficient CT Metal Artifact Reduction
di: Emirdagi, Ahmet Rasim, et al.
Pubblicazione: (2026)

IDPro: Flexible Interactive Video Object Segmentation by ID-queried Concurrent Propagation
di: Li, Kexin, et al.
Pubblicazione: (2024)

Data-driven Verification of DNNs for Object Recognition
di: Otte, Clemens, et al.
Pubblicazione: (2024)

Dataset Ownership Verification for Pre-trained Masked Models
di: Xie, Yuechen, et al.
Pubblicazione: (2025)

SciVer: Evaluating Foundation Models for Multimodal Scientific Claim Verification
di: Wang, Chengye, et al.
Pubblicazione: (2025)

Artifact-Bench: Evaluating MLLMs on Detecting and Assessing the Artifacts of AI-Generated Videos
di: Tang, Yuqi, et al.
Pubblicazione: (2026)