Mateusz Ujma

Cited by

	All	Since 2019
Citations	654	362
h-index	9	7
i10-index	8	6

100

20122013201420152016201720182019202020212022202320248 14 15 56 54 65 69 61 95 64 62 40 40

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Vojtěch ForejtDifflblueVerified email at diffblue.com
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Antonio FilieriAmazon Web Services, Imperial College LondonVerified email at imperial.ac.uk
Martina MaggioSaarland University, Lund University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignVerified email at illinois.edu
Pooyan JamshidiAssistant Professor of Computer Science and Engineering, University of South Carolina, ex-GoogleVerified email at cse.sc.edu
Thomas VogelHumboldt-Universität zu Berlin, GermanyVerified email at informatik.hu-berlin.de
Klaus DrägerQueen Mary, University of LondonVerified email at qmul.ac.uk
Dr. Amir Molzam Sharifloo

Mateusz Ujma

DPhil Student, Oxford University

Verified email at cs.ox.ac.uk

Probabilistic Model Checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Verification of Markov decision processes using learning algorithms T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ... Automated Technology for Verification and Analysis: 12th International …, 2014	250	2014
Software engineering meets control theory A Filieri, M Maggio, K Angelopoulos, N d'Ippolito, I Gerostathopoulos, ... 2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015	128	2015
Control strategies for self-adaptive software systems A Filieri, M Maggio, K Angelopoulos, N D’ippolito, I Gerostathopoulos, ... ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 1-31, 2017	88	2017
Permissive controller synthesis for probabilistic systems K Drager, V Forejt, M Kwiatkowska, D Parker, M Ujma Logical Methods in Computer Science 11, 2015	59	2015
Incremental runtime verification of probabilistic systems V Forejt, M Kwiatkowska, D Parker, H Qu, M Ujma Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013	49	2013
Jpf-awt: Model checking gui applications P Mehlitz, O Tkachuk, M Ujma 2011 26th IEEE/ACM International Conference on Automated Software …, 2011	41	2011
On verification and controller synthesis for probabilistic systems at runtime M Ujma University of Oxford, 2015	19	2015
jpf-concurrent: an extension of Java PathFinder for java. util. concurrent M Ujma, N Shafiei JPF Workshop, Lawrence, USA, 2012	11	2012
On incremental quantitative verification for probabilistic systems M Kwiatkowska, D Parker, H Qu, M Ujma High-order workshop on automated runtime verification and debugging, 2011	9	2011
Learning Algorithms for Verification of Markov Decision Processes T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ... arXiv preprint arXiv:2403.09184, 2024		2024
INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS H Qu, M Ujma		2012

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

Articles 1–11

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors