Naghmeh Ramezani Ivaki

Orcid: 0000-0001-8376-6711

Affiliations:
  • University of Coimbra, Portugal


According to our database1, Naghmeh Ramezani Ivaki authored at least 39 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Trustworthiness models to categorize and prioritize code for security improvement.
J. Syst. Softw., April, 2023

Analyzing the Impact of Elusive Faults on Blockchain Reliability.
CoRR, 2023

OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities.
CoRR, 2023

Savery: A Framework for the Assessment and Comparison of Mobile Development Tools.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller.
Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Lead Time Analysis for UAVs' Failure Prediction in U-space.
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.
Proceedings of the 12th Latin-American Symposium on Dependable and Secure Computing, 2023

Advancing Blockchain Security: from Vulnerability Detection to Transaction Revocation.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Using AI to Inject Vulnerabilities in Python Code.
Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

Integration of U-space Safety Assessment Methodologies With Experimentation.
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.
Proceedings of the Computer Safety, Reliability, and Security, 2022

Are UAVs' Flight Controller Software Reliable?
Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Classifying Fault Category and Severity of UAV Flight Controllers' Reported Issues.
Proceedings of the 6th International Conference on System Reliability and Safety, 2022

2021
Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects.
IEEE Access, 2021

An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools.
Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

Revocation Mechanisms for Blockchain Applications: A Review.
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

An Empirical Study On Software Metrics and Machine Learning to Identify Untrustworthy Code.
Proceedings of the 17th European Dependable Computing Conference, 2021

2020
Vulnerable Code Detection Using Software Metrics and Machine Learning.
IEEE Access, 2020

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts.
IEEE Access, 2020

SIDE: Security-aware Integrated Development Environment.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2018
A survey on reliable distributed communication.
J. Syst. Softw., 2018

Effects of GPS Spoofing on Unmanned Aerial Vehicles.
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

An Approach for Trustworthiness Benchmarking Using Software Metrics.
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.
J. Braz. Comput. Soc., 2017

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

Software Metrics as Indicators of Security Vulnerabilities.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

Towards an Approach for Trustworthiness Assessment of Software as a Service.
Proceedings of the IEEE International Conference on Edge Computing, 2017

Analyzing Gossip Protocols for Reliable MANET Applications.
Proceedings of the IEEE International Conference on Edge Computing, 2017

Design Patterns for Reliable One-Way Messaging.
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).
Proceedings of the IEEE World Congress on Services, 2016

Towards designing reliable messaging patterns.
Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

2015
A taxonomy of reliable request-response protocols.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A Design Pattern for Reliable HTTP-Based Applications.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication.
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.
Proceedings of the IEEE 3rd Symposium on Network Cloud Computing and Applications, 2014

Session-based fault-tolerant design patterns.
Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014

Fault-Tolerant bi-directional communications in web-based applications.
Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014

2013
Towards evaluating the impact of data quality on service applications.
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.
Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012


  Loading...