Login / Signup
Marian Hristov
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 2
Top Topics
Attack Scenarios
Knowledge Management
Statistical Models
Product Recommendation
Top Venues
Erlang
NCA
</>
Publications
</>
Marian Hristov
,
Annette Bieniusa
Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations.
Erlang
(2024)
Marian Hristov
,
Maria Nenova
,
Georgi Iliev
,
Dimiter Avresky
Integration of Splunk Enterprise SIEM for DDoS Attack Detection in IoT.
NCA
(2021)