Anatoly Krasnovsky
@anatolyConnected with DSML. This person's Telegram account has been confirmed through DSML Kazakhstan.
Lead Developer and Technical Lead
Researcher with a deep SE background, interested in formal methods and mathematical modeling in machine learning, software engineering, and beyond.
- publications
- 10
- citations
- 26
- h-index
- 3
1
0
2
7
20232026
Publications10
- 182023
Does carbon cloth really improve thermophilic anaerobic digestion performance on a larger scale? focusing on statistical analysis and microbial community dynamics
Article · Journal of Environmental Management · Open access
- 42026
Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos Engineering
Talk · ACM/IEEE International Conference on Software Engineering: Companion Proceedings · Open access
- 32026
Refining Resilience Model Discovery: A Case Study on the Limited Role of Asynchronous Edges in the OpenTelemetry Demo
Talk · Lecture notes on data engineering and communications technologies · PDF
- 12026
A Reduced Stochastic Model of Microservice Availability: Algorithms for Identification and Formal Analysis
Preprint · arXiv · PDF
- —2026
eBPF Model Discovery Experiments: Code, Analytical Results and Worked Example
Code · Zenodo · Open access
- —2026
Procrustes-Bering-Sheaft: Automated Model Discovery and Virtual Crash Tests for Microservices
Preprint · arXiv · PDF
- —2026
Replication package for "Is a Trace-Discovered Graph Enough for Microservice Availability Assessment? A Lightweight Stochastic Model with Identification and Analysis Algorithms"
Dataset · Zenodo · Open access
- —2026
Resilience Pipeline for DeathStarBench Social-Network
Code · Zenodo · Open access
- —2025
Measuring Uncertainty in Transformer Circuits with Effective Information Consistency
Article · Russian Digital Libraries Journal · PDF
- —2025
Measuring Uncertainty in Transformer Circuits with Effective Information Consistency
Article · Automatic Documentation and Mathematical Linguistics · PDF