moez yeddes
moez yeddes
Professor, University of Carthage, Tunisia
Verified email at - Homepage
Cited by
Cited by
On the verification of intransitive noninterference in mulitlevel security
NB Hadj-Alouane, S Lafrance, F Lin, J Mullins, MM Yeddes
IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics) 35 …, 2005
Characterizing intransitive noninterference for 3-domain security policies with observability
NB Hadj-Alouane, S Lafrance, F Lin, J Mullins, M Yeddes
IEEE transactions on automatic control 50 (6), 920-925, 2005
Opacity with orwellian observers and intransitive non-interference
J Mullins, M Yeddes
IFAC Proceedings Volumes 47 (2), 344-349, 2014
Satisfaction and coherence of deadline constraints in inter-organizational workflows
M Makni, S Tata, M Yeddes, N Ben Hadj-Alouane
On the Move to Meaningful Internet Systems: OTM 2010: Confederated …, 2010
Bounded opacity for timed systems
I Ammar, Y El Touati, M Yeddes, J Mullins
Journal of Information Security and Applications 61, 102926, 2021
Cost optimization strategy for iterative integration of multi-critical functions in ima and ttethernet architecture
M Lauer, J Mullins, M Yeddes
2013 IEEE 37th Annual Computer Software and Applications Conference …, 2013
Negotiating deadline constraints in inter-organizational logistic systems: a healthcare case study
M Makni, NB Hadj-Alouane, S Tata, M Yeddes
Business Process Management Workshops: BPM 2011 International Workshops …, 2012
Diagnosis of a class of timed discrete event systems
H Derbel, M Yeddes, NB Hadj-Alouane, H Alla
2006 8th International Workshop on Discrete Event Systems, 256-261, 2006
Online diagnosis of systems with rectangular hybrid automata models
H Derbel, H Alla, NB Hadj-Alouane, M Yeddes
IFAC Proceedings Volumes 42 (4), 954-959, 2009
On the supervisory synthesis for distributed control of discrete event dynamic systems with communication delays
M Yeddes, H Alla, R David
Proceedings of the 1999 IEEE International Symposium on Intelligent Control …, 1999
An approach for producing privacy-aware reusable business process fragments
MA Zemni, NB Hadj-Anouane, M Yeddes
2012 IEEE 19th International Conference on Web Services, 659-661, 2012
Modifying security policies for the satisfaction of intransitive non-interference
M Yeddes, F Lin, NB Hadj-Alouane
IEEE transactions on automatic control 54 (8), 1961-1966, 2009
A mixed integer dynamic programming approach to a class of optimal control problems in hybrid systems
NB Hadj-Alouane, M Yeddes, AB Hadj-Alouane, F Lin
Cybernetics and Systems 37 (5), 481-504, 2006
Du réseau de Petri temporel étendu vers les automates hybrides linéaires pour l'analyse des systèmes
Y Etouati, M Yeddes, NH Alouane, H Alla
CIFA 2009-IEEE Conférence Internationale Francophone d'Automatique, 00, 2009
Analysis of DGS structures by using the iterative method
M Yeddes, M Kaddour, A Gharsallah, A Gharbi
International Journal of Numerical Modelling: Electronic Networks, Devices …, 2005
Enforcing opacity with orwellian observation
M Yeddes
2016 13th international workshop on discrete event systems (WODES), 306-312, 2016
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
AB Seboui, NB Hadj-Alouane, G Delaval, É Rutten, M Yeddes
International Journal of Critical Computer-Based Systems 2 (3-4), 246-265, 2011
Checking order-insensitivity using ternary simulation in synchronous programs
M Yeddes, H Alla
2000 IEEE International Symposium on Performance Analysis of Systems and …, 2000
Contribution à une approche robuste pour la distribution des systèmes synchrones
MM Yeddes
Grenoble INPG, 2000
A global electromagnetic modeling of an active microstrip structure
M Yeddes, H Zairi, A Gharsallah, A Gharbi, H Baudrant
International Journal of RF and Microwave Computer‐Aided Engineering: Co …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20