Naghmeh Ramezani Ivaki

According to our database, Naghmeh Ramezani Ivaki authored at least 44 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities.

Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro

Empir. Softw. Eng., July, 2024

A Taxonomy for Python Vulnerabilities.

C. G. Frédéric Bogaerts, Naghmeh Ivaki, José Fonseca

IEEE Open J. Comput. Soc., 2024

Vulnerability detection techniques for smart contracts: A systematic literature review.

Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro

J. Syst. Softw., 2024

Design a Software Reference Architecture to Enhance Privacy and Security in Electronic Health Records.

Rodrigo Tertulino, Naghmeh Ivaki, Higor Morais

IEEE Access, 2024

A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller.

Diogo Costa, Anamta Khan, Naghmeh Ivaki, Henrique Madeira

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

A Comprehensive Study on Drones Resilience in the Presence of Inertial Measurement Unit Faults.

Anamta Khan, Naghmeh Ivaki, Henrique Madeira

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

2023

Trustworthiness models to categorize and prioritize code for security improvement.

Nadia Patricia Da Silva Medeiros, Naghmeh Ivaki, Pedro Costa, Marco Vieira

J. Syst. Softw., April, 2023

Analyzing the Impact of Elusive Faults on Blockchain Reliability.

Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro

CoRR, 2023

Savery: A Framework for the Assessment and Comparison of Mobile Development Tools.

José Donato, Naghmeh Ivaki, Nuno Antunes

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller.

Anamta Khan, João R. Campos, Naghmeh Ivaki, Henrique Madeira

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Lead Time Analysis for UAVs' Failure Prediction in U-space.

Omid Asghari, Naghmeh Ivaki, Henrique Madeira

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning Algorithms.

Clayton Matias, Naghmeh Ivaki, Regina Moraes

Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

Advancing Blockchain Security: from Vulnerability Detection to Transaction Revocation.

Fernando Richter Vidal, Naghmeh Ivaki, Nuno Laranjeiro

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Using AI to Inject Vulnerabilities in Python Code.

C. G. Frédéric Bogaerts, Naghmeh Ivaki, José Fonseca

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Integration of U-space Safety Assessment Methodologies With Experimentation.

Omid Asghari, Naghmeh Ivaki, Henrique Madeira

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Assessment of the Impact of U-space Faulty Conditions on Drones Conflict Rate.

Anamta Khan, Carlos A. Chuquitarco Jiménez, Morcillo-Pallarés Pablo, Naghmeh Ramezani Ivaki, Juan Vicente Balbastre-Tejedor, Henrique Madeira

Proceedings of the Computer Safety, Reliability, and Security, 2022

Are UAVs' Flight Controller Software Reliable?

Anamta Khan, Naghmeh Ivaki, Henrique Madeira

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Classifying Fault Category and Severity of UAV Flight Controllers' Reported Issues.

Anamta Khan, Maria Lucia Ferramosca, Naghmeh Ivaki, Henrique Madeira

Proceedings of the 6th International Conference on System Reliability and Safety, 2022

2021

Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects.

José D'Abruzzo Pereira, Naghmeh Ramezani Ivaki, Marco Vieira

IEEE Access, 2021

An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools.

Bruno Dia, Naghmeh Ramezani Ivaki, Nuno Laranjeiro

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

Revocation Mechanisms for Blockchain Applications: A Review.

Fernando Richter Vidal, Naghmeh Ramezani Ivaki, Nuno Laranjeiro

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

An Empirical Study On Software Metrics and Machine Learning to Identify Untrustworthy Code.

Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira

Proceedings of the 17th European Dependable Computing Conference, 2021

2020

Vulnerable Code Detection Using Software Metrics and Machine Learning.

Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira

IEEE Access, 2020

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.

Ákos Hajdu, Naghmeh Ramezani Ivaki, Imre Kocsis, Attila Klenik, László Gönczy, Nuno Laranjeiro, Henrique Madeira, András Pataricza

IEEE Access, 2020

SIDE: Security-aware Integrated Development Environment.

Naghmeh Ivaki, Nuno Antunes

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2018

A survey on reliable distributed communication.

Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Filipe Araújo

J. Syst. Softw., 2018

Effects of GPS Spoofing on Unmanned Aerial Vehicles.

Daniel Mendes, Naghmeh Ramezani Ivaki, Henrique Madeira

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

An Approach for Trustworthiness Benchmarking Using Software Metrics.

Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

2017

Testing data-centric services using poor quality data: from relational to NoSQL document databases.

Nuno Laranjeiro, Seyma Nur Soydemir, Naghmeh Ramezani Ivaki, Jorge Bernardino

J. Braz. Comput. Soc., 2017

13th European Dependable Computing Conference (EDCC 2017): Fast Abstracts and Student Forum Proceedings.

Naghmeh Ramezani Ivaki

CoRR, 2017

Software Metrics as Indicators of Security Vulnerabilities.

Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Towards an Approach for Trustworthiness Assessment of Software as a Service.

Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Nunes Da Costa, Marco Paulo Amorim Vieira

Proceedings of the IEEE International Conference on Edge Computing, 2017

Analyzing Gossip Protocols for Reliable MANET Applications.

Everaldo Leme, Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Regina Moraes

Proceedings of the IEEE International Conference on Edge Computing, 2017

Design Patterns for Reliable One-Way Messaging.

Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Filipe Araújo

Proceedings of the 2017 IEEE International Conference on Services Computing, 2017

2016

The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016).

Nuno Laranjeiro, Naghmeh Ramezani Ivaki, Marco Vieira

Proceedings of the IEEE World Congress on Services, 2016

Towards designing reliable messaging patterns.

Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Filipe Araújo

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

2015

A taxonomy of reliable request-response protocols.

Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Filipe Araújo

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A Design Pattern for Reliable HTTP-Based Applications.

Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Filipe Araújo

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication.

Naghmeh Ramezani Ivaki, Filipe Araújo, Fernando J. Barros

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

A Fault-Tolerant Session Layer with Reliable One-Way Messaging and Server Migration Facility.

Naghmeh Ramezani Ivaki, Serhiy Boychenko, Filipe Araújo

Proceedings of the IEEE 3rd Symposium on Network Cloud Computing and Applications, 2014

Session-based fault-tolerant design patterns.

Naghmeh Ramezani Ivaki, Filipe Araújo, Fernando J. Barros

Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014

Fault-Tolerant bi-directional communications in web-based applications.

Naghmeh Ramezani Ivaki, Filipe Araújo

Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014

2013

Towards evaluating the impact of data quality on service applications.

Naghmeh Ramezani Ivaki, Nuno Laranjeiro, Marco Vieira

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2012

A Middleware for Exactly-Once Semantics in Request-Response Interactions.

Naghmeh Ramezani Ivaki, Filipe Araújo, Raul Barbosa

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012