moez yeddes
moez yeddes
Professor, University of Carthage, Tunisia
Verified email at ensi.rnu.tn - Homepage
Title
Cited by
Cited by
Year
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
622005
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
252005
Opacity with orwellian observers and intransitive non-interference
J Mullins, M Yeddes
IFAC Proceedings Volumes 47 (2), 344-349, 2014
212014
Satisfaction and coherence of deadline constraints in inter-organizational workflows
M Makni, S Tata, M Yeddes, NB Hadj-Alouane
OTM Confederated International Conferences" On the Move to Meaningful …, 2010
202010
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
132013
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
122011
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
82009
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
62012
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
AB Seboui, NB Hadj-Alouane, G Delaval, E Rutten, M Yeddes
International Journal of Critical Computer-Based Systems 2 (3-4), 246-265, 2011
52011
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
52009
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
52009
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
52006
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
52005
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
51999
A decentralized supervisory control approach for distributed adaptive systems
MA Belhaj Seboui, NB Hadj-Alouane, G Delaval, E Rutten, M Yeddes
Proceedings of the Fourth international conference on Verification and …, 2010
42010
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
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
The partition method for the order-insensitivity in a synchronous distributed system
M Yeddes, H Alla, R David
Proceedings ISCC 2000. Fifth IEEE Symposium on Computers and Communications …, 2000
32000
The system can't perform the operation now. Try again later.
Articles 1–20