Miloud Bennama

According to our database, Miloud Bennama authored at least 5 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

A CTL-based OCL extension using CPN ML for UML validation.

Miloud Bennama, Thouraya Bouabana-Tebibel

Int. J. Crit. Comput. Based Syst., 2016

2015

Forward and Backward Analysis of Weak Sequencing Specification.

Thouraya Bouabana-Tebibel, Stuart H. Rubin, Miloud Bennama

Proceedings of the Formalisms for Reuse and Systems Integration, 2015

2014

Mapping OCL Constraints into CTL-like Logic and SML for UML Validation.

Miloud Bennama, Thouraya Bouabana-Tebibel

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

2013

Validation environment of UML2 IOD based on hierarchical coloured Petri nets.

Miloud Bennama, Thouraya Bouabana-Tebibel

Int. J. Comput. Appl. Technol., 2013

2012

Formal modeling with SysML.

Thouraya Bouabana-Tebibel, Stuart Harvey Rubin, Miloud Bennama

Proceedings of the IEEE 13th International Conference on Information Reuse & Integration, 2012