Mehran S. Fallah

Available identifiers

zbMath Open fallah.mehran-sMaRDI QIDQ492913

List of research outcomes

Publication	Date of Publication	Type
Run-time verification for observational determinism using dynamic program slicing	2022-11-02	Paper
Monitorable hyperproperties of nonterminating systems	2022-08-26	Paper
S-Restricted Compositions Revisited	2018-11-26	Paper
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java	2018-05-15	Paper
Automated type-based analysis of injective agreement in the presence of compromised principals	2015-08-21	Paper
Noninterference in a predicative polymorphic calculus for access control	2015-03-31	Paper

Research outcomes over time

This page was built for person: Mehran S. Fallah