Yong Guan

Proceedings of the 13th International Conference on Systematic Approaches to Digital Forensic Engineering, 2020

Formal Verification of CAN Bus in Cyber Physical System.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Deep Visible and Thermal Image Fusion with Cross-Modality Feature Selection for Pedestrian Detection.

[BibT_eX]

[DOI]

Proceedings of the Network and Parallel Computing, 2020

Score-based likelihood ratios for camera device identification.

[BibT_eX]

[DOI]

Proceedings of the Media Watermarking, 2020

Formal verification of discrete event model.

[BibT_eX]

[DOI]

Zhihao Lu

Rui Wang

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection.

[BibT_eX]

[DOI]

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

Formalizing the Transaction Flow Process of Hyperledger Fabric.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2020

Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

Incorporating Syntax and Frame Semantics in Neural Network for Machine Reading Comprehension.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Computational Linguistics, 2020

What Linguistic Information Does Reading Comprehension Require?

[BibT_eX]

[DOI]

Ru Li

Shaoru Guo

Proceedings of the Knowledge Graph and Semantic Computing: Knowledge Graph and Cognitive Intelligence, 2020

Formal Verification of Atomicity Requirements for Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

A Frame-based Sentence Representation for Machine Reading Comprehension.

[BibT_eX]

[DOI]

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019

A Dynamic Neural Network Approach for Efficient Control of Manipulators.

[BibT_eX]

[DOI]

Shuai Li

Zili Shao

IEEE Trans. Syst. Man Cybern. Syst., 2019

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2019

An Efficient LSM-Tree-Based SQLite-Like Database Engine for Mobile Devices.

[BibT_eX]

[DOI]

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

Checkpointing-Aware Loop Tiling for Energy Harvesting Powered Nonvolatile Processors.

[BibT_eX]

[DOI]

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

DCR: Deterministic Crash Recovery for NAND Flash Storage Systems.

[BibT_eX]

[DOI]

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

HiNextApp: A context-aware and adaptive framework for app prediction in mobile systems.

[BibT_eX]

[DOI]

Sustain. Comput. Informatics Syst., 2019

A Formal Model-Based Design Method for Robotic Systems.

[BibT_eX]

[DOI]

IEEE Syst. J., 2019

SoftME: A Software-Based Memory Protection Approach for TEE System to Resist Physical Attacks.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2019

Formalization of functional variation in HOL Light.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

Formalization of Geometric Algebra in HOL Light.

[BibT_eX]

[DOI]

J. Autom. Reason., 2019

A Hybrid Framework for High-Performance Modeling of Three-Dimensional Pipe Networks.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2019

A High-performance Cross-platform Map Rendering Engine for Mobile Geographic Information System (GIS).

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2019

Fuzzy Adaptive Leader-Following Consensus Control for Nonlinear Multi-Agent Systems with Unknown Control Directions.

[BibT_eX]

[DOI]

Int. J. Fuzzy Syst., 2019

A Comprehensive Formal Security Analysis and Revision of the Two-phase Key Exchange Primitive of TPM 2.0.

[BibT_eX]

[DOI]

CoRR, 2019

Bidirectional Potential Guided RRT* for Motion Planning.

[BibT_eX]

[DOI]

IEEE Access, 2019

Deep Reinforcement Learning With Optimized Reward Functions for Robotic Trajectory Planning.

[BibT_eX]

[DOI]

IEEE Access, 2019

Manifold Regularization Graph Structure Auto-Encoder to Detect Loop Closure for Visual SLAM.

[BibT_eX]

[DOI]

IEEE Access, 2019

Wide-View Sidewalk Dataset Based Pedestrian Safety Application.

[BibT_eX]

[DOI]

IEEE Access, 2019

Research on Degradation Modeling and Life Prediction Method of Lithium-Ion Battery in Dynamic Environment.

[BibT_eX]

[DOI]

IEEE Access, 2019

A Virtual Sample Generation Method Based on Differential Evolution Algorithm for Overall Trend of Small Sample Data: Used for Lithium-ion Battery Capacity Degradation Data.

[BibT_eX]

[DOI]

