Classes
- Advanced Tools for Software Development and MonitoringNSWI126 | Faculty of Mathematics and Physics
- Program Analysis and Code Verification +1NSWI132 | 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
- 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
- Eclipse plugin for checking behavior of composed web services +1Publication without faculty affiliation
- BPEL CheckerPublication without faculty affiliation
- Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs2023 | Faculty of Mathematics and Physics
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Faculty of Mathematics and Physics
- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | Faculty of Mathematics and Physics
- Fast Detection of Concurrency Errors by State Space Traversal with Randomization and Early Backtracking2019 | Faculty of Mathematics and Physics
- BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment2019 | Faculty of Mathematics and Physics
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Faculty of Mathematics and Physics
Loading network view...