Software

Model checker to design and verification of finite state machine
for self-adaptive software at runtime

Released in 2018

Software is specifically designed for the enumeration and classification of muscle cell nuclei, enabling the accurate calculation of the fusion index, thereby underscoring its significance in biological and biomedical research

Github: https://github.com/SEPO-FI/SEPO-Fi-v1.0

Released in 2024

Software for supporting pathologists and researchers in providing quantitative biomarker assessment through pixel-based analysis

Github: https://github.com/Infected-rate/SEPO_IR 

Released in 2025