Andrei Aleksandrov

According to our database, Andrei Aleksandrov authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq.

Leo Alexander Gummersbach, Kim Völlinger, Andrei Aleksandrov

Proceedings of the Theoretical Aspects of Software Engineering, 2025

Anomaly Detection in IoT Networks: A Performance Comparison of Transformer, 1D-CNN, and GrowNet Models on the Bot-IoT Dataset.

Aurelia Kusumastuti, Denis Rangelov, Philipp Lämmel, Michell Boerger, Andrei Aleksandrov, Nikolay Tcholtchev

Proceedings of the 14th International Conference on Data Science, 2025

Leveraging Liquid Time-Constant Neural Networks for ECG Classification: A Focus on Pre-Processing Techniques.

Lisa-Maria Beneke, Michell Boerger, Philipp Lämmel, Helene Knof, Andrei Aleksandrov, Nikolay Tcholtchev

Proceedings of the 14th International Conference on Data Science, 2025

2024

Switched Systems in Coq for Modeling Periodic Controllers.

Andrei Aleksandrov, Kim Völlinger

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

2023

Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq.

Andrei Aleksandrov, Kim Völlinger

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023