Hong Zhu

According to our database1, Hong Zhu authored at least 401 papers between 1989 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Low-Illumination Image Enhancement Algorithm Based on a Physical Lighting Model.
IEEE Trans. Circuits Syst. Video Techn., 2019

Oriented-linear-tree based cost aggregation for stereo matching.
Multimedia Tools Appl., 2019

Multi-center convolutional descriptor aggregation for image retrieval.
Int. J. Machine Learning & Cybernetics, 2019

The Role of Significantly Deregulated MicroRNAs in Recurrent Cervical Cancer Based on Bioinformatic Analysis of the Cancer Genome Atlas Data.
Journal of Computational Biology, 2019

Finite-time asynchronous H resilient filtering for switched delayed neural networks with memory unideal measurements.
Inf. Sci., 2019

Low-resolution and open-set face recognition via recursive label propagation based on statistical classification.
IJWMIP, 2019

Object tracking via dual fuzzy low-rank approximation.
IJWMIP, 2019

Passivity-based non-fragile control for Markovian jump delayed systems via stochastic sampling.
Int. J. Control, 2019

Weight learning from cost matrix in weighted least squares model based on genetic algorithm.
IJBIC, 2019

Exponential H synchronization of switching fuzzy systems with time-varying delay and impulses.
Fuzzy Sets and Systems, 2019

Stereo Matching With Fusing Adaptive Support Weights.
IEEE Access, 2019

Scene Categorization Model Using Deep Visually Sensitive Features.
IEEE Access, 2019

Approving automation: analyzing requests for permissions of bots in wikidata.
Proceedings of the 15th International Symposium on Open Collaboration, 2019

Datamorphic Testing: A Method for Testing Intelligent Applications.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018
Special issue on automation of software testing: improving practical applicability.
Software Quality Journal, 2018

Training an extreme learning machine by localized generalization error model.
Soft Comput., 2018

Discovering the impact of hidden layer parameters on non-iterative training of feed-forward neural networks.
Soft Comput., 2018

The Convergent Generalized Central Paths for Linearly Constrained Convex Programming.
SIAM Journal on Optimization, 2018

Spatio-Temporal Super-Resolution Reconstruction of Remote-Sensing Images Based on Adaptive Multi-Scale Detail Enhancement.
Sensors, 2018

Super-Resolution Reconstruction and Its Application Based on Multilevel Main Structure and Detail Boosting.
Remote Sensing, 2018

Multi-Instance Dimensionality Reduction via Sparsity and Orthogonality.
Neural Computation, 2018

Epipolar Rectification by Singular Value Decomposition of Essential Matrix.
Multimedia Tools Appl., 2018

Disparity-Based Measurement on Participation Interest and Competition Recommendation Method.
JSW, 2018

Coastal Zone Classification Based on Multisource Remote Sensing Imagery Fusion.
J. Sensors, 2018

Multiple graphs clustering by gradient flow method.
J. Franklin Institute, 2018

Optimizing Overlap Reductions of Feature Regions for Image Registration.
JCP, 2018

EFTG: Efficient and Flexible Top-K Geo-textual Publish/Subscribe.
TIIS, 2018

Executing multi-dimensional range query efficiently and flexibly over outsourced ciphertexts in the cloud.
Inf. Sci., 2018

Quantized feedback control for time-delay systems via sliding mode observers.
IMA J. Math. Control & Information, 2018

New results for uncertain switched neural networks with mixed delays using hybrid division method.
Neurocomputing, 2018

Mining social lending motivations for loan project recommendations.
Expert Syst. Appl., 2018

Hydroxyapatite extracted by animal bone image analysis in ionic liquid choline chloride-glycerol.
EURASIP J. Image and Video Processing, 2018

Correlation feature-based detector for range distributed target in sea clutter.
EURASIP J. Adv. Sig. Proc., 2018

Practical Adversarial Attack Against Object Detector.
CoRR, 2018

Medical Image Segmentation Using Fruit Fly Optimization and Density Peaks Clustering.
Comp. Math. Methods in Medicine, 2018

Extended dissipative estimator design for uncertain switched delayed neural networks via a novel triple integral inequality.
Applied Mathematics and Computation, 2018

If Docker is the Answer, What is the Question?
Proceedings of the IEEE Symposium on Service-Oriented System Engineering, 2018

Holistic Brain Tumor Screening and Classification Based on DenseNet and Recurrent Neural Network.
Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2018

Software testing as a problem of machine learning: towards a foundation on computational learning theory (extended abstract of keynote speech).
Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Text Classification Based on Word2vec and Convolutional Neural Network.
Proceedings of the Neural Information Processing - 25th International Conference, 2018

Research on Interactive Design of Vehicle Information Interface for Old People Based on Visual Characteristics.
Proceedings of the HCI International 2018 - Posters' Extended Abstracts, 2018

Message from SETA 2018 Symposium Chairs.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Formal Analysis of Load Balancing in Microservices with Scenario Calculus.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017
Guest Editorial: Advances in Web Services Research.
IEEE Trans. Services Computing, 2017

The central role of test automation in software quality assurance.
Software Quality Journal, 2017

Characteristic of the equivalent impedance for an m×n RLC network with an arbitrary boundary.
Frontiers of IT & EE, 2017

