Předměty
- Pokročilé nástroje pro vývoj a monitorování softwareNSWI126 | Matematicko-fyzikální fakulta
- Nástroje pro vývoj softwareNSWI154 | Matematicko-fyzikální fakulta
- Analýza programů a verifikace kódu +1NSWI132 | Matematicko-fyzikální fakulta
- Firemní seminářeNSWI133 | Matematicko-fyzikální fakulta
- Formální základy softwarového inženýrstvíNTIN043 | Matematicko-fyzikální fakulta
Publikace
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Matematicko-fyzikální fakulta
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Matematicko-fyzikální fakulta
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Matematicko-fyzikální fakulta
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Matematicko-fyzikální fakulta
- Advanced Debugging with JPF Inspector2011 | Matematicko-fyzikální fakulta
- Ověřování relačně-omezené komunikace mezi webovými službami2008 | Matematicko-fyzikální fakulta
- Modelování a verifikace relačně-orientovaných interakcí mezi webovými službami: kompatibilita BPEL a relačních protokolůPublikace bez příslušnosti k fakultě
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě
- 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
Loading network view...
