Yixiang Chen

2020

A verification framework for spatio-temporal consistency language with CCSL as a specification language.

[BibT_eX]

[DOI]

Frédéric Mallet

Frontiers Comput. Sci., 2020

Connection models for the Internet-of-Things.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2020

Research of Micro-expression Recognition Model based on Feature Unit.

[BibT_eX]

[DOI]

Fei Yin

Jinyi Xu

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

Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches.

[BibT_eX]

[DOI]

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

2019

A New Framework for Modelling and Monitoring the Conversion of Cultivated Land to Built-up Land Based on a Hierarchical Hidden Semi-Markov Model Using Satellite Image Time Series.

[BibT_eX]

[DOI]

Remote. Sens., 2019

Novel Multi-Scale Filter Profile-Based Framework for VHR Remote Sensing Image Classification.

[BibT_eX]

[DOI]

Zhiyong Lv

Guangfei Li

Jón Atli Benediktsson

Remote. Sens., 2019

GNSS-R Soil Moisture Retrieval Based on a XGboost Machine Learning Aided Method: Performance and Validation.

[BibT_eX]

[DOI]

Remote. Sens., 2019

Automatic Extraction of Built-Up Areas from Very High-Resolution Satellite Imagery Using Patch-Level Spatial Features and Gestalt Laws of Perceptual Grouping.

[BibT_eX]

[DOI]

Remote. Sens., 2019

A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour.

[BibT_eX]

[DOI]

IEEE Access, 2019

Updating Model of Software Component Trustworthiness Based on Users Feedback.

[BibT_eX]

[DOI]

IEEE Access, 2019

A Logical Approach for the Schedulability Analysis of CCSL.

[BibT_eX]

[DOI]

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

A Hybrid Clock Logic System for CPS.

[BibT_eX]

[DOI]

Peifen Wang

Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2018

Phonetic Temporal Neural Model for Language Identification.

[BibT_eX]

[DOI]

IEEE ACM Trans. Audio Speech Lang. Process., 2018

Land Cover Change Detection Based on Adaptive Contextual Information Using Bi-Temporal Remote Sensing Images.

[BibT_eX]

[DOI]

Zhiyong Lv

Tongfei Liu

Penglin Zhang

Jón Atli Benediktsson

Remote. Sens., 2018

Delineation of Built-Up Areas from Very High-Resolution Satellite Imagery Using Multi-Scale Textures and Spatial Dependence.

[BibT_eX]

[DOI]

Remote. Sens., 2018

Detecting Anomalous Trajectories and Behavior Patterns Using Hierarchical Clustering from Taxi GPS Data.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2018

Bisimulations for fuzzy transition systems revisited.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2018

Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2018

Vortex and multipole coupled solitons in the spatially modulated cubic-quintic-septimal nonlinear material.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2018

Verification of SysML Activity Diagrams Using Hoare Logic and SOFL.

[BibT_eX]

[DOI]

Yufei Yin

Shaoying Liu

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

A carbon nanotube patch antenna for polarization selective radiation performance.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Knowledge Innovation and Invention, 2018

Deep Factorization for Speech Signal.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

2017

A trajectory clustering approach based on decision graph and data field for detecting hotspots.

[BibT_eX]

[DOI]

Int. J. Geogr. Inf. Sci., 2017

Deep Factorization for Speech Signal.

[BibT_eX]

[DOI]

CoRR, 2017

Computing behavioural distance for fuzzy transition systems.

[BibT_eX]

[DOI]

Tian-Ming Bu

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Phone-aware neural language identification.

[BibT_eX]

[DOI]

Proceedings of the 20th Conference of the Oriental Chapter of the International Coordinating Committee on Speech Databases and Speech I/O Systems and Assessment, 2017

A Study on Replay Attack and Anti-Spoofing for Automatic Speaker Verification.

[BibT_eX]

[DOI]

Proceedings of the Interspeech 2017, 2017

Deep Speaker Feature Learning for Text-Independent Speaker Verification.

