Yixiang Chen

Inf. Comput., June, 2023

Efficient tasks scheduling in multicore systems integrated with hardware accelerators.

[BibT_eX]

[DOI]

Hao Shi

J. Supercomput., May, 2023

Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

A Comprehensive Study on Quality Assurance Tools for Java.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Real-time task scheduling for FPGA-based multicore systems with communication delay.

[BibT_eX]

[DOI]

Kaixuan Li

Microprocess. Microsystems, April, 2022

Improved Allocation and Reallocation Approaches for Software Trustworthiness Based on Mathematical Programming.

[BibT_eX]

[DOI]

Symmetry, 2022

Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes.

[BibT_eX]

[DOI]

Connect. Sci., 2022

A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles.

[BibT_eX]

[DOI]

Li Zhong

IEEE Access, 2022

A Trustworthy Classification Model for Intelligent Building Fire Risk.

[BibT_eX]

[DOI]

Weilin Wu

IEEE Access, 2022

A Novel Intelligent-Building-Fire-Risk Classification Method.

[BibT_eX]

[DOI]

Weilin Wu

Na Wang

Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement.

[BibT_eX]

[DOI]

Zelong Yue

Proceedings of the Artificial Intelligence Logic and Applications, 2022

A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set.

[BibT_eX]

[DOI]

Qilong Nie

Proceedings of the Artificial Intelligence Logic and Applications, 2022

Quantitative BAN Logic Based on Belief Degree.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Logic and Applications, 2022

2021

A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

A clock-based dynamic logic for schedulability analysis of CCSL specifications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

An Imbalanced-Data Processing Algorithm for the Prediction of Heart Attack in Stroke Patients.

[BibT_eX]

[DOI]

Meng Wang

IEEE Access, 2021

An Efficient Scheduling Algorithm for Distributed Heterogeneous Systems with Task Duplication Allowed.

[BibT_eX]

[DOI]

Hao Shi

Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

A Genetic Algorithm for Scheduling in Heterogeneous Multicore System Integrated with FPGA.

[BibT_eX]

[DOI]

Qingyuan Jiang

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

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 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

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

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

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

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

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

2016

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

[BibT_eX]

[DOI]

Guosheng Hu

计算机科学, 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

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

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

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]

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]

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]

Yi-Xiang Chen

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

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]