Mahboubeh Samadi

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 3

Top Topics

Computer Systems

Intelligent Systems

Top Venues

J. Comput. Syst. Sci.

Acta Informatica

Publications

Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
Decentralized deadlock-free enforcement of message orderings in message-based systems. J. Comput. Syst. Sci. 144 (2024)
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
Decentralized runtime verification of message sequences in message-based systems. Acta Informatica 60 (2) (2023)
Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi
Decentralized Runtime Enforcement of Message Sequences in Message-Based Systems. OPODIS (2020)