Machine learning-based run-time anomaly detection in software systems: An industrial evaluation F Huch, M Golagha, A Petrovska, A Krauss 2018 IEEE Workshop on Machine Learning Techniques for Software Quality …, 2018 | 25 | 2018 |
FindFacts: a scalable theorem search F Huch, A Krauss arXiv preprint arXiv:2204.14191, 2022 | 5 | 2022 |
A Linter for Isabelle: Implementation and Evaluation Y Megdiche, F Huch, L Stevens arXiv preprint arXiv:2207.10424, 2022 | 2 | 2022 |
Re-imagining the Isabelle Archive of Formal Proofs C MacKenzie, F Huch, J Vaughan, J Fleuriot Intelligent Computer Mathematics: 15th International Conference, CICM 2022 …, 2022 | 1 | 2022 |
Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs F Huch Intelligent Computer Mathematics: 15th International Conference, CICM 2022 …, 2022 | 1 | 2022 |
Formalization Quality in Isabelle F Huch, Y Stathopoulos International Conference on Intelligent Computer Mathematics, 142-157, 2023 | | 2023 |
The Isabelle Community Benchmark F Huch, V Bode | | 2022 |
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs F Huch | | 2022 |
Higher Order Unification F Huch | | 2020 |
Anomaly detection and prediction in distributed software systems using machine learning F Huch | | |