Mehran S. Fallah
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Run-time verification for observational determinism using dynamic program slicing | 2022-11-02 | Paper |
| Monitorable hyperproperties of nonterminating systems Journal of Logical and Algebraic Methods in Programming | 2022-08-26 | Paper |
| \(S\)-restricted compositions revisited (available as arXiv preprint) | 2018-11-26 | Paper |
| \(S\)-restricted compositions revisited | 2018-11-26 | Paper |
| Specification and static enforcement of scheduler-independent noninterference in a middleweight Java Computer Languages, Systems & Structures | 2018-05-15 | Paper |
| Automated type-based analysis of injective agreement in the presence of compromised principals Journal of Logical and Algebraic Methods in Programming | 2015-08-21 | Paper |
| Noninterference in a predicative polymorphic calculus for access control Computer Languages, Systems & Structures | 2015-03-31 | Paper |
Research outcomes over time
This page was built for person: Mehran S. Fallah
