Classes
- Advanced Tools for Software Development and MonitoringNSWI126 | Faculty of Mathematics and Physics
- Software Development ToolsNSWI154 | Faculty of Mathematics and Physics
- Program Analysis and Code Verification +1NSWI132 | Faculty of Mathematics and Physics
- Commercial WorkshopsNSWI133 | Faculty of Mathematics and Physics
- Formal Foundations of Software EngineeringNTIN043 | Faculty of Mathematics and Physics
Publications
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Faculty of Mathematics and Physics
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Faculty of Mathematics and Physics
- Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal2014 | Faculty of Mathematics and Physics
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Faculty of Mathematics and Physics
- Advanced Debugging with JPF Inspector2011 | Faculty of Mathematics and Physics
- Checking Session-Oriented Interactions between Web Services2008 | Faculty of Mathematics and Physics
- Modeling and Verification of Session-Oriented Interactions between Web Services: Compliance of BPEL with Session ProtocolsPublication without faculty affiliation
- Computing Approximate Happens-Before Order with Static and Dynamic AnalysisPublication without faculty affiliation
- Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of ThreadsPublication without faculty affiliation
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Faculty of Mathematics and Physics
Loading network view...
