Předměty
- Pokročilé nástroje pro vývoj a monitorování softwareNSWI126 | Matematicko-fyzikální fakulta
- Analýza programů a verifikace kódu +1NSWI132 | Matematicko-fyzikální fakulta
- Firemní seminářeNSWI133 | Matematicko-fyzikální fakulta
- Nástroje pro vývoj softwareNSWI154 | Matematicko-fyzikální fakulta
- Formální základy softwarového inženýrstvíNTIN043 | Matematicko-fyzikální fakulta
Publikace
- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | Matematicko-fyzikální fakulta
- Modelové úlohy pro verifikaci systémů reálného času2010 | Matematicko-fyzikální fakulta
- Systematické testování kritických aplikací reálného času v Javě2010 | Matematicko-fyzikální fakulta
- Modelování komponentového prostředí za výskytu zpětných volání a autonomních aktivit +12008 | Matematicko-fyzikální fakulta
- Formální verifikace komponent v Javě2008 | Matematicko-fyzikální fakulta
- Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of ThreadsPublikace bez příslušnosti k fakultě
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Matematicko-fyzikální fakulta
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Matematicko-fyzikální fakulta
- Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking2019 | Matematicko-fyzikální fakulta
- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment2019 | Matematicko-fyzikální fakulta
Loading network view...