https://soaib.me/projects/mldiff/2025-09-05T00:00:00+00:00https://soaib.me/projects/fm-playground/2025-09-06T00:00:00+00:00https://soaib.me/posts/nfdixcs-summer-school-2025/2025-10-02T00:00:00+00:00https://soaib.me/posts/2025-10-02T00:00:00+00:00https://soaib.me/2025-10-02T00:00:00+00:00https://soaib.me/tags/formal-methods/2025-09-06T00:00:00+00:00https://soaib.me/tags/playground/2025-09-06T00:00:00+00:00https://soaib.me/projects/2025-09-06T00:00:00+00:00https://soaib.me/tags/2025-09-06T00:00:00+00:00https://soaib.me/tags/teaching/2025-09-06T00:00:00+00:00https://soaib.me/tags/web-application/2025-09-06T00:00:00+00:00https://soaib.me/tags/classification/2025-09-05T00:00:00+00:00https://soaib.me/tags/machine-learning/2025-09-05T00:00:00+00:00https://soaib.me/tags/smt/2025-09-05T00:00:00+00:00https://soaib.me/tags/verification/2025-09-05T00:00:00+00:00https://soaib.me/tags/alloy/2025-09-04T00:00:00+00:00https://soaib.me/projects/alloy-langium/2025-09-04T00:00:00+00:00https://soaib.me/tags/langium/2025-09-04T00:00:00+00:00https://soaib.me/tags/lsp/2025-09-04T00:00:00+00:00https://soaib.me/projects/smt-langium/2025-09-04T00:00:00+00:00https://soaib.me/projects/z3-vscode/2025-09-04T00:00:00+00:00https://soaib.me/tags/vscode/2025-09-04T00:00:00+00:00https://soaib.me/tags/z3/2025-09-04T00:00:00+00:00https://soaib.me/tags/limboole/2025-09-02T00:00:00+00:00https://soaib.me/tags/sat-solving/2025-09-02T00:00:00+00:00https://soaib.me/projects/limboole-vscode/2025-09-02T00:00:00+00:00https://soaib.me/tags/comparison/2025-08-24T00:00:00+00:00https://soaib.me/publications/2025-sefm/2025-08-24T00:00:00+00:00https://soaib.me/publications/2025-smt/2025-08-10T00:00:00+00:00https://soaib.me/tags/satisfiability-modulo-theories/2025-08-10T00:00:00+00:00https://soaib.me/tags/formal-specification/2025-06-10T00:00:00+00:00https://soaib.me/tags/model-analysis/2025-06-10T00:00:00+00:00https://soaib.me/publications/2025-abz/2025-06-10T00:00:00+00:00https://soaib.me/tags/formal-methods-education/2024-09-10T00:00:00+00:00https://soaib.me/tags/github-classroom/2024-09-10T00:00:00+00:00https://soaib.me/publications/2024-fmtea/2024-09-10T00:00:00+00:00https://soaib.me/tags/software-engineering-education/2024-09-10T00:00:00+00:00https://soaib.me/tags/teaching-methods/2024-09-10T00:00:00+00:00https://soaib.me/publications/2024-fm-ds/2024-09-10T00:00:00+00:00https://soaib.me/contact/2024-09-05T00:00:00+00:00https://soaib.me/imprint/2024-09-05T00:00:00+00:00https://soaib.me/publications/2024-09-05T00:00:00+00:00https://soaib.me/posts/fm4se-wise-23-24/2024-02-01T00:00:00+00:00https://soaib.me/tags/computer-vision/2023-11-01T00:00:00+00:00https://soaib.me/tags/deep-learning/2023-11-01T00:00:00+00:00https://soaib.me/tags/edge-computing/2023-11-01T00:00:00+00:00https://soaib.me/publications/2023-ess/2023-11-01T00:00:00+00:00https://soaib.me/tags/power-line-inspection/2023-11-01T00:00:00+00:00https://soaib.me/tags/ssd-detector/2023-11-01T00:00:00+00:00https://soaib.me/posts/summaery-2023/2023-07-20T00:00:00+00:00https://soaib.me/posts/uni-weimar-find-job-in-the-german-labour-market-2023/2023-06-03T10:49:26+00:00https://soaib.me/publications/2021-iscset/2021-11-10T00:00:00+00:00https://soaib.me/tags/insulator-detection/2021-11-10T00:00:00+00:00https://soaib.me/tags/power-grid-monitoring/2021-11-10T00:00:00+00:00https://soaib.me/publications/2019-perawarecity/2019-03-11T00:00:00+00:00https://soaib.me/tags/blockchain/2019-03-11T00:00:00+00:00https://soaib.me/tags/distributed-systems/2019-03-11T00:00:00+00:00https://soaib.me/tags/iot/2019-03-11T00:00:00+00:00https://soaib.me/tags/smart-cities/2019-03-11T00:00:00+00:00https://soaib.me/tags/smart-parking/2019-03-11T00:00:00+00:00https://soaib.me/about/