Xiaoyu Song

Juan Gu

Remote. Sens., March, 2023

Hyperspectral estimation of wheat stripe rust using fractional order differential equations and Gaussian process methods.

[BibT_eX]

[DOI]

Comput. Electron. Agric., March, 2023

Multi-branch detection network based on trigger attention for pedestrian detection under occlusion.

[BibT_eX]

[DOI]

Appl. Intell., March, 2023

Comparison of Different Dimensional Spectral Indices for Estimating Nitrogen Content of Potato Plants over Multiple Growth Periods.

[BibT_eX]

[DOI]

Remote. Sens., February, 2023

Circuit optimization of Grover quantum search algorithm.

[BibT_eX]

[DOI]

Quantum Inf. Process., January, 2023

Computational multiphase micro-periporomechanics for dynamic shear banding and fracturing of unsaturated porous media.

[BibT_eX]

[DOI]

Hossein Pashazad

CoRR, 2023

A Switch Architecture for Time-Triggered Transmission with Best-Effort Delivery.

[BibT_eX]

[DOI]

CoRR, 2023

Towards Exascale Computation for Turbomachinery Flows.

[BibT_eX]

[DOI]

CoRR, 2023

SCPAT-GAN: Structural Constrained and Pathology Aware Convolutional Transformer-GAN for Virtual Histology Staining of Human Coronary OCT images.

[BibT_eX]

[DOI]

CoRR, 2023

Visco-Cosserat periporomechanics for dynamic shear bands and crack branching in porous media.

[BibT_eX]

[DOI]

Hossein Pashazad

CoRR, 2023

Toward Exascale Computation for Turbomachinery Flows.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2023

Structural Constrained Virtual Histology Staining for Human Coronary Imaging Using Deep Learning.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Biomedical Imaging, 2023

A Railway Passenger Flow Prediction Model Based on Improved Prophet.

[BibT_eX]

[DOI]

Jiahao Chang

Proceedings of the 4th International Conference on Machine Learning and Computer Application, 2023

Improving Spatial Resolution and Selectivity of Transcorneal Electrical Stimulation by Temporal Interference Technology.

[BibT_eX]

[DOI]

Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

Suprachoroidal Retinal Stimulation Leveraging Temporal Interference Technology: A Modelling Study.

[BibT_eX]

[DOI]

Proceedings of the 16th International Congress on Image and Signal Processing, 2023

Using Canopy Hyperspectral Measurements to Evaluate Nitrogen Status in Different Leaf Layers of Winter Wheat.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Agro-Geoinformatics, 2023

2022

A Utility Game Driven QoS Optimization for Cloud Services.

[BibT_eX]

[DOI]

Yan Wang

IEEE Trans. Serv. Comput., 2022

Multi-Scale Reconstruction of Undersampled Spectral-Spatial OCT Data for Coronary Imaging Using Deep Learning.

[BibT_eX]

[DOI]

IEEE Trans. Biomed. Eng., 2022

Maximal Rank of ${m}\times{n}\times 2$ Tensors over Arbitrary Fields.

[BibT_eX]

[DOI]

Baodong Zheng

Riguang Huang

SIAM J. Matrix Anal. Appl., 2022

Winter Wheat Nitrogen Estimation Based on Ground-Level and UAV-Mounted Sensors.

[BibT_eX]

[DOI]

Sensors, 2022

Remote Sensing Monitoring of Rice and Wheat Canopy Nitrogen: A Review.

[BibT_eX]

[DOI]

Remote. Sens., 2022

Transfer-Learning-Based Approach for Yield Prediction of Winter Wheat from Planet Data and SAFY Model.

[BibT_eX]

[DOI]

Remote. Sens., 2022

Remote Sensing Monitoring of Rice Grain Protein Content Based on a Multidimensional Euclidean Distance Method.

[BibT_eX]

[DOI]

Remote. Sens., 2022

Estimation of Potato Above-Ground Biomass Using UAV-Based Hyperspectral images and Machine-Learning Regression.

[BibT_eX]

[DOI]

Remote. Sens., 2022

Estimation of Potato Above-Ground Biomass Based on Vegetation Indices and Green-Edge Parameters Obtained from UAVs.

[BibT_eX]

[DOI]

Remote. Sens., 2022

A synergic quantum particle swarm optimisation for constrained combinatorial test generation.

[BibT_eX]

[DOI]

Xu Guo

IET Softw., 2022

Computational coupled large-deformation periporomechanics for dynamic failure and fracturing in variably saturated porous media.

[BibT_eX]

[DOI]

CoRR, 2022

Automatic Block-wise Pruning with Auxiliary Gating Structures for Deep Convolutional Neural Networks.

[BibT_eX]

