Andrei Aleksandrov

According to our database, Andrei Aleksandrov authored at least 8 papers between 2023 and 2026.

Collaborative distances:

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

2026

Structural Testing with Homomorphic Encryption.

Andrei Aleksandrov

Proceedings of the Relational and Algebraic Methods in Computer Science, 2026

2025

Systemic Risks of Interacting AI.

Paul Darius, Thomas Hoppe, Andrei Aleksandrov

CoRR, December, 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

Privacy-Preserving Parking Lot Surveillance Utilizing Homomorphic Encryption.

Katharina Barlage, Andrei Aleksandrov, Philipp Lämmel

Proceedings of the IEEE International Smart Cities Conference, 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