Guangyuan Li

According to our database1, Guangyuan Li
  • authored at least 16 papers between 2002 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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


  Loading...