Nonconvex and Nonsmooth Optimization with Generalized Orthogonality Constraints: An Approximate Augmented Lagrangian Method.
J. Sci. Comput., 2017

Chaotification of a class of linear switching systems based on a Shilnikov criterion.
J. Franklin Institute, 2017

State estimation of neural networks with two Markovian jumping parameters and multiple time delays.
J. Franklin Institute, 2017

Visual feature coding based on heterogeneous structure fusion for image classification.
Information Fusion, 2017

Monotonic classification extreme learning machine.
Neurocomputing, 2017

Object tracking using color-feature guided network generalization and tailored feature fusion.
Neurocomputing, 2017

Discrete differential evolutions for the discounted {0-1} knapsack problem.
IJBIC, 2017

Tenant-based access control model for multi-tenancy and sub-tenancy architecture in Software-as-a-Service.
Frontiers Comput. Sci., 2017

An Improved Multiobjective Particle Swarm Optimization Based on Culture Algorithms.
Algorithms, 2017

Aviation Emergency Rescue Evaluation Capability Based on Improved λρ Fuzzy Measure.
Proceedings of the 2017 IEEE International Conference on Smart Cloud, 2017

Query Optimization Strategies in Probabilistic Relational Databases.
Proceedings of the Theoretical Computer Science - 35th National Conference, 2017

AST 2017 Workshop Summary.
Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

Object Tracking Based on Multi-modality Dictionary Learning.
Proceedings of the Image and Graphics - 9th International Conference, 2017

Decreased variability of dynamic phase synchronization in brain networks during hand movement.
Proceedings of the 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2017

On the Composibility of Design Patterns: Extended Abstract.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Message from SETA 2017 Symposium Chairs.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Fuzzy Keyword Search and Access Control over Ciphertexts in Cloud Computing.
Proceedings of the Information Security and Privacy - 22nd Australasian Conference, 2017

2016
Privacy-preserving ranked neighbor query over encrypted graph data in the cloud.
Security and Communication Networks, 2016

Identity-based key management for cloud computing.
Security and Communication Networks, 2016

On efficient conditioning of probabilistic relational databases.
Knowl.-Based Syst., 2016

Synchronization for time-varying complex networks based on control.
J. Computational Applied Mathematics, 2016

Privacy-assured Boolean Adjacent Vertex Search over Encrypted Graph Data in Cloud Computing.
TIIS, 2016

Some novel approaches on state estimation of delayed neural networks.
Inf. Sci., 2016

Efficient authorisation update on cloud data.
IJWGS, 2016

VParC: a compression scheme for numeric data in column-oriented databases.
Int. Arab J. Inf. Technol., 2016

Novel delay-dependent master-slave synchronization criteria of chaotic Lur'e systems with time-varying-delay feedback control.
Applied Mathematics and Computation, 2016

Secure Shortest Path Search over Encrypted Graph Supporting Synonym Query in Cloud Computing.
Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

CAOPLE: A Programming Language for Microservices SaaS.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Monic Testing of Web Services Based on Algebraic Specifications.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Trends and Directions in Cloud Service Selection.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

An approach to sample selection from big data for classification.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

An Efficient Initialization Method for Probabilistic Relational Databases.
Proceedings of the Database and Expert Systems Applications, 2016

Medical Image Segmentation Using Improved Affinity Propagation.
Proceedings of the Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications, 2016

A Multi-key Transactions Model for NoSQL Cloud Database Systems.
Proceedings of the Second IEEE International Conference on Big Data Computing Service and Applications, 2016

CIDE: An Integrated Development Environment for Microservices.
Proceedings of the IEEE International Conference on Services Computing, 2016

2015
On the Composability of Design Patterns.
IEEE Trans. Software Eng., 2015

A distributed scheme for row-based computational private information retrieval.
Security and Communication Networks, 2015

Generating chaos for a class of linear switching control systems: A hybrid approach.
J. Franklin Institute, 2015

New stability analysis for neutral type neural networks with discrete and distributed delays using a multiple integral approach.
J. Franklin Institute, 2015

Complexity analysis and algorithms for the Program Download Problem.
J. Comb. Optim., 2015

Finite-time H control for a class of discrete-time Markovian jump systems with partly unknown time-varying transition probabilities subject to average dwell time switching.
Int. J. Systems Science, 2015

New delay-dependent stability criteria for neutral-type neural networks with mixed random time-varying delays.
Neurocomputing, 2015

State estimation for neural networks with multiple time delays.
Neurocomputing, 2015

Feature structure fusion modelling for classification.
IET Image Processing, 2015

Multiple comparisons for survival data with propensity score adjustment.
Computational Statistics & Data Analysis, 2015

Anonymization on refining partition: Same privacy, more utility.
Comput. Sci. Inf. Syst., 2015

Privacy-Preserving Data Publication with Features of Independent ℓ-Diversity.
Comput. J., 2015

JFuzz: A Tool for Automated Java Unit Testing Based on Data Mutation and Metamorphic Testing Methods.
Proceedings of the 2015 Second International Conference on Trustworthy Systems and Their Applications, 2015

Automated Testing of Web Services Based on Algebraic Specifications.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

An Ordinal Random Forest and Its Parallel Implementation with MapReduce.
Proceedings of the 2015 IEEE International Conference on Systems, 2015

