Marian Hristov

According to our database, Marian Hristov authored at least 2 papers between 2021 and 2024.

Collaborative distances:

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

2024

Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations.

Marian Hristov, Annette Bieniusa

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2021

Integration of Splunk Enterprise SIEM for DDoS Attack Detection in IoT.

Marian Hristov, Maria Nenova, Georgi Iliev, Dimiter Avresky

Proceedings of the 20th IEEE International Symposium on Network Computing and Applications, 2021