Sharar Ahmadi

According to our database, Sharar Ahmadi authored at least 6 papers between 2019 and 2026.

Collaborative distances:

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

2026

Correction: Diagrammatic physical robot models.

Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright

Softw. Syst. Model., February, 2026

2025

Diagrammatic physical robot models.

Alvaro Miyazawa, Sharar Ahmadi, Ana Cavalcanti, James Baxter, Mark Post, Pedro Ribeiro, Jon Timmis, Thomas Wright

Softw. Syst. Model., October, 2025

2024

Operationally proving memory access violations in Isabelle/HOL.

Sharar Ahmadi, Brijesh Dongol, Matt Griffin

Sci. Comput. Program., 2024

On the Design and Security of Collective Remote Attestation Protocols.

Sharar Ahmadi, Jay Le-Papin, Liqun Chen, Brijesh Dongol, Sasa Radomirovic, Helen Treharne

CoRR, 2024

2022

Proving Memory Access Violations in Isabelle/HOL.

Sharar Ahmadi, Brijesh Dongol, Matt Griffin

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2019

On the Properties of Epistemic and Temporal Epistemic Logics of Authentication.

Sharar Ahmadi, Mehran S. Fallah, Massoud Pourmahdian

Informatica (Slovenia), 2019