Travelled to:1 × Austria
1 × Belgium
1 × Brazil
1 × Canada
1 × Finland
1 × Germany
1 × India
1 × Ireland
1 × Japan
1 × Korea
1 × Norway
1 × Spain
1 × The Netherlands
1 × Turkey
15 × USA
2 × China
2 × Italy
2 × Russia
2 × Sweden
2 × Switzerland
2 × United Kingdom
4 × France
Collaborated with:J.S.Dong Y.Liu S.Naoi Y.Hotta Y.Zhu W.Fan S.Lin T.K.Nguyen Y.He K.Fujimoto L.Gui A.Minagawa H.Takebe É.André P.Pan S.Song X.Yin Y.Katsuyama H.Xiao Z.Xing S.Qin S.J.Zhang X.Wang T.H.Tan Y.Xue S.Liu B.Wadhwa J.Pang H.Hao X.Peng W.Zhao W.Chen Y.A.Liu M.Suwa K.Huang C.Sun Y.Fujii M.Chen M.Zheng C.Chen L.Xiao S.P.Boyd Y.Lin L.Li Y.Wu S.Chen Y.Pan H.Hansen T.Wang S.Li S.Xie Y.Liu C.Wu A.Roychoudhury S.Liu Y.Tang H.H.Wang C.H.Lee H.B.Lee Y.Chen C.M.Poskitt S.Adepu F.Zhang J.Wang M.Chandramohan L.Wang J.Ma Y.J.Si D.Sanán Y.Gu J.Hao H.Leung Z.Wang H.Yu F.Nishino Y.Zhang C.Choppy K.Kurokawa J.Gu Y.Yu B.Nuseibeh
Talks about:system (13) time (11) base (11) recognit (9) model (9) use (9) detect (8) imag (8) document (7) charact (6)
♂ Person: Jun Sun
DBLP: Sun:Jun
Facilitated 2 volumes:
Ed
PracticalTrackPrCoContributed to:
2015
20152015
2015
2014
2014
2014
2014
2014
2014
2014
2014201320132013
20132013
20132013
2013201220122012201220112011201120112010201020102010200920092009
2009200820072007
200620052005200420032003201520162019Wrote 67 papers:
- DRR-2015-Fan0N #documentation #image #performance
- Separation of text and background regions for high performance document image compression (WF, JS, SN).
- 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-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-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.
- 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.
- DocEng-2014-Fan0N #using
- Paper stitching using maximum tolerant seam under local distortions (WF, JS, SN), pp. 35–44.
- 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.
- ICPR-2014-WangFH0KH #detection #image #performance
- Fast and Accurate Text Detection in Natural Scene Images with User-Intention (LW, WF, YH, JS, YK, YH), pp. 2920–2925.
- 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.
- 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.
- 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-HePXSN #3d #bound #re-engineering
- A Book Dewarping System by Boundary-Based 3D Surface Reconstruction (YH, PP, SX, JS, SN), pp. 403–407.
- ICDAR-2013-Zhu0N #learning #recognition
- Sub-structure Learning Based Handwritten Chinese Text Recognition (YZ, JS, SN), pp. 295–299.
- 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-ChenH0N #classification #documentation
- Structured document classification by matching local salient features (SC, YH, JS, SN), pp. 653–656.
- ICPR-2012-WuFH0N #network #recognition
- Cascaded heterogeneous convolutional neural networks for handwritten digit recognition (CW, WF, YH, JS, SN), pp. 657–660.
- ICPR-2012-Zhu0N #normalisation #recognition
- Discriminative normalization method for handwritten Chinese character recognition (YZ, JS, SN), pp. 274–277.
- 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.
- ASE-2011-NguyenSLD #framework #model checking
- A model checking framework for hierarchical systems (TKN, JS, YL, JSD), pp. 633–636.
- DRR-2011-FanSNMH #feature model #recognition
- Natural scene logo recognition by joint boosting feature selection in salient regions (WF, JS, SN, AM, YH), pp. 1–10.
- FM-2011-ZhangSPLD #on the #reduction
- On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
- ICDAR-2011-PanZSN #invariant #using
- Recognizing Characters with Severe Perspective Distortion Using Hash Tables and Perspective Invariants (PP, YZ, JS, SN), pp. 548–552.
- ICDAR-2011-PanZSN11a #adaptation #detection #segmentation #verification
- Improving Scene Text Detection by Scale-Adaptive Segmentation and Weighted CRF Verification (YFP, YZ, JS, SN), pp. 759–763.
- ICDAR-2011-YinHSN #detection #documentation #robust
- Robust Vanishing Point Detection for MobileCam-Based Documents (XCY, HWH, JS, SN), pp. 136–140.
- ASE-2010-XingSLD #debugging #named #specification
- SpecDiff: debugging formal specifications (ZX, JS, YL, JSD), pp. 353–354.
- DRR-2010-HeSNMH #image
- Enhancement of camera-based whiteboard images (YH, JS, SN, AM, YH), pp. 1–10.
- FSE-2010-LiuSD #realtime
- Analyzing hierarchical complex real-time systems (YL, JS, JSD), pp. 365–366.
- ICPR-2010-PanMSHN #adaptation #estimation #using #video
- A Dual Pass Video Stabilization System Using Iterative Motion Estimation and Adaptive Motion Smoothing (PP, AM, JS, YH, SN), pp. 2298–2301.
- 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.
- ICDAR-2009-SunNFTH #detection #image #string
- Trinary Image Mosaicing Based Watermark String Detection (JS, SN, YF, HT, YH), pp. 306–310.
- ICDAR-2009-YinHTSN #classification #multi #recognition
- Rejection Strategies with Multiple Classifiers for Handwritten Character Recognition (XCY, HWH, YFT, JS, SN), pp. 1126–1130.
- ICDAR-2009-ZhuSMHN #classification #feature model
- Separate Chinese Character and English Character by Cascade Classifier and Feature Selection (YZ, JS, AM, YH, SN), pp. 1191–1195.
- SEKE-2009-ZhangLSDCL #scalability #verification
- Formal Verification of Scalable NonZero Indicators (SJZ, YL, JS, JSD, WC, YAL), pp. 406–411.
- ICSE-2008-ChenDS #calculus #verification
- A verification system for timed interval calculus (CC, JSD, JS), pp. 271–280.
- DRR-2007-Fujimoto0TSN #documentation #image #parallel
- Shape from parallel geodesics for distortion correction of digital camera document images (KF, JS, HT, MS, SN).
- ICDAR-2007-FujimotoSTSN #documentation #image #parallel #programming #using
- Curved paper rectification for digital camera document images by shape from parallel geodesics using continuous dynamic programming (KF, JS, HT, MS, SN), pp. 267–271.
- ICDAR-2007-HuangSHFN #approach #difference #recognition #using
- An SVM-Based High-accurate Recognition Approach for Handwritten Numerals by Using Difference Features (KH, JS, YH, KF, SN), pp. 589–593.
- ICDAR-2007-SunHHFN #classification #recognition
- Degraded Character Recognition by Complementary Classifiers Combination (JS, KH, YH, KF, SN), pp. 579–583.
- ICDAR-2007-YinSNFFKT #documentation #image #mobile #multi
- A Multi-Stage Strategy to Perspective Rectification for Mobile Phone Camera-Based Document Images (XCY, JS, SN, KF, YF, KK, HT), pp. 574–578.
- ICML-2006-XiaoSB #reduction
- A duality view of spectral methods for dimensionality reduction (LX, JS, SPB), pp. 1041–1048.
- FM-2005-SunD #distributed #process #specification #synthesis
- Synthesis of Distributed Processes from Scenario-Based Specifications (JS, JSD), pp. 415–431.
- ICDAR-2005-SunHKN #recognition #using
- Camera based Degraded Text Recognition Using Grayscale Feature (JS, YH, YK, SN), pp. 182–186.
- IFM-2004-DongQS #generative #specification
- Generating MSCs from an Integrated Formal Specification Language (JSD, SQ, JS), pp. 168–186.
- DocEng-2003-SunWYNKN #effectiveness #image #recognition
- Effective text extraction and recognition for WWW images (JS, ZW, HY, FN, YK, SN), pp. 115–117.
- SEKE-2003-DongSWLL #alloy #case study #ontology #web
- Analysing Web Ontology in Alloy: A Military Case Study (JSD, JS, HHW, CHL, HBL), pp. 542–546.
- ASE-2015-LinSNLD #composition #verification
- Interpolation Guided Compositional Verification (T) (SWL, JS, TKN, YL, JSD), pp. 65–74.
- ASE-2016-PengGT0YNZ #composition #crowdsourcing #mobile #named
- CrowdService: serving the individuals through mobile crowdsourcing and service composition (XP, JG, THT, JS, YY, BN, WZ), pp. 214–219.
- ASE-2019-ChenPSAZ #cyber-physical #fuzzing #network #testing
- Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences (YC, CMP, JS, SA, FZ), pp. 962–973.