Yongxin Zhao

According to our database1, Yongxin Zhao authored at least 76 papers between 2008 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Method of Inertial Regularized ADMM for Separable Nonconvex Optimization Problems.
Soft Comput., November, 2023

Integration of online deep reinforcement learning and federated learning: A dynamic energy management strategy for industrial applications.
IET Commun., 2023

Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S).
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning.
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

ChiselFV: A Formal Verification Framework for Chisel.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving.
Proceedings of the Advanced Information Systems Engineering, 2023

2022
PmiREN2.0: from data annotation to functional exploration of plant microRNAs.
Nucleic Acids Res., 2022

Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

An Information Flow Security Logic for Permission-Based Declassification Strategy.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Parameterized Design and Formal Verification of Multi-ported Memory.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022

Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution.
Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

2021
Formal Analysis of TSN Scheduler for Real-Time Communications.
IEEE Trans. Reliab., 2021

Quantum private comparison of size using d-level Bell states with a semi-honest third party.
Quantum Inf. Process., 2021

MicroRNA annotation in plants: current status and challenges.
Briefings Bioinform., 2021

Release of Trajectory Data based on Space Segmentation using Differential Privacy.
Proceedings of the 20th IEEE International Conference on Trust, 2021

Encoding Induction Proof in Dafny.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

RE2B: Enhancing Correctness of Both Requirements and Design Models.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

HHML: A Hierarchical Hybrid Modeling Language for Mode-based Periodic Controllers.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Development and Implementation of Pediatric Nursing-Clinical Decision Support System for Hyperthermia: A Pre- and Post-Test.
Proceedings of the Nurses and Midwives in the Digital Age - Selected Papers, Posters and Panels from the 15th International Congress in Nursing Informatics, Virtual Event, 23 August, 2021

Analyzing and Recommending Development Order Based on Design Class Diagram.
Proceedings of the Knowledge Science, Engineering and Management, 2021

CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols.
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

Algorithm selection for software verification based on adversarial LSTM.
Proceedings of the 7th IEEE International Conference on Big Data Security on Cloud, 2021

2020
PmiREN: a comprehensive encyclopedia of plant miRNAs.
Nucleic Acids Res., 2020

Event-based functional decomposition.
Inf. Comput., 2020

A Detect-and-Modify Region-based Classifier to Defend Evasion Attacks.
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

The Prediction of Delay Time and Route Planning for Autonomous Vehicles.
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

What Makes Open Source Software Projects Impactful: A Data-Driven Approach.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019
Isolation Modeling and Analysis Based on Mobility.
ACM Trans. Softw. Eng. Methodol., 2019

A mathematical analysis of improved EigenAnt algorithm.
J. Exp. Theor. Artif. Intell., 2019

Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective.
J. Circuits Syst. Comput., 2019

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.
IEEE Access, 2019

Software Complexity Reduction by Automated Refactoring Schema.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Deep Learning for Web Services Classification.
Proceedings of the 2019 IEEE International Conference on Web Services, 2019

Towards a Formal Approach to Defining and Computing the Complexity of Component Based Software.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

2018
A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.
Formal Aspects Comput., 2018

Formal Modeling and Security Analysis for OpenFlow-Based Networks.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017
Event-Based Mobility Modeling and Analysis.
ACM Trans. Cyber Phys. Syst., 2017

2016
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015
Analyzing Event-Based Scheduling in Concurrent Reactive Systems.
ACM Trans. Embed. Comput. Syst., 2015

Semantic theories of programs with nested interrupts.
Frontiers Comput. Sci., 2015

Probabilistic Denotational Semantics for an Interrupt Modelling Language.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Modeling and Verifying Google File System.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014
The semantics and verification of timed service choreography.
Int. J. Comput. Math., 2014

Investigating System Survivability from a Probabilistic Perspective.
IEICE Trans. Inf. Syst., 2014

A UTP semantic model for Orc language with execution status and fault handling.
Frontiers Comput. Sci., 2014

Reasoning about Group-Based Mobility in MANETs.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Formalizing Google File System.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Towards a Combination of CafeOBJ and PAT.
Proceedings of the Specification, Algebra, and Software, 2014

2013
A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci., 2013

Modeling and verifying the Ariadne protocol using process algebra.
Comput. Sci. Inf. Syst., 2013

A Denotational Model for Interrupt-Driven Programs.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A UTP Semantics for Communicating Processes with Shared Variables.
Proceedings of the Formal Methods and Software Engineering, 2013

Towards a Modeling Language for Cyber-Physical Systems.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Formal Modeling and Analysis of the REST Architecture Using CSP.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions.
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

A Timed CSP Model for the Time-Triggered Language Giotto.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

A Denotational Model for Instantaneous Signal Calculus.
Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Investigating Time Properties of Interrupt-Driven Programs.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Modeling and Verifying the Ariadne Protocol Using CSP.
Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

2011
Modeling and Analyzing the (mu)TESLA Protocol Using CSP.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Towards a Probabilistic Calculus for Mobile Ad Hoc Networks.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Towards a Signal Calculus for Event-Based Synchronous Languages.
Proceedings of the Formal Methods and Software Engineering, 2011

Formal Model of Interrupt Program from a Probabilistic Perspective.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

A Unifying Approach to Validating Specification-Oriented XML Constraints.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

An Event-B Interpretation for SPARDL Model.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010
Web services choreography validation.
Serv. Oriented Comput. Appl., 2010

Towards a Pomset Semantics for a Shared-Variable Parallel Language.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Promoting Models.
Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

A Formal Model for Service Choreography with Exception Handling and Finalization.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Probabilistic Model of System Survivability.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

SPARDL: A Requirement Modeling Language for Periodic Control System.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008
A Denotational Model for Web Services Choreography.
Proceedings of the Distributed Computing and Internet Technology, 2008


  Loading...