Moez Yeddes

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 5

Top Topics

Distributed Intelligent

Business Processes

Security Management

Top Venues

COMPSAC Workshops

ICSOC Workshops

Publications

Ikhlass Ammar, Yamen El Touati, John Mullins, Moez Yeddes
Timed Bounded Verification of Inclusion Based on Timed Bounded Discretized Language. Int. J. Found. Comput. Sci. 32 (2) (2021)
Ikhlass Ammar, Yamen El Touati, Moez Yeddes, John Mullins
Bounded opacity for timed systems. J. Inf. Secur. Appl. 61 (2021)
Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane
Checking and Enforcing Security Through Opacity in Healthcare Applications. ICSOC Workshops (2017)
Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane
Checking and Enforcing Security through Opacity in Healthcare Applications. CoRR (2017)
Moez Yeddes
Enforcing opacity with Orwellian observation. WODES (2016)
John Mullins, Moez Yeddes
Opacity with Orwellian Observers and Intransitive Non-Interference. WODES (2014)
Michaël Lauer, John Mullins, Moez Yeddes
Cost Optimization Strategy for Iterative Integration of Multi-critical Functions in IMA and TTEthernet Architecture. COMPSAC Workshops (2013)
John Mullins, Moez Yeddes
Opacity with Orwellian Observers and Intransitive Non-interference. CoRR (2013)
Mohamed Anis Zemni, Nejib Ben Hadj-Alouane, Moez Yeddes
An Approach for Producing Privacy-Aware Reusable Business Process Fragments. ICWS (2012)
Mohamed Anis Zemni, Nejib Ben Hadj-Alouane, Moez Yeddes
A Semantics-Based Privacy-Aware Approach for Fragmenting Business Processes. COMPSAC Workshops (2012)
Mouna Makni, Nejib Ben Hadj-Alouane, Samir Tata, Moez Yeddes
Negotiating Deadline Constraints in Inter-organizational Logistic Systems: A Healthcare Case Study. Business Process Management Workshops (2) (2011)
Moez Yeddes, Feng Lin, Nejib Ben Hadj-Alouane
Modifying Security Policies for the Satisfaction of Intransitive Non-Interference. IEEE Trans. Autom. Control. 54 (8) (2009)
Haithem Derbel, Nejib Ben Hadj-Alouane, Moez Yeddes, Hassane Alla
Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata. ADHS (2009)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes
Characterizing intransitive noninterference for 3-domain security policies with observability. IEEE Trans. Autom. Control. 50 (6) (2005)
Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Moez Yeddes
An algorithmic approach to verification of intransitive non-interference in security policies. CDC (2004)
Moez Yeddes, Hassane Alla, René David
The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems. ISCC (2000)
Moez Yeddes, Hassane Alla
Checking order-insensitivity using ternary simulation in synchronous programs. ISPASS (2000)