Travelled to:1 × Australia
1 × Austria
1 × Belgium
1 × Finland
1 × Germany
1 × India
1 × Ireland
1 × Japan
1 × Norway
1 × Singapore
1 × South Korea
1 × Taiwan
1 × Turkey
1 × United Kingdom
13 × USA
2 × Canada
2 × China
2 × Italy
2 × Russia
2 × Sweden
2 × The Netherlands
3 × France
3 × Switzerland
Collaborated with:J.Sun J.S.Dong H.Hu S.Lin L.Gui T.K.Nguyen Y.Yang X.Yu S.J.Zhang É.André Z.Xing M.Zhou S.Song H.Xiao Y.Liu X.Wang C.Chen Y.Wang X.Huang A.An Y.Xue S.Liu B.Wadhwa J.Pang W.Chen Y.A.Liu C.Sun Y.Cheng H.Hu X.Du A.Tiu T.H.Tan M.Chen S.Xu L.Duan Y.Nie M.Zheng X.Li W.Hu Y.Lin X.Peng W.Zhao L.Li Y.Xu C.Sun Y.Wu Y.Song Y.Zhang Q.Meng Z.Ren J.Ma S.Wang S.Qin X.Xie W.Le X.Li H.Chen H.Hansen H.Liu X.Li G.T.Xie G.T.Lakshmanan T.Wang S.Li R.Song Y.Chen J.Nie J.Wen A.Roychoudhury S.Liu J.Chen S.Lu B.O'Sullivan I.Razgon C.Bouganis P.Y.K.Cheung P.H.W.Leong S.J.Motley J.Wang M.Chandramohan G.Bai J.Hao J.Wu Z.Liang A.Martin T.Liu Y.Gui Y.Sun Y.Sun F.Xiao J.Ma Y.J.Si D.Sanán Y.Gu J.Hao H.Leung Sijia Xu H.Kuang Zhuang Zhi Renjie Hu Huyang Sun S.Hu J.Wu Y.Shi Y.Jin Y.Hu X.Li Y.Zhang C.Choppy M.Liu X.P.0001 A.Marcus W.Xie S.Xing S.Seshadri M.Gahagan M.S.Bhaskaran T.Bunker A.De Y.Jin S.Swanson D.Yuan S.Park P.Huang M.M.Lee X.Tang Y.Zhou S.Savage
Talks about:system (16) model (13) time (10) base (8) use (8) analysi (7) check (7) net (7) manufactur (6) state (6)
Person: Yang Liu
DBLP: Liu:Yang
Contributed to:
2015
2015
2015
2015
2015
20142014
2014
20142014
2014
2014
2014
2014
2014
2014
20142013201320132013
20132013
20132013
201320122012
2012201220122012201120112011201020102010201020092009
2009
20082007
200620152019
2019Wrote 65 papers:
- CASE-2015-ChengHL #automation #petri net #robust #synthesis #using
- Robust supervisor synthesis for automated manufacturing systems using Petri nets (YC, HH, YL), pp. 1029–1035.
- CASE-2015-YangH0 #assembly #automation #distributed #petri net
- A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.
- DAC-2015-LiuHWSJHL #assessment #detection #smarttech
- Impact assessment of net metering on smart home cyberattack detection (YL, SH, JW, YS, YJ, YH, XL), p. 6.
- ESEC-FSE-2015-SunXLLQ #abstraction #learning #named #testing #validation
- TLV: abstraction through testing, learning, and validation (JS, HX, YL, SWL, SQ), pp. 698–709.
- FM-2015-DuLT #independence #ltl #monitoring #policy #runtime
- Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (XD, YL, AT), pp. 231–247.
- FM-2015-LiSLD #protocol #security #verification
- Verifying Parameterized Timed Security Protocols (LL, JS, YL, JSD), pp. 342–359.
- ISSTA-2015-GuiSLD #abstraction #assessment #communication #distributed #refinement #reliability
- Reliability assessment for distributed systems via communication abstraction and refinement (LG, JS, YL, JSD), pp. 293–304.
- ISSTA-2015-TanXCSLD #algorithm #optimisation
- Optimizing selection of competing features via feedback-directed evolutionary algorithms (THT, YX, MC, JS, YL, JSD), pp. 246–256.
- ISSTA-2015-XieLLLC #automation #multi #named #string #summary
- S-looper: automatic summarization for multipath string loops (XX, YL, WL, XL, HC), pp. 188–198.
- ISSTA-2015-XueWLXSC #behaviour #classification #detection #javascript #modelling
- Detection and classification of malicious JavaScript via attack behavior modelling (YX, JW, YL, HX, JS, MC), pp. 48–59.
- ASE-2014-LiuSLZWDW #automation #case study #detection #documentation #fault
- Automatic early defects detection in use case documents (SL, JS, YL, YZ, BW, JSD, XW), pp. 785–790.
- CASE-2014-HuCLY #approach #automation #comparative #petri net #using
- A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets (HH, CC, YL, YY), pp. 619–625.
- CASE-2014-HuYLC #analysis #automation #modelling #multi #petri net
- Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis (HH, YY, YL, CC), pp. 449–454.
- CAV-2014-HansenLLN0 #abstraction #automaton #partial order #reduction #women
- Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions (HH, SWL, YL, TKN, JS), pp. 391–406.
- CIKM-2014-Liu0LXL #identification #towards
- Towards Pathway Variation Identification: Aligning Patient Records with a Care Pathway (HL, YL, XL, GTX, GTL), pp. 1359–1368.
- CIKM-2014-LiuXD #mining #network #predict
- Relationship Emergence Prediction in Heterogeneous Networks through Dynamic Frequent Subgraph Mining (YL, SX, LD), pp. 1649–1658.
- FM-2014-BaiHWLLM #formal method #model checking #named #platform #towards
- TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.
- FM-2014-LiuGL #analysis #reliability
- MDP-Based Reliability Analysis of an Ambient Assisted Living System (YL, LG, YL), pp. 688–702.
- FM-2014-LiuXZS #verification
- Formal Verification of Operational Transformation (YL, YX, SJZ, CS), pp. 432–448.
- FSE-2014-Gui00ND #agile #analysis #named #nondeterminism #reliability #tool support
- RaPiD: a toolkit for reliability analysis of non-deterministic systems (LG, JS, YL, TKN, JSD), pp. 727–730.
- ICSE-2014-LinXXLPSZ #detection #difference #multi
- Detecting differences across multiple instances of code clones (YL, ZX, YX, YL, XP, JS, WZ), pp. 164–174.
- ICSME-2014-LinXPL0ZD #maintenance #named
- Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance (YL, ZX, XP, YL, JS, WZ, JSD), pp. 341–350.
- OSDI-2014-SeshadriGBBDJLS #named #programmable
- Willow: A User-Programmable SSD (SS, MG, MSB, TB, AD, YJ, YL, SS), pp. 67–80.
- SAC-2014-LiuGSLSX #communication #encryption #grid #named #smarttech
- SEDE: state estimation-based dynamic encryption scheme for smart grid communication (TL, YG, YS, YL, YS, FX), pp. 539–544.
- SIGIR-2014-NieLY #collaboration
- Weighted aspect-based collaborative filtering (YN, YL, XY), pp. 1071–1074.
- TACAS-2014-Wang0LWL #automaton #specification
- Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata (TW, JS, YL, XW, SL), pp. 310–325.
- ASE-2013-Wu0LD #analysis #automation #component #dependence #using
- Automatically partition software into least privilege components using dynamic data dependency analysis (YW, JS, YL, JSD), pp. 323–333.
- ASE-2013-Xiao0LLS #learning #named #type system
- TzuYu: Learning stateful typestates (HX, JS, YL, SWL, CS), pp. 432–442.
- ASE-2013-Zhang0SLMD #automation #constraints #detection #symmetry
- Constraint-based automatic symmetry detection (SJZ, JS, CS, YL, JM, JSD), pp. 15–25.
- CASE-2013-HuZL #automation #performance #petri net #synthesis #using
- Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets (HH, MZ, YL), pp. 1139–1144.
- CASE-2013-HuZL13a #automation #distributed #petri net #scalability
- Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets (HH, MZ, YL), pp. 1145–1150.
- CAV-2013-AndreLSDL #concurrent #named #parametricity #realtime #synthesis
- PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (ÉA, YL, JS, JSD, SWL), pp. 984–989.
- ESEC-FSE-2013-LiuL0ZWD #model checking #named #self #state machine #uml
- USMMC: a self-contained model checker for UML state machines (SL, YL, JS, MZ, BW, JSD), pp. 623–626.
- ICDAR-2013-LiuSZM #approach #multi #novel
- A Novel Multi-oriented Chinese Text Extraction Approach from Videos (YL, YS, YZ, QM), pp. 1355–1359.
- ICSE-2013-DongSL #model checking
- Build your own model checker in one month (JSD, JS, YL), pp. 1481–1483.
- ICSE-2013-TanA00DC #composition #synthesis
- Dynamic synthesis of local time requirement for service composition (THT, ÉA, JS, YL, JSD, MC), pp. 542–551.
- IFM-2013-LiuLACSWD #semantics #state machine #uml
- A Formal Semantics for Complete UML State Machines with Communications (SL, YL, ÉA, CC, JS, BW, JSD), pp. 331–346.
- IFM-2013-Song00LD #analysis #divide and conquer #reachability
- Improved Reachability Analysis in DTMC via Divide and Conquer (SS, LG, JS, YL, JSD), pp. 162–176.
- ISSTA-2013-GuiSLSDW #model checking #predict #reliability #testing
- Combining model checking and testing with an application to reliability prediction and distribution (LG, JS, YL, YJS, JSD, XW), pp. 101–111.
- VMCAI-2013-ZhengS0LD0 #network #partial order #reduction #using
- State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction (MZ, DS, JS, YL, JSD, YG), pp. 515–535.
- CAV-2012-SongSLD #model checking #probability #realtime
- A Model Checker for Hierarchical Probabilistic Real-Time Systems (SS, JS, YL, JSD), pp. 705–711.
- FM-2012-LinLSDA #automation #composition #verification
- Automatic Compositional Verification of Timed Systems (SWL, YL, JS, JSD, ÉA), pp. 272–276.
- FM-2012-NguyenSLDL #analysis
- Improved BDD-Based Discrete Analysis of Timed Systems (TKN, JS, YL, JSD, YL), pp. 326–340.
- ICPR-2012-LiuW12a #feature model #kernel
- Unsupervised discriminative feature selection in a kernel space via L2, 1-norm minimization (YL, YW), pp. 1205–1208.
- ICSE-2012-SongHLSLD #approach #model checking #multi #probability
- Analyzing multi-agent systems with probabilistic model checking approach (SS, JH, YL, JS, HfL, JSD), pp. 1337–1340.
- OSDI-2012-YuanPHLLTZS
- Be Conservative: Enhancing Failure Diagnosis with Proactive Logging (DY, SP, PH, YL, MMJL, XT, YZ, SS), pp. 293–306.
- SIGIR-2012-LiuSCNW #adaptation #query
- Adaptive query suggestion for difficult queries (YL, RS, YC, JYN, JRW), pp. 15–24.
- ASE-2011-NguyenSLD #framework #model checking
- A model checking framework for hierarchical systems (TKN, JS, YL, JSD), pp. 633–636.
- CIKM-2011-RenMWL #process #thread #topic #web
- Summarizing web forum threads based on a latent topic propagation process (ZR, JM, SW, YL), pp. 879–884.
- FM-2011-ZhangSPLD #on the #reduction
- On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
- ASE-2010-XingSLD #debugging #named #specification
- SpecDiff: debugging formal specifications (ZX, JS, YL, JSD), pp. 353–354.
- FSE-2010-LiuSD #realtime
- Analyzing hierarchical complex real-time systems (YL, JS, JSD), pp. 365–366.
- ICPR-2010-LiuLH #learning #multi #representation #using
- Semi-supervised Trajectory Learning Using a Multi-Scale Key Point Based Trajectory Representation (YL, XL, WH), pp. 3525–3528.
- SIGIR-2010-LiuYHA #adaptation #analysis #performance #predict #sentiment
- S-PLASA+: adaptive sentiment analysis with application to sales performance prediction (YL, XY, XH, AA), pp. 873–874.
- CAV-2009-SunLDP #flexibility #named #towards #verification
- PAT: Towards Flexible Verification under Fairness (JS, YL, JSD, JP), pp. 709–714.
- FM-2009-LiuCLS #model checking #refinement
- Model Checking Linearizability via Refinement (YL, WC, YAL, JS), pp. 321–337.
- FM-2009-SunLRLD #abstraction #model checking #process
- Fair Model Checking with Process Counter Abstraction (JS, YL, AR, SL, JSD), pp. 123–139.
- SEKE-2009-ZhangLSDCL #scalability #verification
- Formal Verification of Scalable NonZero Indicators (SJZ, YL, JS, JSD, WC, YAL), pp. 406–411.
- STOC-2008-ChenLL #algorithm #feedback #parametricity #problem #set
- A fixed-parameter algorithm for the directed feedback vertex set problem (JC, YL, SL, BO, IR), pp. 177–186.
- SIGIR-2007-LiuHAY #named #performance #predict #sentiment #using
- ARSA: a sentiment-aware model for predicting sales performance using blogs (YL, XH, AA, XY), pp. 607–614.
- DATE-2006-LiuBCLM #architecture #hardware #performance
- Hardware efficient architectures for Eigenvalue computation (YL, CSB, PYKC, PHWL, SJM), pp. 953–958.
- ASE-2015-LinSNLD #composition #verification
- Interpolation Guided Compositional Verification (T) (SWL, JS, TKN, YL, JSD), pp. 65–74.
- ESEC-FSE-2019-Liu0MXXXL #api #generative #summary
- Generating query-specific class API summaries (ML, XP0, AM, ZX, WX, SX, YL), pp. 120–130.
- AIIDE-2019-XuKZHLS #learning #metaprogramming
- Macro Action Selection with Deep Reinforcement Learning in StarCraft (SX, HK, ZZ, RH, YL, HS), pp. 94–99.