Xiaoyu Song

According to our database1, Xiaoyu Song authored at least 276 papers between 1991 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Hierarchical Routing for Vehicular Ad Hoc Networks via Reinforcement Learning.
IEEE Trans. Vehicular Technology, 2019

An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks.
IEEE/ACM Trans. Netw., 2019

Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks.
IEEE Trans. Industrial Informatics, 2019

Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup.
IEEE Trans. Industrial Electronics, 2019

Mutual Exclusion Sizing for Hoi Polloi.
IEEE Trans. on Circuits and Systems, 2019

Tolerating C Integer Error via Precision Elevation.
IEEE Trans. Computers, 2019

A Formal Model-Based Design Method for Robotic Systems.
IEEE Systems Journal, 2019

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

A New Integrated Vegetation Index for the Estimation of Winter Wheat Leaf Chlorophyll Content.
Remote Sensing, 2019

A Group Algebraic Approach to NPN Classification of Boolean Functions.
Theory Comput. Syst., 2019

A framework for shopfloor material delivery based on real-time manufacturing big data.
J. Ambient Intelligence and Humanized Computing, 2019

Comparative Analysis of Evolutionary Algorithms Based on Swarm Intelligence for QoS Optimization of Cloud Services.
Proceedings of the 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, 2019

2018
From Offline Towards Real-Time Verification for Robot Systems.
IEEE Trans. Industrial Informatics, 2018

Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm.
IEEE Trans. Evolutionary Computation, 2018

Temporal Coverage Analysis for Dynamic Verification.
IEEE Trans. on Circuits and Systems, 2018

Litho-Aware Machine Learning for Hotspot Detection.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

Grover-based Ashenhurst-Curtis decomposition using quantum language quipper.
Quantum Information & Computation, 2018

Discriminative feature selection for on-line signature verification.
Pattern Recognition, 2018

Formal analysis of the kinematic Jacobian in screw theory.
Formal Asp. Comput., 2018

Parallelizing SMT solving: Lazy decomposition and conciliation.
Artif. Intell., 2018

A RaaS Model Based on Emotion Analysis and Double Labeling Applied to Mobile Terminal.
IEEE Access, 2018

A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases.
IEEE Access, 2018

A Cloud Workflow Model Based on Resources Selection.
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.
Proceedings of the 2018 IEEE SmartWorld, 2018

A Synergistic Cloud Service Approach for Cold Start Problems.
Proceedings of the 2018 IEEE SmartWorld, 2018

An Effective Clustering Method for Finding Density Peaks.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

SMT-Based Timing Analysis and Verification of Real-Time Task.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

A Software Popularity Recommendation Method Based on Evaluation Model.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Effective Discrete Memetic Algorithms for Covering Array Generation.
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.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

A Method to Build Multi-Scene Datasets for CNN for Camera Pose Regression.
Proceedings of the 2018 IEEE International Conference on Artificial Intelligence and Virtual Reality, 2018

2017
Online Signature Verification Based on Stable Features Extracted Dynamically.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
IEEE Trans. Industrial Electronics, 2017

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

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

Evaluation of Sentinel-2A Satellite Imagery for Mapping Cotton Root Rot.
Remote Sensing, 2017

An Improved Combination of Spectral and Spatial Features for Vegetation Classification in Hyperspectral Images.
Remote Sensing, 2017

CondioSense: high-quality context-aware service for audio sensing system via active sonar.
Personal and Ubiquitous Computing, 2017

Signature alignment based on GMM for on-line signature verification.
Pattern Recognition, 2017

Partitioning the Wheat Grains by the Uniformity of protein Quality based on Remote Sensing.
I. J. Robotics and Automation, 2017

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

QRank: a novel quantile regression tool for eQTL discovery.
Bioinformatics, 2017

An adaptive artificial bee colony algorithm based on objective function value information.
Appl. Soft Comput., 2017

A static analysis tool with optimizations for reachability determination.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

IntPTI: automatic integer error repair with proper-type inference.
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.
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.
Proceedings of the Computer and Computing Technologies in Agriculture XI, 2017

Grouping Users Using a Combination-Based Clustering Algorithm in the Service Environment.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Formal Modeling and Automatic Code Synthesis for Robot System.
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.
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.
Proceedings of the Collaboration and Technology - 23rd International Conference, 2017