IEEE Access, 2019

MicroTEE: Designing TEE OS Based on the Microkernel Architecture.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference On Trust, 2019

A HOL Theory of the Differential for Matrix Functions.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Algorithm Mismatch in Spatial Steganalysis.

[BibT_eX]

[DOI]

Proceedings of the Media Watermarking, 2019

StegoAppDB: a Steganography Apps Forensics Image Database.

[BibT_eX]

[DOI]

Proceedings of the Media Watermarking, 2019

Model Checking for the Goal-Feedback-Result Pattern in ROS.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

Inverse Dynamics Modeling of Robotic Manipulator with Hierarchical Recurrent Network.

[BibT_eX]

[DOI]

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

P-Minder: A CNN Based Sidewalk Segmentation Approach for Phubber Safety Applications.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Internet, 2019

Towards Verifying Ethereum Smart Contracts at Intermediate Language Level.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

HECTor: Homomorphic Encryption Enabled Onion Routing.

[BibT_eX]

[DOI]

Saikrishna Gumudavally

Ye Zhu

Huirong Fu

Proceedings of the 2019 IEEE International Conference on Communications, 2019

Formal Modelling and Verification of Spinlocks at Instruction Level.

[BibT_eX]

[DOI]

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018

Using Local Clocks to Reproduce Concurrency Bugs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2018

From Offline Towards Real-Time Verification for Robot Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2018

Naive Bayes Bearing Fault Diagnosis Based on Enhanced Independence of Data.

[BibT_eX]

[DOI]

Sensors, 2018

Bayesian Test for Detecting False Data Injection in Wireless Relay Networks.

[BibT_eX]

[DOI]

Xudong Liu

Sang Wu Kim

IEEE Commun. Lett., 2018

Sensor attack detection using history based pairwise inconsistency.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Formal analysis of the kinematic Jacobian in screw theory.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

Bearing Remaining Useful Life Prediction Based on Naive Bayes and Weibull Distributions.

[BibT_eX]

[DOI]

Entropy, 2018

A Fast Unsupervised Approach for Multi-Modality Surgical Trajectory Segmentation.

[BibT_eX]

[DOI]

IEEE Access, 2018

An Algebraic Quality-Time-Advantage-Based Key Establishment Protocol.

[BibT_eX]

[DOI]

Sanchita Barman

Proceedings of the 11th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2018

Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE SmartWorld, 2018

A Dynamic Taint Analysis Tool for Android App Forensics.

[BibT_eX]

[DOI]

Zhen Xu

Chen Shi

Chris Chao-Chun Cheng

Neil Zhenqiang Gong

Proceedings of the 2018 IEEE Security and Privacy Workshops, 2018

Inverse Kinematics of 6-DOF Robot Manipulator via Analytic Solution with Conformal Geometric Algebra.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2018

Formal Analysis and Verification of DDS in ROS2.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Domain Adaptation in Steganalysis for the Spatial Domain.

[BibT_eX]

[DOI]

Proceedings of the Media Watermarking, Security, and Forensics 2018, Burlingame, CA, USA, 28 January 2018, 2018

Unsupervised Trajectory Segmentation and Promoting of Multi-Modal Surgical Demonstrations.

[BibT_eX]

[DOI]

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

Forensic Analysis of Android Steganography Apps.

[BibT_eX]

[DOI]

Proceedings of the Advances in Digital Forensics XIV, 2018

Design and Test of an In-Vivo Robotic Camera Integrated with Optimized Illumination System for Single-port Laparoscopic Surgery.

[BibT_eX]

[DOI]

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

The Impact of Exposure Settings in Digital Image Forensics.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Image Processing, 2018

Formalization of Symplectic Geometry in HOL-Light.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2018

Active Probing-Based Schemes and Data Analytics for Investigating Malicious Fast-Flux Web-Cloaking Based Domains.

[BibT_eX]

[DOI]

Ziji Guo

Proceedings of the 27th International Conference on Computer Communication and Networks, 2018

Runtime Verification of Robots Collision Avoidance Case Study.

[BibT_eX]

[DOI]

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

