Xin Chen

Affiliations:
  • Nanjing University, Department of Computer Science and Technology, State Key Laboratory of Novel Software Technology, China


According to our database1, Xin Chen authored at least 38 papers between 2007 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Graph Neural Network based Two-Phase Fault Localization Approach.
Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022

Wassertrain: An Adversarial Training Framework Against Wasserstein Adversarial Attacks.
Proceedings of the IEEE International Conference on Acoustics, 2022

Verifying Neural Network Controlled Systems Using Neural Networks.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021
Machine learning steered symbolic execution framework for complex software code.
Formal Aspects Comput., 2021

Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Approximate optimal hybrid control synthesis by classification-based derivative-free optimization.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020
Accelerating Accuracy Improvement for Floating Point Programs via Memory Based Pruning.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

Navigating Discrete Difference Equation Governed WMR by Virtual Linear Leader Guided HMPC.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Global optimization of numerical programs via prioritized stochastic algebraic transformations.
Proceedings of the 41st International Conference on Software Engineering, 2019

Robustness Verification of Classification Deep Neural Networks via Linear Programming.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2019

2018
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Model-based Construction and Verification of Cyber-Physical Systems.
ACM SIGSOFT Softw. Eng. Notes, 2018

HAT: Analyzing Linear Hybrid Automata as Labelled Transition System.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017
Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates.
ACM Trans. Embed. Comput. Syst., 2017

Sketch-guided GUI test generation for mobile applications.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Towards Interface-Driven Design of Evolving Component-Based Architectures.
Proceedings of the Provably Correct Systems, 2017

2016
Symbolic execution of complex program driven by machine learning based constraint solving.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Hierarchical Model Predictive Control for Multi-Robot Navigation.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems.
Proceedings of the FM 2016: Formal Methods, 2016

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems.
Proceedings of the 2016 International Conference on Embedded Software, 2016

2013
Loop invariant synthesis in a combined abstract domain.
J. Symb. Comput., 2013

2012
Regression Test Cases Generation Based on Automatic Model Revision.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Path-oriented Test Data Generation Driven by Component Linear Fitting Functions.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

2011
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.
SIGBED Rev., 2011

UML interaction model-driven runtime verification of Java programs.
IET Softw., 2011

Online Verification of Control Parameter Calculations in Communication Based Train Control System
CoRR, 2011

Automatic Regression Test Selection Based on Activity Diagrams.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Feedback-Directed Test Case Generation Based on UML Activity Diagrams.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

2010
A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

BACH 2 : Bounded reachability checker for compositional linear hybrid systems.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
Design pattern directed clustering for understanding open source code.
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

2008
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007
Separation of Concerns and Consistent Integration in Requirements Modelling.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

A Model of Component-Based Programming.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007


  Loading...