Assertion Recommendation for Formal Program Verification.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A Constraint-Pattern Based Method for Reachability Determination.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

On Evaluating and Constraining Assertions Using Conflicts in Absent Scenarios.
Proceedings of the 26th IEEE Asian Test Symposium, 2017

How to think about self-timed systems.
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.
Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016
Geometric Pattern Match Using Edge Driven Dissected Rectangles and Vector Space.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2016

Uncertainty Model for Configurable Hardware/Software and Resource Partitioning.
IEEE Trans. Computers, 2016

Estimating Winter Wheat Leaf Area Index From Ground and Hyperspectral Observations Using Vegetation Indices.
IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 2016

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

Modular Timing Constraints for Delay-Insensitive Systems.
J. Comput. Sci. Technol., 2016

Universities-industry collaboration (UIC) partner selection based on Grey Fuzzy Evaluation.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Scanning Line Based Random Sample Consensus algorithm for fast arc detection.
Proceedings of the 2016 IEEE International Conference on Robotics and Biomimetics, 2016

Improving Failure Detection by Automatically Generating Test Cases Near the Boundaries.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Automatic Fix for C Integer Errors by Precision Improvement.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Key-Typing on Teleconference: Collaborative Effort on Cross-Cultural Discussion.
Proceedings of the Collaboration Technologies and Social Computing, 2016

A QoS Evolutionary Method of Cloud Service Based on User Utility Model.
Proceedings of the IEEE International Conference on Services Computing, 2016

2015
First, Debug the Test Oracle.
IEEE Trans. Software Eng., 2015

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks.
IEEE Trans. Parallel Distrib. Syst., 2015

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.
IEEE Trans. Industrial Electronics, 2015

Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2015

A Quantitative Characterization of Cross Coverage.
IEEE Trans. Computers, 2015

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.
Theory Comput. Syst., 2015

Pareto optimal mapping for tile-based network-on-chip under reliability constraints.
Int. J. Comput. Math., 2015

Generalized interface automata with multicast synchronization.
Frontiers Comput. Sci., 2015

2014
Reliability Analysis for a Data Flow in Event-Driven Wireless Sensor Networks.
Wireless Personal Communications, 2014

Symbolic Analysis of Programmable Logic Controllers.
IEEE Trans. Computers, 2014

Exploring the Best Hyperspectral Features for LAI Estimation Using Partial Least Squares Regression.
Remote Sensing, 2014

Performance-driven assignment and mapping for reliable networks-on-chips.
Journal of Zhejiang University - Science C, 2014

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

Functional Verification of High Performance Adders in COQ.
J. Applied Mathematics, 2014

Intelligent Modeling and Verification 2014.
J. Applied Mathematics, 2014

Estimating Leaf Nitrogen Concentration In Barley By Coupling Hyperspectral Measurements With Optimal Combination Principle.
Intelligent Automation & Soft Computing, 2014

Winter Wheat Cropland Grain Protein Content Evaluation through Remote Sensing.
Intelligent Automation & Soft Computing, 2014

Network planning for distributed antenna-based high-speed railway mobile communications.
Trans. Emerging Telecommunications Technologies, 2014

Reliability analysis for chain topology wireless sensor networks with multiple-sending transmission scheme.
EURASIP J. Wireless Comm. and Networking, 2014

Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation.
Comput. J., 2014

A New Barrier Certificate for Safety Verification of Hybrid Systems.
Comput. J., 2014

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis.
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.
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.
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.
Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

Timed automata based motion planning for a self-assembly robot system.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Motion planning with Satisfiability Modulo Theories.
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.
Wireless Personal Communications, 2013

Bayesian-Network-Based Reliability Analysis of PLC Systems.
IEEE Trans. Industrial Electronics, 2013

Complete Boolean Satisfiability Solving Algorithms Based on Local Search.
J. Comput. Sci. Technol., 2013

A Transformation-Based Approach to Implication of GSTE Assertion Graphs.
J. Applied Mathematics, 2013

Intelligent Modeling and Verification.
J. Applied Mathematics, 2013

A Dynamic Region based Limited Feedback Scheme for Efficient Power Allocation in OFDM Systems.
IEEE Communications Letters, 2013

Imperfect CSI Based Joint Bit Loading and Power Allocation for Deadline Constrained Transmission.
IEEE Communications Letters, 2013