[BibT_eX]

[DOI]

Proceedings of the Interspeech 2017, 2017

Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic.

[BibT_eX]

[DOI]

Shingo Fukuoka

Shaoying Liu

Proceedings of the Geo-Spatial Knowledge and Intelligence - 5th International Conference, 2017

Models of Connected Things: On Priced Probabilistic Timed Reo.

[BibT_eX]

[DOI]

Kangli He

Holger Hermanns

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Speaker recognition with cough, laugh and "Wei".

[BibT_eX]

[DOI]

Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017

AP17-OLR challenge: Data, plan, and baseline.

[BibT_eX]

[DOI]

Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017

2016

概率拟Hoare逻辑 (Probabilistic Quasi-Hoare Logic).

[BibT_eX]

[DOI]

Guosheng Hu

计算机科学, 2016

Weakly Supervised PLDA Training.

[BibT_eX]

[DOI]

CoRR, 2016

A UTP Refinement Model of the STeC Language.

[BibT_eX]

[DOI]

Yujing Ma

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles.

[BibT_eX]

[DOI]

Jinyang Li

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

Built-up area extraction using data field from high-resolution satellite images.

[BibT_eX]

[DOI]

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

2015

Web服务降级替换的一致性问题及量化研究 (Quantification and Conformance of Web Service Degraded Substitution).

[BibT_eX]

[DOI]

Guosheng Hu

计算机科学, 2015

[α1，α2]1-概率拟Hoare逻辑及其可靠性证明 ([α1, α2]1-Probabilistic Quasi-Hoare Logic and its Reliability).

[BibT_eX]

[DOI]

Guosheng Hu

计算机科学, 2015

A Comprehensive Trust Model Based on Multi-factors for WSNs.

[BibT_eX]

[DOI]

Na Wang

Int. J. Comput. Commun. Control, 2015

Timed-pNets: a communication behavioural semantic model for distributed systems.

[BibT_eX]

[DOI]

Yanwen Chen

Eric Madelaine

Frontiers Comput. Sci., 2015

Cloud model-based method for range-constrained thresholding.

[BibT_eX]

[DOI]

Comput. Electr. Eng., 2015

Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC.

[BibT_eX]

[DOI]

Zhihua Yang

Bo Xiao

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

Probabilistic Model Checking of Pipe protocol.

[BibT_eX]

[DOI]

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

An Attributes-Based Allocation Approach of Software Trustworthy Degrees.

[BibT_eX]

[DOI]

Yujing Ma

Bin Gu

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles.

[BibT_eX]

[DOI]

Huiyong Li

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

A Framework for Data-Driven Automata Design.

[BibT_eX]

[DOI]

Yujing Ma

Proceedings of the Requirements Engineering in the Big Data Era, 2015

2014

Structural Feature Modeling of High-Resolution Remote Sensing Images Using Directional Spatial Correlation.

[BibT_eX]

[DOI]

IEEE Geosci. Remote. Sens. Lett., 2014

Simulation for lattice-valued doubly labeled transition systems.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2014

Quantitative Analysis of Lattice-valued Kripke Structures.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Timed Automata Semantics of Spatial-Temporal Consistency Language STeC.

[BibT_eX]

[DOI]

Frédéric Mallet

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

A Proof System in Process Algebra for Demand and Supply.

[BibT_eX]

[DOI]

Xinghua Yao

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

A Hybrid Clock System Related to STeC Language.

[BibT_eX]

[DOI]

Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014

2013

Coalgebras for Fuzzy Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 2013

On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Stability of Software Trustworthiness Measurements Models.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

A Proof System in PADS.

[BibT_eX]

[DOI]

Xinghua Yao

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

Vehicle Scheduling Problem on Trees.

[BibT_eX]

[DOI]

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

2012

A new metric model for trustworthiness of softwares.

[BibT_eX]

[DOI]

Telecommun. Syst., 2012

Semantics of non-deterministic possibility computation.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 2012

Bisimulation for Lattice-valued Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.

