On the axiomatizability of impossible futures : preorder versus equivalence

von Chen, Taolue
Veröffentlicht 2008

Software adaptation in an open environment : a software architecture perspective

von Zhou, Yu
Veröffentlicht 2017

ESAMPLER: Efficient Sampling of Satisfying Assignments for Boolean Formulas

von Xu, Yongjie
Veröffentlicht in SETTA (7. : 2021 : Peking) Dependable software engineering (2021)

Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata

von Li, Xie
Veröffentlicht in SETTA (6. : 2020 : Online) Dependable software engineering (2020)

Quantitative model checking of continous-time Markov chains against timed automata specifications

Veröffentlicht 2009

BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks

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

Learning Safe Neural Network Controllers with Barrier Certificates

von Zhao, Hengjun
Veröffentlicht in SETTA (6. : 2020 : Online) Dependable software engineering (2020)

PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation

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

CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks

von Zhao, Zhe
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

von Chen, Taolue
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)