Shang-Wei Lin

activity

20142023

most citedA Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices

140 citations · 224 across the 13 of their papers we have counts for

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2023

A Quantum SMT Solver for Bit-Vector Theory

Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang +1

Given a formula $F$ of satisfiability modulo theory (SMT), the classical SMT solver tries to (1) abstract $F$ as a Boolean formula $F_{B}$ , (2) find a Boolean solution to $F_{B}$ , and…

cs.LO2014

Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications

Shang-Wei Lin, Laure Petrucci

This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as…