Travelled to:1 × China
1 × Germany
1 × Israel
1 × Italy
1 × Portugal
1 × Spain
1 × USA
3 × Canada
Collaborated with:X.Li L.Wang L.Bu G.Zheng X.Yu Y.Zhang T.Zhang X.Zhou E.Tang L.Li Y.Zhang J.Yang C.Meng Y.Pei Z.Cui X.Liu Y.Li L.Yang Z.Han L.Yu X.Chen X.Qiu B.Lei J.Yuan J.Hu Z.Tang J.Zhai M.Pan Y.Aafer S.Ma X.Z.0001
Talks about:time (3) base (3) understand (2) program (2) diagram (2) orient (2) driven (2) verif (2) model (2) activ (2)
Person: Jianhua Zhao
DBLP: Zhao:Jianhua
Contributed to:
2014
20122012
2010
2010
2010
2009
2007
2006
2006
2001
2018Wrote 12 papers:
- SEKE-2014-ZhouWLZ #correctness #empirical #probability #test coverage #testing
- An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability (XZ, LW, XL, JZ), pp. 632–635.
- ICSM-2012-TangWZL #detection #maintenance
- Time-leverage point detection for time sensitive software maintenance (ET, LW, JZ, XL), pp. 567–570.
- SEKE-2012-CuiWLBZL #aspect-oriented #diagrams #petri net #process #verification
- Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.
- DATE-2010-LiZYZ #functional
- Proactive NBTI mitigation for busy functional units in out-of-order microprocessors (LL, YZ, JY, JZ), pp. 411–416.
- SIGAda-2010-LiYBWZL #ada #fault tolerance #manycore #monitoring
- Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.
- VMCAI-2010-BuZL #automaton #hybrid #programming #reachability #using #verification
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (LB, JZ, XL), pp. 78–94.
- ICPC-2009-HanWYCZL #clustering #comprehension #design pattern #open source #source code
- Design pattern directed clustering for understanding open source code (ZH, LW, LY, XC, JZ, XL), pp. 295–296.
- ECMDA-FA-2007-YuZZWZZL #approach #automation #generative #modelling #towards
- Towards a Model Driven Approach to Automatic BPEL Generation (XY, YZ, TZ, LW, JZ, GZ, XL), pp. 204–218.
- AdaEurope-2006-LiWQLYZZ #java #runtime #source code #specification #verification
- Runtime Verification of Java Programs for Scenario-Based Specifications (XL, LW, XQ, BL, JY, JZ, GZ), pp. 94–105.
- EDOC-2006-YuHZZWZL #development #enterprise #framework #modelling #web #web service
- A Model Driven Development Framework for Enterprise Web Services (XY, JH, YZ, TZ, LW, JZ, XL), pp. 75–84.
- UML-2001-XuandongMYJG #analysis #diagrams #process #uml
- Timing Analysis of UML Activity Diagrams (XL, CM, YP, JZ, GZ), pp. 62–75.
- ASE-2018-TangZPAM0Z #comprehension #execution #named
- Dual-force: understanding WebView malware via cross-language forced execution (ZT, JZ, MP, YA, SM, XZ0, JZ), pp. 714–725.