Enhanced resilient sensor attack detection using fusion interval and measurement history.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

EviHunter: Identifying Digital Evidence in the Permanent Storage of Android Devices via Static Analysis.

[BibT_eX]

[DOI]

Chris Chao-Chun Cheng

Chen Shi

Neil Zhenqiang Gong

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

The Cell Dependency Analysis on Learning SRAM Power-Up States.

[BibT_eX]

[DOI]

Zhonghao Liao

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2018

2017

Delegation of Computation with Verification Outsourcing: Curious Verifiers.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

vFlash: Virtualized Flash for Optimizing the I/O Performance in Mobile Devices.

[BibT_eX]

[DOI]

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

A Block-Level Log-Block Management Scheme for MLC NAND Flash Memory Storage Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2017

Fault Diagnosis from Raw Sensor Data Using Deep Neural Networks Considering Temporal Coherence.

[BibT_eX]

[DOI]

Sensors, 2017

Virtual duplication and mapping prefetching for emerging storage primitives in NAND flash memory storage systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2017

A workload-aware flash translation layer enhancing performance and lifespan of TLC/SLC dual-mode flash memory in embedded systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2017

An energy-efficient encryption mechanism for NVM-based main memory in mobile systems.

[BibT_eX]

[DOI]

J. Syst. Archit., 2017

A centroidal Voronoi tessellation based intelligent control algorithm for the self-assembly path planning of swarm robots.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2017

Transfer Learning With Neural Networks for Bearing Fault Diagnosis in Changing Working Conditions.

[BibT_eX]

[DOI]

IEEE Access, 2017

Rolling Element Bearing Fault Diagnosis Using Improved Manifold Learning.

[BibT_eX]

[DOI]

IEEE Access, 2017

Robust Principal Component Analysis via Symmetric Alternating Direction for Moving Object Detection.

[BibT_eX]

[DOI]

Proceedings of the Advances in Multimedia Information Processing - PCM 2017, 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

A fast search algorithm based on image pyramid for robotic grasping.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 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

The impact of discharge inversion effect on learning SRAM power-up statistics.

[BibT_eX]

[DOI]

Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, 2017

2016

Image-Content-Aware I/O Optimization for Mobile Virtualization.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

Identifying High-Cardinality Hosts from Network-Wide Traffic Measurements.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2016

NVMRA: utilizing NVM to improve the random write operations for NAND-flash-based mobile devices.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2016

A dynamics based two-stage path model for the docking navigation of a self-assembly modular robot (Sambot).

[BibT_eX]

[DOI]

Robotica, 2016

函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus).

[BibT_eX]

[DOI]

计算机科学, 2016

分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).

[BibT_eX]

[DOI]

计算机科学, 2016

基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic).

[BibT_eX]

[DOI]

计算机科学, 2016

RT-ROS: A real-time ROS architecture on multi-core processors.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2016

Energy-aware assignment and scheduling for hybrid main memory in embedded systems.

[BibT_eX]

[DOI]

Computing, 2016

Chinese Word Similarity Computing Based on Combination Strategy.

[BibT_eX]

[DOI]

Proceedings of the Natural Language Understanding and Intelligent Applications, 2016

Thermal-mechanical reliability analysis of connection structure between redistribution layer and TSV for MEMS packaging.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Annual International Conference on Nano/Micro Engineered and Molecular Systems, 2016

Fabrication and characterization of fine pitch TSV integration with self-aligned backside insulation layer opening.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Annual International Conference on Nano/Micro Engineered and Molecular Systems, 2016

A Confidence Weighted Real-Time Depth Filter for 3D Reconstruction.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VIII, 2016

Voice Pattern Hiding for VoIP Communications.

[BibT_eX]

[DOI]

Jialue Fang

Ye Zhu

Proceedings of the 25th International Conference on Computer Communication and Networks, 2016

Formal Modelling and Analysis of TCP for Nodes Communication with ROS.

[BibT_eX]

[DOI]

Proceedings of the Collaborate Computing: Networking, Applications and Worksharing, 2016

Smartphone reconnaissance: Operating system identification.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

Crytpo-Based Methods and Fingerprints.

