Maryam Dabaghchian

According to our database, Maryam Dabaghchian authored at least 4 papers between 2015 and 2020.

Collaborative distances:

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

2020

Static and Dynamic Verification of Distributed Systems.

Maryam Dabaghchian

PhD thesis, 2020

2019

A timeless model for the verification of quasi-periodic distributed systems.

Maryam Dabaghchian, Zvonimir Rakamaric

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2017

Consistency-Aware Scheduling for Weakly Consistent Programs.

Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran

ACM SIGSOFT Softw. Eng. Notes, 2017

2015

Model checking the observational determinism security property using PROMELA and SPIN.

Maryam Dabaghchian, Mohammad Abdollahi Azgomi

Formal Aspects Comput., 2015