Concepedia

Mateusz Ujma

MU

4

Publications

200

Citations

4

H-Index

2011

Active since

Affiliations

Lund University(Current)

University of Oxford

Mateusz Ujma is an author at Lund University specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsProcess ControlSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification

Publications per year

2011–2017

4

Publications

4

Control Strategies for Self-Adaptive Software Systems

Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos et al. · ACM Transactions on Autonomous and Adaptive Systems · 2017 · 75 citations

Software Maintenance, Engineering, Software Systems +22

Software Engineering Meets Control Theory

Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos et al. · 2015 · 69 citations · Full text

Software Maintenance, Control Theory, Engineering +24

Permissive Controller Synthesis for Probabilistic Systems

Klaus Dräger, Vojtěch Forejt, Marta Kwiatkowska et al. · Logical Methods in Computer Science · 2015 · 29 citations · Full text

Engineering, Game Theory, Probabilistic Computation +17

JPF-AWT: Model checking GUI applications

Peter Mehlitz, Oksana Tkachuk, Mateusz Ujma · 2011 · 27 citations

Program Checking, Engineering, Graphical User Interface +21

Rows per page

1–4 of 4