Ming Gu

Proceedings of the 21st ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, 2017

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

Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE/ACM International Symposium on Quality of Service, 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

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

Human experience knowledge induction based intelligent train driving.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017

2016

Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks.

[BibT_eX]

[DOI]

Sensors, 2016

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

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

Model driven design of heterogeneous synchronous embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Verifying simulink stateflow model: timed automata approach.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Automatic Integrity Checking of IFC Models relative to building Regulations.

[BibT_eX]

[DOI]

Jianqiao Gu

Proceedings of the International Conference on Internet Multimedia Computing and Service, 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

Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 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

An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016

2015

First, Debug the Test Oracle.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2015

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2015

Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2015

Generalized interface automata with multicast synchronization.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2015

VeRV: A temporal and data-concerned verification framework for the vehicle bus systems.

[BibT_eX]

[DOI]

Shuo Zhang

Fei He

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

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

2014

Reliability Analysis for a Data Flow in Event-Driven Wireless Sensor Networks.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2014

Symbolic Analysis of Programmable Logic Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2014

Array Theory of Bounded Elements and its Applications.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

Modeling a Heterogeneous Embedded System in Coloured Petri Nets.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

Functional Verification of High Performance Adders in COQ.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

Reliability analysis for chain topology wireless sensor networks with multiple-sending transmission scheme.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2014

A New Barrier Certificate for Safety Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Comput. J., 2014

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Clause Replication and Reuse in Incremental Temporal Induction.

[BibT_eX]

[DOI]

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Optimal robust control for generalized fuzzy dynamical systems: A novel use on fuzzy uncertainties.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Control and Automation, 2014

2013

Bayesian-Network-Based Reliability Analysis of PLC Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2013

A Unified Framework for DPLL(T) + Certificates.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

An Effective Heuristic-Based Approach for Partitioning.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models.

[BibT_eX]

[DOI]

Xi Lin

J. Appl. Math., 2013

Probabilistic analysis of system outage in distributed antenna systems with composite channels.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2013

Formal component-based modeling and synthesis for PLC systems.

[BibT_eX]

[DOI]

Comput. Ind., 2013

The IFC-based path planning for 3D indoor spaces.

[BibT_eX]

[DOI]

Adv. Eng. Informatics, 2013

Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information.

[BibT_eX]

[DOI]

Liangze Yin

Fei He

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

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

Reusing Search Tree for Incremental SAT Solving of Temporal Induction.

[BibT_eX]

[DOI]

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Modeling and Verification of Component-Based Systems with Data Passing Using BIP.

[BibT_eX]

[DOI]

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Seamless Privacy: Privacy-Preserving Subgraph Counting in Interactive Social Network Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2013

Component-Based Modeling and Code Synthesis for Cyclic Programs.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 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

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International 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

2012

USOR: An Unobservable Secure On-Demand Routing Protocol for Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Zhiguo Wan

Kui Ren

IEEE Trans. Wirel. Commun., 2012

Maxterm Covering for Satisfiability.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2012

New strategies for reliability analysis of Programmable Logic Controllers.

[BibT_eX]

[DOI]

Math. Comput. Model., 2012

Semantic characterization of programmable logic controller programs.

[BibT_eX]

[DOI]

Math. Comput. Model., 2012

Obtaining more Karatsuba-like formulae over the binary field.

[BibT_eX]

[DOI]

IET Inf. Secur., 2012

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

Reliability Analysis of PLC Systems by Bayesian Network.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Uncertain Model and Algorithm for Hardware/Software Partitioning.

[BibT_eX]

[DOI]

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

2011

A novel fault diagnosis mechanism for wireless sensor networks.

[BibT_eX]

[DOI]

Math. Comput. Model., 2011

Energy-Efficient Key Distribution Using Electrocardiograph Biometric Set for Secure Communications in Wireless Body Healthcare Networks.

[BibT_eX]

[DOI]

J. Medical Syst., 2011

Formalisation and verification of programmable logic controllers timers in Coq.

[BibT_eX]

[DOI]

IET Softw., 2011

Formal modeling and synthesis of programmable logic controllers.

[BibT_eX]

[DOI]

Comput. Ind., 2011

Competent predicate abstraction in model checking.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2011

MENs: Multi-user Emergency Navigation System Using.

[BibT_eX]

[DOI]

Ad Hoc Sens. Wirel. Networks, 2011

An Efficient Resolution Based Algorithm for SAT.

[BibT_eX]

[DOI]

Min Zhou

Fei He

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

Proving Computational Geometry Algorithms in TLA+2.

[BibT_eX]

[DOI]

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

Hierarchical Attribute-Set Based Encryption for Scalable, Flexible and Fine-Grained Access Control in Cloud Computing.

[BibT_eX]

[DOI]

Jun-e Liu

Zhiguo Wan

Proceedings of the Information Security Practice and Experience, 2011

Domain-Driven Probabilistic Analysis of Programmable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

De-Anonymizing Dynamic Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2011

Directional diagnosis for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2011

2010

Anonymous User Communication for Privacy Protection in Wireless Metropolitan Mesh Networks.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2010

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2010

BodySec: synchronized key distribution using biometric slots for wireless body sensor networks.

[BibT_eX]

[DOI]

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2010

