关注
Maryam Dabaghchian
Maryam Dabaghchian
PhD student at School of Computing, University of Utah
在 cs.utah.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Model checking the observational determinism security property using PROMELA and SPIN
M Dabaghchian, M Abdollahi Azgomi
Formal Aspects of Computing 27, 789-804, 2015
132015
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ć
系统目前无法执行此操作，请稍后再试。
文章 1–5
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交