[BibT_eX]

[DOI]

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

The Partial Correctness Semantics of Imperative fuzzy Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Logic and Soft Computing, 2012

A Quantitative Relation Model between Trustworthy Attributes.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Logic and Soft Computing, 2012

Bisimilarity for fuzzy doubly Labeled Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Logic and Soft Computing, 2012

Low Power Consumption Data Structure Design for Embedded Applications in Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

STeC: A Location-Triggered Specification Language for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

2011

Two-thirds simulation indexes and modal logic characterization.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2011

Approximate Bisimulation for Metric Doubly Labeled Transition System.

[BibT_eX]

[DOI]

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

Approximate Simulation for Metric Hybrid Input/Output Automata.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

The Semantics of <i>wlp</i> and <i>slp</i> of Fuzzy Imperative Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Nonlinear Mathematics for Uncertainty and its Applications, 2011

Implementation and Optimization of RDF Query using Hadoop.

[BibT_eX]

Yanwen Chen

Fabrice Huet

Proceedings of the CLOSER 2011, 2011

2010

Trustworthy Dynamic Scheduling based on Constraint Solving Scheme.

[BibT_eX]

[DOI]

Juyang Zhang

Int. J. Inf. Process. Manag., 2010

Trustworthiness Expectation of Real-Time Web Services.

[BibT_eX]

[DOI]

Proceedings of the Symposia and Workshops on Ubiquitous, 2010

Success Measurement of Web Services with BPEL.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

2009

A Duality Theorem for Quantitative Semantics.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Symposium on Domain Theory, 2009

Preface.

[BibT_eX]

[DOI]

Ernst-Erich Doberkat

Achim Jung

Proceedings of the Fifth International Symposium on Domain Theory, 2009

Parameterized Bisimulation Infinite Evolution Mechanism.

[BibT_eX]

[DOI]

Yanfang Ma

Proceedings of the TASE 2009, 2009

Average Transitive Trustworthy Degrees for Trustworthy Networks.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets and Knowledge Technology, 4th International Conference, 2009

Infinite Evolution Mechanism of Probabilistic Processes.

[BibT_eX]

Yanfang Ma

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

A Metric Model for Trustworthiness of Softwares.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Modeling Instability in a New Framework of Interval Valued Process Algebra.

[BibT_eX]

[DOI]

Jie Zhou

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Domain semantics of possibility computations.

[BibT_eX]

[DOI]

Inf. Sci., 2008

Semantics of sub-probabilistic programs.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2008

Preface.

[BibT_eX]

[DOI]

Guo-Qiang Zhang

Prakash Panangaden

Proceedings of the First International Conference on Foundations of Informatics, 2008

Research of a Multi-dimension Measurement Trusting Model Based on Markov Chain.

[BibT_eX]

[DOI]

Hongyan Mao

Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008

2006

A logical approach to stable domains.

[BibT_eX]

[DOI]

Achim Jung

Theor. Comput. Sci., 2006

Maximality and totality of stable functions in the category of stable bifinite domains.

[BibT_eX]

[DOI]

Guo-Qiang Zhang

Comput. Math. Appl., 2006

2003

Implementation of human-like driving skills by autonomous fuzzy behavior control on an FPGA-based car-like mobile robot.

[BibT_eX]

[DOI]

Tzuu-Hseng S. Li

Shih-Jie Chang

IEEE Trans. Ind. Electron., 2003

Implementation of autonomous fuzzy garage-parking control by an FPGA-based car-like mobile robot using infrared sensors.

[BibT_eX]

[DOI]

Tzuu-Hseng S. Li

Shih-Jie Chang

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

2001

Domains via Graphs.

[BibT_eX]

[DOI]

Guoqiang Zhang

J. Comput. Sci. Technol., 2001

1997

On compactness of induced I(L)-fuzzy topological spaces.

[BibT_eX]

[DOI]

Fuzzy Sets Syst., 1997

1996

Convergence in topological molecular lattices.

[BibT_eX]

[DOI]