https://ferhat.ai/talk/example-talk/2030-06-01T13:00:00+00:00weeklyhttps://ferhat.ai/event/2030-06-01T13:00:00+00:00weeklyhttps://ferhat.ai/categories/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/cdcl/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/inference-time/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/neuro-symbolic-reasoning/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/publication-type/paper-conference/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/publication_types/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/publication/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/reward-modeling/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/publication/takashima-2025-scaling/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/category/selected/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/tags/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/test-time-compute/2025-02-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/dynamic-analysis/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/formal-methods/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/publication/erata-2025-learning/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/linear-regression/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/loop-invariants/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/machine-learning/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/nonlinear-equations/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/program-properties/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/randomized-self-reductions/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/self-correctness/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/tag/supervised-learning-by-regression/2025-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/project/randomized-reductions/2024-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/project/2024-01-16T00:00:00+00:00weeklyhttps://ferhat.ai/publication-type/article-journal/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/automated-reasoning/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/countermeasure/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/fault-injection-attacks/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/milp/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/mixed-integer-linear-programming/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/ntt/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/power-side-channel-attacks/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/power-trace-attack/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/pqc/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/publication/erata-2024-quantum/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/quantum-circuits/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/quantum-computers/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/random-self-reducibility/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/randomly-testable-functions/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/rsa-crt/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/tag/side-channel-attacks/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/publication/erata-2024-systematic/2024-01-15T00:00:00+00:00weeklyhttps://ferhat.ai/publication/xu-2024-quantum/2024-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/post/blog-with-jupyter/2023-11-04T00:00:00+00:00weeklyhttps://ferhat.ai/post/2023-11-04T00:00:00+00:00weeklyhttps://ferhat.ai/publication/xu-2023-exploration/2023-11-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/power-side-channel-vulnerabilities/2023-11-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/quantum-computer-controllers/2023-11-01T00:00:00+00:00weeklyhttps://ferhat.ai/project/side-channel-analysis/2023-11-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/binary-analysis/2023-07-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/differential-program-analysis/2023-07-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/hamming-weight/2023-07-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/post-quantum-cryptography/2023-07-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/power-side-channels/2023-07-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/relational-program-analysis/2023-07-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/symbolic-execution/2023-07-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/erata-2023-towards/2023-07-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/energy-harvesting/2023-02-02T00:00:00+00:00weeklyhttps://ferhat.ai/publication/erata-2023-etap/2023-02-02T00:00:00+00:00weeklyhttps://ferhat.ai/tag/intermittent-computing/2023-02-02T00:00:00+00:00weeklyhttps://ferhat.ai/tag/timing-analysis/2023-02-02T00:00:00+00:00weeklyhttps://ferhat.ai/tag/hardware-level-verification/2023-02-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/model-checkers/2023-02-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/security-verification/2023-02-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/software-level-verification/2023-02-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/erata-2023-survey/2023-02-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/theorem-provers/2023-02-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/azimi-2023-adaptv/2023-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/antivirus/2023-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/deshpande-2023-design/2023-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/quantum-com-puter-viruses/2023-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/viruses/2023-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/2022-10-24T00:00:00+00:00weeklyhttps://ferhat.ai/tag/academic/2020-12-13T00:00:00+00:00weeklyhttps://ferhat.ai/category/demo/2020-12-13T00:00:00+00:00weeklyhttps://ferhat.ai/post/getting-started/2020-12-13T00:00:00+00:00weeklyhttps://ferhat.ai/tag/%E5%BC%80%E6%BA%90/2020-12-13T00:00:00+00:00weeklyhttps://ferhat.ai/category/%E6%95%99%E7%A8%8B/2020-12-13T00:00:00+00:00weeklyhttps://ferhat.ai/publication/ozkaya-2020-survey/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/tekinerdogan-2020-automated/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/domain-specific-language/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/metamodeling/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/model-driven-software-development/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/practitioners/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/software-architecture-viewpoints/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/software-modeling-challenges/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/survey/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/system-of-systems/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/traceability/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/uml/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/ozkaya-2020-understanding/2020-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/post/writing-technical-content/2019-07-12T00:00:00+00:00weeklyhttps://ferhat.ai/publication/kern-2019-integrating/2019-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/alloy/2018-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/erata-2018-alloyinecore/2018-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/formal-reasoning/2018-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/kodkod/2018-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/modeling/2018-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/relational-logic/2018-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/erata-2017-tool/2017-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/automated-analysis/2017-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/domain-specific-modeling/2017-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/formal-trace-semantics/2017-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/metamodel/2017-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/tekinerdogan-2017-modeling/2017-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/erata-2017-modelwriter/2017-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/publication/erata-2017-tarski/2017-01-01T00:00:00+00:00weeklyhttps://ferhat.ai/tag/demo/2016-04-27T00:00:00+00:00weeklyhttps://ferhat.ai/project/external-project/2016-04-27T00:00:00+00:00weekly