Author Info
Name
Affiliation
Papers
GUANGYUAN LI
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
17
Collaborators
Citations 
PageRank 
33
56
7.19
Referers 
Referees 
References 
115
296
191
Search Limit
100296
Title
Citations
PageRank
Year
Automatic Support of the Generation and Maintenance of Assurance Cases.00.342018
A nonlinear observer approach of SOC estimation based on hysteresis model for lithium-ion battery30.552017
Foundation of a Framework to Support Compliance Checking in Construction Industry.00.342017
Practical controller synthesis for MTL0, ∞.00.342017
A Correctness Verification Method for C Programs Based on VCC00.342016
An Approach to Checking Consistency between UML Class Model and Its Java Implementation.20.362016
Lazy Probabilistic Model Checking without Determinisation.70.442015
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata10.342014
Efficient controller synthesis for a fragment of MTL0,∞00.342014
Lazy Determinisation for Quantitative Model Checking.20.452013
Monitor-Based statistical model checking for weighted metric temporal logic140.692012
Rewrite-Based Statistical Model Checking of WMTL.90.622012
Checking Timed Büchi Automata Emptiness Using LU-Abstractions70.462009
Improvements for the Symbolic Verification of Timed Automata00.342007
Symbolic model checking of finite precision timed automata20.362005
Translating a Continuous-Time Temporal Logic into Timed Automata50.482003
Modelling Real-Time Systems with Continuous-Time Temporal Logic40.412002