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 | 88 | 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 | 31 | 2005 |
Bounded opacity for timed systems I Ammar, Y El Touati, M Yeddes, J Mullins Journal of Information Security and Applications 61, 102926, 2021 | 30 | 2021 |
Opacity with orwellian observers and intransitive non-interference J Mullins, M Yeddes IFAC Proceedings Volumes 47 (2), 344-349, 2014 | 29 | 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 | 22 | 2010 |
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 | 16 | 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 | 13 | 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 | 12 | 2006 |
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 | 9 | 2009 |
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 | 9 | 2009 |
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 | 8 | 2012 |
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 | 8 | 1999 |
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 | 7 | 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 | 7 | 2006 |
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 | 7 | 2005 |
Enforcing opacity with orwellian observation M Yeddes 2016 13th international workshop on discrete event systems (WODES), 306-312, 2016 | 5 | 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 | 5 | 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 | 5 | 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 | 4 | 2007 |
Contribution à une approche robuste pour la distribution des systèmes synchrones MM Yeddes Grenoble INPG, 2000 | 4 | 2000 |