A Middleware for Exactly-Once Semantics in Request-Response Interactions. - Naghmeh Ramezani Ivaki; Filipe Araújo; Raul Barbosa (PRDC, 2012)

Towards evaluating the impact of data quality on service applications. - Naghmeh Ramezani Ivaki; Nuno Laranjeiro; Marco Vieira (DSN Workshops, 2013)

Fault-Tolerant bi-directional communications in web-based applications. - Naghmeh Ramezani Ivaki; Filipe Araújo (ICPADS, 2014)

Session-based fault-tolerant design patterns. - Naghmeh Ramezani Ivaki; Filipe Araújo; Fernando J. Barros (ICPADS, 2014)

A Fault-Tolerant Session Layer with Reliable One-Way Messaging and Server Migration Facility. - Naghmeh Ramezani Ivaki; Serhiy Boychenko; Filipe Araújo (NCCA, 2014)

Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication. - Naghmeh Ramezani Ivaki; Filipe Araújo; Fernando J. Barros (PRDC, 2014)

A Design Pattern for Reliable HTTP-Based Applications. - Naghmeh Ramezani Ivaki; Nuno Laranjeiro; Filipe Araújo (SCC, 2015)

A taxonomy of reliable request-response protocols. - Naghmeh Ramezani Ivaki; Nuno Laranjeiro; Filipe Araújo (SAC, 2015)

Towards designing reliable messaging patterns. - Naghmeh Ramezani Ivaki; Nuno Laranjeiro; Filipe Araújo (NCA, 2016)

The 2016 IEEE Services Emerging Technology Track on Dependable and Secure Services (DSS 2016). - Nuno Laranjeiro; Naghmeh Ramezani Ivaki; Marco Vieira (SERVICES, 2016)

Design Patterns for Reliable One-Way Messaging. - Naghmeh Ramezani Ivaki; Nuno Laranjeiro; Filipe Araújo (SCC, 2017)

