Model checking the observational determinism security property using PROMELA and SPIN M Dabaghchian, M Abdollahi Azgomi Formal Aspects of Computing 27, 789-804, 2015 | 11 | 2015 |
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 | 2 | 2018 |
Consistency-Aware Scheduling for Weakly Consistent Programs M Dabaghchian, Z Rakamarić, BK Ozkan, E Mutlu, S Tasiran Tech Report UUCS-17-002, 2017 | 2 | 2017 |
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 | 1 | 2019 |
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ć | | |