@inproceedings{DBLP:conf/erlang/HristovB24,
author = {Marian Hristov and
Annette Bieniusa},
editor = {Kiko Fernandez{-}Reyes and
Adriana Laura Voinea},
title = {Erla{\unicode{8314}}: Translating TLA{\unicode{8314}} Models into
Executable Actor-Based Implementations},
booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang 2024, Milan, Italy, 2 September 2024},
pages = {13--23},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3677995.3678190},
doi = {10.1145/3677995.3678190},
timestamp = {Sun, 08 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/HristovB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/HristovNIA21,
author = {Marian Hristov and
Maria Nenova and
Georgi Iliev and
Dimiter Avresky},
editor = {Mauro Andreolini and
Mirco Marchetti and
Dimiter R. Avresky},
title = {Integration of Splunk Enterprise {SIEM} for DDoS Attack Detection
in IoT},
booktitle = {20th {IEEE} International Symposium on Network Computing and Applications,
{NCA} 2021, Boston, MA, USA, November 23-26, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/NCA53618.2021.9685977},
doi = {10.1109/NCA53618.2021.9685977},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nca/HristovNIA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