2-Phase high-frequency clock distribution with SPLIT-IO dual-Vt repeaters for suppressed leakage currents.
Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

Research on ordinal regression of interval valued data.
Proceedings of the 2015 International Conference on Machine Learning and Cybernetics, 2015

Modeling and Simulating Adaptive Multi-agent Systems with CAMLE.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

DOA estimation for coherent and incoherent wideband sources via sparse representation of the focused array covariance vectors.
Proceedings of the IEEE China Summit and International Conference on Signal and Information Processing, 2015

Java source code defect detection.
Proceedings of the 8th International Conference on Biomedical Engineering and Informatics, 2015

Big SaaS: The Next Step Beyond Big Data.
Proceedings of the 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27, 2015

Evaluation of a Tenant Level Checkpointing Technique for SaaS Applications.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014
Novel Low-Leakage and High-Speed Triple-Threshold-Voltage Buffers With Skewed Inputs and Outputs.
IEEE Trans. on Circuits and Systems, 2014

A Comprehensive Comparison of Data Stability Enhancement Techniques With Novel Nanoscale SRAM Cells Under Parameter Fluctuations.
IEEE Trans. on Circuits and Systems, 2014

Toward a mature industrial practice of software test automation.
Software Quality Journal, 2014

A Multi-resolution Image Fusion Algorithm Based on Multi-factor Weights.
JDIM, 2014

State Estimation for Discrete-Time Stochastic Neural Networks with Mixed Delays.
J. Applied Mathematics, 2014

Feature structure fusion and its application.
Information Fusion, 2014

Less conservative stability criteria for neural networks with discrete and distributed delays using a delay-partitioning approach.
Neurocomputing, 2014

Finite-time boundedness of state estimation for neural networks with time-varying delays.
Neurocomputing, 2014

Chaotification of a Class of Linear Switching Systems by Hybrid Driven Methods.
I. J. Bifurcation and Chaos, 2014

On strong list edge coloring of subcubic graphs.
Discrete Mathematics, 2014

Love wave in an isotropic homogeneous elastic half-space with a functionally graded cap layer.
Applied Mathematics and Computation, 2014

Stochastic finite-time boundedness for Markovian jumping neural networks with time-varying delays.
Applied Mathematics and Computation, 2014

An Efficient Conditioning Method for Probabilistic Relational Databases.
Proceedings of the Web-Age Information Management - 15th International Conference, 2014

Tenant Level Checkpointing of Meta-data for Multi-tenancy SaaS.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

SOFIA: An Algebraic Specification Language for Developing Services.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

A comprehensive comparison of superior triple-threshold-voltage 7-transistor, 8-transistor, and 9-transistor SRAM cells.
Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014

Anonymization on refining partition: Same privacy, more utility.
Proceedings of the 2nd International Conference on Systems and Informatics, 2014

Monotonic Decision Tree for Interval Valued Data.
Proceedings of the Machine Learning and Cybernetics, 2014

Parallel Ordinal Decision Tree Algorithm and Its Implementation in Framework of MapReduce.
Proceedings of the Machine Learning and Cybernetics, 2014

An Improved Approach to Ordinal Classification.
Proceedings of the Machine Learning and Cybernetics, 2014

Preserving privacy for sensitive values of individuals in data publishing based on a new additive noise approach.
Proceedings of the 23rd International Conference on Computer Communication and Networks, 2014

Equi-join for Multiple Datasets Based on Time Cost Evaluation Model.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2014

Outlier Detection Method of Environmental Streams Based on Kernel Density Estimation.
Proceedings of the Advances in Wireless Sensor Networks - The 8th China Conference, 2014

Robust finite-time bounded H∞ control for a class of nonlinear quadratic Markovian jump systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions.
Proceedings of the Advanced Web Services, 2014

Hasard.
Proceedings of the Relating System Quality and Software Architecture, 2014

Towards a General Theory of Patterns.
Proceedings of the Cyberpatterns, 2014

Cyberpatterns: Towards a Pattern Oriented Study of Cyberspace.
Proceedings of the Cyberpatterns, 2014

Future Directions for Research on Cyberpatterns.
Proceedings of the Cyberpatterns, 2014

2013
An algebra of design patterns.
ACM Trans. Softw. Eng. Methodol., 2013

Lightweight key management on sensitive data in the cloud.
Security and Communication Networks, 2013

Multi-feature structure fusion of contours for unsupervised shape classification.
Pattern Recognition Letters, 2013

Research of semi-supervised spectral clustering based on constraints expansion.
Neural Computing and Applications, 2013

Attribute Granulation Based on Attribute Discernibility and AP Algorithm.
JSW, 2013

A Feature Weighted Spectral Clustering Algorithm Based on Knowledge Entropy.
JSW, 2013

Special section on automation of software test.
Journal of Systems and Software, 2013

A parallel attribute reduction algorithm based on Affinity Propagation clustering.
JCP, 2013

Invasive Weed Optimization Algorithm for Optimizating the Parameters of Mixed Kernel Twin Support Vector Machines.
JCP, 2013

Less Conservative Stability Criteria for Neutral Type Neural Networks with Mixed Time-Varying Delays.
J. Applied Mathematics, 2013

