ℹ️
🇬🇧
Search
Search for people relevant for "Verification"
Verification
Person
Class
Person
Publication
Programmes
Export current view
prof. Ing. Petr Tůma Dr.
Academic staff at Faculty of Mathematics and Physics
3 study programmes
12 classes
113 publications
Study programme
programme
Computer Science - Software Systems
+2
🇨🇿 PhD. |
Faculty of Mathematics and Physics
Classes
class
Advanced Operating Systems
NSWI161 |
Faculty of Mathematics and Physics
class
Programming in Rust Language
NPRG073 |
Faculty of Mathematics and Physics
class
Advanced programming in Rust
NPRG074 |
Faculty of Mathematics and Physics
class
Operating Systems
+2
NSWI004 |
Faculty of Mathematics and Physics
class
Middleware
+1
NSWI080 |
Faculty of Mathematics and Physics
class
Research Project Work
NSWI127 |
Faculty of Mathematics and Physics
class
Performance Evaluation of Computer Systems
+1
NSWI131 |
Faculty of Mathematics and Physics
class
Introduction to Middleware
NSWI163 |
Faculty of Mathematics and Physics
Load more classes (2)
Publications
publication
Streaming state space: a method of distributed model verification
+1
2007 |
Faculty of Mathematics and Physics
publication
Diagnosing Compiler Performance by Comparing Optimization Decisions
2023 |
Faculty of Mathematics and Physics
publication
Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract)
2023 |
Faculty of Mathematics and Physics
publication
Early Stopping of Non-productive Performance Testing Experiments Using Measurement Mutations
2023 |
Faculty of Mathematics and Physics
publication
GraalVM Compiler Benchmark Results Dataset (Data Artifact)
2023 |
Faculty of Mathematics and Physics
publication
Reducing Experiment Costs in Automated Software Performance Regression Detection
2022 |
Faculty of Mathematics and Physics
publication
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing
2021 |
Faculty of Mathematics and Physics
publication
Context-Tailored Workload Model Generation for Continuous Representative Load Testing
2021 |
Faculty of Mathematics and Physics
publication
Duet Benchmarking: Improving Measurement Accuracy in the Cloud
2020 |
Faculty of Mathematics and Physics
publication
DjangoChecker: Applying extended taint tracking and server side parsing for detection of context-sensitive XSS flaws
2019 |
Faculty of Mathematics and Physics
Load more publications (103)
Loading network view...