Lijun Zhang
Lijun Zhang
Full Professor, State Key Laboratory of Computer Science, Institute of Software Chinese
Verified email at ios.ac.cn - Homepage
TitleCited byYear
Probabilistic cegar
H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 162-175, 2008
1852008
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
1542010
Probabilistic reachability for parametric Markov models
EM Hahn, H Hermanns, L Zhang
International Journal on Software Tools for Technology Transfer 13 (1), 3-19, 2011
1202011
PARAM: A model checker for parametric Markov models
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 660-664, 2010
1142010
Model checking interactive Markov chains
L Zhang, MR Neuhäußer
International Conference on Tools and Algorithms for the Construction and …, 2010
722010
Synthesis for PCTL in parametric Markov decision processes
EM Hahn, T Han, L Zhang
Nasa formal methods symposium, 146-161, 2011
702011
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
652011
Safety verification for probabilistic hybrid systems
L Zhang, Z She, S Ratschan, H Hermanns, EM Hahn
International Conference on Computer Aided Verification, 196-211, 2010
632010
iscasMc: A Web-Based Probabilistic Model Checker
EM Hahn, Y Li, S Schewe, A Turrini, L Zhang
International Symposium on Formal Methods, 312-317, 2014
612014
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
592013
Time-bounded reachability probabilities in continuous-time Markov decision processes
MR Neuhausser, L Zhang
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
56*2010
A semantics for every GSPN
C Eisentraut, H Hermanns, JP Katoen, L Zhang
International Conference on Applications and Theory of Petri Nets and …, 2013
542013
Concurrency and composition in a stochastic world
C Eisentraut, H Hermanns, L Zhang
International Conference on Concurrency Theory, 21-39, 2010
522010
Probabilistic logical characterization
H Hermanns, A Parma, R Segala, B Wachter, L Zhang
Information and Computation 209 (2), 154-172, 2011
512011
Probabilistic model checking modulo theories
B Wachter, L Zhang, H Hermanns
fourth international conference on the quantitative evaluation of systems …, 2007
462007
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
452007
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
42*2010
Model checking algorithms for CTMDPs
P Buchholz, EM Hahn, H Hermanns, L Zhang
International Conference on Computer Aided Verification, 225-242, 2011
412011
Best probabilistic transformers
B Wachter, L Zhang
International Workshop on Verification, Model Checking, and Abstract …, 2010
382010
Time-bounded model checking of infinite-state continuous-time Markov chains
EM Hahn, H Hermanns, B Wachter, L Zhang
Fundamenta Informaticae 95 (1), 129-155, 2009
382009
The system can't perform the operation now. Try again later.
Articles 1–20