Optimizing communication in mobile ad hoc network clustering.
Computers in Industry, 2013

Dimming scheme analysis for pulse amplitude modulated visible light communications.
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.
Proceedings of the International Conference on Wireless Communications and Signal Processing, 2013

System reliability calculation based on the run-time analysis of ladder program.
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.
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.
Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

Formal Modelling of PLC Systems by BIP Components.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Verification and Implementation of the Protocol Standard in Train Control System.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Sequential dependency and reliability analysis of embedded systems.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
Maxterm Covering for Satisfiability.
IEEE Trans. Computers, 2012

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

Comments on 'BER Performance of FSO Links over Strong Atmospheric Turbulence Channels with Pointing Errors'.
IEEE Communications Letters, 2012

Monitoring Winter Wheat Maturity By Hyperspectral Vegetation Indices.
Intelligent Automation & Soft Computing, 2012

Reliability Analysis of PLC Systems by Bayesian Network.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

On the Formal Modeling of Inductive Verification for Cryptographical Protocols.
Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

Uncertain Model and Algorithm for Hardware/Software Partitioning.
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.
Proceedings of the Computer and Computing Technologies in Agriculture VI, 2012

2011
Realization and synthesis of reversible functions.
Theor. Comput. Sci., 2011

A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL.
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.
Mathematical and Computer Modelling, 2011

Formalisation and verification of programmable logic controllers timers in Coq.
IET Software, 2011

Exploring structural symmetry automatically in symbolic trajectory evaluation.
Formal Methods in System Design, 2011

Formal Analysis of Hybrid Prefix/Carry-Select Arithmetic Systems.
Comput. J., 2011

Formal modeling and synthesis of programmable logic controllers.
Computers in Industry, 2011

Competent predicate abstraction in model checking.
SCIENCE CHINA Information Sciences, 2011

Proving Computational Geometry Algorithms in TLA+2.
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.
Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

Winter Wheat Seedtime Monitoring through Satellite Remote Sensing Data.
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.
Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

Domain-Driven Probabilistic Analysis of Programmable Logic Controllers.
Proceedings of the Formal Methods and Software Engineering, 2011

Enhanced symbolic simulation of a round-robin arbiter.
Proceedings of the IEEE 29th International Conference on Computer Design, 2011

Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE.
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.
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.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

An Iterative Method for Generating Loop Invariants.
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.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2010

Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.
IEEE Trans. Computers, 2010

An Analytical Congestion Model with Bounded-Bend Detours.
Journal of Circuits, Systems, and Computers, 2010

Field programmable gate array prototyping of end-around carry parallel prefix tree architectures.
IET Computers & Digital Techniques, 2010

Parameterized Specification and Verification of PLC Systems in Coq.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Compositional Abstraction Refinement for Timed Systems.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

A Refinement-Based Validation Method for Programmable Logic Controllers.
Proceedings of the 10th International Conference on Quality Software, 2010

Study on the Convergence of Hybrid Ant Colony Algorithm for Job Shop Scheduling Problems.
Proceedings of the Third International Symposium on Intelligent Information Technology and Security Informatics, 2010

Assessing Rice Chlorophyll Content with Vegetation Indices from Hyperspectral Data.
Proceedings of the Computer and Computing Technologies in Agriculture IV, 2010

Non-Functional Requirements Elicitation and Incorporation into Class Diagrams.
Proceedings of the Intelligent Information Processing V, 2010

Study on the convergence of converse ant colony algorithm for Job Shop Scheduling Problem.
Proceedings of the Sixth International Conference on Natural Computation, 2010

Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2010

AOP-based high-level power estimation in SystemC.
Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

Algorithm of arcs recognition based on bar tracking.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

GM(1, 1) based grey programming model for emergency goods scheduling.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010

A Memetic Approach for Nanoscale Hybrid Circuit Cell Mapping.
Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

Specifying Time-Sensitive Systems with TLA+.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Synthesizing hybrid quantum circuits without ancilla qudits.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2009
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections.
Mathematical and Computer Modelling, 2009

Heuristic-Guided Abstraction Refinement.
Comput. J., 2009

A case study on system-level modeling by aspect-oriented programming.
Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

Formal Specification and Code Generation of Programable Logic Controllers.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Data mining based decomposition for assume-guarantee reasoning.
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.
Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

