ℹ️
🇬🇧
Search
Search for people relevant for "random environment"
random environment
Person
Class
Person
Publication
Programmes
doc. RNDr. Pavel Parízek Ph.D.
Academic staff at Faculty of Mathematics and Physics
6 classes
54 publications
Classes
class
Advanced Tools for Software Development and Monitoring
NSWI126 |
Faculty of Mathematics and Physics
class
Program Analysis and Code Verification
+1
NSWI132 |
Faculty of Mathematics and Physics
class
Commercial Workshops
NSWI133 |
Faculty of Mathematics and Physics
class
Software Development Tools
NSWI154 |
Faculty of Mathematics and Physics
class
Formal Foundations of Software Engineering
NTIN043 |
Faculty of Mathematics and Physics
Publications
publication
Efficient Detection of Errors in Java Components Using Random Environment and Restarts
2010 |
Faculty of Mathematics and Physics
publication
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
2023 |
Faculty of Mathematics and Physics
publication
Endicheck: Dynamic Analysis for Detecting Endianness Bugs
2020 |
Faculty of Mathematics and Physics
publication
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs
2020 |
Faculty of Mathematics and Physics
publication
Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking
2019 |
Faculty of Mathematics and Physics
publication
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment
2019 |
Faculty of Mathematics and Physics
publication
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder
2019 |
Faculty of Mathematics and Physics
publication
Hybrid Analysis for Partial Order Reduction of Programs with Arrays
2016 |
Faculty of Mathematics and Physics
publication
Fast Error Detection with Hybrid Analyses of Future Accesses
2016 |
Faculty of Mathematics and Physics
publication
Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information
2016 |
Faculty of Mathematics and Physics
Load more publications (44)
Loading network view...