@article{MTMT:33081182, title = {Lesser Evil: Embracing Failure to Protect Overall System Availability}, url = {https://m2.mtmt.hu/api/publication/33081182}, author = {Fördős, Viktória and Barbosa Rodrigues, Alexandre Jorge}, doi = {10.1007/978-3-031-16092-9_5}, journal-iso = {LNCS}, journal = {LECTURE NOTES IN COMPUTER SCIENCE}, volume = {13272}, unique-id = {33081182}, issn = {0302-9743}, year = {2022}, eissn = {1611-3349}, pages = {57-73}, orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797; Barbosa Rodrigues, Alexandre Jorge/0000-0001-7618-6743} } @inproceedings{MTMT:32290814, title = {What Are the Critical Security Flaws in My System?}, url = {https://m2.mtmt.hu/api/publication/32290814}, author = {Fördős, Viktória}, booktitle = {Erlang ’21}, doi = {10.1145/3471871.3472965}, unique-id = {32290814}, year = {2021}, pages = {64-71}, orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797} } @book{MTMT:31638576, title = {Erlang 2020: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang}, url = {https://m2.mtmt.hu/api/publication/31638576}, doi = {10.1145/3406085}, editor = {Bieniusa, Annette and Fördős, Viktória}, publisher = {ACM}, unique-id = {31638576}, year = {2020}, orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797} } @inproceedings{MTMT:31638520, title = {Secure design and verification of Erlang systems}, url = {https://m2.mtmt.hu/api/publication/31638520}, author = {Fördős, Viktória}, booktitle = {Erlang 2020}, doi = {10.1145/3406085.3409011}, editor = {Bieniusa, Annette and Fördős, Viktória}, unique-id = {31638520}, year = {2020}, pages = {31-40}, orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797; Fördős, Viktória/0000-0001-6403-9797} } @book{MTMT:31638582, title = {Erlang 2019: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang}, url = {https://m2.mtmt.hu/api/publication/31638582}, editor = {Adrian, Francalanza and Fördős, Viktória}, publisher = {ACM}, unique-id = {31638582}, year = {2019}, orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797} } @inproceedings{MTMT:31638586, title = {Modelling distributed Erlang within a single node}, url = {https://m2.mtmt.hu/api/publication/31638586}, author = {Aronis, Stavros and Fördős, Viktória and Szoboszlay, Dániel}, booktitle = {Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018}, doi = {10.1145/3239332.3242764}, editor = {Chechina, Natalia and Francalanza, Adrian}, unique-id = {31638586}, year = {2018}, pages = {25-36}, orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797} } @inproceedings{MTMT:27687889, title = {Towards secure Erlang systems}, url = {https://m2.mtmt.hu/api/publication/27687889}, author = {Alexandre, Jorge Barbosa Rodrigues and Fördős, Viktória}, booktitle = {Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang}, doi = {10.1145/3239332.3242768}, publisher = {ACM Press}, unique-id = {27687889}, year = {2018}, pages = {67-70}, orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797} } @misc{MTMT:31638597, title = {Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform}, url = {https://m2.mtmt.hu/api/publication/31638597}, author = {Trinder, Phil and Chechina, Natalia and Papaspyrou, Nikolaos and Sagonas, Konstantinos and Simon, J. and Adams, Stephen and Aronis, Stavros and Baker, Robert and Bihari, Eva and Boudeville, Olivier and Cesarini, Francesco and Stefano, Maurizio Di and Eriksson, Sverker and Fördős, Viktória and Ghaffari, Amir and Giantsios, Aggelos and Green, Rickard and Hoch, Csaba and Klaftenegger, David and Li, Huiqing and Lundin, Kenneth and MacKenzie, Kenneth and Roukounaki, Katerina and Tsiouris, Yiannis and Winblad, Kjell}, unique-id = {31638597}, year = {2017}, orcid-numbers = {Fördős, Viktória/0000-0001-6403-9797} } @article{MTMT:31638596, title = {Evaluating Scalable Distributed Erlang for Scalability and Reliability}, url = {https://m2.mtmt.hu/api/publication/31638596}, author = {Chechina, Natalia and MacKenzie, Kenneth and Thompson, Simon and Trinder, Phil and Boudeville, Olivier and Fördős, Viktória and Hoch, Csaba and Ghaffari, Amir and Hernandez, Mario Moro}, doi = {10.1109/TPDS.2017.2654246}, journal-iso = {IEEE T PARALL DISTR}, journal = {IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS}, volume = {28}, unique-id = {31638596}, issn = {1045-9219}, year = {2017}, eissn = {1558-2183}, pages = {2244-2257}, orcid-numbers = {Thompson, Simon/0000-0002-2350-301X; Fördős, Viktória/0000-0001-6403-9797} } @article{MTMT:26817522, title = {Scaling reliably: Improving the scalability of the Erlang distributed actor platform}, url = {https://m2.mtmt.hu/api/publication/26817522}, author = {Trinder, P and Chechina, N and Papaspyrou, N and Sagonas, K and Thompson, Simon and Adams, S and Aronis, S and Baker, R and Bihari, E and Boudeville, O and Cesarini, F and Di Stefano, M and Eriksson, S and Fördős, Viktória and Ghaffari, A and Giantsios, A and Green, R and Hoch, C and Klaftenegger, D and Li, H and Lundin, K and Mackenzie, K and Roukounaki, K and Tsiouris, Y and Winblad, K}, doi = {10.1145/3107937}, journal-iso = {ACM T PROGR LANG SYS}, journal = {ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS}, volume = {39}, unique-id = {26817522}, issn = {0164-0925}, year = {2017}, eissn = {1558-4593}, orcid-numbers = {Thompson, Simon/0000-0002-2350-301X; Fördős, Viktória/0000-0001-6403-9797} }