Li Jiao

According to our database1, Li Jiao
  • authored at least 39 papers between 2002 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 




Synthesizing SystemC Code from Delay Hybrid CSP.
CoRR, 2017

Efficient modeling and performance analysis for IEEE 802.15.4 with coloured Petri nets.
Proceedings of the 25th IEEE/ACM International Symposium on Quality of Service, 2017

Does Posh English Sound Attractive?
Proceedings of the Interspeech 2017, 2017

An adaptive fitness function based on branch hardness for search based testing.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

Accelerating low bit-width convolutional neural networks with embedded FPGA.
Proceedings of the 27th International Conference on Field Programmable Logic and Applications, 2017

Improved evolutionary generation of test data for multiple paths in search-based software testing.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

Synthesizing SystemC Code from Delay Hybrid CSP.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

Approximate Bisimulation and Discretization of Hybrid CSP.
CoRR, 2016

Trace Abstraction Refinement for Solving Horn Clauses.
Comput. J., 2016

Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets.
Comput. J., 2016

High performance Deformable Part Model accelerator based on FPGA.
Proceedings of the 2016 International Conference on Field-Programmable Technology, 2016

A high performance FPGA-based accelerator for large-scale convolutional neural networks.
Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016

Approximate Bisimulation and Discretization of Hybrid CSP.
Proceedings of the FM 2016: Formal Methods, 2016

Perceptual cues of whispered tones: are they really special?
Proceedings of the INTERSPEECH 2015, 2015

Performance Analysis for Job Scheduling in Hierarchical HPC Systems: A Coloured Petri Nets Method.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

Difference Bound Constraint Abstraction for Timed Automata Reachability Checking.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Trace Abstraction Refinement for Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2014

Using transition set sequences to partition behaviors of petri nets.
Acta Inf., 2012

A precongruence format for should testing preorder.
J. Log. Algebr. Program., 2010

Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.
Comput. J., 2010

Property Checking for 1-Place-Unbounded Petri Nets.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Canonical Transition Set Semantics for Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 2010

Handling Resource Sharing Problem Using Property-Preserving Place Fusions of Petri Nets.
Journal of Circuits, Systems, and Computers, 2008

A note on regular Petri nets.
Inf. Process. Lett., 2008

Refining and verifying regular Petri nets.
Int. J. Systems Science, 2008

A method for verifying deadlock freedom and liveness of petri nets.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2008), 2008

Weak Parametric Failure Equivalences and Their Congruence Formats.
Proceedings of the Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), 2008

What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security.
Proceedings of the Information and Communications Security, 9th International Conference, 2007

Compositional Verification for Workflow Nets.
Journal of Circuits, Systems, and Computers, 2006

Property-preserving subnet reductions for designing manufacturing systems with shared resources.
Theor. Comput. Sci., 2005

Property-preserving Composition by Place Merging.
Journal of Circuits, Systems, and Computers, 2005

Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction.
Comput. J., 2005

An Adaptive Group-Based Reputation System in Peer-to-Peer Networks.
Proceedings of the Internet and Network Economics, First International Workshop, 2005

Compositional analysis for regularity, liveness and boundedness.
Proceedings of the ICINCO 2005, 2005

Decomposition of Nets and Verification in terms of Decomposition.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005

On liveness and boundedness of asymmetric choice nets.
Theor. Comput. Sci., 2004

Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties.
Int. J. Found. Comput. Sci., 2003

Property-preserving composition of augmented marked graphs that share common resources.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

Characterizing Liveness of Petri Nets in Terms of Siphons.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002