- Framework for Static Analysis of PHP Applications2015 | Matematicko-fyzikální fakulta
- Framework for Static Analysis of PHP Applications (Artifact)Publikace bez příslušnosti k fakultě
- Chyby skládání komponent a atomické aktualizace: Statická analýza2005 | Matematicko-fyzikální fakulta
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Matematicko-fyzikální fakulta
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Matematicko-fyzikální fakulta
- Static Analysis of Component Systems Using Behavior Protocols2003 | Matematicko-fyzikální fakulta
- Component Composition Errors and Update Atomicity: Static Analysis2005 | Matematicko-fyzikální fakulta
- Optical properties of a nanoegg-nanorod heterodimer: a quasi-static analysis2020 | Matematicko-fyzikální fakulta
- JPF-staticPublikace bez příslušnosti k fakultě
- WeVerca: Web Applications Verification for PHP2014 | Matematicko-fyzikální fakulta
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | 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
- On Security Analysis of PHP Web Applications2012 | Matematicko-fyzikální fakulta
- Data-flow Analysis of Programs with Associative Arrays2014 | Matematicko-fyzikální fakulta
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | Matematicko-fyzikální fakulta
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Matematicko-fyzikální fakulta
- Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation2017 | Matematicko-fyzikální fakulta
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublikace bez příslušnosti k fakultě
- Dead Variable Analysis for Multi-Threaded Heap Manipulating Programs2016 | Matematicko-fyzikální fakulta
- Introduction to the symposium: comparative macroeconomic measurement2006 | Ústřední knihovna
- DiSL rev 488Publikace bez příslušnosti k fakultě
- Ztráty centrálních bank a ekonomická konvergence2009 | Fakulta sociálních věd
- PeachPie: Mature PHP to CLI Compiler2022 | Matematicko-fyzikální fakulta
- Redukce dočasných stromů v XQuery2008 | Matematicko-fyzikální fakulta
- Rozšíření Datalogu k modelování XQuery2008 | Matematicko-fyzikální fakulta
- Částečná verifikace softwarových komponent: heuristiky pro konstrukci prostředí +22007 | Matematicko-fyzikální fakulta
- JSPChecker: Static Detection of Context-Sensitive Cross-Site Scripting Flaws in Legacy Web Applications2016 | Matematicko-fyzikální fakulta
- DiSL: A Domain-Specific Language for Bytecode Instrumentation2012 | Matematicko-fyzikální fakulta