Trust Based Routing for Misbehavior Detection in Ad Hoc Networks.

[BibT_eX]

[DOI]

J. Networks, 2010

Overlap-free Karatsuba-Ofman polynomial multiplication algorithms.

[BibT_eX]

[DOI]

IET Inf. Secur., 2010

Field programmable gate array prototyping of end-around carry parallel prefix tree architectures.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2010

Long-term large-scale sensing in the forest: recent advances and future directions of GreenOrbs.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2010

Specifying and verifying PLC systems with TLA+ : A case study.

[BibT_eX]

[DOI]

Stephan Merz

Comput. Math. Appl., 2010

Parameterized Specification and Verification of PLC Systems in Coq.

[BibT_eX]

[DOI]

Hai Wan

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Compositional Abstraction Refinement for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Refinement-Based Validation Method for Programmable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

Evaluating Importance of Websites on News Topics.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

DAWN: Energy efficient data aggregation in WSN with mobile sinks.

[BibT_eX]

[DOI]

Proceedings of the 18th International Workshop on Quality of Service, 2010

A Domain-related Authority Model for Web Pages based on Source and Related Information.

[BibT_eX]

Liu Yang

Chunping Li

Proceedings of the ICSOFT 2010, 2010

Specifying Time-Sensitive Systems with TLA+.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

On Array Theory of Bounded Elements.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

A Brief Survey on De-anonymization Attacks in Online Social Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Aspects of Social Networks, 2010

2009

Modeling job shop scheduling with batches and setup times by timed Petri nets.

[BibT_eX]

[DOI]

Math. Comput. Model., 2009

Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections.

[BibT_eX]

[DOI]

Hai Wan

Math. Comput. Model., 2009

QoS Requirement Generation and Algorithm Selection for Composite Service Based on Reference Vector.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2009

n PAKE+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2009

Workflow-based resource allocation to optimize overall performance of composite services.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2009

Heuristic-Guided Abstraction Refinement.

[BibT_eX]

[DOI]

Comput. J., 2009

Specifying and Verifying PLC Systems with TLA+.

[BibT_eX]

[DOI]

Stephan Merz

Proceedings of the TASE 2009, 2009

CLEAR: A confidential and Lifetime-Aware Routing Protocol for wireless sensor network.

[BibT_eX]

[DOI]

Proceedings of the IEEE 20th International Symposium on Personal, 2009

Enhanced Location Privacy Protection of Base Station in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the MSN 2009, 2009

Formal Specification and Code Generation of Programable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Reusable Set Constructions Using Randomized Dissolvent Templates for Biometric Security.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November, 2009

Data mining based decomposition for assume-guarantee reasoning.

[BibT_eX]

[DOI]

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Translation-Based Model Checking for PLC Programs.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Formalization and Verification of PLC Timers in Coq.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Towards Energy-Efficient Secure Communications Using Biometric Key Distribution in Wireless Biomedical Healthcare Networks.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on BioMedical Engineering and Informatics, 2009

Extracting Content from Web Pages Using the Sliding Window.

[BibT_eX]

[DOI]

Liu Yang

Chunping Li

Proceedings of the 2nd International Conference on Computer Science and its Applications, 2009

2008

Effective Predicate Abstraction for Program Verification.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Modeling and analysis of stage machinery control systems by timed colored Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Verifying programmable logic controllers with abstraction.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Biomapping: Privacy trustworthy biometrics using noninvertible and discriminable constructions.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Pattern Recognition (ICPR 2008), 2008

A Maximum Weight Heuristic Method for Abstract State Computation.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

2007

Modelling and verification of program logic controllers using timed automata.

[BibT_eX]

[DOI]

Rui Wang

IET Softw., 2007

Predicting Defective Software Components from Code Complexity Measures.

[BibT_eX]

[DOI]

Hongyu Zhang

Xiuzhen Zhang

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Effective heuristics for counterexample-guided abstraction refinement.

[BibT_eX]

[DOI]

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

2006

Probabilistic optimization for FPGA board level routing problems.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2006

Congestion estimation for hexagonal routing.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2006

A combinatorial congestion estimation approach with generalized detours.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2006

An Efficient Algorithm for Fingercode-Based Biometric Identification.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Minimal Threshold Closure.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2006

Verifying Java Programs By Theorem Prover HOL.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Efficient vector quantization using genetic algorithm.

[BibT_eX]

[DOI]

Neural Comput. Appl., 2005

Multiterminal net assignments by scatter search.

[BibT_eX]

[DOI]

Math. Comput. Model., 2005

On Theoretical Upper Bounds for Routing Estimation.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2005

On synthesis of 3 × 3 reversible logic functions.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2005

Probabilistic Estimation for Routing Space.

[BibT_eX]

[DOI]

Comput. J., 2005

Secure Anonymous Communication with Conditional Traceability.

[BibT_eX]

[DOI]

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

A Hierachical Method for Wiring and Congestion Prediction.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

Segmented channel routing with pin rearrangements via satisfiability.

[BibT_eX]

[DOI]

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

A SOM-wavelet networks for face identification.

[BibT_eX]

[DOI]

Zhi Yang

Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, 2005

Adaptive matching wavelet networks for face recognition.

[BibT_eX]

[DOI]

Yang Zhi