Maryam Dabaghchian

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Distributed Systems

Consistency Checking

Top Venues

Formal Aspects Comput.

ACM SIGSOFT Softw. Eng. Notes

Publications

Maryam Dabaghchian, Zvonimir Rakamaric
A timeless model for the verification of quasi-periodic distributed systems. MEMOCODE (2019)
Maryam Dabaghchian, Zvonimir Rakamaric, Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran
Consistency-Aware Scheduling for Weakly Consistent Programs. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
Maryam Dabaghchian, Mohammad Abdollahi Azgomi
Model checking the observational determinism security property using PROMELA and SPIN. Formal Aspects Comput. 27 (5-6) (2015)