Lijun Zhang

Cited by

	All	Since 2019
Citations	2544	728
h-index	25	14
i10-index	35	15

260

130

195

2008200920102011201220132014201520162017201820192020202120222023202421 76 94 117 210 180 226 250 197 199 204 151 147 123 145 101 61

Public access

View all

39 articles

1 article

available

not available

Based on funding mandates

Co-authors

Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Ernst Moritz HahnUniversity of TwenteVerified email at utwente.nl
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Lei SongMicrosoft Research AsiaVerified email at microsoft.com
Sven ScheweProfessor of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Flemming NielsonProfessor at DTU Applied Mathematics and Computer ScienceVerified email at imm.dtu.dk
Nicolás WolovickFull Professor of Computer Science, Universidad Nacional de CórdobaVerified email at famaf.unc.edu.ar
Stefan RatschanCzech Academy of SciencesVerified email at cs.cas.cz
Zhikun SheSchool of Mathematics and Systems Science, Beihang UniversityVerified email at buaa.edu.cn
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk
Jens Chr. GodskesenIT University of CopenhagenVerified email at itu.dk
Roberto SegalaUniversità di VeronaVerified email at univr.it
Pepijn CrouzenGoogle inc.Verified email at google.com
Naijun ZhanSchool of Computer Science, Peking UniversityVerified email at ios.ac.cn
Friedrich EisenbrandEPFLVerified email at epfl.ch
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn

Lijun Zhang

Full Professor, State Key Laboratory of Computer Science, Institute of Software Chinese

Verified email at ios.ac.cn - Homepage

formal method probabilistic model checking hybrid system


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Probabilistic reachability for parametric Markov models EM Hahn, H Hermanns, L Zhang International Journal on Software Tools for Technology Transfer 13, 3-19, 2011	258	2011
Probabilistic cegar H Hermanns, B Wachter, L Zhang International Conference on Computer Aided Verification, 162-175, 2008	251	2008
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	207	2010
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	174	2010
Synthesis for PCTL in parametric Markov decision processes EM Hahn, T Han, L Zhang Nasa formal methods symposium, 146-161, 2011	120	2011
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	117	2014
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	112	2012
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	112	2011
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	91	2013
A semantics for every GSPN C Eisentraut, H Hermanns, JP Katoen, L Zhang International Conference on Applications and Theory of Petri Nets and …, 2013	85	2013
Model checking interactive Markov chains L Zhang, MR Neuhäußer International Conference on Tools and Algorithms for the Construction and …, 2010	77	2010
Probabilistic logical characterization H Hermanns, A Parma, R Segala, B Wachter, L Zhang Information and Computation 209 (2), 154-172, 2011	68	2011
Concurrency and composition in a stochastic world C Eisentraut, H Hermanns, L Zhang International Conference on Concurrency Theory, 21-39, 2010	68	2010
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
PASS: Abstraction Reﬁnement for Inﬁnite Probabilistic Models⋆ EM Hahn, H Hermanns, B Wachter, L Zhang Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010	59*	2010
Probabilistic model checking modulo theories B Wachter, L Zhang, H Hermanns fourth international conference on the quantitative evaluation of systems …, 2007	54	2007
Model checking algorithms for CTMDPs P Buchholz, EM Hahn, H Hermanns, L Zhang Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	52	2011
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	51	2007
Best probabilistic transformers B Wachter, L Zhang International Workshop on Verification, Model Checking, and Abstract …, 2010	45	2010
INFAMY: An infinite-state Markov model checker EM Hahn, H Hermanns, B Wachter, L Zhang International Conference on Computer Aided Verification, 641-647, 2009	41	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors