Suivre
moez yeddes
moez yeddes
Professor, University of Carthage, Tunisia
Adresse e-mail validée de ensi.rnu.tn - Page d'accueil
Titre
Citée par
Citée par
Année
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
752005
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
272005
Opacity with orwellian observers and intransitive non-interference
J Mullins, M Yeddes
IFAC Proceedings Volumes 47 (2), 344-349, 2014
262014
Satisfaction and coherence of deadline constraints in inter-organizational workflows
M Makni, S Tata, M Yeddes, N Ben Hadj-Alouane
OTM Confederated International Conferences" On the Move to Meaningful …, 2010
212010
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
142013
Negotiating deadline constraints in inter-organizational logistic systems: a healthcare case study
M Makni, NB Hadj-Alouane, S Tata, M Yeddes
International Conference on Business Process Management, 108-118, 2011
142011
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
112006
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
92009
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
82012
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
72006
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
62009
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
62005
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
61999
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
IEEE Conférence Internationale Francophone d'Automatique, CIFA 2009, 00, 2009
52009
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
42011
Checking order-insensitivity using ternary simulation in synchronous programs
M Yeddes, H Alla
2000 IEEE International Symposium on Performance Analysis of Systems and …, 2000
42000
Bounded opacity for timed systems
I Ammar, Y El Touati, M Yeddes, J Mullins
Journal of Information Security and Applications 61, 102926, 2021
32021
Enforcing opacity with orwellian observation
M Yeddes
2016 13th international workshop on discrete event systems (WODES), 306-312, 2016
32016
A semantics-based privacy-aware approach for fragmenting business processes
MA Zemni, NB Hadj-Anouane, M Yeddes
2012 IEEE 36th Annual Computer Software and Applications Conference …, 2012
32012
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
32007
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20