Model checking differentially private properties von Liu, Depeng, Wang, Bow-Yaw, Fu, Chen, Zhang, Lijun

Volltext

Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes von He, Fei, Gao, Xiaowei, Wang, Miaofei, Wang, Bow-Yaw, Zhang, Lijun

Volltext

A Unified Framework for DPLL(T) + Certificates von Zhou, Min, He, Fei, Wang, Bow-Yaw, Gu, Ming, Sun, Jiaguang

Volltext

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference von Lee, Wonchan, Jung, Yungbum, Wang, Bow-yaw, Yi, Kwangkuen

Volltext

Automatically inferring loop invariants via algorithmic learning von JUNG, YUNGBUM, KONG, SOONHO, DAVID, CRISTINA, WANG, BOW-YAW, YI, KWANGKEUN

Volltext

Model Checking Differentially Private Properties von Liu, Depeng, Wang, Bow-Yaw, Zhang, Lijun

Volltext

Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation von Li, Yongjian, Wang, Bow-yaw

Volltext

Array Theory of Bounded Elements and its Applications von Zhou, Min, He, Fei, Wang, Bow-Yaw, Gu, Ming, Sun, Jiaguang

Volltext

Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages von Farzan, Azadeh, Chen, Yu-Fang, Clarke, Edmund M., Tsay, Yih-Kuen, Wang, Bow-Yaw

Volltext

On the Satisfiability of Modular Arithmetic Formulae von Wang, Bow-Yaw

Volltext

Verifying Recursive Programs Using Intraprocedural Analyzers von Chen, Yu-Fang, Hsieh, Chiao, Tsai, Ming-Hsien, Wang, Bow-Yaw, Wang, Farn

Volltext

Learning-Based Assume-Guarantee Regression Verification von He, Fei, Mao, Shu, Wang, Bow-Yaw

Volltext

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation von Chen, Yu-Fang, Hong, Chih-Duo, Wang, Bow-Yaw, Zhang, Lijun

Volltext

Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction von Jung, Yungbum, Kong, Soonho, Wang, Bow-Yaw, Yi, Kwangkeun

Volltext

An Executable Sequential Specification for Spark Aggregation von Chen, Yu-Fang, Hong, Chih-Duo, Lengál, Ondřej, Mu, Shin-Cheng, Sinha, Nishant, Wang, Bow-Yaw

Volltext

Commutativity of Reducers von Chen, Yu-Fang, Hong, Chih-Duo, Sinha, Nishant, Wang, Bow-Yaw

Volltext

Synthesize Models for Quantitative Analysis Using Automata Learning von Chen, Yu-Fang, Chung, Hsiao-Chen, Hung, Wen-Chi, Tsai, Ming-Hsien, Wang, Bow-Yaw, Wang, Farn

Volltext

Learning Minimal Separating DFA’s for Compositional Verification von Chen, Yu-Fang, Farzan, Azadeh, Clarke, Edmund M., Tsay, Yih-Kuen, Wang, Bow-Yaw

Volltext

Learning Boolean Functions Incrementally von Chen, Yu-Fang, Wang, Bow-Yaw

Volltext

Automated Assume-Guarantee Reasoning through Implicit Learning von Chen, Yu-Fang, Clarke, Edmund M., Farzan, Azadeh, Tsai, Ming-Hsien, Tsay, Yih-Kuen, Wang, Bow-Yaw

Volltext