Ivan Fedotov

According to our database, Ivan Fedotov authored at least 5 papers between 2021 and 2022.

Collaborative distances:

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

2022

Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties.

Ivan Fedotov, Anton Khritankov, Artem Barger

Proceedings of the ICSIM 2022: The 5th International Conference on Software Engineering and Information Management, Yokohama, Japan, January 21, 2022

Optimizing multi-party agreement protocols.

Ivan Fedotov, Anton Khritankov, Artem Barger

Proceedings of the 4th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2022

2021

Towards automated verification of multi-party consensus protocols.

Ivan Fedotov, Anton Khritankov, Artem Barger

CoRR, 2021

Statistical Model Checking of Common Attack Scenarios on Blockchain.

Ivan Fedotov, Anton Khritankov

Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021

Choosing the Initial State for Online Replanning.

Maximilian Fickert, Ivan Gavran, Ivan Fedotov, Jörg Hoffmann, Rupak Majumdar, Wheeler Ruml

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021