# Yongxin Zhao

According to our database

Collaborative distances:

^{1}, Yongxin Zhao authored at least 43 papers between 2008 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

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

2018

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS.

Formal Asp. 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.

TCPS, 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. Embedded 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 Transactions, 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.

Service Oriented Computing and Applications, 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