Moez Yeddes

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