[BibT_eX]

[DOI]

Joe H. Novak

Sneha Kumar Kasera

Proceedings of the Digital Fingerprinting, 2016

Operating System Fingerprinting.

[BibT_eX]

[DOI]

Proceedings of the Digital Fingerprinting, 2016

Conclusion.

[BibT_eX]

[DOI]

Proceedings of the Digital Fingerprinting, 2016

Introduction.

[BibT_eX]

[DOI]

Proceedings of the Digital Fingerprinting, 2016

2015

On-Demand Block-Level Address Mapping in Large-Scale NAND Flash Storage Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2015

Wearable Ego-Motion Tracking for Blind Navigation in Indoor Environments.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2015

Online Sensor Fault Detection Based on an Improved Strong Tracking Filter.

[BibT_eX]

[DOI]

Sensors, 2015

连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).

[BibT_eX]

[DOI]

计算机科学, 2015

HSPT: Practical Implementation and Efficient Management of Embedded Shadow Page Tables for Cross-ISA System Virtual Machines.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2015

Distinct element counting in distributed dynamic data streams.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

A Graph-Based Investigation of Bitcoin Transactions.

[BibT_eX]

[DOI]

Chen Zhao

Proceedings of the Advances in Digital Forensics XI, 2015

ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Virtual Machine Image Content Aware I/O Optimization for Mobile Virtualization.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Embedded System Design with Reliability-Centric Optimization.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

Block Programs: Improving Efficiency of Verifiable Computation for Circuits with Repeated Substructures.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Symposium on Information, 2015

Unified non-volatile memory and NAND flash memory architecture in smartphones.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

2014

Loop Transforming for Reducing Data Alignment on Multi-Core SIMD Processors.

[BibT_eX]

[DOI]

J. Signal Process. Syst., 2014

On Non-Cooperative Multiple-Target Tracking With Wireless Sensor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Wirel. Commun., 2014

Memory-Aware Task Scheduling with Communication Overhead Minimization for Streaming Applications on Bus-Based Multiprocessor System-on-Chips.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2014

A Non-Intrusive Method for Monitoring the Degradation of MOSFETs.

[BibT_eX]

[DOI]

Sensors, 2014

Formalization of Function Matrix Theory in HOL.

[BibT_eX]

[DOI]

J. Appl. Math., 2014

Query dependent multiview features fusion for effective medical image retrieval.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE International Conference on Security, 2014

Virtual-machine metadata optimization for I/O traffic reduction in mobile virtualization.

[BibT_eX]

[DOI]

Proceedings of the IEEE Non-Volatile Memory Systems and Applications Symposium, 2014

Localization of concurrency bugs using shared memory access pairs.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing VII, 2014

RGMP-ROS: A real-time ROS architecture of hybrid RTOS and GPOS on multi-core processor.

[BibT_eX]

[DOI]

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

Geometry constrained sparse embedding for multi-dimensional transfer function design in direct volume rendering.

[BibT_eX]

[DOI]

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

A framework of model checking guided test vector generation for the 6DOF manipulator.

[BibT_eX]

[DOI]

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

Formal verification of a collision-free algorithm of dual-arm robot in HOL4.

[BibT_eX]

[DOI]

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

Delegation of Computation with Verification Outsourcing Using GENI Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 2014 Third GENI Research and Educational Experiment Workshop, 2014

Verifiable Computation with Reduced Informational Costs and Computational Costs.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2014, 2014

Identifying global hot items in distributed dynamic data streams.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Communications and Network Security, 2014

2013

Network Traffic Classification Using Correlation Information.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2013

Lightweight Location Verification Algorithms for Wireless Sensor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2013

Formalization of Linear Space Theory in the Higher-Order Logic Proving System.

[BibT_eX]

[DOI]

Jie Zhang

Danwen Mao

J. Appl. Math., 2013

Component-Based Formal Modeling of PLC Systems.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

The Gauge Integral Theory in HOL4.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

The Supercapacitor Degradation State Diagnostic System Based on LabVIEW.

[BibT_eX]

[DOI]

Int. J. Online Eng., 2013

