Mohammad Abdollahi Azgomi

Identifiers

• name variant Mohammad Abdollahi Azgomi 0.60 · backfill

Papers (4)

1. DSCMC: Distributed Stateless Code Model Checker cs.PL · 2016 · author #2
2. A New Approach to Stateless Model Checking of LTL Properties cs.PL · 2016 · author #2
3. Stateless Code Model Checking of Information Flow Security cs.PL · 2016 · author #2
4. An Extension for Combination of Duty Constraints in Role-Based Access Control cs.CR · 2010 · author #2

Mentions

• 1001.2268 #2 · backfill · confidence 0.70 Mohammad Abdollahi Azgomi

Frequent Coauthors

• Elaheh Ghassabani 3 shared papers
• Ali Hosseini 1 shared papers