[DOI]

Zhaofeng Si

Honggang Qi

CoRR, 2022

Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins.

[BibT_eX]

[DOI]

CoRR, 2022

An elastic recommender process for cloud service recommendation scalability.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2022

Remote-sensing estimation of potato above-ground biomass based on spectral and spatial features extracted from high-definition digital camera images.

[BibT_eX]

[DOI]

Comput. Electron. Agric., 2022

An explainable XGBoost model improved by SMOTE-ENN technique for maize lodging detection based on multi-source unmanned aerial vehicle images.

[BibT_eX]

[DOI]

Comput. Electron. Agric., 2022

Improved Artificial Bee Colony Algorithm with Adaptive Parameter for Numerical Optimization.

[BibT_eX]

[DOI]

Shuangyun Xing

Appl. Artif. Intell., 2022

AI-Enabled Health 4.0: An IoT-Based COVID-19 Diagnosis Use-Case.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Communications Conference, 2022

A Hypertension Risk Prediction Model Based on Improve Random Forest.

[BibT_eX]

[DOI]

Proceedings of the BIC 2022: 2nd International Conference on Bioinformatics and Intelligent Computing, Harbin, China, January 21, 2022

2021

Scheduling large-scale scientific workflow on virtual machines with different numbers of vCPUs.

[BibT_eX]

[DOI]

J. Supercomput., 2021

Automatic Integer Error Repair by Proper-Type Inference.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2021

CPS-Based Self-Adaptive Collaborative Control for Smart Production-Logistics Systems.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2021

Activity-Driven Task Allocation in Energy-Constrained Heterogeneous GPUs Systems.

[BibT_eX]

[DOI]

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

A Formal Proof of PG Recurrence Equations of Parallel Adders.

[BibT_eX]

[DOI]

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

Improved Estimation of Winter Wheat Aboveground Biomass Using Multiscale Textures Extracted from UAV-Based Digital Images and Hyperspectral Feature Analysis.

[BibT_eX]

[DOI]

Remote. Sens., 2021

A Novel Hybrid Access Point Channel Access Method for Wireless-Powered IoT Networks.

[BibT_eX]

[DOI]

Kwan-Wu Chin

IEEE Internet Things J., 2021

Computational multiphase periporomechanics for unguided cracking in unsaturated porous media.

[BibT_eX]

[DOI]

CoRR, 2021

A stabilized computational nonlocal poromechanics model for dynamic analysis of saturated porous media.

[BibT_eX]

[DOI]

CoRR, 2021

Combined Forecast Model of LSTM-CNN Hypertension Based on EEMD.

[BibT_eX]

[DOI]

Proceedings of the SPML 2021: 4th International Conference on Signal Processing and Machine Learning, Beijing, China, August 18, 2021

Three Classifications of Big Data-based Software Testing.

[BibT_eX]

[DOI]

Pan Liu

Jiaqi Yan

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

2020

Energy Optimization by Software Prefetching for Task Granularity in GPU-Based Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2020

A Flattened-Priority Framework for Mixed-Criticality Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2020

Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments.

[BibT_eX]

[DOI]

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

Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches.

[BibT_eX]

[DOI]

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

Prediction of Wheat Grain Protein by Coupling Multisource Remote Sensing Imagery and ECMWF Data.

[BibT_eX]

[DOI]

Remote. Sens., 2020

Winter Wheat Nitrogen Status Estimation Using UAV-Based RGB Imagery and Gaussian Processes Regression.

[BibT_eX]

[DOI]

Remote. Sens., 2020

Realization of Quantum Oracles using Symmetries of Boolean Functions.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2020

Evaluating and Constraining Hardware Assertions with Absent Scenarios.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2020

Parameter co-evolution mechanism of particle swarm optimisation algorithm.

[BibT_eX]

[DOI]

Yichen Gao

Int. J. Simul. Process. Model., 2020

A multi-strategy fusion artificial bee colony algorithm with small population.

[BibT_eX]

[DOI]

Shuangyun Xing

Expert Syst. Appl., 2020

A computational periporomechanics model for localized failure in unsaturated porous media.

[BibT_eX]

[DOI]

CoRR, 2020

Cost minimization of scheduling scientific workflow applications on clouds.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2020

Effective User Preference Clustering in Web Service Applications.

[BibT_eX]

[DOI]

Comput. J., 2020

Progress of hyperspectral data processing and modelling for cereal crop nitrogen monitoring.

[BibT_eX]

[DOI]

Comput. Electron. Agric., 2020

A resource-efficient priority scheduler for time-sensitive networking switches.

[BibT_eX]

[DOI]

CCF Trans. Netw., 2020

2019