FishEYE: A Forensic Tool for the visualization of change-over-time in Windows VSS.

[BibT_eX]

[DOI]

Jin-Ning Tioh

Proceedings of the Eighth International Workshop on Systematic Approaches to Digital Forensic Engineering, 2013

BLog: block-level log-block management for NAND flash memorystorage systems.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Near-optimal approximate membership query over time-decaying windows.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

Cardinality change-based early detection of large-scale cyber-attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

An introduction to the variable neighborhood and the related adaptive determination algorithm.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Granular Computing, 2013

A cross-layer routing protocol (CLRP) for cognitive radio network.

[BibT_eX]

[DOI]

Ramzi R. Saifan

Ahmed E. Kamal

Proceedings of the 2013 IEEE Global Communications Conference, 2013

Formal Modelling of PLC Systems by BIP Components.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Model Checking for SpaceWire Link Interface Design Using Uppaal.

[BibT_eX]

[DOI]

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

A lightweight argument system with efficient verifier.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Communications and Network Security, 2013

2012

A Space Reuse Strategy for Flash Translation Layers in SLC NAND Flash Memory Storage Systems.

[BibT_eX]

[DOI]

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

Spectrum decision for efficient routing in cognitive radio network.

[BibT_eX]

[DOI]

Ramzi R. Saifan

Ahmed E. Kamal

Proceedings of the 9th IEEE International Conference on Mobile Ad-Hoc and Sensor Systems, 2012

Monitoring Traffic Activity Graphs with low-rank matrix approximation.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Conference on Local Computer Networks, 2012

A fast sketch for aggregate queries over high-speed network traffic.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2012, Orlando, FL, USA, March 25-30, 2012, 2012

Evidence Collection in Peer-to-Peer Network Investigations.

[BibT_eX]

[DOI]

Teja Myneedu

Proceedings of the Advances in Digital Forensics VIII, 2012

Accountable Anonymity: A Proxy Re-Encryption Based Anonymous Communication System.

[BibT_eX]

[DOI]

Leonardo Aguilera

Proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems, 2012

Pecan: A circuit-less P2P design for anonymity.

[BibT_eX]

[DOI]

Leonardo Aguilera

Proceedings of the 2012 IEEE Global Communications Conference, 2012

Approximate membership query over time-decaying windows for event stream processing.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM International Conference on Distributed Event-Based Systems, 2012

Detecting hidden communities in online auction networks.

[BibT_eX]

[DOI]

Kai Zhu

Lei Ying

Proceedings of the 46th Annual Conference on Information Sciences and Systems, 2012

2011

Leakage-Aware Modulo Scheduling for Embedded VLIW Processors.

[BibT_eX]

[DOI]

Jingling Xue

J. Comput. Sci. Technol., 2011

Design of Panoramic Mosaic Camera Based on FPGA Using Optimal Mosaic Algorithm.

[BibT_eX]

[DOI]

J. Comput., 2011

Practitioners' Challenges Panel: The Challenges and Opportunities of Forensic Investigation over Large Data Sets: Timeliness vs Precision vs Comprehensiveness.

[BibT_eX]

[DOI]

Nan Zhang

Michael Martin Losavio

Proceedings of the 2011 IEEE Sixth International Workshop on Systematic Approaches to Digital Forensic Engineering, 2011

An Automatic, Time-Based, Secure Pairing Protocol for Passive RFID.

[BibT_eX]

[DOI]

Clifford Bergman

Proceedings of the RFID. Security and Privacy - 7th International Workshop, 2011

Kinship verification from facial images under uncontrolled conditions.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Multimedia 2011, Scottsdale, AZ, USA, November 28, 2011

Efficient Spectrum Searching and Monitoring in Cognitive Radio Network.

[BibT_eX]

[DOI]

Ramzi R. Saifan

Ahmed E. Kamal

Proceedings of the IEEE 8th International Conference on Mobile Adhoc and Sensor Systems, 2011

MNFTL: an efficient flash translation layer for MLC NAND flash memory storage systems.

[BibT_eX]

[DOI]

Proceedings of the 48th Design Automation Conference, 2011

