Classes
- Program Analysis and Code Verification +1NSWI132 | Faculty of Mathematics and Physics
- Formal Foundations of Software EngineeringNTIN043 | 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
Publications
- Efficient Detection of Errors in Java Components Using Random Environment and Restarts2010 | Faculty of Mathematics and Physics
- Extraction of Component-Environment Interaction Model Using State Space Traversal2010 | Faculty of Mathematics and Physics
- Challenge Benchmarks for Verification of Real-time Programs2010 | 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
- On Teaching Formal Methods: Behavior Models and Code Analysis2009 | Faculty of Mathematics and Physics
- Automated Construction of Reasonable Environment for Java Components2009 | Faculty of Mathematics and Physics
- CoCoME in SOFA +12008 | Faculty of Mathematics and Physics
- Modeling of Component Environment in Presence of Callbacks and Autonomous Activities +12008 | Faculty of Mathematics and Physics
- Formal Verification of Components in Java2008 | Faculty of Mathematics and Physics
Loading network view...
