TY  - JOUR
AU  - Fördős, Viktória
AU  - Barbosa Rodrigues, Alexandre Jorge
TI  - Lesser Evil: Embracing Failure to Protect Overall System Availability
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 13272
PY  - 2022
SP  - 57
EP  - 73
PG  - 17
SN  - 0302-9743
DO  - 10.1007/978-3-031-16092-9_5
UR  - https://m2.mtmt.hu/api/publication/33081182
ID  - 33081182
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Fördős, Viktória
ED  - Stavros, Aronis
ED  - Annette, Bieniusa
TI  - What Are the Critical Security Flaws in My System?
T2  - Erlang ’21
PB  - Association for Computing Machinery (ACM)
CY  - New York, New York
SN  - 9781450386128
PY  - 2021
SP  - 64
EP  - 71
PG  - 8
DO  - 10.1145/3471871.3472965
UR  - https://m2.mtmt.hu/api/publication/32290814
ID  - 32290814
LA  - English
DB  - MTMT
ER  - 

TY  - BOOK
ED  - Bieniusa, Annette
ED  - Fördős, Viktória
TI  - Erlang 2020: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang
PB  - Association for Computing Machinery (ACM)
CY  - New York, New York
PY  - 2020
DO  - 10.1145/3406085
UR  - https://m2.mtmt.hu/api/publication/31638576
ID  - 31638576
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Fördős, Viktória
ED  - Bieniusa, Annette
ED  - Fördős, Viktória
ED  - Bieniusa, Annette
ED  - Fördős, Viktória
TI  - Secure design and verification of Erlang systems
T2  - Erlang 2020
PB  - Association for Computing Machinery (ACM)
CY  - New York, New York
SN  - 9781450380492
PY  - 2020
SP  - 31
EP  - 40
PG  - 10
DO  - 10.1145/3406085.3409011
UR  - https://m2.mtmt.hu/api/publication/31638520
ID  - 31638520
LA  - English
DB  - MTMT
ER  - 

TY  - BOOK
ED  - Adrian, Francalanza
ED  - Fördős, Viktória
TI  - Erlang 2019: Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang
PB  - Association for Computing Machinery (ACM)
CY  - New York, New York
PY  - 2019
UR  - https://m2.mtmt.hu/api/publication/31638582
ID  - 31638582
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Aronis, Stavros
AU  - Fördős, Viktória
AU  - Szoboszlay, Dániel
ED  - Chechina, Natalia
ED  - Francalanza, Adrian
TI  - Modelling distributed Erlang within a single node
T2  - Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018
PY  - 2018
SP  - 25
EP  - 36
PG  - 12
DO  - 10.1145/3239332.3242764
UR  - https://m2.mtmt.hu/api/publication/31638586
ID  - 31638586
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Alexandre, Jorge Barbosa Rodrigues
AU  - Fördős, Viktória
TI  - Towards secure Erlang systems
T2  - Erlang 2018 Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang
PB  - ACM Press
CY  - Saint Louis (MO)
SN  - 9781450358248
PB  - ACM Press
PY  - 2018
SP  - 67
EP  - 70
PG  - 4
DO  - 10.1145/3239332.3242768
UR  - https://m2.mtmt.hu/api/publication/27687889
ID  - 27687889
N1  - https://dl.acm.org/citation.cfm?id=3242768
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Trinder, Phil
AU  - Chechina, Natalia
AU  - Papaspyrou, Nikolaos
AU  - Sagonas, Konstantinos
AU  - Simon, J.
AU  - Adams, Stephen
AU  - Aronis, Stavros
AU  - Baker, Robert
AU  - Bihari, Eva
AU  - Boudeville, Olivier
AU  - Cesarini, Francesco
AU  - Stefano, Maurizio Di
AU  - Eriksson, Sverker
AU  - Fördős, Viktória
AU  - Ghaffari, Amir
AU  - Giantsios, Aggelos
AU  - Green, Rickard
AU  - Hoch, Csaba
AU  - Klaftenegger, David
AU  - Li, Huiqing
AU  - Lundin, Kenneth
AU  - MacKenzie, Kenneth
AU  - Roukounaki, Katerina
AU  - Tsiouris, Yiannis
AU  - Winblad, Kjell
TI  - Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform
PY  - 2017
UR  - https://m2.mtmt.hu/api/publication/31638597
ID  - 31638597
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Chechina, Natalia
AU  - MacKenzie, Kenneth
AU  - Thompson, Simon
AU  - Trinder, Phil
AU  - Boudeville, Olivier
AU  - Fördős, Viktória
AU  - Hoch, Csaba
AU  - Ghaffari, Amir
AU  - Hernandez, Mario Moro
TI  - Evaluating Scalable Distributed Erlang for Scalability and Reliability
JF  - IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
J2  - IEEE T PARALL DISTR
VL  - 28
PY  - 2017
IS  - 8
SP  - 2244
EP  - 2257
PG  - 14
SN  - 1045-9219
DO  - 10.1109/TPDS.2017.2654246
UR  - https://m2.mtmt.hu/api/publication/31638596
ID  - 31638596
N1  - Funding Agency and Grant Number: EU grant 'RELEASE: A High- Level Paradigm for Reliable Large-scale Server Software' [287510]; UK's EPSRC grant 'Adaptive JIT-based Parallelism (AJITPar)' [EP/L000687/1]; Engineering and Physical Sciences Research Council [EP/L000687/1] Funding Source: researchfish; EPSRC [EP/L000687/1] Funding Source: UKRI
            Funding text: We thank our RELEASE project colleagues for technical insights. This work has been supported by the EU grant 'RELEASE: A High-Level Paradigm for Reliable Large-scale Server Software' (287510), and by the UK's EPSRC grant 'Adaptive JIT-based Parallelism (AJITPar)' (EP/L000687/1).
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Trinder, P
AU  - Chechina, N
AU  - Papaspyrou, N
AU  - Sagonas, K
AU  - Thompson, Simon
AU  - Adams, S
AU  - Aronis, S
AU  - Baker, R
AU  - Bihari, E
AU  - Boudeville, O
AU  - Cesarini, F
AU  - Di Stefano, M
AU  - Eriksson, S
AU  - Fördős, Viktória
AU  - Ghaffari, A
AU  - Giantsios, A
AU  - Green, R
AU  - Hoch, C
AU  - Klaftenegger, D
AU  - Li, H
AU  - Lundin, K
AU  - Mackenzie, K
AU  - Roukounaki, K
AU  - Tsiouris, Y
AU  - Winblad, K
TI  - Scaling reliably: Improving the scalability of the Erlang distributed actor platform
JF  - ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
J2  - ACM T PROGR LANG SYS
VL  - 39
PY  - 2017
IS  - 4
SN  - 0164-0925
DO  - 10.1145/3107937
UR  - https://m2.mtmt.hu/api/publication/26817522
ID  - 26817522
N1  - N1 Funding details: EP/G055181/1, EPSRC, Engineering and Physical Sciences Research Council
N1 Funding text: This work has been supported by the European Union Grant RII3-CT-2005-026133 "SCIEnce: Symbolic Computing Infrastructure in Europe," Grant IST-2011-287510 "RELEASE: A High-Level Paradigm for Reliable Large-scale Server Software," and by the UK's Engineering and Physical Sciences Research Council Grant EP/G055181/1 "HPC-GAP: High Performance Computational Algebra and Discrete Mathematics."
LA  - English
DB  - MTMT
ER  -