The Wireless Applied Research on Concatenated Code for SpaceWire Communication Network.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011

2010

A dynamic en-route filtering scheme for data reporting in wireless sensor networks.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2010

Thousands of Voices for HMM-Based Speech Synthesis-Analysis and Application of TTS Systems Built on Various ASR Corpora.

[BibT_eX]

[DOI]

IEEE Trans. Speech Audio Process., 2010

Gather/scatter hardware support for accelerating Fast Fourier Transform.

[BibT_eX]

[DOI]

Anderson Kuei-An Ku

Jingling Xue

J. Syst. Archit., 2010

Hyperbolic polynomial uniform B-spline curves and surfaces with shape parameter.

[BibT_eX]

[DOI]

Graph. Model., 2010

Monaural speech separation based on MAXVQ and CASA for robust speech recognition.

[BibT_eX]

[DOI]

Comput. Speech Lang., 2010

Scattered Points Denoising of TC-Bezier Surface Fitting.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Knowledge Discovery and Data Mining, 2010

Speaker adaptation and the evaluation of speaker similarity in the EMIME speech-to-speech translation project.

[BibT_eX]

[DOI]

Proceedings of the Seventh ISCA Tutorial and Research Workshop on Speech Synthesis, 2010

An unified and automatic approach of Mandarin HTS system.

[BibT_eX]

[DOI]

Proceedings of the Seventh ISCA Tutorial and Research Workshop on Speech Synthesis, 2010

RNFTL: a reuse-aware NAND flash translation layer for flash memory.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

Lightweight Mutual Authentication and Ownership Transfer for RFID Systems.

[BibT_eX]

[DOI]

Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

Research on k-means Clustering Algorithm: An Improved k-means Clustering Algorithm.

[BibT_eX]

[DOI]

Na Shi

Xumin Liu

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

Sketch-Based Streaming PCA Algorithm for Network-Wide Traffic Anomaly Detection.

[BibT_eX]

[DOI]

Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010

Secure online banking on untrusted computers.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

The axial position sensing and signal processing in maglev artificial heart pump.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Bio-Inspired Computing: Theories and Applications, 2010

Personalising Speech-To-Speech Translation in the EMIME Project.

[BibT_eX]

[DOI]

Proceedings of the ACL 2010, 2010

2009

TCP Performance in Flow-Based Mix Networks: Modeling and Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2009

A distributed data streaming algorithm for network-wide traffic anomaly detection.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2009

A Statistical Indoor Localization Method for Supporting Location-based Access Control.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2009

A Novel Architecture for Secure and Scalable Multicast over IP Network.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2009

Research and Design of On-board Dynamic Reconfigurable Router.

[BibT_eX]

[DOI]

Chunjing Mao

David Jungwirth

Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

Thousands of voices for HMM-based speech synthesis.

[BibT_eX]

[DOI]

Proceedings of the INTERSPEECH 2009, 2009

Trigonometric polynomial uniform B-spline surface with shape parameter.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, 2009

An Efficient Scheme for Securing XOR Network Coding against Pollution Attacks.

[BibT_eX]

[DOI]

Bhuvaneswari Ramkumar

Proceedings of the INFOCOM 2009. 28th IEEE International Conference on Computer Communications, 2009

Detecting Fraud in Internet Auction Systems.

[BibT_eX]

[DOI]

Yanlin Peng

Proceedings of the Advances in Digital Forensics V, 2009

Lightweight Secure Search Protocols for Low-cost RFID Systems.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

An Effective Method for Combating Malicious Scripts Clickbots.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2009

Application in Market Basket Research Based on FP-Growth Algorithm.

[BibT_eX]

[DOI]

Yongmei Liu

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008

A Key Management Scheme Using Deployment Knowledge for Wireless Sensor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2008

Research and Design of Digital Synthesizer Based on MATLAB.

[BibT_eX]

[DOI]

Chunjing Mao

Yongmei Liu

Proceedings of the Advances in Computation and Intelligence, Third International Symposium, 2008

A Two-Stage Algorithm for Multi-Speaker Identification System.

[BibT_eX]