Hierarchical Routing for Vehicular Ad Hoc Networks via Reinforcement Learning.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2019

An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2019

Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2019

Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2019

Mutual Exclusion Sizing for Hoi Polloi.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2019

Tolerating C Integer Error via Precision Elevation.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2019

A high-efficiency adaptive artificial bee colony algorithm using two strategies for continuous optimization.

[BibT_eX]

[DOI]

Swarm Evol. Comput., 2019

A Formal Model-Based Design Method for Robotic Systems.

[BibT_eX]

[DOI]

IEEE Syst. J., 2019

Monitoring of Nitrogen and Grain Protein Content in Winter Wheat Based on Sentinel-2A Data.

[BibT_eX]

[DOI]

Remote. Sens., 2019

A New Integrated Vegetation Index for the Estimation of Winter Wheat Leaf Chlorophyll Content.

[BibT_eX]

[DOI]

Remote. Sens., 2019

A Group Algebraic Approach to NPN Classification of Boolean Functions.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2019

A framework for shopfloor material delivery based on real-time manufacturing big data.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2019

Machine-learning based three-qubit gate for realization of a Toffoli gate with cQED-based transmon systems.

[BibT_eX]

[DOI]

Sahar Daraeizadeh

Shavindra P. Premaratne

Marek A. Perkowski

Anne Y. Matsuura

CoRR, 2019

Monitoring Maize Lodging Disaster Via Multi-Temporal Remote Sensing Images.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

Monitoring Spatial Variance of Winter Wheat Growth Via Chris Image.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

A preliminary study on virtual electrode for subretinal prostheses by computational model.

[BibT_eX]

[DOI]

Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

Solar Cell Defect Recognition based on Orthogonal Learning Strategy.

[BibT_eX]

[DOI]

Qianqian Qi

Zhili Chen

Proceedings of the DMIP 2019: 2nd International Conference on Digital Medicine and Image Processing, 2019

Comparative Analysis of Evolutionary Algorithms Based on Swarm Intelligence for QoS Optimization of Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, 2019

Generating Conditions of Focused Virtual Channels Under Simultaneous Electrical Stimulation of Epiretinal Prostheses: A Modeling Study.

[BibT_eX]

[DOI]

Proceedings of the 12th International Congress on Image and Signal Processing, 2019

2018

From Offline Towards Real-Time Verification for Robot Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2018

Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm.

[BibT_eX]

[DOI]

IEEE Trans. Evol. Comput., 2018

Temporal Coverage Analysis for Dynamic Verification.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2018

Litho-Aware Machine Learning for Hotspot Detection.

[BibT_eX]

[DOI]

Jea Woo Park

Andres Torres

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

Grover-based Ashenhurst-Curtis decomposition using quantum language quipper.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2018

Discriminative feature selection for on-line signature verification.

[BibT_eX]

[DOI]

Pattern Recognit., 2018

Formal analysis of the kinematic Jacobian in screw theory.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

Parallelizing SMT solving: Lazy decomposition and conciliation.

[BibT_eX]

[DOI]

Artif. Intell., 2018

A RaaS Model Based on Emotion Analysis and Double Labeling Applied to Mobile Terminal.

[BibT_eX]

[DOI]

Yan Wang

IEEE Access, 2018

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases.

[BibT_eX]

[DOI]

IEEE Access, 2018

A Cloud Workflow Model Based on Resources Selection.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE SmartWorld, 2018

A Dynamic Multi-Objective Evolutionary Algorithm for Nontrivial Upper Bounds of Real-Time Tasks in Embedded System Design.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE SmartWorld, 2018

A Synergistic Cloud Service Approach for Cold Start Problems.

[BibT_eX]

[DOI]

Rui-dong Qi

Proceedings of the 2018 IEEE SmartWorld, 2018

An Effective Clustering Method for Finding Density Peaks.

[BibT_eX]

[DOI]

Rui-dong Qi

Jian-Tao Zhou

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 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

SMT-Based Timing Analysis and Verification of Real-Time Task.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

A Software Popularity Recommendation Method Based on Evaluation Model.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Effective Discrete Memetic Algorithms for Covering Array Generation.

[BibT_eX]

[DOI]

Xu Guo

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 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

A Method to Build Multi-Scene Datasets for CNN for Camera Pose Regression.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Artificial Intelligence and Virtual Reality, 2018

Comparison of Leaf and Canopy Parameters for Estimating Wheat Nitrogen and Grain Protein Content.

[BibT_eX]

[DOI]

Proceedings of the 2018 7th International Conference on Agro-geoinformatics (Agro-geoinformatics), 2018

Predicting Grain Protein Content in Winter Wheat Using Hyperspectral and Meteorological Factor.

[BibT_eX]

[DOI]