Translation-Based Model Checking for PLC Programs.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Formalization and Verification of PLC Timers in Coq.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Transforming Cyclic Circuits Into Acyclic Equivalents.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2008

A fast congestion estimator for routing with bounded detours.
Integration, 2008

Minimal universal library for n×n reversible circuits.
Computers & Mathematics with Applications, 2008

Bi-Directional Synthesis of 4-Bit Reversible Circuits.
Comput. J., 2008

Effective Predicate Abstraction for Program Verification.
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.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Verifying programmable logic controllers with abstraction.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

An Incremental Query Algorithm for Optimal Path Queries under Traffic Jams.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

A Mini Arc Recognition Algorithm Based on the Topological Inference.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

A New Approach for the Construction of Multiway Decision Graphs.
Proceedings of the Theoretical Aspects of Computing, 2008

Component-Based Abstraction and Refinement.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

Deadlocks Solving Strategies in Hybrid PSO Algorithm for JSSP.
Proceedings of the Fourth International Conference on Natural Computation, 2008

A Novel Parallel Hybrid Algorithms for Job Shop Problem.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Effective Hash-Based Algorithm for Reversible Logic Circuits Synthesis with Minimum Cost.
Proceedings of the Fourth International Conference on Natural Computation, 2008

A simple latency tolerant processor.
Proceedings of the 26th International Conference on Computer Design, 2008

A Hybrid Algorithm of PSO and SA for Solving JSP.
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

A Maximum Weight Heuristic Method for Abstract State Computation.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

The probability logics for nanoscale inverterscascade.
Proceedings of the IEEE Congress on Evolutionary Computation, 2008

Fast algorithm for 4-qubit reversible logic circuits synthesis.
Proceedings of the IEEE Congress on Evolutionary Computation, 2008

Modeling and Analysis of Real-Life Job Shop Scheduling Problems by Petri nets.
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".
ACM Trans. Design Autom. Electr. Syst., 2007

Component-based hardware/software co-verification for building trustworthy embedded systems.
Journal of Systems and Software, 2007

Four-level realisation of 3-qubit reversible functions.
IET Computers & Digital Techniques, 2007

Modelling and verification of program logic controllers using timed automata.
IET Software, 2007

Wheat Grain Quality Forecasting by Canopy Reflected Spectrum.
Proceedings of the Computer And Computing Technologies In Agriculture, 2007

Effective heuristics for counterexample-guided abstraction refinement.
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

Non-Functional Requirements Elicitation and Incorporation into Functional Models.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006
Probabilistic optimization for FPGA board level routing problems.
IEEE Trans. on Circuits and Systems, 2006

Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2006

A clustering-based method for unsupervised intrusion detections.
Pattern Recognition Letters, 2006

Algebraic Characterization of Reversible Logic Gates.
Theory Comput. Syst., 2006

Congestion estimation for hexagonal routing.
Int. J. Comput. Math., 2006

A combinatorial congestion estimation approach with generalized detours.
Computers & Mathematics with Applications, 2006

Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits.
Proceedings of the Implementation and Application of Automata, 2006

Maximal Models of Assertion Graph in GSTE.
Proceedings of the Theory and Applications of Models of Computation, 2006

Group Theory Based Synthesis of Binary Reversible Circuits.
Proceedings of the Theory and Applications of Models of Computation, 2006

Component-based hardware/software co-verification.
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.
Proceedings of the 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2006

Verifying Java Programs By Theorem Prover HOL.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

A Constructive Algorithm for Reversible Logic Synthesis.
Proceedings of the IEEE International Conference on Evolutionary Computation, 2006

Compositional Reasoning for Hardware/Software Co-verification.
Proceedings of the Automated Technology for Verification and Analysis, 2006

A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
Majority-based reversible logic gates.
Theor. Comput. Sci., 2005

Multiterminal net assignments by scatter search.
Mathematical and Computer Modelling, 2005

On Theoretical Upper Bounds for Routing Estimation.
J. UCS, 2005

On synthesis of 3 × 3 reversible logic functions.
Int. J. Comput. Math., 2005

Probabilistic Estimation for Routing Space.
Comput. J., 2005

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

A Hierachical Method for Wiring and Congestion Prediction.
Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

Segmented channel routing with pin rearrangements via satisfiability.
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.
Proceedings of the 2005 Design, 2005

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

