According to our database1, Guangyuan Li
Legend:Book In proceedings Article PhD thesis Other
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
Lazy Probabilistic Model Checking without Determinisation.
Proceedings of the 26th International Conference on Concurrency Theory, 2015
Efficient controller synthesis for a fragment of MTL0,∞.
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
Lazy Determinisation for Quantitative Model Checking.
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
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
Improvements for the Symbolic Verification of Timed Automata.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007
Symbolic Model Checking of Finite Precision Timed Automata.
Proceedings of the Theoretical Aspects of Computing, 2005
Translating a Continuous-Time Temporal Logic into Timed Automata.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003
Modelling Real-Time Systems with Continuous-Time Temporal Logic.
Proceedings of the Formal Methods and Software Engineering, 2002