| A synergic quantum particle swarm optimisation for constrained combinatorial test generation | 0 | 0.34 | 2022 |
| Scheduling large-scale scientific workflow on virtual machines with different numbers of vCPUs | 0 | 0.34 | 2021 |
| Effective User Preference Clustering In Web Service Applications | 0 | 0.34 | 2020 |
| A resource-efficient priority scheduler for time-sensitive networking switches. | 0 | 0.34 | 2020 |
| Comparative Analysis of Evolutionary Algorithms Based on Swarm Intelligence for QoS Optimization of Cloud Services | 0 | 0.34 | 2019 |
| Tolerating C Integer Error via Precision Elevation. | 0 | 0.34 | 2019 |
| Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. | 0 | 0.34 | 2019 |
| Litho-Aware Machine Learning for Hotspot Detection. | 4 | 0.45 | 2018 |
| Parallelizing SMT solving: Lazy decomposition and conciliation. | 0 | 0.34 | 2018 |
| Temporal Coverage Analysis for Dynamic Verification. | 0 | 0.34 | 2018 |
| An Effective Clustering Method for Finding Density Peaks | 0 | 0.34 | 2018 |
| A Dynamic Multi-Objective Evolutionary Algorithm for Nontrivial Upper Bounds of Real-Time Tasks in Embedded System Design | 0 | 0.34 | 2018 |
| Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path | 0 | 0.34 | 2018 |
| Grouping Users Using a Combination-Based Clustering Algorithm in the Service Environment | 0 | 0.34 | 2017 |
| First, Debug the Test Oracle | 1 | 0.34 | 2015 |
| Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic | 5 | 0.46 | 2015 |
| Pareto optimal mapping for tile-based network-on-chip under reliability constraints | 0 | 0.34 | 2015 |
| Generalized interface automata with multicast synchronization. | 2 | 0.37 | 2015 |
| Network planning for distributed antenna-based high-speed railway mobile communications | 5 | 0.46 | 2014 |
| Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems | 4 | 0.52 | 2014 |
| Symbolic Analysis of Programmable Logic Controllers | 3 | 0.39 | 2014 |
| Performance analysis for free-space optical communications using parallel all-optical relays over composite channels. | 13 | 0.80 | 2014 |
| Reliability analysis for chain topology wireless sensor networks with multiple-sending transmission scheme. | 2 | 0.38 | 2014 |
| Performance-driven assignment and mapping for reliable networks-on-chips. | 2 | 0.36 | 2014 |
| Exponential-Condition-Based barrier certificate generation for safety verification of hybrid systems | 16 | 0.92 | 2013 |
| Outage probability analysis of multi-hop free space optical communications over strong turbulence channels | 0 | 0.34 | 2013 |
| Formal component-based modeling and synthesis for PLC systems | 3 | 0.40 | 2013 |
| Distributed SNR-Based Power Allocation in Wireless Parallel Amplify-and-Forward Relay Transmissions Using Cournot Game | 0 | 0.34 | 2013 |
| Bayesian-Network-Based Reliability Analysis of PLC Systems | 7 | 0.53 | 2013 |
| Formal Modelling of PLC Systems by BIP Components | 0 | 0.34 | 2013 |
| Dimming scheme analysis for pulse amplitude modulated visible light communications | 4 | 0.55 | 2013 |
| Optimizing communication in mobile ad hoc network clustering | 6 | 0.49 | 2013 |
| A Dynamic Region based Limited Feedback Scheme for Efficient Power Allocation in OFDM Systems. | 3 | 0.41 | 2013 |
| Maxterm Covering for Satisfiability | 4 | 0.42 | 2012 |
| Reliability Analysis of PLC Systems by Bayesian Network | 1 | 0.39 | 2012 |
| Proving Computational Geometry Algorithms in TLA+2 | 0 | 0.34 | 2011 |
| Exploring structural symmetry automatically in symbolic trajectory evaluation | 0 | 0.34 | 2011 |
| Realization and synthesis of reversible functions | 2 | 0.39 | 2011 |
| Formalisation and verification of programmable logic controllers timers in Coq | 0 | 0.34 | 2011 |
| Enhanced symbolic simulation of a round-robin arbiter | 2 | 0.41 | 2011 |
| Formalisation and verification of programmable logic controllers timers in Coq | 0 | 0.34 | 2011 |
| Formal modeling and synthesis of programmable logic controllers | 7 | 0.62 | 2011 |
| Domain-driven probabilistic analysis of programmable logic controllers | 1 | 0.38 | 2011 |
| Combining theorem proving and symbolic trajectory evaluation in THM&STE | 0 | 0.34 | 2011 |
| An iterative method for generating loop invariants | 0 | 0.34 | 2011 |
| Space-alternating generalised expectation-maximisation-based h-infinity channel estimator for multiple-input multiple-output-orthogonal frequency division multiplexing systems | 4 | 0.42 | 2011 |
| An Analytical Congestion Model with Bounded-Bend Detours | 0 | 0.34 | 2010 |
| Compositional Abstraction Refinement for Timed Systems | 2 | 0.39 | 2010 |
| Integrating Evolutionary Computation with Abstraction Refinement for Model Checking | 11 | 0.60 | 2010 |
| Parameterized Specification and Verification of PLC Systems in Coq | 1 | 0.39 | 2010 |