Proceedings of the 2018 7th International Conference on Agro-geoinformatics (Agro-geoinformatics), 2018

Spectral Response of Soil Organic Matter by Principal Component Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2018 7th International Conference on Agro-geoinformatics (Agro-geoinformatics), 2018

2017

Online Signature Verification Based on Stable Features Extracted Dynamically.

[BibT_eX]

[DOI]

Xinghua Xia

Fangjun Luan

IEEE Trans. Syst. Man Cybern. Syst., 2017

Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2017

Evaluation of Orthomosics and Digital Surface Models Derived from Aerial Imagery for Crop Type Mapping.

[BibT_eX]

[DOI]

Mingquan Wu

Chenghai Yang

Wesley Clint Hoffmann

Remote. Sens., 2017

Spatial Variability Analysis of Within-Field Winter Wheat Nitrogen and Grain Quality Using Canopy Fluorescence Sensor Measurements.

[BibT_eX]

[DOI]

Remote. Sens., 2017

Evaluation of Sentinel-2A Satellite Imagery for Mapping Cotton Root Rot.

[BibT_eX]

[DOI]

Wesley Clint Hoffmann

Wenjiang Huang

Remote. Sens., 2017

An Improved Combination of Spectral and Spatial Features for Vegetation Classification in Hyperspectral Images.

[BibT_eX]

[DOI]

Remote. Sens., 2017

CondioSense: high-quality context-aware service for audio sensing system via active sonar.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2017

Signature alignment based on GMM for on-line signature verification.

[BibT_eX]

[DOI]

Pattern Recognit., 2017

Partitioning the Wheat Grains by the Uniformity of protein Quality based on Remote Sensing.

[BibT_eX]

[DOI]

Int. J. Robotics Autom., 2017

Memetic-based schedule synthesis for communication on time-triggered embedded systems.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2017

QRank: a novel quantile regression tool for eQTL discovery.

[BibT_eX]

[DOI]

Bioinform., 2017

An adaptive artificial bee colony algorithm based on objective function value information.

[BibT_eX]

[DOI]

Qifeng Yan

Appl. Soft Comput., 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

Formalization and analysis of jacobian matrix in screw theory and its application in kinematic singularity.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Study the Spatial-Temporal Variation of Wheat Growth Under Different Site-Specific Nitrogen Fertilization Approaches.

[BibT_eX]

[DOI]

Proceedings of the Computer and Computing Technologies in Agriculture XI, 2017

Grouping Users Using a Combination-Based Clustering Algorithm in the Service Environment.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Formal Modeling and Automatic Code Synthesis for Robot System.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Keyword generation by native speaker is quick and useful in conversation between native and non-native speaker.

[BibT_eX]

[DOI]

Hiromi Hanawa

Tomoo Inoue

Proceedings of the 21st IEEE International Conference on Computer Supported Cooperative Work in Design, 2017

Speakers' Empowerment with Keywords: The Speaking Competency Development for Multilingual to Contribute in a Real-Time Interaction.

[BibT_eX]

[DOI]

Proceedings of the Collaboration and Technology - 23rd International Conference, 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

On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Asian Test Symposium, 2017

How to think about self-timed systems.

[BibT_eX]

[DOI]

Proceedings of the 51st Asilomar Conference on Signals, Systems, and Computers, 2017

Research on QoS Optimization Method of Cloud Service Based on Utility Game between Users and Service Providers in the Cloud Market.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

Geometric Pattern Match Using Edge Driven Dissected Rectangles and Vector Space.

[BibT_eX]

[DOI]

Jea Woo Park

Robert Todd

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

Uncertainty Model for Configurable Hardware/Software and Resource Partitioning.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

Estimating Winter Wheat Leaf Area Index From Ground and Hyperspectral Observations Using Vegetation Indices.

[BibT_eX]

[DOI]

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2016

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

[BibT_eX]

[DOI]

Sensors, 2016

Modular Timing Constraints for Delay-Insensitive Systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2016

Universities-industry collaboration (UIC) partner selection based on Grey Fuzzy Evaluation.

[BibT_eX]

[DOI]

Yuming Zhu

Fen Lv

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Scanning Line Based Random Sample Consensus algorithm for fast arc detection.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Robotics and Biomimetics, 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

Key-Typing on Teleconference: Collaborative Effort on Cross-Cultural Discussion.

[BibT_eX]

[DOI]

Hiromi Hanawa

Tomoo Inoue

Proceedings of the Collaboration Technologies and Social Computing, 2016

A QoS Evolutionary Method of Cloud Service Based on User Utility Model.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 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

A Quantitative Characterization of Cross Coverage.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2015

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

[BibT_eX]

[DOI]

Theory Comput. Syst., 2015

