Classes
- Program Analysis and Code Verification +1NSWI132 | Faculty of Mathematics and Physics
- Advanced Tools for Software Development and MonitoringNSWI126 | Faculty of Mathematics and Physics
- Commercial WorkshopsNSWI133 | Faculty of Mathematics and Physics
- Software Development ToolsNSWI154 | Faculty of Mathematics and Physics
- Formal Foundations of Software EngineeringNTIN043 | Faculty of Mathematics and Physics
Publications
- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment2019 | Faculty of Mathematics and Physics
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Faculty of Mathematics and Physics
- Fast Error Detection with Hybrid Analyses of Future Accesses2016 | Faculty of Mathematics and Physics
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Faculty of Mathematics and Physics
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Faculty of Mathematics and Physics
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | Faculty of Mathematics and Physics
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublication without faculty affiliation
- JPF-staticPublication without faculty affiliation
- Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of ThreadsPublication without faculty affiliation
Loading network view...