Lijun Zhang

Cited by

	All	Since 2018
Citations	2395	786
h-index	25	14
i10-index	37	15

260

130

195

200820092010201120122013201420152016201720182019202020212022202322 73 101 116 185 169 253 249 199 201 205 152 135 131 148 15

Public access

View all

35 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 uts.edu.au
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
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Stefan RatschanCzech Academy of SciencesVerified email at cs.cas.cz
Zhikun SheSchool of Mathematics and Systems Science, Beihang UniversityVerified email at buaa.edu.cn
Taolue ChenDepartment of Computer Science, 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
Friedrich EisenbrandEPFLVerified email at epfl.ch
Naijun ZhanInstitute of Software Chinese Academy of SciencesVerified email at ios.ac.cn
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 cegar H Hermanns, B Wachter, L Zhang Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	242	2008
Probabilistic reachability for parametric Markov models EM Hahn, H Hermanns, L Zhang International Journal on Software Tools for Technology Transfer 13, 3-19, 2011	236	2011
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	194	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	164	2010
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	110	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	107	2014
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	105	2011
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	101	2012
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	85	2013
A semantics for every GSPN C Eisentraut, H Hermanns, JP Katoen, L Zhang Application and Theory of Petri Nets and Concurrency: 34th International …, 2013	77	2013
Model checking interactive Markov chains L Zhang, MR Neuhäußer Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010	77	2010
Probabilistic logical characterization H Hermanns, A Parma, R Segala, B Wachter, L Zhang Information and Computation 209 (2), 154-172, 2011	62	2011
Concurrency and composition in a stochastic world C Eisentraut, H Hermanns, L Zhang CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010	62	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	52*	2010
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
Model checking algorithms for CTMDPs P Buchholz, EM Hahn, H Hermanns, L Zhang Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011	51	2011
Probabilistic model checking modulo theories B Wachter, L Zhang, H Hermanns fourth international conference on the quantitative evaluation of systems …, 2007	50	2007
Best probabilistic transformers B Wachter, L Zhang Verification, Model Checking, and Abstract Interpretation: 11th …, 2010	45	2010
INFAMY: An infinite-state Markov model checker EM Hahn, H Hermanns, B Wachter, L Zhang Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009	38	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