Mahboubeh Samadi

According to our database, Mahboubeh Samadi authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

2025

Compositional Learning for Synchronous Parallel Automata.

Mahboubeh Samadi, Aryan Bastany, Hossein Hojjat

Proceedings of the Fundamental Approaches to Software Engineering, 2025

Ranch: Rebeca On Chip.

Meyssam Rostamzadeh, Mahboubeh Samadi, Fatemeh Ghassemi, Hossein Hojjat

Proceedings of the Rebeca for Actor Analysis in Action, 2025

2024

Decentralized deadlock-free enforcement of message orderings in message-based systems.

Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi

J. Comput. Syst. Sci., 2024

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