Mohamed Hilia
According to our database1,
Mohamed Hilia
authored at least 8 papers
between 2011 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017
Proceedings of the 8th International Conference on Ambient Systems, 2017
Semantic Based Authorization Framework For Multi-Domain Collaborative Cloud Environments.
Proceedings of the 8th International Conference on Ambient Systems, 2017
2016
Formal Specification and Verification Framework for Multi-domain Ubiquitous Environment.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016
2013
Canevas sémantique et méthodologie formelle pour le développement des applications ambiantes multi-domaine. (Semantic framework and formal methodology for ambient applications development in multi-domain environment).
PhD thesis, 2013
Trends and Challenges in Formal Specification and Verification of Services Composition in Ambient Assisted Living Applications.
Proceedings of the 4th International Conference on Ambient Systems, 2013
2012
Semantic Service Composition Framework for Multidomain Ubiquitous Computing Applications.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012
2011
Cross-Organizational Cooperation Framework for Security Management in Ubiquitous Computing Environment.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011