Classes
- Software Development ToolsNSWI154 | Faculty of Mathematics and Physics
- 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
- 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
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Faculty of Mathematics and Physics
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Modeling of Component Environment in Presence of Callbacks and Autonomous Activities +12008 | Faculty of Mathematics and Physics
- Checking Session-Oriented Interactions between Web Services2008 | Faculty of Mathematics and Physics
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- Partial Verification of Software Components: Heuristics for Environment Construction +22007 | Faculty of Mathematics and Physics
- Modeling Environment for Component Model Checking from Hierarchical Architecture2007 | Faculty of Mathematics and Physics
- Specification and Generation of Environment for Model Checking of Software Components2007 | Faculty of Mathematics and Physics
- Modeling and Verification of Session-Oriented Interactions between Web Services: Compliance of BPEL with Session ProtocolsPublication without faculty affiliation
Loading network view...