Folgen
Maryam Dabaghchian
Maryam Dabaghchian
PhD student at School of Computing, University of Utah
Bestätigte E-Mail-Adresse bei cs.utah.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Model checking the observational determinism security property using PROMELA and SPIN
M Dabaghchian, M Abdollahi Azgomi
Formal Aspects of Computing 27, 789-804, 2015
112015
Consistency-aware scheduling for weakly consistent programs
M Dabaghchian, Z Rakamaric, BK Ozkan, E Mutlu, S Tasiran
ACM SIGSOFT Software Engineering Notes 42 (4), 1-5, 2018
22018
Consistency-Aware Scheduling for Weakly Consistent Programs
M Dabaghchian, Z Rakamarić, BK Ozkan, E Mutlu, S Tasiran
Tech Report UUCS-17-002, 2017
22017
A timeless model for the verification of quasi-periodic distributed systems
M Dabaghchian, Z Rakamarić
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019
12019
Static and Dynamic Verification of Distributed Systems
M Dabaghchian
The University of Utah, 2020
2020
Toward Liveness Verification of Quasi-Periodic Distributed Systems Using a Timeless Model
M Dabaghchian, Z Rakamarić
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6