Pareto optimal mapping for tile-based network-on-chip under reliability constraints.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2015

Generalized interface automata with multicast synchronization.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 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

Exploring the Best Hyperspectral Features for LAI Estimation Using Partial Least Squares Regression.

[BibT_eX]

[DOI]

Remote. Sens., 2014

Performance-driven assignment and mapping for reliable networks-on-chips.

[BibT_eX]

[DOI]

J. Zhejiang Univ. Sci. C, 2014

A Synthesis Algorithm for 4-Bit Reversible Logic Circuits with Minimum Quantum Cost.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2014

Functional Verification of High Performance Adders in COQ.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

Intelligent Modeling and Verification 2014.

[BibT_eX]

[DOI]

Guiming Luo

Xiaojing Yang

Krishnaiyan Thulasiraman

J. Appl. Math., 2014

Performance analysis for free-space optical communications using parallel all-optical relays over composite channels.

[BibT_eX]

[DOI]

IET Commun., 2014

Estimating Leaf Nitrogen Concentration In Barley By Coupling Hyperspectral Measurements With Optimal Combination Principle.

[BibT_eX]

[DOI]

Intell. Autom. Soft Comput., 2014

Winter Wheat Cropland Grain Protein Content Evaluation through Remote Sensing.

[BibT_eX]

[DOI]

Intell. Autom. Soft Comput., 2014

Network planning for distributed antenna-based high-speed railway mobile communications.

[BibT_eX]

[DOI]

Trans. Emerg. Telecommun. Technol., 2014

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

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2014

Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation.

[BibT_eX]

[DOI]

Comput. J., 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

Evaluation of arable land yield potential through remote sensing monitoring.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

Spatial variability of winter wheat growth based on the individual index and the population index.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

Timed automata based motion planning for a self-assembly robot system.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Motion planning with Satisfiability Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Distributed SNR-Based Power Allocation in Wireless Parallel Amplify-and-Forward Relay Transmissions Using Cournot Game.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2013

Bayesian-Network-Based Reliability Analysis of PLC Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2013

Complete Boolean Satisfiability Solving Algorithms Based on Local Search.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2013

A Transformation-Based Approach to Implication of GSTE Assertion Graphs.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Intelligent Modeling and Verification.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

A Dynamic Region based Limited Feedback Scheme for Efficient Power Allocation in OFDM Systems.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2013

Imperfect CSI Based Joint Bit Loading and Power Allocation for Deadline Constrained Transmission.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2013

Formal component-based modeling and synthesis for PLC systems.

[BibT_eX]

[DOI]

Comput. Ind., 2013

Optimizing communication in mobile ad hoc network clustering.

[BibT_eX]

[DOI]

Comput. Ind., 2013

Dimming scheme analysis for pulse amplitude modulated visible light communications.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Wireless Communications and Signal Processing, 2013

Outage probability analysis of multi-hop free space optical communications over strong turbulence channels.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Wireless Communications and Signal Processing, 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

Inversion of paddy leaf area index using Beer-Lambert law and HJ-1/2 CCD image.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Formal Modelling of PLC Systems by BIP Components.

