Naghmeh Ramezani Ivaki
AuthID: R-000-X9J
11
TITLE: An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools
AUTHORS: Dia, Bruno; Ivaki, Naghmeh; Laranjeiro, Nuno;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2021 IEEE 26TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2021), VOLUME: 2021-December
AUTHORS: Dia, Bruno; Ivaki, Naghmeh; Laranjeiro, Nuno;
PUBLISHED: 2021, SOURCE: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2021 IEEE 26TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2021), VOLUME: 2021-December
INDEXED IN: 
Scopus 
WOS
Scopus WOS12
TITLE: Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
AUTHORS: Ákos Hajdu; Naghmeh Ivaki; Imre Kocsis; Attila Klenik; László Gönczy; Nuno Laranjeiro; Henrique Madeira ; András Pataricza;
PUBLISHED: 2020, SOURCE: IEEE Access, VOLUME: 8
AUTHORS: Ákos Hajdu; Naghmeh Ivaki; Imre Kocsis; Attila Klenik; László Gönczy; Nuno Laranjeiro; Henrique Madeira ; András Pataricza;
PUBLISHED: 2020, SOURCE: IEEE Access, VOLUME: 8
INDEXED IN: 
DBLP
DBLP13
TITLE: Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
AUTHORS: Hajdu, A; Ivaki, N; Kocsis, I; Klenik, A; Gonczy, L; Laranjeiro, N; Madeira, H ; Pataricza, A;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8
AUTHORS: Hajdu, A; Ivaki, N; Kocsis, I; Klenik, A; Gonczy, L; Laranjeiro, N; Madeira, H ; Pataricza, A;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8
INDEXED IN: Scopus WOS
Scopus WOS14
TITLE: Vulnerable Code Detection Using Software Metrics and Machine Learning
AUTHORS: Medeiros, N; Ivaki, N; Costa, P; Vieira, M;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8
AUTHORS: Medeiros, N; Ivaki, N; Costa, P; Vieira, M;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8
15
TITLE: 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019
AUTHORS: Katinka Wolter; Ina Schieferdecker; Barbara Gallina; Michel Cukier; Roberto Natella; Naghmeh Ivaki; Nuno Laranjeiro;
PUBLISHED: 2019, SOURCE: ISSRE
AUTHORS: Katinka Wolter; Ina Schieferdecker; Barbara Gallina; Michel Cukier; Roberto Natella; Naghmeh Ivaki; Nuno Laranjeiro;
PUBLISHED: 2019, SOURCE: ISSRE
INDEXED IN: DBLP
DBLP16
TITLE: IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
AUTHORS: Katinka Wolter; Ina Schieferdecker; Barbara Gallina; Michel Cukier; Roberto Natella; Naghmeh Ivaki; Nuno Laranjeiro;
PUBLISHED: 2019, SOURCE: ISSRE Workshops
AUTHORS: Katinka Wolter; Ina Schieferdecker; Barbara Gallina; Michel Cukier; Roberto Natella; Naghmeh Ivaki; Nuno Laranjeiro;
PUBLISHED: 2019, SOURCE: ISSRE Workshops
INDEXED IN: DBLP
DBLP17
TITLE: A survey on reliable distributed communication Full Text
AUTHORS: Naghmeh Ivaki; Nuno Laranjeiro; Filipe Araujo;
PUBLISHED: 2018, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 137
AUTHORS: Naghmeh Ivaki; Nuno Laranjeiro; Filipe Araujo;
PUBLISHED: 2018, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 137
INDEXED IN: WOS
WOS18
TITLE: An Approach for Trustworthiness Benchmarking using Software Metrics
AUTHORS: Medeiros, N; Ivaki, N; Costa, P; Vieira, M;
PUBLISHED: 2018, SOURCE: 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), VOLUME: 2018-December
AUTHORS: Medeiros, N; Ivaki, N; Costa, P; Vieira, M;
PUBLISHED: 2018, SOURCE: 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), VOLUME: 2018-December
19
TITLE: Effects of GPS Spoofing on Unmanned Aerial Vehicles
AUTHORS: Mendes, D; Ivaki, N; Madeira, H ;
PUBLISHED: 2018, SOURCE: 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), VOLUME: 2018-December
AUTHORS: Mendes, D; Ivaki, N; Madeira, H ;
PUBLISHED: 2018, SOURCE: 23rd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) in 2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), VOLUME: 2018-December
INDEXED IN: Scopus WOS
Scopus WOS20
TITLE: Design Patterns for Reliable One-Way Messaging
AUTHORS: Naghmeh Ivaki; Nuno Laranjeiro; Filipe Araujo;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Services Computing (SCC) in 2017 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC)
AUTHORS: Naghmeh Ivaki; Nuno Laranjeiro; Filipe Araujo;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Services Computing (SCC) in 2017 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING (SCC)
INDEXED IN: Scopus WOS
Scopus WOS