Jiaguang Sun

Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Go-clone: graph-embedding based clone detector for Golang.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

VFQL: combinational static analysis as query language.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Engineering a Better Fuzzer with Synergically Integrated Optimizations.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Vetting API usages in C programs with IMChecker.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the IEEE International Conference on Industrial Internet, 2019

Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

EClone: detect semantic clones in Ethereum via symbolic transaction sketch.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

PAFL: extend fuzzing optimizations of single mode to industrial parallel mode.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

DLFuzz: differential fuzzing testing of deep learning systems.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

S-gram: towards semantic-aware security auditing for Ethereum smart contracts.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

Scalable Verification Framework for C Program.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

A language model for statements of software code.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A static analysis tool with optimizations for reachability determination.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

IntPTI: automatic integer error repair with proper-type inference.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Vertex-Weighted Hypergraph Learning for Multi-View Object Classification.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Stochastic optimization of program obfuscation.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 39th International Conference on Software Engineering, 2017

Dependable integrated clinical system architecture with runtime verification.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Assertion Recommendation for Formal Program Verification.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A Constraint-Pattern Based Method for Reachability Determination.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

C Code Verification based on the Extended Labeled Transition System Model.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the FM 2016: Formal Methods, 2016

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the FM 2016: Formal Methods, 2016

Automatic Fix for C Integer Errors by Precision Improvement.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

PLC programs' checking method and strategy based on module state transfer.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the IEEE International Conference on Information and Automation, 2015

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Matching heterogeneous events with patterns.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the IEEE 30th International Conference on Data Engineering, Chicago, 2014

Transfer Joint Matching for Unsupervised Domain Adaptation.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 2014 IEEE Conference on Computer Vision and Pattern Recognition, 2014

System reliability calculation based on the run-time analysis of ladder program.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Design and optimization of multi-clocked embedded systems using formal technique.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Transfer Feature Learning with Joint Distribution Adaptation.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the IEEE International Conference on Computer Vision, 2013

Transfer Sparse Coding for Robust Image Representation.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013

Verification and Implementation of the Protocol Standard in Train Control System.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Sequential dependency and reliability analysis of embedded systems.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

Modeling and Validation of PLC-Controlled Systems: A Case Study.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Uncertain Model and Algorithm for Hardware/Software Partitioning.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2012

Automatic image annotation using tag-related random search over visual neighbors.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

Proving Computational Geometry Algorithms in TLA+2.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Parallel Spatial Hashing for Collision Detection of Deformable Surfaces.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 12th International Conference on Computer-Aided Design and Computer Graphics, 2011

Reconstructing 3D Objects from 2D Sectional Views of Engineering Drawings Using Volume-Based Method.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the SMI 2010, 2010

Towards trace semantics for WS-CDL with alignments.

[BibT_eX]

[DOI]

Yahui Lu

,

Li Zhang

,

Jiaguang Sun

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Mining Invisible Tasks from Event Logs.

[BibT_eX]

[DOI]

Lijie Wen

,

Jianmin Wang

,

Jiaguang Sun

Proceedings of the Advances in Data and Web Management, 2007

A machine learning approach to semi-automating workflow staff assignment.

[BibT_eX]

[DOI]

Yingbo Liu

,

Jianmin Wang

,

Jiaguang Sun

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Using Decision Tree Learning to Predict Workflow Activity Time Consumption.

[BibT_eX]

Yingbo Liu

,

Jianmin Wang

,

Jiaguang Sun

Proceedings of the ICEIS 2007, 2007

Effective heuristics for counterexample-guided abstraction refinement.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

Intersection Testing between an Ellipsoid and an Algebraic Surface.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 10th International Conference on Computer-Aided Design and Computer Graphics, 2007

Constrained Delaunay Triangulation Using Delaunay Visibility.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the Advances in Visual Computing, Second International Symposium, 2006

Optimal Parameterizations of Bézier Surfaces.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the Advances in Visual Computing, Second International Symposium, 2006

Using <i>pi</i>-Calculus to Formalize Domain Administration of RBAC.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Information Security Practice and Experience, 2006

A Distributed Domain Administration of RBAC Model in Collaborative Environments.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 10th International Conference on CSCW in Design, 2006

Synthesizing 2D directional moving texture.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Spring Conference on Computer Graphics, 2005

Secure Anonymous Communication with Conditional Traceability.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the Network and Parallel Computing, IFIP International Conference, 2005

Segmented channel routing with pin rearrangements via satisfiability.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Information Push-Delivery for User-Centered and Personalized Service.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Computational Intelligence and Security, International Conference, 2005

Jiaguang Sun

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...