Mahboubeh Samadi

According to our database, Mahboubeh Samadi authored at least 2 papers between 2020 and 2023.

Collaborative distances:

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

2023

Decentralized runtime verification of message sequences in message-based systems.

Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi

Acta Informatica, June, 2023

2020

Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems.

Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi

Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020