# Guangyuan Li

According to our database

^{1}, Guangyuan Li## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Practical controller synthesis for MTL

_{0, ∞}.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

An Approach to Checking Consistency between UML Class Model and Its Java Implementation.

IEEE Trans. Software Eng., 2016

Verifying RTuinOS using VCC: From approach to practice.

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

A Correctness Verification Method for C Programs Based on VCC.

Proceedings of the 3rd IEEE International Conference on Cyber Security and Cloud Computing, 2016

2015

Lazy Probabilistic Model Checking without Determinisation.

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Efficient controller synthesis for a fragment of MTL

_{0,∞}.
Acta Inf., 2014

Formal Throughput and Response Time Analysis of MARTE Models.

Proceedings of the Formal Methods and Software Engineering, 2014

Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata.

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Lazy Determinisation for Quantitative Model Checking.

CoRR, 2013

2012

Rewrite-Based Statistical Model Checking of WMTL.

Proceedings of the Runtime Verification, Third International Conference, 2012

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2009

An efficient algorithm for mining frequent sequences in dynamic environment.

Proceedings of the 2009 IEEE International Conference on Granular Computing, 2009

Checking Timed Büchi Automata Emptiness Using LU-Abstractions.

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

2007

Improvements for the Symbolic Verification of Timed Automata.

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2005

Symbolic Model Checking of Finite Precision Timed Automata.

Proceedings of the Theoretical Aspects of Computing, 2005

2003

Translating a Continuous-Time Temporal Logic into Timed Automata.

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Modelling Real-Time Systems with Continuous-Time Temporal Logic.

Proceedings of the Formal Methods and Software Engineering, 2002