According to our database1, Miloud Bennama authored at least 5 papers between 2012 and 2016.
Legend:Book In proceedings Article PhD thesis Other
A CTL-based OCL extension using CPN ML for UML validation.
Forward and Backward Analysis of Weak Sequencing Specification.
Proceedings of the Formalisms for Reuse and Systems Integration, 2015
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation.
Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014
Validation environment of UML2 IOD based on hierarchical coloured Petri nets.
Formal modeling with SysML.
Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012