[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

Maxterm Covering for Satisfiability.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2012

An Improved Base State with Amendments Spatio-Temporal Data Model.

[BibT_eX]

[DOI]

Shoujin Wang

J. Softw., 2012

Comments on 'BER Performance of FSO Links over Strong Atmospheric Turbulence Channels with Pointing Errors'.

[BibT_eX]

[DOI]

IEEE Commun. Lett., 2012

Monitoring Winter Wheat Maturity By Hyperspectral Vegetation Indices.

[BibT_eX]

[DOI]

Intell. Autom. Soft Comput., 2012

Reliability Analysis of PLC Systems by Bayesian Network.

[BibT_eX]

[DOI]

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

On the Formal Modeling of Inductive Verification for Cryptographical Protocols.

[BibT_eX]

[DOI]

Yongjian Li

Xiaojuan Li

Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

Uncertain Model and Algorithm for Hardware/Software Partitioning.

[BibT_eX]

[DOI]

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

Study on the Spatial - Temporal Variability of Soil Nutrients during Winter Wheat Growth Season.

[BibT_eX]

[DOI]

Proceedings of the Computer and Computing Technologies in Agriculture VI, 2012

2011

Realization and synthesis of reversible functions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL.

[BibT_eX]

[DOI]

Yongjian Li

Theor. Comput. Sci., 2011

A study on the relationship between dynamic change of vegetation coverage and precipitation in Beijing's mountainous areas during the last 20 years.

[BibT_eX]

[DOI]

Math. Comput. Model., 2011

Formalisation and verification of programmable logic controllers timers in Coq.

[BibT_eX]

[DOI]

IET Softw., 2011

Exploring structural symmetry automatically in symbolic trajectory evaluation.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems.

[BibT_eX]

[DOI]

Comput. J., 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

Proving Computational Geometry Algorithms in TLA+2.

[BibT_eX]

[DOI]

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

Winter Wheat Yield Estimation Coupling Weight Optimization Combination Method with Remote Sensing Data from Landsat5 TM.

[BibT_eX]

[DOI]

Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

Winter Wheat Seedtime Monitoring through Satellite Remote Sensing Data.

[BibT_eX]

[DOI]

Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

Wheat Grain Protein Content Estimation Based on Multi-temporal Remote Sensing Data and Generalized Regression Neural Network.

[BibT_eX]

[DOI]

Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

Domain-Driven Probabilistic Analysis of Programmable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

Enhanced symbolic simulation of a round-robin arbiter.

[BibT_eX]

[DOI]

Proceedings of the IEEE 29th International Conference on Computer Design, 2011

Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2011

Base state with amendments spatio-temporal data model on time-slot retrieval based on temporary base-state.

[BibT_eX]

[DOI]

Shoujin Wang

Proceedings of the Eighth International Conference on Fuzzy Systems and Knowledge Discovery, 2011

Design and implementation of villages and towns housing construction products intelligent service system.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

An Iterative Method for Generating Loop Invariants.

[BibT_eX]

[DOI]

Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2011

2010

Formal Analysis of End-Around-Carry Adder in Floating-Point Unit.

[BibT_eX]

[DOI]

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

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2010

An Analytical Congestion Model with Bounded-Bend Detours.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2010

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

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 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

Study on the Convergence of Hybrid Ant Colony Algorithm for Job Shop Scheduling Problems.

[BibT_eX]

[DOI]

Lihua Sun

Proceedings of the Third International Symposium on Intelligent Information Technology and Security Informatics, 2010

Assessing Rice Chlorophyll Content with Vegetation Indices from Hyperspectral Data.

[BibT_eX]

[DOI]

Proceedings of the Computer and Computing Technologies in Agriculture IV, 2010

Non-Functional Requirements Elicitation and Incorporation into Class Diagrams.

[BibT_eX]

[DOI]

Zhenhua Duan

Cong Tian

Proceedings of the Intelligent Information Processing V, 2010

Study on the convergence of converse ant colony algorithm for Job Shop Scheduling Problem.

[BibT_eX]

[DOI]

Lihua Sun

Yang Cao

Proceedings of the Sixth International Conference on Natural Computation, 2010

Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2010

AOP-based high-level power estimation in SystemC.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

Algorithm of arcs recognition based on bar tracking.

[BibT_eX]

[DOI]

Shoujin Wang

Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

GM(1, 1) based grey programming model for emergency goods scheduling.

[BibT_eX]

[DOI]

Chunguang Chang

Chunhui Liu

Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

Specifying Time-Sensitive Systems with TLA+.

[BibT_eX]

[DOI]

Hehua Zhang

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

Synthesizing hybrid quantum circuits without ancilla qudits.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2009

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

[BibT_eX]

[DOI]

Hai Wan

Fariborz Fereydouni-Forouzandeh

Math. Comput. Model., 2009

Heuristic-Guided Abstraction Refinement.

[BibT_eX]

[DOI]

Comput. J., 2009

A case study on system-level modeling by aspect-oriented programming.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 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

Data mining based decomposition for assume-guarantee reasoning.

[BibT_eX]

[DOI]

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

A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC.

[BibT_eX]

[DOI]

Feng Liu

Proceedings of the 12th Euromicro Conference on Digital System 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

2008

Transforming Cyclic Circuits Into Acyclic Equivalents.

[BibT_eX]

[DOI]

Osama Neiroukh

Stephen A. Edwards

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

A fast congestion estimator for routing with bounded detours.

[BibT_eX]

[DOI]

Integr., 2008

Minimal universal library for n×n reversible circuits.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2008

Bi-Directional Synthesis of 4-Bit Reversible Circuits.

[BibT_eX]

[DOI]

Comput. J., 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]

Hehua Zhang

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

An Incremental Query Algorithm for Optimal Path Queries under Traffic Jams.

[BibT_eX]

[DOI]

Lanyang Yu

Huanliang Sun

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

A Mini Arc Recognition Algorithm Based on the Topological Inference.

[BibT_eX]

[DOI]

Bin He

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

A New Approach for the Construction of Multiway Decision Graphs.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2008

Component-Based Abstraction and Refinement.

[BibT_eX]

[DOI]

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

Deadlocks Solving Strategies in Hybrid PSO Algorithm for JSSP.

[BibT_eX]

