Mateusz Ujma

Cited by

	All	Since 2018
Citations	585	359
h-index	9	7
i10-index	8	7

100

2012201320142015201620172018201920202021202220238 14 15 58 57 65 64 60 91 65 62 17

Public access

View all

4 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
Antonio FilieriAWS, 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, GoogleVerified email at cse.sc.edu
Dr. Amir Molzam ShariflooVerified email at paluno.uni-due.de
Thomas VogelHumboldt University Berlin, GermanyVerified email at informatik.hu-berlin.de
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Klaus DrägerQueen Mary, University of LondonVerified email at qmul.ac.uk

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	207	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	121	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	76	2017
Permissive controller synthesis for probabilistic systems K Dräger, V Forejt, M Kwiatkowska, D Parker, M Ujma Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014	52	2014
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	48	2013
Jpf-awt: Model checking gui applications P Mehlitz, O Tkachuk, M Ujma 2011 26th IEEE/ACM International Conference on Automated Software …, 2011	40	2011
On verification and controller synthesis for probabilistic systems at runtime M Ujma University of Oxford, 2015	18	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
Permissive controller synthesis for probabilistic systems K Drager, V Forejt, M Kwiatkowska, D Parker, M Ujma Logical Methods in Computer Science 11, 2015	3	2015
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