Preface - Service-Oriented System Engineering: An Emerging Engineering Discipline.
Int. J. Software and Informatics, 2013

Less conservative stability criteria for stochastic discrete-time recurrent neural networks with the time-varying delay.
Neurocomputing, 2013

Self-Adaptive Power Management of Idle Nodes in Large Scale Systems.
IJNGC, 2013

Effective search space reduction for human pose estimation with Viterbi recurrence algorithm.
IJMIC, 2013

H Filtering for Stochastic Systems with Markovian Switching and Partly Unknown Transition Probabilities.
CSSP, 2013

Finite-Time Stabilization of H Filtering for Switched Stochastic Systems.
CSSP, 2013

Primal and dual alternating direction algorithms for 1- 1-norm minimization problems in compressive sensing.
Comp. Opt. and Appl., 2013

Large sparse signal recovery by conjugate gradient algorithm based on smoothing technique.
Computers & Mathematics with Applications, 2013

Globally exponential stability for neural networks with time-varying delays.
Applied Mathematics and Computation, 2013

Novel delay-dependent robust stability criteria for neutral systems with mixed time-varying delays and nonlinear perturbations.
Applied Mathematics and Computation, 2013

Multi-Cell Downlink Joint Transmission with 3D Beamforming.
Proceedings of the 78th IEEE Vehicular Technology Conference, 2013

A Case Study on Algebraic Specification of Cloud Computing.
Proceedings of the 21st Euromicro International Conference on Parallel, 2013

Impact of process parameter and supply voltage fluctuations on multi-threshold-voltage seven-transistor static memory cells.
Proceedings of the International Symposium on Quality Electronic Design, 2013

Novel dual-threshold-voltage energy-efficient buffers for driving large extrinsic load capacitance.
Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

Two MRJs for Multi-way Theta-Join in MapReduce.
Proceedings of the Internet and Distributed Computing Systems, 2013

From Algebraic Specification to Ontological Description of Service Semantics.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Foreword.
Proceedings of the 8th International Workshop on Automation of Software Test, 2013

