Classes
- Formal Foundations of Software EngineeringNTIN043 | 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
- Software Development ToolsNSWI154 | Faculty of Mathematics and Physics
Publications
- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs2020 | 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
- Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information2016 | Faculty of Mathematics and Physics
- Model Checking of Concurrent Programs with Static Analysis of Field Accesses2015 | Faculty of Mathematics and Physics
- BeJC: Checking Compliance beetween Java Implementation and Behavior Specification2012 | Faculty of Mathematics and Physics
- Extraction of Component-Environment Interaction Model Using State Space Traversal2010 | Faculty of Mathematics and Physics
- On Teaching Formal Methods: Behavior Models and Code Analysis2009 | 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
Loading network view...