Travelled to:1 × Estonia
1 × Finland
1 × France
1 × Germany
1 × Italy
1 × Russia
Collaborated with:T.Touili M.Z.0002 F.Mallet X.C.0007 J.Zhang P.Gao C.W.0001 T.Chen J.He G.Wang Z.Wu J.Yan
Talks about:model (6) check (5) malwar (4) detect (4) pushdown (2) softwar (2) base (2) countermeasur (1) constraint (1) sequenti (1)
Person: Fu Song
DBLP: Song:Fu
Contributed to:
2013
2013
2013
2012
20122012
2019
2018Wrote 9 papers:
- ESEC-FSE-2013-SongT #automaton #detection #model checking #named
- PoMMaDe: pushdown model-checking for malware detection (FS, TT), pp. 607–610.
- IFM-2013-SongT #api #library #model checking
- Model-Checking Software Library API Usage Rules (FS, TT), pp. 192–207.
- TACAS-2013-SongT #detection #ltl #model checking
- LTL Model-Checking for Malware Detection (FS, TT), pp. 416–431.
- ASE-2012-SongT #model checking #named #source code
- PuMoC: a CTL model-checker for sequential programs (FS, TT), pp. 346–349.
- FM-2012-SongT #detection #model checking #performance #using
- Efficient Malware Detection Using Model-Checking (FS, TT), pp. 418–433.
- TACAS-2012-SongT #automaton #detection #model checking
- Pushdown Model Checking for Malware Detection (FS, TT), pp. 110–125.
- FASE-2019-ZhangSMC #analysis #bound #constraints #scheduling #smt #specification
- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language (MZ0, FS, FM, XC0), pp. 61–78.
- CAV-2018-ChenHSWWY #android #stack
- Android Stack Machine (TC, JH, FS, GW, ZW, JY), pp. 487–504.
- CAV-2018-ZhangGSW #named #verification
- SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks (JZ, PG, FS, CW0), pp. 157–177.