Seguir
Lijun Zhang
Lijun Zhang
Full Professor, State Key Laboratory of Computer Science, Institute of Software Chinese
Email confirmado em ios.ac.cn - Página inicial
Título
Citado por
Citado por
Ano
Probabilistic cegar
H Hermanns, B Wachter, L Zhang
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
2412008
Probabilistic reachability for parametric Markov models
EM Hahn, H Hermanns, L Zhang
International Journal on Software Tools for Technology Transfer 13, 3-19, 2011
2342011
On probabilistic automata in continuous time
C Eisentraut, H Hermanns, L Zhang
2010 25th Annual IEEE Symposium on Logic in Computer Science, 342-351, 2010
1922010
PARAM: A Model Checker for Parametric Markov Models
EM Hahn, H Hermanns, B Wachter, L Zhang
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1622010
Synthesis for PCTL in parametric Markov decision processes
EM Hahn, T Han, L Zhang
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011
1082011
iscasMc: A Web-Based Probabilistic Model Checker
EM Hahn, Y Li, S Schewe, A Turrini, L Zhang
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
1052014
Measurability and safety verification for stochastic hybrid systems
M Fränzle, EM Hahn, H Hermanns, N Wolovick, L Zhang
Proceedings of the 14th international conference on Hybrid systems …, 2011
1042011
Safety verification for probabilistic hybrid systems
L Zhang, Z She, S Ratschan, H Hermanns, EM Hahn
European Journal of Control 18 (6), 572-587, 2012
1012012
Model repair for Markov decision processes
T Chen, EM Hahn, T Han, M Kwiatkowska, H Qu, L Zhang
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
852013
Model checking interactive Markov chains
L Zhang, MR Neuhäußer
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
772010
A semantics for every GSPN
C Eisentraut, H Hermanns, JP Katoen, L Zhang
Application and Theory of Petri Nets and Concurrency: 34th International …, 2013
762013
Probabilistic logical characterization
H Hermanns, A Parma, R Segala, B Wachter, L Zhang
Information and Computation 209 (2), 154-172, 2011
622011
Time-bounded reachability probabilities in continuous-time Markov decision processes
MR Neuhäußer, L Zhang
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
61*2010
Concurrency and composition in a stochastic world
C Eisentraut, H Hermanns, L Zhang
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
612010
Flow faster: efficient decision algorithms for probabilistic simulations
L Zhang, H Hermanns, F Eisenbrand, D Jansen
Tools and Algorithms for the Construction and Analysis of Systems, 155-169, 2007
52*2007
PASS: Abstraction Refinement for Infinite Probabilistic Models⋆
EM Hahn, H Hermanns, B Wachter, L Zhang
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
51*2010
Model checking algorithms for CTMDPs
P Buchholz, EM Hahn, H Hermanns, L Zhang
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
502011
Probabilistic model checking modulo theories
B Wachter, L Zhang, H Hermanns
fourth international conference on the quantitative evaluation of systems …, 2007
502007
Best probabilistic transformers
B Wachter, L Zhang
Verification, Model Checking, and Abstract Interpretation: 11th …, 2010
452010
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009
382009
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20