Travelled to:1 × Australia
1 × China
1 × Denmark
1 × Italy
1 × Japan
1 × Republic of China
1 × Spain
1 × The Netherlands
2 × France
2 × United Kingdom
3 × Germany
5 × USA
Collaborated with:∅ A.K.Mok H.Yen G.Huang E.A.Emerson C.Huang R.Wu F.Yu C.D.Lo Y.Chen C.Hsieh M.Tsai B.Wang S.Schewe G.Hwang P.Hsiung Y.Kuo J.Wu K.Chang L.Cai W.Huang S.Yang G.Chen C.Chan
Talks about:system (13) time (13) real (8) verif (5) structur (4) program (4) analysi (4) symbol (4) test (4) data (4)
Person: Farn Wang
DBLP: Wang:Farn
Contributed to:
2015
20142013
2012
2011
2008
2007
2005
2004
2003
200320012000
199919991996
199519941993
1992Wrote 21 papers:
- TACAS-2015-ChenHTWW #contest #named #program transformation #recursion #source code #text-to-text #verification
- CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation — (Competition Contribution) (YFC, CH, MHT, BYW, FW), pp. 426–428.
- SAS-2014-ChenHTWW #recursion #source code #using #verification
- Verifying Recursive Programs Using Intraprocedural Analyzers (YFC, CH, MHT, BYW, FW), pp. 118–133.
- TACAS-2013-HuangSW #game studies #model checking
- Model-Checking Iterated Games (CHH, SS, FW), pp. 154–168.
- LCTES-2012-YuYWCC #consistency #parallel #source code
- Symbolic consistency checking of OpenMp parallel programs (FY, SCY, FW, GCC, CCC), pp. 139–148.
- FASE-2011-WangWHC #black box #evolution #testing
- Evolving a Test Oracle in Black-Box Testing (FW, JHW, CHH, KHC), pp. 310–325.
- TestCom-FATES-2008-WangH #analysis #concurrent #generative #realtime #testing
- Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis (FW, GDH), pp. 234–249.
- ASE-2007-CaiWHW #array #automation #kernel #testing
- Test automation for kernel code and disk arrays with virtual devices (LZC, RSW, WTH, FW), pp. 505–508.
- SEKE-2005-WangWH #hybrid #linear #verification
- Verifying Timed and Linear Hybrid Rule-Systems with RED (FW, RSW, GDH), pp. 448–454.
- CAV-2004-Wang #analysis #hybrid #linear #parametricity #safety
- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures (FW), pp. 295–307.
- CIAA-2003-WangHY #analysis
- TCTL Inevitability Analysis of Dense-Time Systems (FW, GDH, FY), pp. 176–187.
- CIAA-2003-WangY #parametricity #realtime
- Timing Parameter Characterization of Real-Time Systems (FW, HCY), pp. 23–34.
- VMCAI-2003-Wang #automaton #performance #verification
- Efficient Verification of Timed Automata with BDD-Like Data-Structures (FW), pp. 189–205.
- SAS-2001-WangY #optimisation #parametricity #realtime
- Parametric Optimization of Open Real-Time Systems (FW, HCY), pp. 299–318.
- TACAS-2000-Wang #data type #performance #realtime #verification
- Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems (FW), pp. 157–171.
- FM-v1-1999-Wang #automation #pointer #process #verification
- Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes (FW), pp. 328–347.
- TACAS-1999-HsiungWK #scheduling #verification
- Scheduling System Verification (PAH, FW, YSK), pp. 19–33.
- FME-1996-WangL #concurrent #realtime #verification
- Procedure-Level Verification of Real-time Concurrent Systems (FW, CTDL), pp. 682–701.
- LICS-1995-Wang #analysis #behaviour #realtime
- Timing Behavior Analysis for Real-Time Systems (FW), pp. 112–122.
- FME-1994-WangM
- RTL and Refutation by Positive Cycles (FW, AKM), pp. 659–680.
- FME-1993-WangME #distributed #model checking #realtime
- Symbolic Model Checking for Distributed Real-Time Systems (FW, AKM, EAE), pp. 632–651.
- ICSE-1992-WangME #distributed #realtime #specification
- Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL (FW, AKM, EAE), pp. 188–198.