[DOI]

Limei Sun

Qiuhong Meng

Proceedings of the Fourth International Conference on Natural Computation, 2008

A Novel Parallel Hybrid Algorithms for Job Shop Problem.

[BibT_eX]

[DOI]

Chunguang Chang

Feng Zhang

Proceedings of the Fourth International Conference on Natural Computation, 2008

Effective Hash-Based Algorithm for Reversible Logic Circuits Synthesis with Minimum Cost.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008

A simple latency tolerant processor.

[BibT_eX]

[DOI]

Satyanarayana Nekkalapu

Proceedings of the 26th International Conference on Computer Design, 2008

A Hybrid Algorithm of PSO and SA for Solving JSP.

[BibT_eX]

[DOI]

Yang Cao

Chunguang Chang

Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 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

The probability logics for nanoscale inverterscascade.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

Fast algorithm for 4-qubit reversible logic circuits synthesis.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

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

[BibT_eX]

[DOI]

Hehua Zhang

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

2007

A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems".

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2007

Component-based hardware/software co-verification for building trustworthy embedded systems.

[BibT_eX]

[DOI]

Fei Xie

Guowu Yang

J. Syst. Softw., 2007

Four-level realisation of 3-qubit reversible functions.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2007

Modelling and verification of program logic controllers using timed automata.

[BibT_eX]

[DOI]

Rui Wang

IET Softw., 2007

Defect-Tolerant CMOL Cell Assignment via Satisfiability

[BibT_eX]

[DOI]

CoRR, 2007

Wheat Grain Quality Forecasting by Canopy Reflected Spectrum.

[BibT_eX]

[DOI]

Proceedings of the Computer And Computing Technologies In Agriculture, 2007

Effective heuristics for counterexample-guided abstraction refinement.

[BibT_eX]

[DOI]

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

Non-Functional Requirements Elicitation and Incorporation into Functional Models.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Probabilistic optimization for FPGA board level routing problems.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2006

Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis.

[BibT_eX]

[DOI]

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

A clustering-based method for unsupervised intrusion detections.

[BibT_eX]

[DOI]

Pattern Recognit. Lett., 2006

Algebraic Characterization of Reversible Logic Gates.

[BibT_eX]

[DOI]

Theory Comput. Syst., 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

Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2006

Maximal Models of Assertion Graph in GSTE.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2006

Group Theory Based Synthesis of Binary Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2006

Component-based hardware/software co-verification.

[BibT_eX]

[DOI]

Fei Xie

Guowu Yang

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

An Efficient Algorithm for the Analysis of Cyclic Circuits.

[BibT_eX]

[DOI]

Osama Neiroukh

Stephen A. Edwards

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

Verifying Java Programs By Theorem Prover HOL.

[BibT_eX]

[DOI]

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

A Constructive Algorithm for Reversible Logic Synthesis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

Compositional Reasoning for Hardware/Software Co-verification.

[BibT_eX]

[DOI]

Fei Xie

Guowu Yang

Proceedings of the Automated Technology for Verification and Analysis, 2006

A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Majority-based reversible logic gates.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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

Translation-based co-verification.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Bi-Direction Synthesis for Reversible Circuits.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 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

Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques.

[BibT_eX]

[DOI]

Osama Neiroukh

Proceedings of the 2005 Design, 2005

A Theoretical Upper Bound for IP-Based Floorplanning.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005

Implication of assertion graphs in GSTE.

[BibT_eX]

[DOI]

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

Fast synthesis of exact minimal reversible circuits using group theory.

[BibT_eX]

[DOI]

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004

Routability checking for three-dimensional architectures.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2004

Segmented channel routability via satisfiability.

[BibT_eX]

[DOI]

Andrew A. Kennings

Alan J. Coppola

ACM Trans. Design Autom. Electr. Syst., 2004

Congestion estimation for 3-D circuit architectures.

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. II Express Briefs, 2004

A stochastic model for cellassignments in PCS networks.

[BibT_eX]

[DOI]

Math. Comput. Model., 2004

MDG-Based State Enumeration By Retiming And Circuit Transformation.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 2004

A comparative study on search strategies for cell assignments.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2004

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs).

[BibT_eX]

[DOI]

Comput. J., 2004

Formal Specification of an Asynchronous Processor via Action Refinement.

[BibT_eX]

[DOI]

Xiuli Sun

Jinzhao Wu

Mila E. Majster-Cederbaum

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

Congestion Estimation for 3D Routing.

[BibT_eX]

[DOI]

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

Methods and application of remote sensing to forecast wheat grain quality.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

Use of airborne hyperspectral image data to assess winter wheat yield.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

Study on winter wheat yield estimation model based on NDVI and seedtime.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