8th international workshop on automation of software test (AST 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

Lightweight Management of Authorization Update on Cloud Data.
Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, 2013

Fixed-length string compression for direct operations in column-oriented databases.
Proceedings of the Ninth International Conference on Natural Computation, 2013

H∞ filtering of discrete-time switched systems with average dwell time under asynchronous switching.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

Analyzing and Controlling Information Inference of Fine-Grained Access Control Policies in Relational Databases.
Proceedings of the 2013 Fourth International Conference on Emerging Intelligent Data and Web Technologies, 2013

An Agent-Oriented Approach to Support Multidisciplinary Care Decisions.
Proceedings of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems, 2013

The Program Download Problem: Complexity and Algorithms.
Proceedings of the Computing and Combinatorics, 19th International Conference, 2013

Vehicle Scheduling Problem on Trees.
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

A Client Privacy Preserving Discovery Service Scheme.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012
Collaborative Testing of Web Services.
IEEE Trans. Services Computing, 2012

Optimizing radial basis function neural network based on rough sets and affinity propagation clustering algorithm.
Journal of Zhejiang University - Science C, 2012

Minimum common string partition revisited.
J. Comb. Optim., 2012

Filtering-Based Fault Detection for Stochastic Markovian Jump System with Distributed Time-Varying Delays and Mixed Modes.
J. Applied Mathematics, 2012

Robust Stability of Switched Delay Systems with Average Dwell Time under Asynchronous Switching.
J. Applied Mathematics, 2012

Editorial of the Special Issue on Software Modelling and Meta-Modelling.
Int. J. Software and Informatics, 2012

Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy.
Int. J. Software and Informatics, 2012

Equivalent Ground Conductivity Inversion in Maritime ASF Correction.
IEICE Transactions, 2012

An institution theory of formal meta-modelling in graphically extended BNF.
Frontiers Comput. Sci. China, 2012

Exponential mean-square stability of time-delay singular systems with Markovian switching and nonlinear perturbations.
Applied Mathematics and Computation, 2012

A survey on feature extraction for pattern recognition.
Artif. Intell. Rev., 2012

A Power Provision and Capping Architecture for Large Scale Systems.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Position statement: Can software design benefit from creative computing?
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Position statement: Can testing prove software has no bug?
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

CATest: A Test Automation Framework for Multi-agent Systems.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Self-adaptive management of the sleep depths of idle nodes in large scale systems to balance between energy consumption and response times.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

2011
Guest editors' introduction to the special section on exploring the boundaries of software test automation.
Software Quality Journal, 2011

Particle Swarm Optimization for Automatic Parameters Determination of Pulse Coupled Neural Network.
JCP, 2011

Studies on Optimization Algorithms for Some Artificial Neural Networks Based on Genetic Algorithm (GA).
JCP, 2011

Greedy Construction of 2-Approximate Minimum Manhattan Networks.
Int. J. Comput. Geometry Appl., 2011

Automation of software test (AST '09) [Editorial].
IET Software, 2011

Unifying domain ontology with agent-oriented modeling of services.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Modelling, measurement and analysis of narrowband fast fading on relay channels.
Proceedings of the IEEE 22nd International Symposium on Personal, 2011

Radio propagation measurements and channel characterisation pertinent to urban microcellular communications systems incorporating relay links.
Proceedings of the IEEE 22nd International Symposium on Personal, 2011

A Conceptual Framework for Vendor Selection based on Supply Chain Risk Management from a Literature Review.
Proceedings of the LISS 2011 - Proceedings of the 1st International Conference on Logistics, Informatics and Service Science, Volume 1, Beijing, China, 8, 2011

Symmetrical triple-threshold-voltage nine-transistor SRAM circuit with superior noise immunity and overall electrical quality.
Proceedings of the International SoC Design Conference, 2011

Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems.
Proceedings of the 13th IEEE International Conference on High Performance Computing & Communication, 2011

An Intelligent Broker Approach to Semantics-Based Service Composition.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Human Action Recognition Based on Random Spectral Regression.
Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

2010
A survey of the research on power management techniques for high-performance systems.
Softw., Pract. Exper., 2010

A method for extracting the internal structure of biomedical images based on SRG and texture gradient.
Mathematical and Computer Modelling, 2010

On the convergence of autonomous agent communities.
Multiagent and Grid Systems, 2010

A fine-grained access control model for relational databases.
Journal of Zhejiang University - Science C, 2010

Formal specification of the variants and behavioural features of design patterns.
Journal of Systems and Software, 2010

Research and Progress of Cluster Algorithms based on Granular Computing.
JDCTA, 2010

Dynamic Damage Recovery for Web Databases.
J. Comput. Sci. Technol., 2010

Using Genetic Algorithms to Optimize Artificial Neural Networks.
JCIT, 2010

Dynamic algorithms for autonomic pervasive services in mobile wireless environments.
Int. J. Auton. Comp., 2010

A Measurement of Software Trustworthiness Based on Approximation Algorithms.
Proceedings of the Symposia and Workshops on Ubiquitous, 2010

On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Algebraic Specification of Web Services.
Proceedings of the 10th International Conference on Quality Software, 2010

An Experiment with Algebraic Specifications of Software Components.
Proceedings of the 10th International Conference on Quality Software, 2010

Neural Networks Algorithm Based on Factor Analysis.
Proceedings of the Advances in Neural Networks, 2010

Improved Dynamic Time Warping algorithm the research and application of query by humming.
Proceedings of the Sixth International Conference on Natural Computation, 2010

Laws of Pattern Composition.
Proceedings of the Formal Methods and Software Engineering, 2010

Glomeruli extraction by canny operator with a feedback strategy.
Proceedings of the Second International Conference on Digital Image Processing, 2010

Minimum Common String Partition Revisited.
Proceedings of the Frontiers in Algorithmics, 4th International Workshop, 2010

A Gait Recognition Method Based on Human Posture Pick Extraction.
Proceedings of the Second International Workshop on Database Technology and Applications, 2010

2009
Preface: Algorithms, complexity and models of computation.
Theor. Comput. Sci., 2009

A practical mandatory access control model for XML databases.
Inf. Sci., 2009

Advancing test automation technology to meet the challenges of model-based software testing - Guest editors' introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008).
Information & Software Technology, 2009

Engineering quality software - Guest editor's introduction to the special section of the Eighth International Conference on Quality Software (QSIC 2008).
Information & Software Technology, 2009

On Construction of Almost-Ramanujan Graphs.
Discrete Math., Alg. and Appl., 2009

Approximation algorithms for inner-node weighted minimum spanning trees.
Comput. Syst. Sci. Eng., 2009

Guest Editorial to the Special Issue on Automation of Software Testing.
Comput. J., 2009

Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool.
Comput. J., 2009

A 1-Local Asymptotic 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs.
Algorithmica, 2009

Semantics of Metamodels in UML.
Proceedings of the TASE 2009, 2009

Average Transitive Trustworthy Degrees for Trustworthy Networks.
Proceedings of the Rough Sets and Knowledge Technology, 4th International Conference, 2009

An Efficient Semantic Web Services Matching Mechanism.
Proceedings of the Resource Discovery, Second International Workshop, 2009

Approximation Strategy Based on Data Merging for Static Data Management in Networks.
Proceedings of the International Conference on Networked Computing and Advanced Information Management, 2009

General Framework for Animal Food Safety Traceability Using GS1 and RFID.
Proceedings of the Computer and Computing Technologies in Agriculture III, 2009

A Robust Damage Assessment Model for Corrupted Database Systems.
Proceedings of the Information Systems Security, 5th International Conference, 2009

Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

Unsupervised Word Sense Discrimination Improves Construction of the Wordnets.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Tool Support for Design Pattern Recognition at Model Level.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

The Closest Pair Problem under the Hamming Metric.
Proceedings of the Computing and Combinatorics, 15th Annual International Conference, 2009

On Construction of Almost-Ramanujan Graphs.
Proceedings of the Combinatorial Optimization and Applications, 2009

On the Soundness Property for SQL Queries of Fine-grained Access Control in DBMSs.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

Formal Descriptive Semantics of UML and Its Applications.
Proceedings of the UML 2 Semantics and Applications, 2009

2008
Software Verification and Validation.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

An adaptive casteship mechanism for developing multi-agent systems.
IJCAT, 2008

In Situ Real-Time Chemiluminescence Imaging of Reactive Oxygen Species Formation from Cardiomyocytes.
Int. J. Biomedical Imaging, 2008

Controlling Information Leakage of Fine-Grained Access Model in DBMSs.
Proceedings of the Ninth International Conference on Web-Age Information Management, 2008

An Experimental Evaluation of the Reliability of Adaptive Random Testing Methods.
Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008

Ontology for Service Oriented Testing of Web Services.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Framework for Agent-Based Service-Oriented Modelling.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Virtual Machine for Distributed Agent-oriented Programming.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

On the Composition of Design Patterns.
Proceedings of the Eighth International Conference on Quality Software, 2008

Measuring word polysemousness and sense granularity at a language level.
Proceedings of the 4th International Conference on Natural Language Processing and Knowledge Engineering, 2008

Greedy Construction of 2-Approximation Minimum Manhattan Network.
Proceedings of the Algorithms and Computation, 19th International Symposium, 2008

Dynamic data recovery for database systems based on fine grained transaction log.
Proceedings of the 12th International Database Engineering and Applications Symposium (IDEAS 2008), 2008

When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2008

Pre-Processing of X-Ray Medical Image Based on Improved Temporal Recursive Self-Adaptive Filter.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Testing Java Components based on Algebraic Specifications.
Proceedings of the First International Conference on Software Testing, 2008

Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Vehicle Multi-sensor Information Optimization Based on Federal Fusion Valuation.
Proceedings of the Fourth International Conference on Natural Computation, 2008

Simulink Modeling and Comparison of Zhang Neural Networks and Gradient Neural Networks for Time-Varying Lyapunov Equation Solving.
Proceedings of the Fourth International Conference on Natural Computation, 2008

A Formal Descriptive Semantics of UML.
Proceedings of the Formal Methods and Software Engineering, 2008

Fast N-Dimensional Hilbert Mapping Algorithm.
Proceedings of the Selected Papers of the Sixth International Conference on Computational Sciences and Its Applications, 2008

Concept Acquisition from Corpora: Using an Automatic Clustering Method Based on Chinese Measure Words.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

Data Mutation Testing Applied to a Modelling Tool.
Proceedings of the INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8., 2008

Tracking and Repairing Damaged Databases Using Before Image Table.
Proceedings of the Japan-China Joint Workshop on Frontier of Computer Science and Technology, 2008

Specifying Behavioural Features of Design Patterns in First Order Logic.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Fast 2-Approximation Algorithm for the Minimum Manhattan Network Problem.
Proceedings of the Algorithmic Aspects in Information and Management, 2008

2007
Navigability Design and Measurement.
Proceedings of the Encyclopedia of Portal Technologies and Applications (2 Volumes), 2007

Zoned-RAID.
TOS, 2007

Efficient algorithms for finding a longest common increasing subsequence.
J. Comb. Optim., 2007

Greedy online frequency allocation in cellular networks.
Inf. Process. Lett., 2007

Modelling Web Services in the agent-oriented modelling language and environment CAMLE.
IJSPM, 2007

The Advantage of PET and CT Integration in Examination of Lung Tumors.
Int. J. Biomedical Imaging, 2007

Stability analysis and control synthesis for a class of switched neutral systems.
Applied Mathematics and Computation, 2007

Approximating the Maximum Sharing Problem.
Proceedings of the Algorithms and Data Structures, 10th International Workshop, 2007

MCD: A Joint Semantic Project on East Asian Languages.
Proceedings of the Intercultural Collaboration, First International Workshop, 2007

A flexible mandatory access control policy for XML databases.
Proceedings of the 2nf International Conference on Scalable Information Systems, 2007

Automation of Software Test - Report on the Second Interional Workshop AST 2007.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Position Estimation Based Object Tracking across Multiple Cameras.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

Executing Query over Encrypted Character Strings in Databases.
Proceedings of the Japan-China Joint Workshop on Frontier of Computer Science and Technology, 2007

Automated Testing EJB Components Based on Algebraic Specifications.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

A 1-Local 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs.
Proceedings of the Computing and Combinatorics, 13th Annual International Conference, 2007

An experimental study of the emergent behaviors of self-organized agent communities.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

Fine-Grained Access Control for Database Management Systems.
Proceedings of the Data Management. Data, 2007

Efficient Algorithms for k -Disjoint Paths Problems on DAGs.
Proceedings of the Algorithmic Aspects in Information and Management, 2007

Online OVSF Code Assignment with Resource Augmentation.
Proceedings of the Algorithmic Aspects in Information and Management, 2007

2006
Approximating the minimum weight weak vertex cover.
Theor. Comput. Sci., 2006

Shaping the emerging paradigm of agent-orientation: Special issue on agent-oriented software development methodologies.
Multiagent and Grid Systems, 2006

An Improved Algorithm for Finding the Closest Pair of Points.
J. Comput. Sci. Technol., 2006

A dynamic programming approach of finding an optimal broadcast schedule in minimizing total flow time.
J. Comb. Optim., 2006

Assuring quality of web-based applications.
Information & Software Technology, 2006

Health Monitoring of Rehabilitated Concrete Bridges Using Distributed Optical Fiber Sensing.
Comp.-Aided Civil and Infrastruct. Engineering, 2006

A Bounded Item Bin Packing Problem over Discrete Distribution.
Proceedings of the Theory and Applications of Models of Computation, 2006

Very Fast Region-Connected Segmentation for Spatial Data: Case Study.
Proceedings of the IEEE International Conference on Systems, 2006

Specifying Consistency Constraints for Modelling Languages.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Java Annotated Concurrency Based on the Concurrent Package.
Proceedings of the Seventh International Conference on Parallel and Distributed Computing, 2006

On Approximating the Maximum Simple Sharing Problem.
Proceedings of the Algorithms and Computation, 17th International Symposium, 2006

Frequency Allocation Problems for Linear Cellular Networks.
Proceedings of the Algorithms and Computation, 17th International Symposium, 2006

Feature Selection for Microarray Data Analysis Using Mutual Information and Rough Set Theory.
Proceedings of the Artificial Intelligence Applications and Innovations, 2006

The first international workshop on automation of software test.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Testing Software Modelling Tools Using Data Mutation.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006

Feature Selection for Microarray Data Analysis Using Mutual Information and Rough Set Theory.
Proceedings of the Computational Intelligence and Bioinformatics, 2006

Traversing the Machining Graph.
Proceedings of the Algorithms, 2006

A Framework for Service-Oriented Testing of Web Services.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Tool Support to Model-based Quality Analysis of Software Architecture.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

An Access-Control Policy Based on Sharing Resource Management for a Multi-domains Environment.
Proceedings of the Autonomic and Trusted Computing, Third International Conference, 2006

Non-metric Multicommodity and Multilevel Facility Location.
Proceedings of the Algorithmic Aspects in Information and Management, 2006

2005
Progress in Computational Complexity Theory.
J. Comput. Sci. Technol., 2005

Agent-Oriented Modelling and Specification of Web Services.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Formal Reasoning about Emergent Behaviours of Multi-Agent Systems.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Caste-Centric Agent-Oriented Programming.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Efficient Algorithms for Finding a Longest Common Increasing Subsequence.
Proceedings of the Algorithms and Computation, 16th International Symposium, 2005

3-D Head Pose Estimation for Monocular Image.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

Signature Verification Method Based on the Combination of Shape and Dynamic Feature.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Second International Conference, 2005

Empirical Validation of Website Timeliness Measures.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Agent Oriented Programming Based on SLABS.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Off-Line Algorithms for Minimizing Total Flow Time in Broadcast Scheduling.
Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005

Towards an agent oriented programming language with caste and scenario mechanisms.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Fast Mode Decision for H.264/AVC Based on Macroblock Correlation.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005

Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools.
Proceedings of the Model-Driven Software Development, 2005

Software design methodology - from pinciples to architectural styles.
Elsevier, ISBN: 978-0-7506-6075-4, 2005

2004
Approximation Algorithm for Weighted Weak Vertex Cover.
J. Comput. Sci. Technol., 2004

(2+f(n))-SAT and its properties.
Discrete Applied Mathematics, 2004

High resolution live streaming with the HYDRA architecture.
Computers in Entertainment, 2004

Approximation for Dominating Set Problem with Measure Functions.
Computers and Artificial Intelligence, 2004

Minimizing Mean Completion Time in a Batch Processing System.
Algorithmica, 2004

Fully Truthful Mechanisms.
Proceedings of the SOFSEM 2004: Theory and Practice of Computer Science, 2004

CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004

Website Complexity Metrics for Measuring Navigability.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

Quantum m-out-of-n oblivious transfer.
Proceedings of the 9th IEEE Symposium on Computers and Communications (ISCC 2006), June 28, 2004

A Probabilistic Parameterized Algorithm for Vertex Cover in Sticker Model.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Nash Equilibria in Parallel Downloading with Multiple Clients.
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

Agent-Oriented Formal Specification of Web Services.
Proceedings of the Grid and Cooperative Computing, 2004

Cooperative Agent Approach to Quality Assurance and Testing Web Software.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Consistency Check in Modelling Multi-Agent Systems.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

An Approximation Algorithm for Weighted Weak Vertex Cover Problem in Undirected Graphs.
Proceedings of the Computing and Combinatorics, 10th Annual International Conference, 2004

General Public Key m-Out-of-n Oblivious Transfer.
Proceedings of the Computational and Information Science, First International Symposium, 2004

Scenario Mechanism in Agent-Oriented Programming.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

Some Observations on Zap and Its Applications.
Proceedings of the Applied Cryptography and Network Security, 2004

2003
Micromachining Process Of Piezoelectric Microcantilever Using Pzt Thin Film.
International Journal of Computational Engineering Science, 2003

Study On Feature Of Silicon Microtrenches With A Multiplexed Inductively Coupled Plasma Etcher.
International Journal of Computational Engineering Science, 2003

Development And Comparison Of Micromachined Inductors For Rf Applications.
International Journal of Computational Engineering Science, 2003

Design Issues Of Multilayer Piezoelectric Biosensors.
International Journal of Computational Engineering Science, 2003

Analysis And Comparison Of Flexure Structures Used In 3-D Electrostatic Microactuators For Hard Disk Drives.
International Journal of Computational Engineering Science, 2003

Quantum m-out-of-n Oblivious Transfer
CoRR, 2003

Combinatorial auction across independent markets (extended abstract).
Proceedings of the Proceedings 4th ACM Conference on Electronic Commerce (EC-2003), 2003

A Note on Test Oracles and Semantics of Algebraic Specifications.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Building Semantic Peer-to-Peer Networks upon CAN.
Proceedings of the Group Communications and Charges; Technology and Business Models, 2003

Caste: A Step beyond Object Orientation.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

Double Auction in Two-Level Markets.
Proceedings of the Computational Science - ICCS 2003, 2003

Soft Gene, Role, Agent: MABS Learns from Sociology.
Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003

Modelling and Specifying Scenarios and Agent Behaviour.
Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003

Modelling Cooperative Multi-agent Systems.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

The Closest Vector Problem on Some Lattices.
Proceedings of the Grid and Cooperative Computing, Second International Workshop, 2003

Resettable Zero-Knowledge in the Weak Public-Key Model.
Proceedings of the Advances in Cryptology, 2003

NetBouncer: Client-legitimacy-based High-performance DDoS Filtering.
Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

A Multi-Agent Software Environment for Testing Web-based Applications.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

A formal specification language for agent-oriented software engineering.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction.
Proceedings of the Advances in Computing Science, 2003

Modelling Multi-agent Systems with Soft Genes, Roles, and Agents.
Proceedings of the Agent-Oriented Software Engineering IV, 4th International Workshop, 2003

2002
Software requirements validation via task analysis.
Journal of Systems and Software, 2002

A methodology of testing high-level Petri nets.
Information & Software Technology, 2002

Reduction Zero-Knowledge.
Proceedings of the Security in Communication Networks, Third International Conference, 2002

Rapidly assessing the flood disaster by using remote sensing and GIS.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2002

Formal Specification of Evolutionary Software Agents.
Proceedings of the Formal Methods and Software Engineering, 2002

Application of Hazard Analysis to Software Quality Modelling.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

(2+ f(n))-SAT and Its Properties.
Proceedings of the Computing and Combinatorics, 8th Annual International Conference, 2002

Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem.
Proceedings of the AOIS '02, 2002

Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem.
Proceedings of the AOIS '02, 2002

2001
SLABS: A Formal Specification Language for Agent-Based Systems.
International Journal of Software Engineering and Knowledge Engineering, 2001

The Role of Castes in Formal Specification of MAS.
Proceedings of the Intelligent Agents: Specification, 2001

A Polynomial Time Approximation Scheme for Minimizing Total Completion Time of Unbounded Batch Scheduling.
Proceedings of the Algorithms and Computation, 12th International Symposium, 2001

Quality Modelling for Web-Based Information Systems.
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

Yima: Design and Evaluation of a Streaming Media System for Residential Broadband Services.
Proceedings of the Databases in Telecommunications II, VLDB 2001 International Workshop, 2001

An Observational Theory of Integration Testing for Component-Based Software Development.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

A Configuration Management System Supporting Component-Based Software Development.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000
Scenario Analysis in an Automated Tool for Requirements Engineering.
Requir. Eng., 2000

Constructions of behaviour observation schemes in software testing.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

Formal Specification of Agent Behaviour through Environment Scenarios.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Automating Scenario-Driven Structured Requirements Engineering.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1999
Money Conservation via Atomicity in Fair Off-Line E-Cash.
Proceedings of the Information Security, Second International Workshop, 1999

1998
On the Security of Three-Party Cryptographic Protocols.
Operating Systems Review, 1998

Specifications in software prototyping.
Journal of Systems and Software, 1998

1997
On the Properties of Cryptographic Protocols and the Weakness of the BAN-like Logics.
Operating Systems Review, 1997

MNP: A class of NP optimization problems.
J. Comput. Sci. Technol., 1997

Adequate testing of hypertext applications.
Information & Software Technology, 1997

Software Unit Test Coverage and Adequacy.
ACM Comput. Surv., 1997

Automatic Generation of Formal Specification from Requirements Definition.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria.
IEEE Trans. Software Eng., 1996

A Formal Interpretation of Software Testing as Inductive Inference.
Softw. Test., Verif. Reliab., 1996

Requirements Analysis and Specification as a Problem of Software Automation.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Tool support of orderly transition from informal to formal descriptions in requirements engineering.
Proceedings of the Advanced IT Tools, 1996

1995
Axiomatic assessment of control flow-based software test adequacy criteria.
Software Engineering Journal, 1995

MNP: A Class of NP Optimization Problems (Extended Abstract).
Proceedings of the Computing and Combinatorics, First Annual International Conference, 1995

1994
How Powerful are Folding/Unfolding Transformations?
J. Funct. Program., 1994

The least basic operations on heap and improved heapsort.
J. Comput. Sci. Technol., 1994

Knowledge engineering helps testing protection software.
Proceedings of the SEKE'94, 1994

Injecting Faults into Environment Simulators for Testing Safety Critical Software.
Proceedings of the Dependable Computing, 1994

1993
Test data adequacy measurement.
Software Engineering Journal, 1993

1992
Inductive Inference and Software Testing.
Softw. Test., Verif. Reliab., 1992

1989
A metalanguage to express human guidance for program transformation.
Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

A Knowledge-Based System to Synthesize FP Programs from Examples.
Proceedings of the EPIA 89, 1989


  Loading...