Analyzing Gossip Protocols for Reliable MANET Applications. - Everaldo Leme; Naghmeh Ramezani Ivaki; Nuno Laranjeiro; Regina Moraes (EDGE, 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 (EDGE, 2017)

Software Metrics as Indicators of Security Vulnerabilities. - Nadia Patricia Da Silva Medeiros; Naghmeh Ramezani Ivaki; Pedro Costa 002; Marco Vieira (ISSRE, 2017)

13th European Dependable Computing Conference (EDCC 2017): Fast Abstracts and Student Forum Proceedings. - Naghmeh Ramezani Ivaki (CoRR, 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)

An Approach for Trustworthiness Benchmarking Using Software Metrics. - Nadia Patricia Da Silva Medeiros; Naghmeh Ramezani Ivaki; Pedro Costa 002; Marco Vieira (PRDC, 2018)

Effects of GPS Spoofing on Unmanned Aerial Vehicles. - Daniel Mendes; Naghmeh Ramezani Ivaki; Henrique Madeira (PRDC, 2018)

A survey on reliable distributed communication. - Naghmeh Ramezani Ivaki; Nuno Laranjeiro; Filipe Araújo (J. Syst. Softw., 2018)

SIDE: Security-aware Integrated Development Environment. - Naghmeh Ivaki; Nuno Antunes (ISSRE Workshops, 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)

Vulnerable Code Detection Using Software Metrics and Machine Learning. - Nadia Patricia Da Silva Medeiros; Naghmeh Ramezani Ivaki; Pedro Costa 002; Marco Vieira (IEEE Access, 2020)

An Empirical Study On Software Metrics and Machine Learning to Identify Untrustworthy Code. - Nadia Patricia Da Silva Medeiros; Naghmeh Ramezani Ivaki; Pedro Costa 002; Marco Vieira (EDCC, 2021)

Revocation Mechanisms for Blockchain Applications: A Review. - Fernando Richter Vidal; Naghmeh Ramezani Ivaki; Nuno Laranjeiro (LADC, 2021)

An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools. - Bruno Dia; Naghmeh Ramezani Ivaki; Nuno Laranjeiro (PRDC, 2021)

Characterizing Buffer Overflow Vulnerabilities in Large C/C++ Projects. - José D'Abruzzo Pereira; Naghmeh Ramezani Ivaki; Marco Vieira (IEEE Access, 2021)

Classifying Fault Category and Severity of UAV Flight Controllers' Reported Issues. - Anamta Khan; Maria Lucia Ferramosca; Naghmeh Ivaki; Henrique Madeira (ICSRS, 2022)

Are UAVs' Flight Controller Software Reliable? - Anamta Khan; Naghmeh Ivaki; Henrique Madeira (PRDC, 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 (SAFECOMP, 2022)

Integration of U-space Safety Assessment Methodologies With Experimentation. - Omid Asghari; Naghmeh Ivaki; Henrique Madeira (DSN-W, 2023)

Using AI to Inject Vulnerabilities in Python Code. - C. G. Frédéric Bogaerts; Naghmeh Ivaki; José Fonseca 002 (DSN-W, 2023)

Advancing Blockchain Security: from Vulnerability Detection to Transaction Revocation. - Fernando Richter Vidal; Naghmeh Ivaki; Nuno Laranjeiro (DSN-S, 2023)

Exploring the Impact of Homomorphic Encryption on the Performance of Machine Learning Algorithms. - Clayton Matias; Naghmeh Ivaki; Regina Moraes (LADC, 2023)

Lead Time Analysis for UAVs' Failure Prediction in U-space. - Omid Asghari; Naghmeh Ivaki; Henrique Madeira (PRDC, 2023)

A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller. - Anamta Khan; João R. Campos; Naghmeh Ivaki; Henrique Madeira (PRDC, 2023)

Savery: A Framework for the Assessment and Comparison of Mobile Development Tools. - José Donato; Naghmeh Ivaki; Nuno Antunes (QRS Companion, 2023)

Analyzing the Impact of Elusive Faults on Blockchain Reliability. - Fernando Richter Vidal; Naghmeh Ivaki; Nuno Laranjeiro (CoRR, 2023)

Trustworthiness models to categorize and prioritize code for security improvement. - Nadia Patricia Da Silva Medeiros; Naghmeh Ivaki; Pedro Costa 002; Marco Vieira (J. Syst. Softw., 2023)

A Comprehensive Study on Drones Resilience in the Presence of Inertial Measurement Unit Faults. - Anamta Khan; Naghmeh Ivaki; Henrique Madeira (DSN, 2024)

A Physics-Based Fault Tolerance Mechanism for UAVs' Flight Controller. - Diogo Costa; Anamta Khan; Naghmeh Ivaki; Henrique Madeira (EDCC Workshops, 2024)

Design a Software Reference Architecture to Enhance Privacy and Security in Electronic Health Records. - Rodrigo Tertulino; Naghmeh Ivaki; Higor Morais (IEEE Access, 2024)

Vulnerability detection techniques for smart contracts: A systematic literature review. - Fernando Richter Vidal; Naghmeh Ivaki; Nuno Laranjeiro (J. Syst. Softw., 2024)

A Taxonomy for Python Vulnerabilities. - C. G. Frédéric Bogaerts; Naghmeh Ivaki; José Fonseca 002 (IEEE Open J. Comput. Soc., 2024)

OpenSCV: an open hierarchical taxonomy for smart contract vulnerabilities. - Fernando Richter Vidal; Naghmeh Ivaki; Nuno Laranjeiro (Empir. Softw. Eng., 2024)

On Metrics for U-Space Safety Risk Assessment. - Omid Asghari; Anamta Khan; Naghmeh Ivaki; Henrique Madeira (EDCC, 2025)

A Decentralized Architecture for Electronic Health Records to Enhanced Security and Privacy. - Rodrigo Tertulino; Fernando Vidal; Naghmeh Ivaki (EDCC-C, 2025)

A Systematic Literature Review of Unmanned Aerial Vehicles for Healthcare and Emergency Services. - Sara Habibi; Naghmeh Ivaki; João Barata (CoRR, 2025)

A systematic review on smart contracts security design patterns. - Sadaf Azimi; Ali Golzari; Naghmeh Ivaki; Nuno Laranjeiro (Empir. Softw. Eng., 2025)

UAV Operations Safety Assessment: A Systematic Literature Review. - Omid Asghari; Naghmeh Ivaki; Henrique Madeira (ACM Comput. Surv., 2025)