Moez Yeddes

Available identifiers

zbMath Open yeddes.moezMaRDI QIDQ4974709

List of research outcomes

Publication	Date of Publication	Type
Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language	2021-04-19	Paper
Modifying Security Policies for the Satisfaction of Intransitive Non-Interference	2017-08-08	Paper
Characterizing intransitive noninterference for 3-domain security policies with observability	2017-07-12	Paper
A MIXED INTEGER DYNAMIC PROGRAMMING APPROACH TO A CLASS OF OPTIMAL CONTROL PROBLEMS IN HYBRID SYSTEMS	2006-09-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Moez Yeddes