Quantum logic synthesis by symbolic reachability analysis.

[BibT_eX]

[DOI]

Proceedings of the 41th Design Automation Conference, 2004

On the Formal Characterization of Covert Channel.

[BibT_eX]

[DOI]

Shiguang Ju

Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

A fast congestion estimator for routing with bounded detours.

[BibT_eX]

[DOI]

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

Board-level multiterminal net assignment for the partial cross-bar architecture.

[BibT_eX]

[DOI]

Malgorzata Chrzanowska-Jeske

Alan Mishchenko

Andrew A. Kennings

Alan J. Coppola

IEEE Trans. Very Large Scale Integr. Syst., 2003

On the non-termination of M-based abstract state enumeration.

[BibT_eX]

[DOI]

Otmane Aït Mohamed

Eduard Cerny

Theor. Comput. Sci., 2003

On reachability graphs of Petri nets.

[BibT_eX]

[DOI]

Xinming Ye

Comput. Electr. Eng., 2003

2002

Adder based residue to binary number converters for (2n-1, 2n, 2n+1).

[BibT_eX]

[DOI]

Hong Shen

IEEE Trans. Signal Process., 2002

BDD minimization by scatter search.

[BibT_eX]

[DOI]

Michael A. Driscoll

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

On segmented channel routability.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

On data address computation for embedded DSP systems.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

Board-level multiterminal net assignment.

[BibT_eX]

[DOI]

Malgorzata Chrzanowska-Jeske

Alan Mishchenko

Alan J. Coppola

Andrew A. Kennings

Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, 2002

2001

On conformance testing of non-deterministic systems.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2001

Fault diagnosis in hypercube multiprocessor systems.

[BibT_eX]

[DOI]

Xinming Ye

Int. J. Comput. Math., 2001

Single-faced Boolean Functions and their Minimization.

[BibT_eX]

[DOI]

Carl McCrosky

Comput. J., 2001

BDD Variable Ordering by Scatter Search.

[BibT_eX]

[DOI]

Malgorzata Chrzanowska-Jeske

Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001

Regular Realization of Symmetric Functions Using Reversible Logic.

[BibT_eX]

[DOI]

Marek A. Perkowski

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

2000

Wire space estimation and routability analysis.

[BibT_eX]

[DOI]

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

Formal hardware verification by integrating HOL and MDG.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, 2000

1999

On the crossing distribution problem.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 1999

Diagnosis of clustered faults for identical degree topologies.

[BibT_eX]

[DOI]

Qian-Yu Tang

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

Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs.

[BibT_eX]

[DOI]

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

Diagnosis of Parallel Computers with Arbitrary Connectivity.

[BibT_eX]

[DOI]

Qian-Yu Tang

IEEE Trans. Computers, 1999

Routing Multiterminal Nets on a Hexagonal Grid.

[BibT_eX]

[DOI]

Discret. Appl. Math., 1999

A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II.

[BibT_eX]

[DOI]

Proceedings of the 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 1999

1998

Model checking of a real ATM switch.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

Residue to Binary Number Converters for (2n-1, 2n, 2n+1).

[BibT_eX]

[DOI]

Proceedings of the 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 1998

MDG-based Verification by Retiming and Combinational Transformations.

[BibT_eX]

[DOI]

Otmane Aït Mohamed

Eduard Cerny

Proceedings of the 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 1998

Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Multiway Decision Graphs for Automated Hardware Verification.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 1997

Verification with Abstract State Machines Using MDGs.

[BibT_eX]

[DOI]

Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

Hexagonal Routings of Multiterminal Nets.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997

On the non-termination of MDGs-based abstract state enumeration.

[BibT_eX]

Otmane Aït Mohamed

Eduard Cerny

Proceedings of the Advances in Hardware Design and Verification, 1997

1996

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs.

[BibT_eX]

[DOI]

Proceedings of the 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), 1996

Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

MDG Tools for the Verification of RTL Designs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Hexagonal Three-Layer Channel Routing.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

Partitioning transition relations efficiently and automatically.

[BibT_eX]

[DOI]

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

State enumeration with abstract descriptions of state machines.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994

An Optimum Channel Routing Algorithm in the Knock-knee Diagonal Model.

[BibT_eX]

[DOI]

VLSI Design, 1994

An optimal channel-routing algorithm in the times square model.

[BibT_eX]

[DOI]

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

An efficient DM switchbox router.

[BibT_eX]

[DOI]

Microprocess. Microprogramming, 1994

1992

An algorithm for L-shaped channel routing in a diagonal model.

[BibT_eX]

[DOI]

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

1991

A 2d channel router for the diagonal model.

[BibT_eX]

[DOI]

Elena Lodi

Fabrizio Luccio