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
- A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder2019 | Faculty of Mathematics and Physics
- Hybrid Analysis for Partial Order Reduction of Programs with Arrays2016 | Faculty of Mathematics and Physics
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Faculty of Mathematics and Physics
- Predicate Abstraction in Program Verification: Survey and Current Trends2014 | Faculty of Mathematics and Physics
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Faculty of Mathematics and Physics
- Exhaustive Testing of Safety Critical Java2010 | Faculty of Mathematics and Physics
- Assume-Guarantee Verification of Software Components in SOFA 2 Framework2010 | Faculty of Mathematics and Physics
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
- Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker +22007 | Faculty of Mathematics and Physics
Loading network view...