Cloud calculus: Security verification in elastic cloud computing platform
Jarraya, Y., Eghtesadi, A., Debbabi, M., Zhang, Y., Pourzandi, M.
Published in 2012 International Conference on Collaboration Technologies and Systems (CTS) (01.05.2012)
Published in 2012 International Conference on Collaboration Technologies and Systems (CTS) (01.05.2012)
Get full text
Conference Proceeding
Multi-agent evolutionary design of Beta fuzzy systems
Jarraya, Y., Bouaziz, S., Alimi, Adel M., Abraham, A.
Published in 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (01.07.2014)
Published in 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) (01.07.2014)
Get full text
Conference Proceeding
Model-based systems security quantification
Ouchani, S., Jarraya, Y., Ait Mohamed, Otmane
Published in 2011 Ninth Annual International Conference on Privacy, Security and Trust (01.07.2011)
Published in 2011 Ninth Annual International Conference on Privacy, Security and Trust (01.07.2011)
Get full text
Conference Proceeding
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
Jarraya, Y., Soeanu, A., Debbabi, M., Hassaine, F.
Published in 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) (01.03.2007)
Published in 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) (01.03.2007)
Get full text
Conference Proceeding
On the Meaning of SysML Activity Diagrams
Jarraya, Y., Debbabi, M., Bentahar, J.
Published in 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (01.04.2009)
Published in 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (01.04.2009)
Get full text
Conference Proceeding
Security estimation in Streaming Protocols
Ouchani, S, Jarraya, Y, Mohamed, O A, Debbabi, M
Published in 2011 International Conference on Innovations in Information Technology (01.04.2011)
Published in 2011 International Conference on Innovations in Information Technology (01.04.2011)
Get full text
Conference Proceeding
A unified approach for verification and validation of systems and software engineering models
Alawneh, L., Debbabi, M., Hassaine, F., Jarraya, Y., Soeanu, A.
Published in 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) (2006)
Published in 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06) (2006)
Get full text
Conference Proceeding