[DOI]

Wenju Liu

Proceedings of the 6th International Symposium on Chinese Spoken Language Processing, 2008

Sale Decision-Making Model of United Operation between Hydropower and Thermal Power Considering Uncertain Factors.

[BibT_eX]

[DOI]

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

An Efficient Signature-Based Scheme for Securing Network Coding Against Pollution Attacks.

[BibT_eX]

[DOI]

Bhuvaneswari Ramkumar

Proceedings of the INFOCOM 2008. 27th IEEE International Conference on Computer Communications, 2008

Pre-Processing of X-Ray Medical Image Based on Improved Temporal Recursive Self-Adaptive Filter.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Vehicle Multi-sensor Information Optimization Based on Federal Fusion Valuation.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008

Hardware Design and Implementation of Intelligent Teaching Aid Based on FDD Theory.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008

Frequency Estimation over Sliding Windows.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Data Engineering, 2008

Detecting Click Fraud in Pay-Per-Click Streams of Online Advertising Networks.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

Embedded Sensor of Forecast Conveyer Belt Breaks.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008

A Novel Course System and Engineering Practice Design for Embed System Education.

[BibT_eX]

[DOI]

Xiaojuan Li

Huimei Yuan

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

PeerCredential: a reputation-based trust framework for Peer-to-Peer applications.

[BibT_eX]

[DOI]

William Sears

Int. J. Inf. Comput. Secur., 2007

Variance estimation over sliding windows.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2007

Wireless and Sensor Networks Security (WSNS) A Retrospection.

[BibT_eX]

[DOI]

Falko Dressler

Zhen Jiang

Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007

Location Verification Algorithms forWireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007

On TCP Performance in Flow-Based Mix Networks.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Symposium on Dependable, 2007

2006

A testbed for evaluation and analysis of stepping stone attack attribution techniques.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Testbeds & Research Infrastructures for the DEvelopment of NeTworks & COMmunities (TRIDENTCOM 2006), 2006

TOPO: A Topology-aware Single Packet Attack Traceback Scheme.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006

Detection of stepping stone attack under delay and chaff perturbations.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Performance Computing and Communications Conference, 2006

Collusion Detection Using Multimedia Fingerprints.

[BibT_eX]

[DOI]

Anthony G. Persaud

Proceedings of the Advances in Digital Forensics II - IFIP International Conference on Digital Forensics, National Centre for Forensic Science, Orlando, Florida, USA, January 29, 2006

Monaural Speech Separation Based on Computational Auditory Scene Analysis and Objective Quality Assessment of Speech.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August, 2006

COTA: A Robust Multi-hop Localization Scheme in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2006

2005

Shepherd: A lightweight statistical authentication protocol for access control in wireless LANs.

[BibT_eX]

[DOI]

Haoli Wang

Joel Cardo

Comput. Commun., 2005

A robust group-based key management scheme for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Wireless Communications and Networking Conference, 2005

A dynamic en-route scheme for filtering false data injection in wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

An Adaptive Reputation-based Trust Framework for Peer-to-Peer Applications.

[BibT_eX]

[DOI]

William Sears

Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

Customizing a Geographical Routing Protocol for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

A key pre-distribution scheme using deployment knowledge for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

A Spatial-Based Multi-Resolution Data Dissemination Scheme for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

A Framework for Email Investigation - Automated Information Extraction and Linkage Discovery.

[BibT_eX]

[DOI]

Anthony G. Persaud

Proceedings of the Advances in Digital Forensics, 2005

2004

A quantitative analysis of anonymous communications.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2004

Customizing GPSR for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Mobile Ad-hoc and Sensor Systems, 2004

Improving performance of text-independent speaker identification by utilizing contextual principal curves filtering.

[BibT_eX]

[DOI]

Proceedings of the INTERSPEECH 2004, 2004

An efficient data dissemination method in wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004

2003

Dependable Handling of Uncertainty.

[BibT_eX]

[DOI]

Reliab. Comput., 2003

A lightweight authentication protocol for access control in IEEE 802.11.

[BibT_eX]

[DOI]

Haoli Wang

Aravind Velayutham