A Theoretical Upper Bound for IP-Based Floorplanning.
Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005

Implication of assertion graphs in GSTE.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

Fast synthesis of exact minimal reversible circuits using group theory.
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004
Routability checking for three-dimensional architectures.
IEEE Trans. VLSI Syst., 2004

Segmented channel routability via satisfiability.
ACM Trans. Design Autom. Electr. Syst., 2004

Congestion estimation for 3-D circuit architectures.
IEEE Trans. on Circuits and Systems, 2004

A stochastic model for cellassignments in PCS networks.
Mathematical and Computer Modelling, 2004

MDG-Based State Enumeration By Retiming And Circuit Transformation.
Journal of Circuits, Systems, and Computers, 2004

A comparative study on search strategies for cell assignments.
Int. J. Comput. Math., 2004

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

Formal Specification of an Asynchronous Processor via Action Refinement.
Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004

Congestion Estimation for 3D Routing.
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.
Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

Use of airborne hyperspectral image data to assess winter wheat yield.
Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

Study on winter wheat yield estimation model based on NDVI and seedtime.
Proceedings of the 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004

Quantum logic synthesis by symbolic reachability analysis.
Proceedings of the 41th Design Automation Conference, 2004

On the Formal Characterization of Covert Channel.
Proceedings of the Content Computing, Advanced Workshop on Content Computing, 2004

A fast congestion estimator for routing with bounded detours.
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.
IEEE Trans. VLSI Syst., 2003

On the non-termination of M-based abstract state enumeration.
Theor. Comput. Sci., 2003

On reachability graphs of Petri nets.
Computers & Electrical Engineering, 2003

2002
Adder based residue to binary number converters for (2n-1, 2n, 2n+1).
IEEE Trans. Signal Processing, 2002

BDD minimization by scatter search.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2002

On segmented channel routability.
Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

On data address computation for embedded DSP systems.
Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

Board-level multiterminal net assignment.
Proceedings of the 12th ACM Great Lakes Symposium on VLSI 2002, 2002

2001
On conformance testing of non-deterministic systems.
Int. J. Comput. Math., 2001

Fault diagnosis in hypercube multiprocessor systems.
Int. J. Comput. Math., 2001

Single-faced Boolean Functions and their Minimization.
Comput. J., 2001

BDD Variable Ordering by Scatter Search.
Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001

Regular Realization of Symmetric Functions Using Reversible Logic.
Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

2000
Wire space estimation and routability analysis.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2000

Formal hardware verification by integrating HOL and MDG.
Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, 2000

1999
On the crossing distribution problem.
ACM Trans. Design Autom. Electr. Syst., 1999

Diagnosis of clustered faults for identical degree topologies.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1999

Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1999

Diagnosis of Parallel Computers with Arbitrary Connectivity.
IEEE Trans. Computers, 1999

Routing Multiterminal Nets on a Hexagonal Grid.
Discrete Applied Mathematics, 1999

A New Algorithm for RNS Magnitude Comparison Based on New Chinese Remainder Theorem II.
Proceedings of the 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 1999

1998
Model checking of a real ATM switch.
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).
Proceedings of the 8th Great Lakes Symposium on VLSI (GLS-VLSI '98), 1998

MDG-based Verification by Retiming and Combinational Transformations.
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.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
Multiway Decision Graphs for Automated Hardware Verification.
Formal Methods in System Design, 1997

Verification with Abstract State Machines Using MDGs.
Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

Hexagonal Routings of Multiterminal Nets.
Proceedings of the Computing and Combinatorics, Third Annual International Conference, 1997

On the non-termination of MDGs-based abstract state enumeration.
Proceedings of the Advances in Hardware Design and Verification, 1997

1996
Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration.
Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Formal Verification of an ATM Switch Fabric using Multiway Decision Graphs.
Proceedings of the 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), 1996

Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs.
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

MDG Tools for the Verification of RTL Designs.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Hexagonal Three-Layer Channel Routing.
Inf. Process. Lett., 1995

Partitioning transition relations efficiently and automatically.
Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

State enumeration with abstract descriptions of state machines.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994
An optimal channel-routing algorithm in the times square model.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1994

An efficient DM switchbox router.
Microprocessing and Microprogramming, 1994

1992
An algorithm for L-shaped channel routing in a diagonal model.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1992

1991
A 2d channel router for the diagonal model.
Integration, 1991


  Loading...